Metla Knastra in Kuratowskega

Metla Knastra in Kuratowskega, ali »Cantorjev tipi«

Metla Knastra in Kuratowskega (ali metla Kuratowskega) je v topologiji, matematični veji, specifičen primer točkovno povezanega topološkega prostora z značilnostjo, da je po odstranitvi ene same točke (kot podprostor) totalno nepovezan. Ta prostor sta leta 1921 skonstruirala Kazimierz Kuratowski in Bronisław Knaster.Predloga:SfnpPredloga:Rp Prostor je znan tudi kot Cantorjev puščajoči šotor ali Cantorjev tipi (po Georgu Ferdinandu Cantorju), odvisno od odsotnosti ali prisotnosti vrha (apeksa). To je očitno tudi aluzija na geometrijsko obliko in hkrati vsebuje sklic na Cantorjevo množico, na kateri temelji konstrukcija prostora.Predloga:Sfnp

Konstrukcija

Naj je $C$ standardna popolna Cantorjeva množica, ki jo vsebuje enotski segment $[0,1]\times \{0\}\subset {ℝ}^2$, $p$ točka (vrh) $(\frac{1}{2},\frac{1}{2})\in {ℝ}^2$ in naj $L(c)$ za $c\in C$, označuje daljico, ki povezuje $(c,0)$ v $p$. Če je $c\in C$ krajišče določenega intervala, odstranjenega med konstrukcijo Cantorjeve množice, naj je:

$X_c=\{(x,y)\in L(c):y\in \mathbb{Q}\}$

in:

$X_c=\{(x,y)\in L(c):y\notin \mathbb{Q}\},$

za vse druge točke $c\in C$. Metla Knastra in Kuratowskega je definirana kot:

$X=\bigcup _{c\in C}{X}_c,$

opremljena s topologijo podprostora, podedovano iz standardne topologije na ${ℝ}^2$.

Prostor $X$ je točkovno povezan, podprostor $X\setminus \{p\}$ pa je totalno nepovezan. Podprostor $X\setminus \{p\}$ se imenuje preluknjana metla Knastra in Kuratowskega.

Značilnosti

• metla Knastra in Kuratowskega je separabilni metrični prostor, ker je podprostor ${ℝ}^2$.
• metla Knastra in Kuratowskega je povezana. Če je $X=U\cup V$ z nepovezanimi in odprtimi množicami $U$ in $V$, potem mora ena od množic vključevati $p$. Nato se lahko pokaže, da mora biti ta množica vsa $X$.Predloga:SfnpPredloga:Rp
• preluknjana metla Knastra in Kuratowskega $X\setminus \{p\}$ je totalno nepovezana. To je predvsem zato, ker se lahko uporabi $X_{c_1}\setminus \{p\}$ in $X_{c_2}\setminus \{p\}$ za dva različna $c_1=c_2$ iz $C$ v ${ℝ}^2$, ki se lahko ločita s premico. Med $c_1$ in $c_2$ je točka $x\in [0,1]\setminus C$ in premica skozi $x$ in $p$ naredi, kar je potrebno. Ker je vsak $X_c\setminus \{p\}$ sam po sebi totalno nepovezan, se lahko sklepa, da je $X\setminus \{p\}$ totalno nepovezana.Predloga:SfnpPredloga:Rp
• podprostor $X\setminus \{p\}$ ni totalno ločen.Predloga:SfnpPredloga:Rp Kot je znano, totalno nepovezano sledi iz totalno ločenega. Tukaj je tako primer, za katerega obratno na splošno ne velja. Dve točki, ki se nahajata v isti $X_c$, nista ločeni z odprtozaprto množico.Predloga:SfnpPredloga:Sfnp Njegova topološka razsežnost je enaka $1$.Predloga:SfnpPredloga:Rp
• metla Kastra in Kuratowskega je Borelova podmnožica evklidske ravnine.

Glej tudi

• disperzijska točka
• Antoinova ogrlica

Viri

• Predloga:Citat
• Predloga:Citat
• Predloga:Citat
• Predloga:Citat arhiv na wikiwix.com
• Predloga:Citat arhiv na wikiwix.com
• Predloga:Citat
• Predloga:Citat Primera 128, 129.