Площина Немицького

У топології площиною Немицького або площиною Мура називається топологічний простір, що є прикладом цілком регулярного гаусдорфового простору, що не є нормальним.

Означення

Якщо є замкнутою верхньою півплощиною, тобто , то на ній можна задати топологію за допомогою бази околів для точок як:

  • Елементами база околів у точках виду де є відкриті круги на площині із достатньо малими радіусами щоб ці круги належали .
  • Елементами база околів у точках виду є множини виду де A є відкритим кругом у верхній півплощині, що є дотичним до осі x у точці p.

Тобто, база околів складається із множин виду

Індукована топологія на відкритій півплощині при цьому є рівною індукованій топології відкритої площини як підпростору площини із стандартною топологією породженою евклідовою метрикою.

Властивості

Доведення, що площина Немицького не є нормальним простором

Зліченна множина точок із раціональними координатами є щільною у . Оскільки кожна неперервна функція повністю визначається своїм обмеженням на , тому може бути щонайбільше неперервних дійснозначних функцій на .

З іншого боку дійсна пряма є замкнутим дискретним підпростором із точками. Тому існує неперервних функцій із L у . Відповідно не всі ці неперервні функції можна продовжити до неперервних функцій на M. Оскільки згідно теореми Тітце про продовження всі дійснозначні неперервні функції на замкнутій підмножині нормального простору можна продовжити до неперервних функцій на всьому просторі то M не є нормальним простором.

Див. також

Література

  • Stephen Willard. General Topology, (1970) Addison-Wesley ISBN|0-201-08707-3.
  • Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology (вид. Dover reprint of 1978). Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. MR 507446. (Example 82)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.