Macierz ortogonalna
Macierz ortogonalna to kwadratowa macierz , której elementy są liczbami rzeczywistymi i spełnia warunek:
gdzie to macierz jednostkowa wymiaru , a to macierz transponowana do . Macierze ortogonalne reprezentują przekształcenia ortogonalne, takie jak obroty czy odbicia w n-wymiarowej przestrzeni euklidesowej.
Warunki równoważne ortogonalności macierzy
Dla macierzy następujące warunki są równoważne ortogonalności:
- jest macierzą ortogonalną.
- Kolumny macierzy tworzą bazę ortonormalną.
- Wiersze macierzy tworzą bazę ortonormalną.
- oraz .
- Macierz jest odwracalna z .
- , gdzie jest deltą Kroneckera.
- .
- .
Własności macierzy ortogonalnych
- Wyznacznik macierzy ortogonalnej wynosi 1 lub -1.
- Iloczyn dwóch macierzy ortogonalnych jest macierzą ortogonalną.
- Macierz odwrotna do jest jej macierzą transponowaną: .
- Macierz jednostkowa jest również ortogonalna.
Grupy O(n) oraz SO(n)
Grupa ortogonalna stopnia n
Zbiór macierzy ortogonalnych stopnia n tworzy grupę z mnożeniem macierzy jako działaniem grupowym, nazywaną grupą ortogonalną i oznaczaną jako lub . Jest to podgrupa ogólnej grupy liniowej .
Specjalna grupa ortogonalna
Specjalna grupa ortogonalna to grupa macierzy ortogonalnych stopnia n o wyznaczniku równym 1. Jest to podgrupa grupy ortogonalnej .