Топологиялық кеңістік, анықтамасы, мысалдар


Пән: Математика, Геометрия
Жұмыс түрі:  Реферат
Тегін:  Антиплагиат
Көлемі: 9 бет
Таңдаулыға:   

Топологиялық кеңістік, анықтамасы, мысалдар

Жоспар:

Кіріспе

Негізгі бөлім

  1. Топологиялық кеңістік, анықтамасы, мысалдар

а) туынды топология

б) ашық және тұйық жиындар

в) топологияларды салыстыру

2. Топологияның базасы, метрикалық кеңістікте мысал

а) екінші саналымдылық аксиома. Саналымды база

б) Теорема (саналымды база, сепарабельділік)

3. Сеперабель топологиялық кеңістік, мысал.

а) бірінші саналымдылық аксиома, маңайлардың анықтауыш жүйесі, мысал.

б) саналымды база. Бірінші саналымды аксиомалы кеңістікке мысал.

4. Топологияны анықтау жолдары.

а) Саналымды база және кеңістіктің сеперабельділігі (теорема)

б) Метрикалық кеңістікте топологияны анықта

Қорытынды

  1. Топологиялық кеңістік, анықтамасы, мысалдар

а) туынды топология

б) ашық және тұйық жиындар

в) топологияларды салыстыру

Анықтама 1. Х-жиыны берілсін. Осы жиынның τ \tau топологиясы деп- төменгі щарттарды қанағаттандыратын осы жиынның іш жиындарының жүйесін айтады.

  1. Х- жиыны өзі және⌀−τ\varnothing - \tau-ға тиісті. (Х, ⌀∈τ) (Х, \varnothing \in \tau)
  2. τ\tau-ға тиістіGGжиындарының қаншасыныңда (саны ақырлы және ақырсыз) бірігуі⋃αGα\bigcup_{\alpha}^{}G_{\alpha}τ\ \ \tau-ға тиісті. (⋃αGα∈τ\bigcup_{\alpha}^{}G_{\alpha} \in \tau)
  3. τ\tau-ға тиістіGGжиындарының кез келген ақырлы және қиылысуы⋂k=1nGk\bigcap_{k = 1}^{n}G_{k}τ\ \ \tau-ға тиісті. (⋂k=1nGk∈τ\bigcap_{k = 1}^{n}G_{k} \in \tau)

Мысал . Метрикалық кеңістікте анықталған ашық жиындар Анықтама 1-дегі 3 аксиоманы қанағаттандырады. Демек метрикалық кеңістікте топологияляқ кеңістік болып есептелінеді. Бірақ, маңызы үлкен болсада топологияляқ кеңістіктің дербес түрі болып саналанады.

а) Х- жиыны өзін \varnothing жиынды және Х жиынының барлық іш жиындарын ашық жиындар деп есептесек, онда Ан. 1-дегі 1-3 аксиомалар орындалады. Бұндай топология туынды топология деп аталады.

б) τ \tau жүйесіне тісті жиындар ашық жиындар деп аталады.

A τ A \in \tau жиынның толықтауышы Х А = С А Х - А = С_{А} тұйық жиын деп аталады. Сонымен кез келген ашық жиынның толықтауышы тұйық жиын деп аталады.

Анықтама 1- ден қосалқылық қасиет бойынша:

  1. τ\tau-ға тиісті тұйық жиындарының қаншасыныңда (саны ақырлы және ақырсыз) бірігуі де тұйық жиын.
  2. . тұйық\ жиындардың\ ақырлы\ бірігуі\ де\ тұйық\ жиын.

с) Х жиынында τ 1 \tau_{1} және τ 2 \tau_{2} топологиялары берілсін, егер τ 2 τ 1 \tau_{2} \subset \tau_{1} болса, онда τ 1 \tau_{1} күштірек топология ( τ 2 д е н \tau_{2} - ден ), ал τ 2 \tau_{2} әлсізірек топология деп аталады

  1. Топологияның базасы, метрикалық кеңістікте мысал

а) екінші саналымдылық аксиома. Саналымды база

б) Теорема (саналымды база, сепарабельділік)

Анықтама. Ашық жиындардың σ \sigma жүйесі T кеңістігі топологиясының базасы деп аталады, егер T кеңістігіндегі әрбір ашық жиын σ \sigma жүйесі жиындарының (ақырлы не ақырсыз) бірігуі болса.

Мысалы, метрикалық кеңістікте барлық ашық шарлардың (центрлері кез келген нүктедегі және кез келген радиусы) жиыны база болады.

Сонымен T кеңістігінде оның қайсыбір σ \sigma базасы көрсетілсе, онда оның топологиясы τ \tau анықталады, ол σ \sigma базасы жиындарының бірігулерінің жүйесі болады.

Төменгі қасиеттер T=(X, τ \ \tau ) топологиялық кеңістіктің кез келген σ \sigma базасына тең:

1. Әрбір x \in X нүктесі кемінде бір G σ \ \in \sigma жиынына тиісті.

2. Егер x \in G 1 \cap G 2 , G 1 \in σ \sigma , G 2 σ \in \sigma , болса онда x \in G 3 \subset G 1 \cap G 2 болатын G 3 σ \ \in \sigma жиыны табылады.

Шынында X жиынының өзі τ \tau топологиясына тиісті ашық жиын болғандықтан, ол σ \sigma базаға тиісті қайсыбір жиындардың бірігуі болады. Бұдан 1) қасиет шығады. Ал 2) пункттегі G 1 \cap G 2 ашық жиын, сондықтан ол да базаға кіретін қайсыбір жиындардың бірігуі. Демек, 2) қасиет те орынды.

Төменде саналымды жиыннан аспайтын кемінде бір базасы бар топологиялық кеңістіктер класының маңызын көреміз. Ондай кеңістіктер саналымды базалы немесе екінші саналымдылық аксиомалы топологиялық кеңістіктер деп аталады.

Егер T топологиялық кеңістікте саналымды база бар болса, онда барлық жерде тығыз саналымды жиын да табылытынына, демек, T сеперабель кеңістік болатынына көз жеткізейік. { G n } \left\{ G_{n} \right\} - саналымды база дейік. Онда әрбір G n G_{n} жиынынан бір x n нүктеден алып, X = { x n } \left\{ x_{n} \right\} саналымды жиынын құрастырамыз. Осы саналымды жиын барлық жерде тығыз ( X ¯ = T ) \left( \overline{X} = T \right) болады. Болмаған жағдайда G = T - X ¯ \overline{X} \neq \varnothing ашық жиынында X-тың ешбір нүктесі табылмас еді. Бұл мүмкін емес, себебі G ашық жиын ретінде { G n } \left\{ G_{n} \right\} базаның қайсыбір жиындарының бірігуі болар еді, ал x n \in G n G_{n}

Метрикалық кеңістіктер үшін дәлелденген сөйлемге кері сөйлем де орынды.

Егер M-сеперабель метрикалық кеңістік болса, онда оның саналымды базасы бар. Шынында сеперабель кеңістікте барлық жерде тығыз X = { x n } \left\{ x_{n} \right\} саналымды жиын бар болғандықтан S ( x n , 1 m ) \left( x_{n}, \frac{1}{m} \right) ашық шарлары саналымды база береді. Мұндағы n, m бір бірінен байланыссыз натурал сандар. Осыдан төменгі теорема шығады.

1-теорема. Метрикалық кеңістік саналымды базалы болу үшін оның сеперабель кеңістік болуы қажет және жеткілікті.

Дәлелі. Метрикалық кеңістік топологиялық кеңістік болғандықтан, егер саналымды базисі бар болса, онда метрикалық кеңістік сепарабель болатындығы жоғарғы топологиялық кеңістік айтылғанынан шығады. Сонымен барлық сеперабель метрикалық кеңістіктер екінші саналымдылық аксиомалы кеңістіктер болды.

Х-метрикалық кеңістігінде саналымды барлық жерде тығыз N={ x 1 , x 2 , , x n , x_{1}, x_{2}, \ldots, x_{n}, \ldots } жиыны бар дейік, яғни ( x = N ¯ x = \overline{N} ) ⇒ S( x n , 1 m , x_{n}, \frac{1}{m}, \ldots ), n, m- кез келген натурал сандар, ашық шарлар жүйесі саналымды базис болады.

Метрикаық кеңістіктер сияқты барлық жерде тығыз болатын саналымды ішжиыны бар топологиялық кеңістік сеперабель кеңстік деп аталады.

  1. Сеперабель топологиялық кеңістік, мысал.

а) бірінші саналымдылық аксиома, маңайлардың анықтауыш жүйесі, мысал.

б) саналымды база. Бірінші саналымды аксиомалы кеңістікке мысал.

Анықтама. Егер кеңістікте барлық жерде тығыз болатын саналымды жиын бар болса, онда ондай кеңістік сеперабель кеңістік деп аталады. Басқаша айтқанда, ( X , ρ ) (X, \rho) метрикалық кеңістігі сеперабль кеңістік деп аталады, егер осы кеңістікте, оның x X \forall x \in X элементіне жинпқталатын іштізбегі бар, тізбек x 1 , x 2 , ( 1 ) x_{1}, x_{2}, \ldots(1) табылса, яғни x X \ \ \forall x \in X және ε > 0 \ \forall\varepsilon > 0\ үшін ρ ( x , x n 0 ) < ε \rho\left( x, x_{n_{0}} \right) < \varepsilon болатын x n 0 x_{n_{0}} элементі бар ( 1 ) (1) \ тізбек бар болса.

Мысал: C[a, b] - сеперабель кеңістік. Қандай ε > 0 \varepsilon > 0 алсақ та кез келген x ( t ) C [ a , b ] x(t) \in C\lbrack a, b\rbrack\ үшін max t x ( t ) p ( t ) < ε / 2 \max_{t}{\left x(t) - p(t) \right < \varepsilon/2} болатын p(t) көпмүшелігі Вейерштрасс теоремасы бойынша табылады. R нақты сандар кеңістігінде рационал сандар жиыны Q тығыз болғандықтан, коэффициенттері рационал болатын p 0 ( t ) p_{0}(t) көпмүшелік табылып max t p ( t ) p 0 ( t ) < ε / 2 \max_{t}{\left p(t) - p_{0}(t) \ \right < \varepsilon/2} болады. Сондықтан ρ ( x , p 0 ) = max t x ( t ) p 0 ( t ) < ε / 2 \rho\left( x, p_{0} \right) = \max_{t}{\left x(t) - p_{0}(t) \ \right < \varepsilon/2} . Ал коэффициенттері рационал болатын көпмүшеліктердің жиыны саналымды.

а) Метрикалық M кеңістігінің әрбір x нүктесі үшін оның S ( x , 1 n ) , n = 1 , 2 , , S\left( x, \frac{1}{n} \right), \ \ n = 1, 2, \ldots, ашық шарлардан тұратын маңайлардың саналымды U жүйесін тұрғызуға болады. Сонда x M x \in M нүктесін қамтитын қандай ашық G жиын алсақта, осы G жиынында түгел жататын x нүктесінің маңайы S ( x , 1 n ) S\left( x, \frac{1}{n} \right) табылады. Осындай қасиеттери бар маңайлардың жүйесі x нүктесінің маңайларының анықтауыш жүйесі деп аталады.

Егер Т топологиялық кеңістігінің x нүктесінің маңайларының саналымды анықтауыш жүйесі бар болса, онда осы нүктеде бірінші саналымдылық аксиома орынды дейді. Егер ол топологиялық Т кеңістігінің әр нүктесінде орындалса онда Т бірінші саналымдылық аксиомалы кеңістік деп аталады.

Кез келген метрикалық кеңістікте (сеперабль болмасада) бірінші саналымдылық аксиома орындалады. Ал кез келген топологиялық кеңістікте, егер ол тек қана саналымды нүктелерден тұрса да, бірінші саналымдылық аксиома орынды болмауы мүмкін. Топологиялық сеперабль кеңістікте бірінші саналымдылық аксиома орынды болса да, саналымды база болмауы мүмкін.

б) Ашық жиындардың σ \sigma жүйесі Т кеңістігі топологиясының базасы деп аталады егер Т кеңістігіндегі әрбір ашық жиын σ \sigma\ жүйесі жиындарының ақырлы не ақырсыз бірігуі болса. Саналымды жиыннан аспайтын кемінде бір базасы бар топологиялық кеңістіктер саналымды базалы немесе екінші саналымдылық аксиомалы топологиялық кеңістіктер деп аталады.

  1. Саналымды базалы Т кеңістігі және ашық бүркеу (теорема)

а) Байланысты кеңістік, мысал.

б) сеперабель кеңістік және саналымды база (теорема)

Теорема. Егер Т-топологиялық кеңістігінде саналымды база бар болса, онда Т-кеңістігінің кез келген ашық бүркеуінен ақырлы не саналымды ішбүркеу бөлінеді.

Дәлелі: { G α } \left\{ G_{\alpha} \right\} жиындар жүйесі Т-ның бүркеуі болсын. Онда кез келген x ϵ X x\epsilon X оны қамтитын кемінде бір G α G_{\alpha} жиыны табылады, яғни

G α : x ϵ G α G_{\alpha}:x\epsilon G_{\alpha}

{ G n k } \left\{ G_{n_{k}} \right\} -Ткеңістігінің саналымды базасы дейік. Онда кез келген x ϵ T x\epsilon T үшін қамтитын кемінді бір G n G_{n} жиын табылады, яғни

X G n k G α {{X \in G}_{n_{k}} \subset G}_{\alpha}

Мұндай жиындардың саны ақырлы не саналымды болуы мүмкін және бұл жиынның жүйесі { G n k } X \left\{ G_{n_{k}} \right\} \supset X бүркейді.

Жалпы топологиялық кеңістік Сеперабель кеңістік болып, онда бірінші саналымды аксиома орындалса да кеңістіктің саналымды базисы болмауы мүмкін .

Топологиялық кеңістіктің анықтамасы бойынша кеңістіктің өзі, X , X, \varnothing әрі ашық, әрі тұйық болатын басқа ( X , ө з і X, \varnothing - өзі ) жиындар жоқ болса, ондай кеңістің байланысты кеңістік деп аталады.

k G n k X \bigcup_{k}^{}{G_{n_{k}} \supset X}

Енді әрбір G n k G_{n_{k}} іш жиыны болмайтын жиын G α k G_{\alpha_{k}} -деп бнлгілесек, онда { G α k } \{ G_{\alpha_{k}}\} { G α } \subset \{ G_{\alpha}\} , онда k G α k X \bigcup_{k}^{}{G_{\alpha_{k}} \supset X} , яәни бастапқы берілген ашық бүркеудегі ақырлы не саналымды жиындардан тұратын { G α k } k {\{ G_{\alpha_{k}}\}}_{k} ішбүркеу б ө л і н е д і . бөлінеді.

1-теорема. Метрикалық кеңістік саналымды базалы болу үшін оның сеперабель кеңістік болуы қажет және жеткілікті.

Дәлелі. Метрикалық кеңістік топологиялық кеңістік болғандықтан, егер саналымды базисі бар болса, онда метрикалық кеңістік сепарабель болатындығы жоғарғы топологиялық кеңістік айтылғанынан шығады. Сонымен барлық сеперабель метрикалық кеңістіктер екінші саналымдылық аксиомалы кеңістіктер болды.

Х-метрикалық кеңістігінде саналымды барлық жерде тығыз N={ x 1 , x 2 , , x n , x_{1}, x_{2}, \ldots, x_{n}, \ldots } жиыны бар дейік, яғни ( x = N ¯ x = \overline{N} ) ⇒ S( x n , 1 m , x_{n}, \frac{1}{m}, \ldots ), n, m- кез келген натурал сандар, ашық шарлар жүйесі саналымды базис болады.

Метрикаық кеңістіктер сияқты барлық жерде тығыз болатын саналымды ішжиыны бар топологиялық кеңістік сеперабель кеңстік деп аталады.

  1. Топологияны анықтау жолдары.

а) Саналымды база және кеңістіктің сеперабельділігі (теорема)

б) Метрикалық кеңістікте топологияны анықта

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.
Ұқсас жұмыстар
Сызықтық оператор
Векторлық көрсету әдістері
КОМПАКТЫ ЖИЫНДАР ҰҒЫМЫ
Дифференциалдық геометрия және топология
Көпбұрыштар мен дөңес көпбұрыштар
Ретсіз уақыт қатарларын фракталды талдау
Математикалық структура ұғымы, изоморфизм
Сызық инварианттарының есептеу формулалары
Жинақтылық. Ашық және тұйық жиындар
Фракталдар
Пәндер



Реферат Курстық жұмыс Диплом Материал Диссертация Практика Презентация Сабақ жоспары Мақал-мәтелдер 1‑10 бет 11‑20 бет 21‑30 бет 31‑60 бет 61+ бет Негізгі Бет саны Қосымша Іздеу Ештеңе табылмады :( Соңғы қаралған жұмыстар Қаралған жұмыстар табылмады Тапсырыс Антиплагиат Қаралған жұмыстар kz