Dalsi konkretny priklad su matice rotacii
ktore sa pisu takto
a podobne aj matica 
Co viete o nich?
Offline
Ako vidim predosle uvahysu vsetkym jasne.
Tak teraz si pohovorme o ortogonalnych maticach.
Definicia 1.
Nech
je euklodivsky priestor.
Oznacme jeho scalarny sucin
a jeho asociovanu normu
.
Povieme, ze realna matica
je ortogonalna ak
. Mnozinu takych matic oznacime
.
Co viete o takych maticach?
Offline
Pokracovanie.
Poznamky:
Lahko ukazeme, ze mame
tiez
;
tiez, ze
tvori nasobiacu grupu.
Tiez vektory stlpce takejto matice tvoria ortonormalnu “rodinu” v
z klasickym skalarnym sucinom.Konkretne ak jej stlpce su
vyjadrene v standardnej (kanonickej) bazi, tak
je ortonormalna baza priestoru
.
Tiez determinant matice
je 1 alebo -1.
V pripade, ked je 1, taketo matice tvoria podgrupu
( povieme specialna ortogonalna grupa....) grupy
.
Offline
WOzaj, v #103 som pripomenul, ze
Kazda ortogonalna matica ma jej determinant rovny 1 alebo -1
Dokaz je jednoduchy.
Niekto to tu skusi?
Offline
Tak ten dokaz.
Mame
, a tak
A tak mame vetu zo#104.
Pozor reciprocna veta neplati.
Offline