Spațiu Hausdorff

În topologie și ramurile înrudite ale matematicii, un spațiu Hausdorff (/ˈhaʊsdɔːrf/, /ˈhaʊsdɔːrf/^[1]), spațiu T₂ sau spațiu separat, este un spațiu topologic în care punctele distincte au vecinătăți disjuncte. Dintre numeroasele axiome de separare care pot fi impuse unui spațiu topologic, „condiția Hausdorff” (T₂) este cea mai des folosită și discutată. Aceasta implică unicitatea limitelor de șiruri, șiruri generalizate și filtre.^[2]

Spațiile Hausdorff sunt numite după Felix Hausdorff, unul dintre fondatorii topologiei. Definiția originală a spațiului topologic dată de Hausdorff (în 1914) includea condiția Hausdorff ca axiomă.

Definiții

Punctele x și y, separate prin vecinătățile lor respective U și V.

Puncte $x$ și $y$ dintr-un spațiu topologic $X$ pot fi separate prin vecinătăți dacă există o vecinătate $U$ a lui $x$ si o vecinătate $V$ a lui $y$ astfel încât $U$ și $V$ să fie disjuncte $(U\cap V=\varnothing )$ . $X$ este un spațiu Hausdorff dacă oricare două puncte distincte din $X$ sunt separate prin vecinătăți. Această condiție este a treia axiomă de separare (după T₀ și T₁), motiv pentru care spațiile Hausdorff sunt numite și spații T₂. Se mai folosește și denumirea de spațiu separat.

O noțiune înrudită, dar mai slabă, este aceea de spațiu preregulat. $X$ este un spațiu preregulat dacă oricare două puncte distinse topologic pot fi separate prin vecinătăți disjuncte. Un spațiu preregulat se mai numește și spațiu R₁.

Relația dintre aceste două condiții este următoarea. Un spațiu topologic este Hausdorff dacă și numai dacă este atât preregulat (adică punctele distinse topologic sunt separate prin vecinătăți), cât și Kolmogorov (adică punctele distincte sunt distinse topologic). Un spațiu topologic este preregulat dacă și numai dacă spațiul Kolmogorov factor este Hausdorff.

Echivalențe

Pentru un spațiu topologic $X$ , următoarele afirmații sunt echivalente:^[2]

$X$ este un spațiu Hausdorff.
Limitele șirurilor generalizate din $X$ sunt unice.^[3]
Limitele filtrelor pe $X$ sunt unice.^[3]
Orice mulțime singleton $\{x\}\subset X$ este egală cu intersecția tuturor vecinătăților închise ale lui $x$ .^[4] (O vecinătate închisă a lui $x$ este o mulțime închisă care conține o mulțime deschisă ce îl conține pe $x$ .)
Diagonala $\Delta =\{(x,x)\mid x\in X\}$ este închisă ca o submulțime a spațiului produs $X\times X$ .
Orice injecție de la spațiul discret cu două puncte la $X$ are proprietatea de ridicare în raport cu aplicația de la spațiul topologic finit cu două puncte deschise și un punct închis la un singur punct.

Exemple și contraexemple de spații Hausdorff

Aproape toate spațiile întâlnite în analiză sunt Hausdorff; cel mai important, numerele reale (în raport cu topologia metrică standard pe numere reale) formează un spațiu Hausdorff. Mai general, toate spațiile metrice sunt Hausdorff. De fapt, multe spații utilizate în analiză, cum ar fi grupurile topologice și varietățile topologice, au condiția Hausdorff menționată explicit în definițiile lor.

Un exemplu simplu de topologie care este T₁, dar nu este Hausdorff este topologia cofinită definită pe o mulțime infinită, la fel ca topologia conumărabilă definită pe o mulțime nenumărabilă.

Spațiile pseudometrice de obicei nu sunt Hausdorff, dar sunt preregulate, iar utilizarea lor în analiză apare de obicei numai în construcția spațiilor gauge Hausdorff. Într-adevăr, atunci când analiștii dau de un spațiu care nu este Hausdorff, acesta este probabil cel puțin preregulat, și atunci pur și simplu îl înlocuiesc cu spațiul Kolmogorov factor, care este Hausdorff.^[5]

În schimb, spațiile nepreregulate sunt întâlnite mult mai des în algebra abstractă și geometria algebrică, în special ca topologia Zariski pe o varietate algebrică sau spectrul unui inel. Ele apar, de asemenea, în teoria modelelor logicii intuiționiste: fiecare algebră Heyting completă este algebra mulțimilor deschise ale unui spațiu topologic, dar acest spațiu nu trebuie să fie neapărat preregulat, cu atât mai puțin Hausdorff și, de obicei, nu este niciunul. Conceptul înrudit de domeniu Scott constă, de asemenea, din spații nepreregulate.

În timp ce existența unor limite unice pentru șiruri generalizate și filtre convergente implică faptul că un spațiu este Hausdorff, există spații T₁ care nu sunt Hausdorff în care fiecare secvență convergentă are o limită unică.^[6] Astfel de spații sunt numite spații US.^[7] Pentru spațiile secvențiale, această noțiune este echivalentă cu a fi slab Hausdorff.

Proprietăți

Subspațiile și produsele de spații Hausdorff sunt Hausdorff, dar spațiile factor ale spațiilor Hausdorff nu sunt neapărat Hausdorff. De fapt, fiecare spațiu topologic poate fi realizat drept cât al unui spațiu Hausdorff.^[8]

Spațiile Hausdorff sunt T₁, ceea ce înseamnă că orice singleton este o mulțime închisă. În mod similar, spațiile preregulate sunt R₀. Fiecare spațiu Hausdorff este un spațiu Sober, deși reciproca nu este în general adevărată.

O altă proprietate a spațiilor Hausdorff este că fiecare mulțime compactă este o mulțime închisă. Pentru spațiile non-Hausdorff, se poate ca fiecare mulțime compactă să fie o mulțime închisă (de exemplu, topologia conumărabilă pe o mulțime nenumărabilă) sau nu (de exemplu, topologia cofinită pe o mulțime infinită și spațiul Sierpiński).

Definiția unui spațiu Hausdorff spune că punctele pot fi separate prin vecinătăți. Se dovedește că acest lucru implică ceva care este aparent mai puternic: într-un spațiu Hausdorff fiecare pereche de mulțimi compacte disjuncte poate fi de asemenea separată prin vecinătăți,^[9] cu alte cuvinte există o vecinătate a unei mulțimi și o vecinătate a celeilalte astfel încât cele două vecinătăți să fie disjuncte. Acesta este un exemplu de regulă generală conform căreia mulțimile compacte se comportă adesea ca puncte.

Condițiile de compactitate împreună cu preregularitatea implică adesea axiome de separare mai puternice. De exemplu, orice spațiu preregulat local compact este complet regulat.^[10]^[11] Spațiile preregulate compacte sunt normale,^[12] ceea ce înseamnă că ele satisfac lema lui Urysohn și teorema de extindere a lui Tietze și au partiții ale unității subordonate învelitorilor deschise local finite. Versiunile Hausdorff ale acestor afirmații sunt: orice spațiu Hausdorff local compact este Tychonoff, și orice spațiu Hausdorff compact este Hausdorff normal.

Următoarele rezultate sunt câteva proprietăți tehnice privind aplicațiile (continue sau nu) către și dinspre spațiile Hausdorff.

Fie $f:X\to Y$ o funcție continuă și presupunem că $Y$ este Hausdorff. Atunci graficul lui $f$ , $\{(x,f(x))\mid x\in X\}$ , este o submulțime închisă a lui $X\times Y$ .

Fie $f:X\to Y$ o funcție și fie $\ker(f)\triangleq \{(x,x')\mid f(x)=f(x')\}$ nucleul său considerat ca un subspațiu al lui $X\times X$ .

Dacă $f$ este continuă și $Y$ este Hausdorff, atunci $\ker(f)$ este o mulțime închisă.
Dacă $f$ este o surjecție deschisă și $\ker(f)$ este o mulțime închisă, atunci $Y$ este Hausdorff.
Dacă $f$ este o surjecție continuă, deschisă (adică o aplicație factor deschisă) atunci $Y$ este Hausdorff dacă și numai dacă $\ker(f)$ este o mulțime închisă.

Dacă $f,g:X\to Y$ sunt aplicații continue și $Y$ este Hausdorff, atunci egalizatorul ${\mbox{eq}}(f,g)=\{x\mid f(x)=g(x)\}$ este o mulțime închisă $X$ . Rezultă că dacă $Y$ este Hausdorff, iar $f$ și $g$ sunt egale pe o submulțime densă a lui $X$ , atunci $f=g$ . Cu alte cuvinte, funcțiile continue în spațiile Hausdorff sunt determinate de valorile lor pe submulțimi dense.

Fie $f\colon X\to Y$ o surjecție închisă astfel încât $f^{-1}(y)$ este compact pentru orice $y\in Y$ . Atunci dacă $X$ este Hausdorff, la fel este și $Y$ .

Fie $f\colon X\to Y$ o aplicație factor cu $X$ un spațiu Hausdorff compact. Atunci următoarele afirmații sunt echivalente:

$Y$ este Hausdorff.
$f$ este o aplicație închisă.
$\ker(f)$ este o mulțime închisă.

Preregularitate versus regularitate

Toate spațiile regulate sunt preregulate, la fel ca toate spațiile Hausdorff. Există multe rezultate pentru spații topologice care sunt valabile atât pentru spațiile regulate, cât și pentru spațiile Hausdorff. De cele mai multe ori aceste rezultate sunt valabile pentru toate spațiile preregulate; ele au fost enumerate separat pentru spații regulate și Hausdorff, deoarece ideea de spații preregulate a apărut mai târziu. Pe de altă parte, acele rezultate care sunt cu adevărat despre regularitate nu se aplică în general și spațiilor Hausdorff neregulate.

Există multe situații în care o altă condiție a spațiilor topologice (cum ar fi paracompactitatea sau compactitatea locală) va implica regularitate dacă preregularitatea este satisfăcută. Astfel de condiții vin adesea în două versiuni: o versiune regulată și o versiune Hausdorff. Deși spațiile Hausdorff nu sunt în general regulate, un spațiu Hausdorff care este și (de exemplu) local compact va fi regulat, deoarece orice spațiu Hausdorff este preregulat. Astfel, dintr-un anumit punct de vedere, este preregularitatea, mai degrabă decât regularitatea, cea care contează cu adevărat în aceste situații. Cu toate acestea, definițiile sunt de obicei formulate în termeni de regularitate, deoarece această condiție este mai cunoscută decât preregularitatea.

Variante

Termenii „Hausdorff”, „separat” și „preregulat” pot fi aplicați și unor astfel de variante ale spațiilor topologice precum spații uniforme, spații Cauchy și spații de convergență. Caracteristica care unește conceptul în toate aceste exemple este aceea că limitele șirurilor generalizate și filtrelor (atunci când există) sunt unice (pentru spații separate) sau unice până la nedistingerea topologică (pentru spații preregulate).

După cum se dovedește, spațiile uniforme și, în general, spațiile Cauchy, sunt întotdeauna preregulate, deci condiția Hausdorff în aceste cazuri se reduce la condiția T₀. Acestea sunt totodată spațiile în care completitudinea are sens, iar condiția Hausdorff este un însoțitor firesc al completitudinii în aceste cazuri. Mai exact, un spațiu este complet dacă și numai dacă fiecare șir generalizat Cauchy are cel puțin o limită, în timp ce un spațiu este Hausdorff dacă și numai dacă fiecare șir generalizat Cauchy are cel mult o limită (deoarece numai șirurile generalizate Cauchy pot avea limite în primul rând).

Algebre de funcții

Algebra funcțiilor continue (reale sau complexe) pe un spațiu Hausdorff compact este o C*-algebră comutativă și, reciproc, din teorema Banach-Stone se poate recupera topologia spațiului din proprietățile algebrice ale algebrei sale de funcții continue. Acest lucru conduce la geometria necomutativă, unde se consideră C*-algebrele necomutative ca reprezentând algebre de funcții într-un spațiu necomutativ.

Note

^ „Hausdorff space Definition & Meaning”. www.dictionary.com. Accesat în 15 iunie 2022.
^ ^a ^b „Separation axioms in nLab”. ncatlab.org.
^ ^a ^b Willard 2004, pp. 86–87.
^ Bourbaki 1966, p. 75.
^ Vedeți, de exemplu, Lp space#Lp spaces and Lebesgue integrals^⁠(en)^[traduceți], Banach–Mazur compactum^⁠(en)^[traduceți] etc.
^ van Douwen, Eric K. (1993). „An anti-Hausdorff Fréchet space in which convergent sequences have unique limits”. Topology and Its Applications. 51 (2): 147–158. doi:10.1016/0166-8641(93)90147-6.
^ Wilansky, Albert (1967). „Between T₁ and T₂”. The American Mathematical Monthly. 74 (3): 261–266. doi:10.2307/2316017. JSTOR 2316017.
^ Shimrat, M. (1956). „Decomposition spaces and separation properties”. Quarterly Journal of Mathematics. 2: 128–129. doi:10.1093/qmath/7.1.128.
^ Willard 2004, pp. 124.
^ Schechter 1996, 17.14(d), p. 460.
^ „Locally compact preregular spaces are completely regular”. math.stackexchange.com.
^ Schechter 1996, 17.7(g), p. 457.

Bibliografie

Arkhangelskii, A.V.; Pontryagin, L.S. (1990). General Topology I. Springer. ISBN 3-540-18178-4.
Bourbaki (1966). Elements of Mathematics: General Topology. Addison-Wesley.
Hazewinkel, Michiel, ed. (2001), „Hausdorff space”, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104
Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.

Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.

[1] „Hausdorff space Definition & Meaning”. www.dictionary.com. Accesat în 15 iunie 2022.

[ncatlab-2] „Separation axioms in nLab”. ncatlab.org.

[Willard04_86_7-3] Willard 2004, pp. 86–87.

[4] Bourbaki 1966, p. 75.

[5] Vedeți, de exemplu, Lp space#Lp spaces and Lebesgue integrals^⁠(en)^[traduceți], Banach–Mazur compactum^⁠(en)^[traduceți] etc.

[6] van Douwen, Eric K. (1993). „An anti-Hausdorff Fréchet space in which convergent sequences have unique limits”. Topology and Its Applications. 51 (2): 147–158. doi:10.1016/0166-8641(93)90147-6.

[7] Wilansky, Albert (1967). „Between T₁ and T₂”. The American Mathematical Monthly. 74 (3): 261–266. doi:10.2307/2316017. JSTOR 2316017.

[8] Shimrat, M. (1956). „Decomposition spaces and separation properties”. Quarterly Journal of Mathematics. 2: 128–129. doi:10.1093/qmath/7.1.128.

[9] Willard 2004, pp. 124.

[FOOTNOTESchechter199617.14(d),_p._460-10] Schechter 1996, 17.14(d), p. 460.

[11] „Locally compact preregular spaces are completely regular”. math.stackexchange.com.

[FOOTNOTESchechter199617.7(g),_p._457-12] Schechter 1996, 17.7(g), p. 457.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]