Hilbertin kuutio

Hilbertin kuutio on topologinen avaruus, joka muodostetaan joukossa , topologiana tulotopologia.  Sen alkiona ovat siis kuvaukset luonnollisten lukujen joukosta  suljetulle välille [0, 1], jotka voidaan myös samastaa sellaisten lukujonojen kanssa, joiden kaikki luvut ovat suljetulla välillä [0, 1].

Hilbertin kuutio voidaan käsittää tavallisen kuution  tai yleisemmän n-ulotteisen kuution  ääretönulotteiseksi vastineeksi. Sen topologiset ominaisuudet kuitenkin poikkeavat monessa suhteessa tavallisen kuution ominaisuuksista. Monet tärkeät erot johtuvat siitä, että tulotopologian määritelmän mukaan Hilbertin kuution ei-tyhjä osajoukko U on avoin vain, jos sen projektio PjU käsittää koko välin I = [0, 1] muilla paitsi äärellisellä määrällä indeksejä j.  Tästä seuraa esimerkiksi, että joukko  ei ole avoin.

Hilbertin kuutio metrisenä avaruutena 

Hilbertin kuutio on metristyvä.. Sille voidaan määritellä esimerkiksi seuraavanlainen metriikka:

Valitaan Hilbertin kuutiosta kaksi pistettä  ja .  Määritellään näiden pisteiden etäisyys lausekkeella

 

Voidaan osoittaa, että tämän metriikan määräämä topologia on Hilbertin kuution tulotopologia.

Ominaisuuksia 

Jokaisen metristyvän avaruuden tavoin Hilbertin kuutiokin on normaali ja samalla Hausdorffin avaruus.  Sillä on numeroituva kanta eli se on N2-avaruus.. 

Tihonovin lauseesta seuraa, että Hilbertin kuutio on myös kompakti.

Hilbertin kuution osajoukot 

Urysonin lemman avulla voidaan todistaa, että jokainen säännöllinen avaruus, jolla on numeroituva kanta, voidaan upottaa Hilbertin kuutioon, toisin sanoen Hilbertin kuutiolla on aliavaruus, joka on homeomorfinen kyseisen avaruuden kanssa. Tästä seuraa myös, että jokainen tällainen avaruus on metristyvä.  Toisaalta myös jokainen metristyvä avaruus, jolla on numeroituva kanta, voidaan upottaa Hilbertin kuutioon.

Lähteet 

Topologiset avaruudet