Колмогоров кеңістігі - Kolmogorov space - Wikipedia

Бөлу аксиомалары
жылы топологиялық кеңістіктер
Колмогоров жіктеу
Т0 (Колмогоров)
Т1 (Фрешет)
Т2 (Хаусдорф)
Т2½(Урысон)
толығымен Т.2 (толығымен Хаусдорф)
Т3 (тұрақты Хаусдорф)
Т(Тихонофф)
Т4 (қалыпты Хаусдорф)
Т5 (қалыпты жағдай
Хаусдорф)
Т6 (қалыпты жағдай
Хаусдорф)

Жылы топология және байланысты филиалдар математика, а топологиялық кеңістік X Бұл Т0 ғарыш немесе Колмогоров кеңістігі (атымен Андрей Колмогоров ) егер нүктелердің әр жұбы үшін X, олардың кем дегенде біреуінде а бар Көршілестік басқасын қамтымайды. Т-да0 кеңістік, барлық нүктелер топологиялық тұрғыдан ерекшеленеді.

Бұл шарт деп аталады Т0 жағдай, бұл әлсіз бөлу аксиомалары. Әдетте математикада оқылатын барлық дерлік топологиялық кеңістіктер Т.0 кеңістіктер. Атап айтқанда, барлығы Т1 кеңістіктер яғни, әр нүктенің жұбы үшін әрқайсысында екіншісі жоқ көршілес болатын барлық кеңістіктер Т болады0 кеңістіктер. Бұған барлығы кіреді Т2 (немесе Хаусдорф) кеңістіктер яғни, әр түрлі нүктелер бір-бірімен шектесетін көршілес болатын барлық топологиялық кеңістіктер. Басқа бағытта, әрқайсысы байсалды кеңістік (бұл T болмауы мүмкін1) - бұл Т0; бұл кез-келген топологиялық кеңістікті қамтиды схема. Кез-келген топологиялық кеңістікті ескере отырып, Т құруға болады0 топологиялық тұрғыдан ерекшеленбейтін нүктелерді анықтау арқылы кеңістік.

Т0 Т емес кеңістіктер1 кеңістіктер - бұл үшін кеңістіктер мамандандыруға алдын-ала тапсырыс беру нонитивтік емес ішінара тапсырыс. Мұндай кеңістіктер табиғи түрде пайда болады есептеу техникасы, атап айтқанда денотатикалық семантика.

Анықтама

A Т0 ғарыш бұл әр нүктенің жұбы болатын топологиялық кеңістік топологиялық тұрғыдан ерекшеленеді. Яғни кез-келген екі түрлі нүкте үшін х және ж бар ашық жиынтық онда осы тармақтардың бірі бар, екіншісі жоқ.

Топологиялық тұрғыдан ерекшеленетін тармақтар автоматты түрде ерекшеленетініне назар аударыңыз. Екінші жағынан, егер синглеттер жиынтығы {х} және {ж} болып табылады бөлінген, содан кейін ұпайлар х және ж топологиялық тұрғыдан ерекшеленетін болуы керек. Бұл,

бөлінгентопологиялық тұрғыдан ерекшеленедіайқын

Топологиялық тұрғыдан ерекшеленетін қасиет, тұтастай алғанда, ерекшеленуге қарағанда күшті, бірақ бөлінуден әлсіз. Т-да0 кеңістік, жоғарыдағы екінші көрсеткі кері бұрылады; нүктелер анық егер және егер болса олар ерекшеленеді. Осылай Т0 аксиома қалғандарына сәйкес келеді бөлу аксиомалары.

Мысалдар және контрмысалдар

Әдетте математикада оқылатын барлық дерлік топологиялық кеңістіктер Т.0. Атап айтқанда, барлығы Хаусдорф (Т2) бос орындар, Т1 кеңістіктер және байсалды кеңістіктер Т0.

Т емес кеңістіктер0

Т бос орындар0 бірақ Т емес1

T-мен жұмыс істеу0 кеңістіктер

Әдетте зерттелген топологиялық кеңістіктің мысалдары T0.Шынында да, көптеген салалардағы математиктер, атап айтқанда талдау, әрине, Т-ға жатпайды0 кеңістіктер, олар әдетте оларды T-мен алмастырады0 Төменде сипатталатын кеңістіктер. Қатысқан идеяларды ынталандыру үшін белгілі мысалды қарастырыңыз. Кеңістік L2(R) бәрінің кеңістігі болуға арналған өлшенетін функциялар f бастап нақты сызық R дейін күрделі жазықтық C сияқты Лебег интегралы |f(х)|2 бүкіл нақты сызық бойынша ақырлы.Бұл кеңістік а нормаланған векторлық кеңістік нормасын анықтау арқылы ||f|| болу шаршы түбір сол интеграл. Мәселе мынада, бұл шынымен норма емес, тек а семинар, өйткені басқа функциялар бар нөлдік функция оның (жартылай) нормалары нөл.Стандартты шешім - L анықтау2(R) жиынтығы болуы керек эквиваленттік сыныптар функциялар жиынтығының орнына тікелей функциялар. Бұл а кеңістік бастапқы векторлық кеңістіктің векторлық кеңістігі, ал бұл координат - нормаланған векторлық кеңістік. Ол семинарлық кеңістіктен бірнеше ыңғайлы қасиеттерді алады; төменде қараңыз.

Жалпы, бекітілген топологиямен айналысқан кезде Т жиынтықта X, егер бұл топология T болса пайдалы0. Екінші жағынан, қашан X бекітілген, бірақ Т белгілі бір шекарада өзгеруге, мәжбүр етуге рұқсат етіледі Т T болу0 ыңғайсыз болуы мүмкін, өйткені Т емес0 топологиялар көбінесе маңызды жағдайлар болып табылады. Осылайша, екі Т-ны да түсіну маңызды болуы мүмкін0 және Т емес0 топологиялық кеңістікке орналастыруға болатын әр түрлі жағдайлардың нұсқалары.

Колмогоров

Ұпайлардың топологиялық айырмашылығы жоқ эквиваленттік қатынас. Қандай топологиялық кеңістік болмасын X деп басталуы мүмкін кеңістік бұл эквиваленттік қатынас әрқашан Т0. Бұл квоталық кеңістік деп аталады Колмогоров туралы Xбіз оны KQ деп белгілейміз (X). Әрине, егер X Т болды0 бастау керек, содан кейін KQ (X) және X болып табылады табиғи түрде гомеоморфты.Санат бойынша, Колмогоров кеңістігі a шағылысатын ішкі санат топологиялық кеңістіктердің, ал Колмогоров квотасы рефлектор болып табылады.

Топологиялық кеңістіктер X және Y болып табылады Колмогоров эквиваленті олардың Колмогоров квотенттері гомеоморфты болған кезде. Топологиялық кеңістіктердің көптеген қасиеттері осы эквиваленттілікпен сақталады; яғни, егер X және Y Колмогоров эквиваленті болып табылады X егер бар болса, ондай қасиетке ие болады Y Екінші жағынан, көпшілігі басқа топологиялық кеңістіктердің қасиеттері меңзейді Т0-настық; яғни, егер X мұндай қасиетке ие болса, онда X Т болуы керек0.Болу сияқты бірнеше қасиеттер ғана анық емес кеңістік, осы ереженің ерекшеліктері болып табылады.Тіпті жақсы, көптеген құрылымдар топологиялық кеңістіктерде анықталуы мүмкін X және KQ (XНәтижесінде, егер сізде T емес болса0 белгілі бір құрылымы немесе қасиеті бар топологиялық кеңістік, онда сіз әдетте Т.0 Колмогоров квотентін алу арқылы құрылымы мен қасиеттері бірдей кеңістік.

Мысал2(RТопология тұрғысынан біз бастаған векторлық кеңістіктің кеңейтілген құрылымы көп; мысалы, бұл векторлық кеңістік және оның семинары бар, және олар а псевдометриялық және а біркелкі құрылым топологиямен үйлесімді, сонымен қатар бұл құрылымдардың бірнеше қасиеттері бар; мысалы, семинар семинарды қанағаттандырады параллелограммның сәйкестілігі және біркелкі құрылым толық. Кеңістік Т емес0 өйткені L кез келген екі функция2(R) тең барлық жерде дерлік Бұл топологиямен ерекшеленбейді.Колмогоров квота құрған кезде нақты L2(R), бұл құрылымдар мен қасиеттер сақталған, осылайша, L2(R) - бұл параллелограммның сәйкестігін қанағаттандыратын толық семинарлық векторлық кеңістік, бірақ біз кеңістік енді T болғандықтан, біз одан да көп аламыз0.Семинар - бұл норма, егер тек негізгі топология Т болса0сондықтан Л.2(R) - бұл параллелограммның сәйкестігін қанағаттандыратын толық нормаланған векторлық кеңістік, әйтпесе а деп аталады Гильберт кеңістігі.Міне, бұл математиктер (және физиктер, жылы кванттық механика ) жалпы оқығысы келеді. L белгісі екенін ескеріңіз2(R) әдетте Колмогоров квотын, жиынтығын білдіреді эквиваленттік сыныптар тек белгілеу ұсынатын квадраттық интегралданатын функциялардың векторлық кеңістігінен гөрі, нөлдік өлшемдер жиынтығында ерекшеленетін квадраттық интегралданатын функциялардың.

Т-ны алып тастау0

Нормалар тарихи тұрғыдан бірінші анықталғанымен, адамдар семинарорм деген анықтаманы ұсынды, бұл Т-ға жат емес0 норма нұсқасы. Тұтастай алғанда, Т-емес анықтауға болады0 топологиялық кеңістіктердің қасиеттерінің де, құрылымдарының да нұсқалары. Алдымен, болу сияқты топологиялық кеңістіктің қасиетін қарастырыңыз Хаусдорф. Осыдан кейін кеңістікті анықтау арқылы топологиялық кеңістіктердің тағы бір қасиетін анықтауға болады X меншікті қанағаттандыру үшін, егер Колмогоровтың KQ мәні болса ғана (X) Хаусдорф. Бұл әйгілі болмаса да, ақылға қонымды қасиет; бұл жағдайда мұндай кеңістік X аталады алдын-ала. (Прегулярлықтың тікелей анықтамасы да бар). Енді топологиялық кеңістіктерге орналастыруға болатын құрылымды қарастырыңыз, мысалы метрикалық. Топологиялық кеңістіктерде құрылымды мысалға келтіре отырып, жаңа құрылымды анықтай аламыз X жай ғана KQ көрсеткіші (X). Бұл ақылға қонымды құрылым X; Бұл псевдометриялық. (Тағы да, псевдометриканың тура анықтамасы бар).

Осылайша, Т-ны жоюдың табиғи әдісі бар0-қасиетке немесе құрылымға қойылатын талаптардан. Әдетте T кеңістігін зерттеу оңайырақ0, бірақ T емес құрылымдарға рұқсат беру оңайырақ болуы мүмкін0 толығырақ бейнені алу үшін. Т0 талапты Колмогоров тұжырымдамасын пайдаланып ерікті түрде қосуға немесе жоюға болады.

Сондай-ақ қараңыз