En tredimensionel kugle ( tredimensionel hypersfære , nogle gange 3-sfære ) er en kugle i firedimensionelt rum . Består af et sæt punkter lige langt fra et fast centralt punkt i det firedimensionale euklidiske rum . Ligesom en todimensionel kugle, der danner grænsen for en kugle i tre dimensioner, har en 3-kugle tre dimensioner og er grænsen for en firedimensionel kugle.
I kartesiske koordinater kan en tredimensional kugle med radius gives ved ligningen
I betragtning af det komplekse rum som reelt , kan kuglens ligning ses som
Tilsvarende i quaternion-rummet :
Da den er en tredimensionel manifold, kan en tredimensionel kugle defineres parametrisk ved hjælp af tre koordinater. Et eksempel er hypersfæriske koordinater:
En tredimensionel kugle er grænsen for en firedimensionel kugle.
En tredimensionel kugle er en kompakt forbundet tredimensionel manifold . En tredimensionel kugle er simpelthen forbundet , det vil sige, at enhver lukket kurve på den kontinuerligt kan trækkes sammen til et punkt.
En tredimensionel sfære er homøomorf til en etpunktskomprimering af et tredimensionelt virkeligt rum .
Da den er et sæt af enhedsquaternioner, arver den tredimensionelle sfære en gruppestruktur.
Derfor er sfæren en Lie-gruppe . Kun blandt dimensionelle kugler og har denne egenskab .
Ved at bruge matrixrepræsentationen af kvaternioner kan man definere en grupperepræsentation ved hjælp af Pauli-matricer :
Derfor er gruppen isomorf til matrix Lie-gruppen .
Hvis du definerer en gruppehandling :
så er kredsløbsrummet homøomorft i forhold til den todimensionelle sfære . I dette tilfælde opstår en bundtstruktur på kuglen med en base og lag, der er homøomorfe , det vil sige cirkler . Dette bundt kaldes Hopf-bundtet . [en]
Hopf-bundtet er et eksempel på et ikke-trivielt hovedbundt. I koordinater er det givet af formlen
Punktet ( z 1 , z 2 ) af kuglen er afbildet til punktet [ z 1 : z 2 ] af den komplekse projektive linje CP 1 , som er diffeomorf i forhold til den todimensionelle kugle .
Kuglens simple sammenhæng betyder, at den første homotopigruppe . Også nul er gruppen .