Topologi base
Basen af en topologi ( basis af et topologisk rum, basis for en topologi, åben base ) er en familie af åbne delmængder af et topologisk rum , sådan at ethvert åbent sæt i kan repræsenteres som en forening af elementer i denne familie.
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
Ofte præsenteres topologiens basis for at introducere topologien. For eksempel, på et metrisk rum er topologien defineret i form af den base, der dannes af alle åbne kugler.
Definition
En familie af åbne sæt af et topologisk rum kaldes bunden af en topologi (eller et topologisk rum), hvis ethvert åbent sæt fra kan repræsenteres som en forening af elementer i familien .
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
En familie af åbne sæt i et topologisk rum er en base, hvis og kun hvis der for hvert punkt i rummet og dets nabolag er et sæt fra sådan, at .
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x\i V\undersæt U](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cc95e6a04d22e7d4f40a4ea11796d449b3c8179)
Vægt af et topologisk rum
Minimumskardinaliteten af alle rummets baser kaldes vægten af det topologiske rum . Rumvægten er normalt angivet med .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![w(X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e287e5bd3295db7cfad211b956e2847d2af95fcf)
Ejendomme
- For hver base er der en delmængde , som er basen og har kardinalitet svarende til vægten af rummet.
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![{\mathfrak {B}}_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e25662fa2a0d0d4d5e9919b55212ab76de548c6)
- Hvis vægten af rummet ikke er mere end tællig (det vil sige, den har en tællig base), så kaldes det et rum med det andet tælleaksiom .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- Der er overalt en tæt kraft i vægtrummet .
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![\leqslant \tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d851fc2f6c8212d0c70fd4b06e1a534863a5206)
Variationer og generaliseringer
- Den lokale basis af rummet ved et punkt (punktets basis ) er en familie af kvarterer i punktet med følgende egenskab: for ethvert kvarter i punktet er der et element, sådan at .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![\mathfrak{B}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/14e838fb668a571a111495174769a129c710ad99)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![Okse](https://wikimedia.org/api/rest_v1/media/math/render/svg/defd9c97517146a7703c263c6fb139162d88517c)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![V \in \mathfrak{B}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcbbaa3d2911077b7ee016194fd5891b4109336a)
![x \in V \undersæt O_x](https://wikimedia.org/api/rest_v1/media/math/render/svg/efce1e078c1cec4a6d369d20f1893aec2e32beee)
- Minimumskardinaliteten af alle lokale baser i rummet ved et punkt kaldes karakteren af rummet ved punktet og er betegnet med .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![\chi (x,X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/78150e822458ee12233bd7b372d099046f06f373)
- Det øverste af rummets tegn på alle punkter kaldes rummets karakter og er betegnet med .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\chi (X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e6585c52ed72d79ee468486b1d14714b3b667d0)
- Rum, der har en tællig lokal base på hvert punkt, kaldes rum med det første aksiom for tællelighed .
- En familie af åbne mængder i X er en base, hvis og kun hvis, for hvert punkt , underfamilien af alle elementer, der indeholder punktet, er den lokale base for punktet .
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![\mathfrak{B}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/14e838fb668a571a111495174769a129c710ad99)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
- Et kvartersystem er en familie , der er den lokale base for rummet på et punkt for hver .
![\{{\mathfrak {B}}(x)\}_{{x\in X}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d157a8d58daceec2785655b44ff0fbec422a0f)
![\mathfrak{B}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/14e838fb668a571a111495174769a129c710ad99)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
- En præbase er en familie af åbne delmængder af et topologisk rum , således at mængden af alle mængder, der er skæringspunktet mellem et endeligt antal elementer , danner basis for rummet .
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- En lukket base er en familie af alle tilføjelser til elementer af en base.
-base ( gitterbase ) er en familie af ikke-tomme åbne delmængder af rum, således at ethvert ikke-tomt sæt åbent for indeholder et sæt af , dvs. Hausdorff tæt i rummet . Enhver base er en base. Det omvendte er ikke sandt, for eksempel i Stone-Cech-komprimeringen af sættet af naturlige tal, er familien af et-punkts delmængder af sættet en -base, men er ikke en base.![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\beta \mathbb{N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56f1d4ea940562cacea4910babd7883b7868da32)
![\mathbb {N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdf9a96b565ea202d0f4322e9195613fb26a9bed)
![\pi](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be4ba0bb8df3af72e90a0535fabcc17431e540a)
- En pseudobase er en familie af åbne delmængder, således at skæringspunktet mellem alle dets elementer, der indeholder et fast punkt, falder sammen med dette punkt. Findes kun i T 1 -mellemrum . Et eksempel på et rum med en tællig pseudobase, der ikke har en tællig base, er rummet af sekvenser af nuller og ener med en diskret topologi (pseudobase er et sæt bestående af alle sekvenser med en fast værdi på en eller anden position).
Definering af en topologi ved hjælp af et base-, prebase- og nabosystem
- En familie af delmængder af et vilkårligt sæt er grundlaget for en eller anden topologi på, hvis og kun hvis den opfylder følgende betingelser:
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
- Hvert punkt tilhører et sæt fra familien .
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
- For ethvert sæt og ethvert punkt eksisterer der et sæt sådan, at .
![U,V\in {\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/532674f7087ff6df55963e19ae6c5b4ae78925f7)
![x\in U\cap V](https://wikimedia.org/api/rest_v1/media/math/render/svg/67a8975a5a8fcddac43926974c01ded8573aa845)
![W\in {\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f305d2aa49f025a42eea8181d396001c6155f03)
![x\in W\subset U\cap V](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0c66dc9df232574fefdafa4aae91c97a0c551ba)
I dette tilfælde er en base af topologien , hvor sætene er åbne, hvis og kun hvis de kan repræsenteres som en forening af nogle delmængder af . En sådan topologi kaldes topologien genereret af basen .
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
- For at en familie af delmængder af et vilkårligt sæt skal være en præbase for en eller anden topologi på , er det nødvendigt og tilstrækkeligt, at ovenstående betingelse 1 er opfyldt. Desuden er i denne topologi disse og kun de sæt åbne, der kan repræsenteres som en forening af endelige skæringspunkter af nogle delmængder fra . En sådan topologi kaldes den præbase-genererede topologi . Dette er den mindste topologi, der indeholder familien .
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
![{\mathfrak {B}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f939c87a07b7af23e09792e9edb2c7caebb18864)
- Et sæt familier af delmængder af et vilkårligt sæt er et system af kvarterer af en eller anden topologi, hvis og kun hvis det opfylder følgende betingelser:
![\{{\mathfrak {B}}(x)\}_{{x\in X}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d157a8d58daceec2785655b44ff0fbec422a0f)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- For hver er familien ikke-tom og for evt .
![x\i X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
![\mathfrak{B}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/14e838fb668a571a111495174769a129c710ad99)
![x\i U](https://wikimedia.org/api/rest_v1/media/math/render/svg/c32ddcb2941216f2980b950ce969dc15cba26906)
![U\in {\mathfrak {B}}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae7e283092e006f1e58f97e3b5a01e2ec1d4936)
- For alle er der sådan, at .
![y\in U\in {\mathfrak {B}}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e16fc3fb1a780f68b7aaa6285125676ebc413b57)
![V\in {\mathfrak {B}}(y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7bb3f4b2f45f1496bd1153d98b3ef904f4b846d)
![V\undersæt U](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae37b0495b78ebcc4b8df66949ebd5659a4fafb6)
- For ethvert sæt findes der , sådan at .
![V,W\in {\mathfrak {B}}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e50f4d8dd5bb389733894b1f6f8ba564738d38ed)
![U\in {\mathfrak {B}}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/bae7e283092e006f1e58f97e3b5a01e2ec1d4936)
![U\undersæt V\cap W](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b206bb646b43f8228b90b7d22a2d513ee183f9e)
I dette tilfælde er et kvartersystem af topologien på , bestående af alle undergrupper, der kan repræsenteres som en forening af underfamilier af familien . En sådan topologi kaldes topologien genereret af nabosystemet .
![\{{\mathfrak {B}}(x)\}_{{x\in X}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d157a8d58daceec2785655b44ff0fbec422a0f)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\bigcup _{{x\in X}}{\mathfrak {B}}(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cd192365c01ce4d06f834dbed1742ae8698ab6c)
Eksempler
- Grundlaget for ethvert topologisk rum er familien af alle dets åbne sæt.
- En diskret topologi har som sin base familien af alle dens etpunktsundersæt .
- Hvis og er topologiske rum med basis af topologier og , så er topologien på det kartesiske produkt givet af basen
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![\mathfrak{B}_X](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c4657dc975449bef841b36c0af0b3b55506e5c9)
![X\ gange Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/1613c1ff4b6fbfb6c80a8da83e90ad28f0ab3483)
I dette tilfælde vil topologien på ikke afhænge af, hvilke baser af mellemrummene X og Y der bruges til at definere den. En sådan topologi kaldes (standard)
topologien af det kartesiske produkt af topologiske rum .
- Topologien af rummet af reelle tal er givet af systemet af alle intervaller , som danner grundlaget for denne topologi. På samme måde er topologien af et rum givet af bunden af åbne søjler , og denne topologi falder naturligvis sammen med standardtopologien for det direkte produkt af rum.
![\mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![(a,b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7e5710198f33b00695903460983021e75860e2c)
![{\R}^n](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a87a5c82f1e50d41db5327231c2224ae8a607a5)
![(a_1,b_1)\ gange (a_2, b_2)\ gange\ prikker\ gange (a_n, b_n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca4817fbaca2ba0f157a3b6f6b24a2f5ac51bd9a)
- En ordnet topologi er normalt defineret som en topologi genereret af et sæt af åbne intervalsæt.
- En metrisk topologi er normalt defineret som en topologi genereret af et sæt åbne kugler givet af en bestemt metrisk .
Se også
- Yesenin-Volpin teorem
- Bindingsaksiom
- Bunden af basen
Litteratur
- Alexandrov PS, Kolmogorov AN Introduktion til den generelle teori om mængder og funktioner. - M.-L., 1948.
- Uryson PS Proceedings om topologi og andre områder af matematik. - V. 1-2. - M.-L., 1951.
- Alexandrov P. S., Pasynkov B. A. Introduktion til dimensionsteorien. Introduktion til teorien om topologiske rum og den generelle dimensionsteori. - M., 1973.
- Arkhangelsky A. V., Ponomarev V. I. Grundlæggende om generel topologi i problemer og øvelser. - M., 1974.
- Bourbaki N. Generel topologi. Grundlæggende strukturer / Pr. fra fransk - M., 1968.
- Engelking, R. Generel topologi. — M .: Mir , 1986. — 752 s.
- Kelly, J.L. Generel topologi. — M .: Nauka, 1968.
Links