Кіріспе

Ашық жиынның толықтығы

Геометрияда, топологияда және математиканың басқа да салаларында жабық жиын – оның толықтығы ашық жиын болатын жиын. Топологиялық кеңістікте жабық жиынды оның барлық лимит нүктелерін қамтитын жиын ретінде анықтауға болады. Толық метрикалық кеңістікте жабық жиын – лимит операциясы бойынша жабық жиын. Бұны жабық манифольдпен шатастыруға болмайды.

Жабық жиынтықтар туралы көбірек

Жабық жиын ұғымы жоғарыда ашық жиындар арқылы анықталды, бұл тұжырым топологиялық кеңістіктер үшін, сондай-ақ топологиялық құрылымдарды қолдайтын басқа кеңістіктер үшін де мағыналы, мысалы метрикалық кеңістіктер, дифференциалданатын көптүрліліктер, біртекті кеңістіктер және өлшеуіш кеңістіктер. Жиынның жабық болуы оның орналасқан кеңістігіне байланысты. Дегенмен, компактты Хаусдорф кеңістіктері «абсолютті жабық» болып табылады, яғни егер сіз компактты Хаусдорф кеңістігін кез келген Хаусдорф кеңістігіне енгізсеңіз, ол әрқашан жабық ішкі жиын болады; мұндағы «қоршаған кеңістік» маңызды емес. Stone–Čech компактификациясы, толыққанды реттелген Хаусдорф кеңістігін компактты Хаусдорф кеңістігіне айналдыратын процесс, кеңістікке белгілі бір конвергент емес желілердің лимиттерін қосу арқылы сипатталуы мүмкін. Сонымен қатар, компактты кеңістіктің кез келген жабық ішкі жиыны компактты болады, ал Хаусдорф кеңістігінің кез келген компактты ішкі кеңістігі жабық болады. Жабық жиындар компакттылықтың пайдалы сипаттамасын да береді: топологиялық кеңістік компактты болады, егер және тек қана бос қиылысы бар бос емес жабық ішкі жиындардың кез келген жиынында бос қиылысы бар шекті ішкі жиын болса. Топологиялық кеңістік үзіліссіз болады, егер оның құрамында одағы кеңістікке тең болатын, бөлек, бос емес, ашық ішкі жиындар болса. Ал кеңістік толығымен үзіліссіз болады, егер оның ашық базасы жабық жиындардан тұрса.