ПЛОТНЫЕ И НЕПЛОТНЫЕ МНОЖЕСТВА
понятия
множеств
теории. Множество Е наз. плотным на М, если каждая точка
множества М является предельной точкой Е, т. е. в любой окрестности
имеются точки, принадлежащие Е. Плотные множества на всей прямой
наз. всюду плотными. Множество наз. нигде не плотным (на прямой), если
оно неплотно ни на каком интервале, иными словами, если каждый интервал
прямой содержит подинтервал, целиком свободный от точек данного множества.
Аналогично определяются множества, нигде не плотные на плоскости или, вообще,
в произвольном топологич. пространстве. Для того чтобы замкнутое множество
было нигде не плотным, необходимо и достаточно, чтобы его дополнение было
всюду плотно. Примером замкнутого (даже совершенного) нигде не плотного
множества является т. н. канторово совершенное множество (см. Кантора
множество). Сумму счётного множества нигде не плотных множеств наз.
множеством первой категории, а дополнение к множеству первой категории
- множеством второй категории. Эти понятия играют важную роль в теории
линейных нормированных пространств (см. Линейное пространство). Различные
категории множеств существенны также в теории единственности тригонометрических
рядов.
Лит.: Александров П. С., Введение
в общую теорию множеств и функций, ч. 1, М.- Л., 1948.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я