Нигде не плотное множество
Нигде́ не пло́тное мно́жество, подмножество топологического пространства , дополнение замыкания которого всюду плотно в . Эквивалентное определение: подмножество топологического пространства называется нигде не плотным в , если , т. е. внутренность замыкания множества пуста. Множество нигде не плотно в тогда и только тогда, когда любое непустое открытое множество в содержит непустое открытое подмножество, не пересекающееся с множеством . Множество натуральных чисел, множество , канторово совершенное множество представляют собой примеры замкнутых нигде не плотных подмножеств вещественной прямой.
Замыкание нигде не плотного в множества нигде не плотно в ; любое подмножество нигде не плотного множества в нигде не плотно в ; объединение конечного семейства нигде не плотных множеств в нигде не плотно в . Граница любого открытого множества является замкнутым нигде не плотным в множеством, и наоборот, любое замкнутое нигде не плотное в множество является границей некоторого открытого множества (а именно границей своего дополнения ). Если открытое множество нигде не плотно в , то оно пусто.