3d kugle

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.

Ligning

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:

Egenskaber

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 .

Gruppestruktur

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 .

Handlingen af ​​gruppen U(1) og Hopf-fibrationen

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 .

Homotopi grupper af sfæren

Kuglens simple sammenhæng betyder, at den første homotopigruppe . Også nul er gruppen .

Noter

  1. Postnikov M. M. Forelæsninger om algebraisk topologi, s. 20. - Moskva, Nauka, 1984.

Se også

Litteratur

Links