Lineárna algebra a geometria (2) - Veta o hlavných osiach | prednáška 26

Zhrnutie prednášky

Prednáška z Lineárnej algebry a geometrie 2 otvára kapitolu Euklidovská teória kvadratických foriem a spája doterajšiu látku o skalárnom súčine s teóriou kvadratických foriem. Pripomína sa ortogonálna grupa O(n) ako množina matíc spĺňajúcich AAᵀ = I a jej súvis so zachovávaním skalárneho súčinu (rotácie, zovšeobecnené otočenia). Hlavným výsledkom je veta, že matica prechodu medzi dvoma ortonormálnymi bázami je ortogonálna, a naopak, že obraz ortonormálnej bázy pri ortogonálnej matici prechodu je opäť ortonormálna báza; tvrdenie sa dokazuje pomocou skalárneho súčinu a Kroneckerovej delty.

• Ortogonálna grupa O(n): matice A spĺňajúce A·Aᵀ = I, teda Aᵀ = A⁻¹
• Ortogonálne matice zachovávajú štandardný skalárny súčin, uhly aj dĺžky vektorov
• Rotácie priestoru sú špeciálnym prípadom ortogonálnych matíc, škálovania (diagonálne matice s inými hodnotami než ±1) medzi ne nepatria
• Veta: ak A a B sú ortonormálne bázy, matica prechodu P medzi nimi je ortogonálna (P·Pᵀ = I)
• Opačné tvrdenie: ak A je ortonormálna báza a P je ortogonálna matica prechodu, potom vzniknutá báza B je tiež ortonormálna
• Dôkaz využíva bilinearitu skalárneho súčinu a vyjadrenie ⟨Bi,Bj⟩ pomocou súm cez PikPjl a Kroneckerovej delty ⟨Ak,Al⟩
• Motivácia: otázka nájdenia najjednoduchšej matice lineárnej transformácie pri obmedzení na ortogonálne matice prechodu (analógia s otáčaním kamery na statíve)

Zhrnutie pripravené s pomocou AI z prepisu videa.