Macierz ortogonalna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Niniejszy artykuł jest częścią cyklu macierze.
Macierz ikona.png


Niektóre typy macierzy
macierz antysymetryczna
macierz diagonalna
macierz dodatnio określona
macierz elementarna
macierz hermitowska
macierz idempotentna
macierz jednostkowa
macierz klatkowa
macierz nieosobliwa
macierz nilpotentna
macierz ortogonalna
macierz osobliwa
macierz rzadka
macierz schodkowa
macierz skalarna
macierz symetryczna
macierz trójkątna
macierz unitarna
macierz wstęgowa
macierz zerowa


Operacje na macierzach
mnożenie przez skalar
dodawanie i odejmowanie
mnożenie macierzy
odwracanie macierzy
transpozycja macierzy
sprzężenie macierzy
operacje elementarne
macierz dopełnień algebraicznych
macierz dołączona
diagonalizacja
postać Jordana


Inne zagadnienia
wyznacznik macierzy
ślad macierzy
widmo macierzy
minor macierzy
rząd macierzy
wielomian charakterystyczny

edytuj ten szablon

Macierz ortogonalna – macierz przekształcenia ortogonalnego przestrzeni euklidesowej n-wymiarowej względem bazy ortonormalnej tej przestrzeni[1].

Warunki równoważne ortogonalności macierzy[edytuj]

Niech A\in M_n(\mathbb{R}). Następujące warunki są równoważne:

  1. A jest macierzą ortogonalną[2]
  2. kolumny macierzy A, traktowane jako wektory przestrzeni \mathbb{R}^n tworzą bazę ortonormalną[3]
  3. wiersze macierzy A, traktowane jako wektory przestrzeni \mathbb{R}^n tworzą bazę ortonormalną[3]
  4. kolumny macierzy A, traktowane jako wektory przestrzeni \mathbb{R}^n tworzą układ ortonormalny[4]
  5. wiersze macierzy A, traktowane jako wektory przestrzeni \mathbb{R}^n tworzą układ ortonormalny[5]
  6. A^TA=I, gdzie I oznacza macierz jednostkową wymiaru n\,, a A^T\, oznacza macierz transponowaną względem A\,[6][7]
  7. AA^T=I, gdzie I oznacza macierz jednostkową wymiaru n\,, a A^T\, oznacza macierz transponowaną względem A\,[8]
  8. dla każdej bazy ortonormalnej \{ v_1,\ldots , v_n\} przestrzeni \mathbb{R}^n układ \{ Av_1,\ldots , Av_n\} jest bazą ortonormalną przestrzeni \mathbb{R}^n[9]
  9. macierz A jest odwracalna i A^{-1}=A^T, gdzie A^{-1} oznacza macierz odwrotną do macierzy A, a A^T\, oznacza macierz transponowaną względem A\,[10]
  10. \sum_{j=1}^{n} a_{ij}a_{kj}=\delta_{ik}, gdzie \delta_{ik} jest deltą Kroneckera[11]
  11. \sum_{j=1}^{n} a_{ji}a_{jk}=\delta_{ik}, gdzie \delta_{ik} jest deltą Kroneckera[12]
  12. \forall_{x,y\in\mathbb{R}^n} (Ax)\cdot(Ay)=x\cdot y[13]
  13. \forall_{x\in\mathbb{R}^n} |Ax|=|x|[14]

Własności macierzy ortogonalnych[edytuj]

  • Wyznacznik macierzy ortogonalnej jest równy 1 lub -1[15][16][17]
  • Macierz jednostkowa jest macierzą ortogonalną[18]
  • Jeśli A,B\in M_n(\mathbb{R}) są ortogonalne, to:
    • AB jest macierzą ortogonalną[19]
    • BA jest macierzą ortogonalną[19]
    • (AB)^T=B^TA^T[19]

Macierz ortogonalna jest macierzą unitarną o wyrazach rzeczywistych[20].

Grupa ortogonalna[edytuj]

Zbiór wszystkich macierzy ortogonalnych stopnia n oznacza się symbolem \mathcal{O}(n)[1][21] lub \mathcal{O}(n,\mathbb{R})[22]. Zbiór ten wraz z działaniem mnożenia macierzy tworzy grupę[23][24], nazywaną grupą ortogonalną stopnia n[25][21]. Jest to podgrupa ogólnej grupy liniowej GL_n(\mathbb{R})[22][26].

Specjalna grupa ortogonalna \mathcal{SO}(n)[25] (lub grupa unimodularna \mathcal{SL}(n,\mathbb{R})[22]) – zbiór macierzy ortogonalnych stopnia n, których wyznacznik jest równy jeden[25][22]. Jest to podgrupa grupy ortogonalnej \mathcal{O}(n)[22][25].

Przykłady[edytuj]

Przypisy

  1. a b Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Definicja 10.9
  2. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Twierdzenie 10.14 (a)
  3. a b Bazy ortonormalne i macierze ortogonalne Wniosek 9
  4. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Twierdzenie 10.14 (b)
  5. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Twierdzenie 10.14 (f)
  6. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Twierdzenie 10.14 (c)
  7. Bazy ortonormalne i macierze ortogonalne Definicja 7.1
  8. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Twierdzenie 10.14 (e)
  9. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 16 d)
  10. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.198, Twierdzenie 10.14 (d)
  11. Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2; s.216, Definicja 11.14, wzór (11.15)
  12. Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2; s.216, Definicja 11.14, wzór (11.16)
  13. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 16 b)
  14. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 16 c)
  15. Prof. dr hab. Włodzimierz Waliszewski i in., Encyklopedia szkolna. Matematyka, Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1988, ISBN 83-02-02551-8, s.136
  16. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 13 a)
  17. Algebra macierzy; D1.2.7.
  18. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 13 c)
  19. a b c Bazy ortonormalne i macierze ortogonalne Stwierdzenie 13 b)
  20. QR Algorithm for the Computation of the Eigenvalues, Maciej Kluczny, Mateusz Kramarczyk, AGH University of Science and Technology, 2006; Macierz unitarna
  21. a b Bazy ortonormalne i macierze ortogonalne Stwierdzenie 13
  22. a b c d e Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2; s.220
  23. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.199, Wniosek 10.15
  24. Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2; s.220, Twierdzenie 11.26
  25. a b c d Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.199-200, Definicja 10.10
  26. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.199, Wniosek 10.15 - dowód
  27. a b Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.200
  28. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 14 (7.12)
  29. Bazy ortonormalne i macierze ortogonalne Stwierdzenie 14 (7.13)
  30. Andrzej Sołtysiak, Algebra liniowa, Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, Poznań 1999, ISBN 83-232-1018-7; s.201, Twierdzenie 10.16
  31. N.W. Jefimow, E.R. Rozendorn, Algebra liniowa wraz z geometrią wielowymiarową, PWN, Warszawa 1976
  32. Jacek Komorowski, Od liczb zespolonych, do tensorów, spinorów, algebr Liego i kwadryk, PWN, Warszawa 1978, s. 145, Twierdzenie VIII.2.12
  33. A.I. Kostrykin, J.I. Manin, Algebra liniowa i geometria, Wydawnictwo Naukowe PWN, Warszawa 1993
  34. Bolesław Gleichgewicht, Algebra, Oficyna Wydawnicza GiS, Wrocław 2004, ISBN 978-83-89020-35-2; s.221

Zobacz też[edytuj]