Cubul Hilbert

În matematică cubul Hilbert, numit după David Hilbert, este un spațiu topologic care oferă un exemplu instructiv al unor noțiuni din topologie. Mai mult, multe spații topologice interesante pot fi încorporate în cubul Hilbert; adică pot fi privite ca subspații ale cubului Hilbert (vezi mai jos).

Definiție

Cea mai bună definiție pentru cubul Hilbert este ca fiind produsul topologic al intervalelor [0, 1/n] pentru $n=1,2,3,4,\dots ,$ adică este un cuboid de dimensiune infinit numărabilă, unde lungimile muchiilor în fiecare direcție ortogonală formează succesiunea $\{1/n{\}}_{n\in \mathbb{N}}.$

Cubul Hilbert este Format:Ill-wd cu produsul infinit numărabil al mai multor copii ale intervalului unitate Format:Math. Cu alte cuvinte, din punct de vedere topologic nu se poate distinge de cubul unitate de dimensiune infinit numărabilă.

Dacă un punct din cubul Hilbert este specificat printr-un șir $\{a_n\}$ cu $0\le a_n\le 1/n$, atunci un homeomorfism cu cubul unitate infinit dimensional este dat de $h(a{)}_n=n\cdot a_n$.

Cubul Hilbert ca spațiu metric

Uneori este convenabil să se imagineze cubul Hilbert ca fiind un spațiu metric, ca la o submulțime specifică a unui spațiu Hilbert separabil (adică un spațiu Hilbert cu o bază Hilbert infinită numărabilă). În aceste scopuri, cel mai bine este să nu fie văzut ca un produs de copii ale intervalului Format:Math, ci ca produsul

Format:Math

După cum s-a menționat mai sus, pentru proprietățile topologice aceasta este același lucru. Adică, un element al cubului Hilbert este un șir infinit

Format:Math

care satisface

Format:Math.

Orice șir de acest tip aparține spațiului Hilbert ℓ₂, astfel încât cubul Hilbert moștenește o metrică de acolo. Se poate arăta că topologia indusă de metrică este aceeași cu topologia produsului din definiția de mai sus.

Proprietăți

Ca produs de spații Hausdorff compacte, ca rezultat al Format:Ill-wd, cubul Hilbert este el însuși un spațiu Hausdorff compact. Compactitatea cubului Hilbert poate fi demonstrată și fără axioma alegerii prin construirea unei funcții continue din mulțimea lui Cantor pe cubul Hilbert.

În ℓ₂, nici un punct nu are o vecinătate compactă (astfel, ℓ₂ nu este Format:Ill-wd). S-ar putea crede că toate submulțimile compacte ale lui ℓ₂ sunt de dimensiuni finite. Cubul Hilbert arată că nu este cazul. Dar cubul Hilbert nu reușește să fie o vecinătate a oricărui punct Format:Mvar deoarece latura sa devine în fiecare dimensiune din ce în ce mai mică, astfel încât într-o anumită dimensiune o bilă deschisă în jurul lui Format:Mvar având o rază fixă Format:Math trebuie să iasă în afara cubului.

Orice submulțime compactă convexă de dimensiune infinită a $l_2$ este homeomorfă cubului Hilbert. Cubul Hilbert este o mulțime convexă, a cărei întindere este întregul spațiu, dar al cărei interior este gol. Această situație este imposibilă în dimensiuni finite. Conul tangent la cub la vectorul zero este întregul spațiu.

Fiecare submulțime a cubului Hilbert moștenește de la cubul Hilbert proprietățile de a fi atât metrizabil (prin urmare un Format:Ill-wd), cât și complet și separabil. Este interesant că și inversa este valabilă: orice T4 este homeomorf cu o submulțime a cubului Hilbert.

Orice submulțime Format:Math a cubului Hilbert este un Format:Ill-wd, un spațiu topologic homeomorf cu un spațiu metric complet și separabil. Invers, fiecare spațiu polonez este homeomorf cu o submulțime Format:Math a cubului Hilbert.

Bibliografie

• Format:En icon Format:Cite book
• Format:De icon Format:Cite web

Lectură suplimentară

• Format:En icon Format:Cite book