În topologie și ramurile înrudite ale matematicii, un spațiu Hausdorff (/ˈhaʊsdɔːrf/, /ˈhaʊsdɔːrf/[1]), spațiu T2 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” (T2) 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

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

Puncte   și   dintr-un spațiu topologic   pot fi separate prin vecinătăți dacă există o vecinătate   a lui   si o vecinătate   a lui   astfel încât   și   să fie disjuncte  .   este un spațiu Hausdorff dacă oricare două puncte distincte din   sunt separate prin vecinătăți. Această condiție este a treia axiomă de separare (după T0 și T1), motiv pentru care spațiile Hausdorff sunt numite și spații T2. Se mai folosește și denumirea de spațiu separat.

O noțiune înrudită, dar mai slabă, este aceea de spațiu preregulat.   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 R1.

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

modificare

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

  •   este un spațiu Hausdorff.
  • Limitele șirurilor generalizate din   sunt unice.[3]
  • Limitele filtrelor pe   sunt unice.[3]
  • Orice mulțime singleton   este egală cu intersecția tuturor vecinătăților închise ale lui  .[4] (O vecinătate închisă a lui   este o mulțime închisă care conține o mulțime deschisă ce îl conține pe  .)
  • Diagonala   este închisă ca o submulțime a spațiului produs  .
  • Orice injecție de la spațiul discret cu două puncte la   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

modificare

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 T1, 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 T1 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

modificare

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 T1, ceea ce înseamnă că orice singleton este o mulțime închisă. În mod similar, spațiile preregulate sunt R0. 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   o funcție continuă și presupunem că   este Hausdorff. Atunci graficul lui  ,  , este o submulțime închisă a lui  .

Fie   o funcție și fie   nucleul său considerat ca un subspațiu al lui  .

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

Dacă   sunt aplicații continue și   este Hausdorff, atunci egalizatorul   este o mulțime închisă  . Rezultă că dacă   este Hausdorff, iar   și   sunt egale pe o submulțime densă a lui  , atunci  . Cu alte cuvinte, funcțiile continue în spațiile Hausdorff sunt determinate de valorile lor pe submulțimi dense.

Fie   o surjecție închisă astfel încât   este compact pentru orice  . Atunci dacă   este Hausdorff, la fel este și  .

Fie   o aplicație factor cu   un spațiu Hausdorff compact. Atunci următoarele afirmații sunt echivalente:

  •   este Hausdorff.
  •   este o aplicație închisă.
  •   este o mulțime închisă.

Preregularitate versus regularitate

modificare

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

modificare

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 T0. 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

modificare

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.

  1. ^ „Hausdorff space Definition & Meaning”. www.dictionary.com. Accesat în . 
  2. ^ a b „Separation axioms in nLab”. ncatlab.org. 
  3. ^ a b 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. (). „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 (). „Between T1 and T2”. The American Mathematical Monthly. 74 (3): 261–266. doi:10.2307/2316017. JSTOR 2316017. 
  8. ^ Shimrat, M. (). „Decomposition spaces and separation properties”. Quarterly Journal of Mathematics. 2: 128–129. doi:10.1093/qmath/7.1.128. 
  9. ^ Willard 2004, pp. 124.
  10. ^ Schechter 1996, 17.14(d), p. 460.
  11. ^ „Locally compact preregular spaces are completely regular”. math.stackexchange.com. 
  12. ^ Schechter 1996, 17.7(g), p. 457.

Bibliografie

modificare