Kolmiulotteinen pallo ( kolmiulotteinen hypersfääri , joskus 3-pallo ) on neliulotteisessa avaruudessa oleva pallo . Koostuu joukosta pisteitä, jotka ovat yhtä kaukana kiinteästä keskipisteestä neliulotteisessa euklidisessa avaruudessa . Aivan kuten kaksiulotteinen pallo, joka muodostaa pallon rajan kolmessa ulottuvuudessa, 3-pallolla on kolme ulottuvuutta ja se on neliulotteisen pallon raja.
Karteesisissa koordinaateissa kolmiulotteinen sädepallo voidaan antaa yhtälöllä
Kun otetaan huomioon monimutkainen avaruus todellisena , pallon yhtälöä voidaan pitää muodossa
Vastaavasti kvaternionavaruudessa :
Kolmiulotteisena moninaisena kolmiulotteinen pallo voidaan määritellä parametrisesti käyttämällä kolmea koordinaattia. Esimerkki on hyperpallon koordinaatit:
Kolmiulotteinen pallo on neliulotteisen pallon raja.
Kolmiulotteinen pallo on kompakti yhdistetty kolmiulotteinen jakoputkisto . Kolmiulotteinen pallo on yksinkertaisesti yhdistetty , eli mikä tahansa siinä oleva suljettu käyrä voidaan jatkuvasti supistaa pisteeseen.
Kolmiulotteinen pallo on homeomorfinen kolmiulotteisen todellisen avaruuden yhden pisteen tiivistymiselle .
Koska kolmiulotteinen pallo on joukko yksikkökvaternioneja, se perii ryhmärakenteen.
Siten pallo on valheryhmä . Dimensionaalisten sfäärien joukossa vain ja on tämä ominaisuus .
Kvaternionien matriisiesitystä käyttämällä voidaan määritellä ryhmäesitys käyttämällä Pauli-matriiseja :
Siksi ryhmä on isomorfinen matriisi Lie -ryhmän kanssa .
Jos määrität ryhmätoiminnon :
silloin rata-avaruus on homeomorfinen kaksiulotteiselle pallolle . Tässä tapauksessa pallon päälle syntyy nippurakenne, jossa on pohja ja kerrokset, jotka ovat homeomorfisia eli ympyröitä . Tätä nippua kutsutaan Hopf-nipuksi . [yksi]
Hopf-nippu on esimerkki ei-triviaalista pääkimpusta. Koordinaateissa se annetaan kaavalla
Pallon piste ( z 1 , z 2 ) kartoitetaan kompleksisen projektitiivisen suoran CP 1 pisteeseen [ z 1 : z 2 ] , joka on diffeomorfinen kaksiulotteisen pallon kanssa .
Sfäärin yksinkertainen liitettävyys tarkoittaa, että ensimmäinen homotopiaryhmä . Myös nolla on ryhmä .