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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

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

Означення[ред. | ред. код]

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

  • Елементами база околів у точках виду де є відкриті круги на площині із достатньо малими радіусами щоб ці круги належали .
  • Елементами база околів у точках виду є множини виду де 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)