Точка конденсации

Точка конденсации — усиленный вариант предельной точки и специальный вариант точки накопления в общей топологии: для заданного множества в топологическом пространстве точка называется точкой конденсации, если во всякой окрестности содержится несчётное множество точек множества .

Множество точек конденсации множества  —  — замкнуто, более того, если оно непусто, то является совершенным множеством и имеет мощность континуума. Множество точек конденсации замыкания множества совпадает с множеством точек конденсации самого множества: . Объединение множеств точек конденсации двух множеств совпадает со множеством точек конденсации объединения исходных множеств: . Для множества в пространстве со второй аксиомой счётности счётно и . Из последних двух свойств непосредственно следует теорема Кантора — Бендиксона в общетопологическом варианте (изначально доказанная для подмножеств числовой прямой).

У подмножества числовой все предельные точки являются точками конденсации; каждая точка канторова дисконтинуума является его точкой конденсации. У счётного множества точек конденсации быть не может (при этом предельные точки могут существовать, например, предельными для счётного множества рациональных чисел  являются все точки числовой прямой).

Для подпространств евклидовых пространств точки конденсации определил и изучил в 1903 году Эрнст Линделёф, в 1914 году Феликс Хаусдорф распространил понятие на общие топологические пространства.

Литература

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.