BAZA ORTONORMALNA

Rozwiązanie



Forma kwadratowa  0x01 graphic


ma następującą macierz względem bazy kanonicznej: 

0x01 graphic


Baza ortonormalna, w której forma 0x01 graphic
 ma postać kanoniczną, będzie złożona z wersorów własnych macierzy 0x01 graphic
. Obliczmy zatem jej wartości własne. 

0x01 graphic


Wartościami własnymi macierzy 0x01 graphic
 są zatem liczby 

0x01 graphic


Szukamy wektorów własnych odpowiadających pierwszej wartości własnej 0x01 graphic
 rozwiązując układ równań liniowych: 

0x01 graphic


Łatwo wyliczyć, że wszystkie wektory własne dla 0x01 graphic
 są postaci 0x01 graphic


Wybierzmy jeden z nich, np. 0x01 graphic


Szukamy bazy ortonormalnej, więc musimy znormalizować wektor 0x01 graphic
, tzn. podzielić jego współrzędne przez jego normę 0x01 graphic
 tak, by otrzymać wersor, czyli wektor o normie równej 1. Obliczamy 

0x01 graphic


Pierwszym wektorem szukanej bazy jest wektor o współrzędnych 0x01 graphic

Podobnie znajdujemy wektor własny odpowiadający wartości własnej 0x01 graphic
, rozwiązując ukąld równań 

0x01 graphic


i wybierając jedno z rozwiązań, np. 0x01 graphic


Po normalizacji otrzymujemy drugi wektor o współrzędnych 0x01 graphic


W bazie złożonej z tych dwóch wektorów forma kwadratowa 0x01 graphic
 ma postać kanoniczną 

0x01 graphic