Ortogonalgrupp

Från Wikipedia
Hoppa till: navigering, sök

En ortogonalgrupp är ett matematisk begrepp inom linjär algebra. Ortogonalgruppen är en grupp bestående av linjära avbildningar med egenskapen att de bevarar skalärprodukten. Ortogonalgruppen är en undergrupp till den allmänna linjära gruppen

Formell definition[redigera | redigera wikitext]

Den n-dimensionella ortogonalgruppen över de reella talen är en grupp där

  • mängden är definierad som:

dvs funktioner bevarar skalärprodukten och

  • gruppoperationen är definierad som:
för alla och ,

dvs gruppoperationen är sammansättning.

Man kan konstruera ortogonalgrupper över vilken kropp som helst, exempelvis de reella talen, komplexa talen och ändliga kroppar.

Likvärdiga definitioner[redigera | redigera wikitext]

Det finns många likvärdiga definitioner för ortogonalgruppen.

Isometrier[redigera | redigera wikitext]

Huvudartikel: Isometri

Mängden kan också ses som alla linjär isometrier . Mer precist,

dvs funktioner bevarar avstånden.

Ortogonalmatriser[redigera | redigera wikitext]

Huvudartikel: Ortogonalmatris

Eftersom det finns en bijektionen mellan alla linjära avbildningar och matriser av storlek så kan man se mängden som alla ortogonalmatriser av storlek . Mer precist,

då gruppoperationen är matrismultiplikation.

Speciella ortogonalgruppen[redigera | redigera wikitext]

Alla matriser i har egenskapen att

Om man tar alla matriser med

får man en normal undergrupp som kallas den speciella ortogonalgruppen, betecknad .

Egenskaper[redigera | redigera wikitext]

Ortogonalgruppen har några egenskaper.

Lokalt kompakt topologisk grupp[redigera | redigera wikitext]

Ortogonalgruppen är en lokalt kompakt topologisk grupp eftersom det är ett metriskt rum vars topologi är lokalt kompakt. Metriken är

för alla

Måttstruktur[redigera | redigera wikitext]

Huvudartikel: Vridningsinvariant mått

Eftersom ortogonalgruppen är en lokalt kompakt topologisk grupp finns ett unikt Haarmått i O(n) som ofta betecknas

där är Borelalgebran i ortogonalgruppen O(n). Det här måttet kallas ofta ett vridningsinvariant mått.

Se även[redigera | redigera wikitext]

Referenser[redigera | redigera wikitext]

  • Mattila, P. "Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability", Cambridge University Press, 1995.