Twierdzenie
Na to by liczba AeK była wartością własną przekształcenia liniowego <p.Kn->K" potrzeba i wystarcza by P(A)=0.
Twierdzenie
Zbiór wektorów własnych q>: K" —> K" o wartości własnej Ae K uzupełniony o wektor zerowy jest niezmienniczą przestrzenią liniową , oznaczamy ją Lx, dim Lx = n-rz(A- jcl), gdzie A - macierz przekształcenia.
Twierdzenie
Jeśli wektory własne przekształcenia liniowego ę: K" —» K" mają różne wartości własne, to
są liniowo niezależne.
Twierdzenie
Jeśli (p \ Kn —» K" ma n różnych wartości własnych oraz dła i e {l,2.....w} xt jest wektorem
własnym o wartości własnej A,, to x........ tworzą bazę Kn. W bazie tej (p ma macierz diagonalną ,
której główną przekątną (diagonalę) tworzą liczby A,.....A„.
Twierdzenie. Jeśli AeM„„ ma n liniowo niezależnycli wektorów własnych, to macrerz C której
koliunnanrr są kolejne wektory własne A nazywamy diagonalizirjącąA. Macierz D = C ‘AC jest diagonalna.
Twierdzenie Cayleye 'a Hamiltona
Każda macierz kwadratowa spełnia swoje równanie charakterystyczne, traktowane jako równanie macierzowe.
Definicja (forma liniowa)
Niech V = /?", R- ciało liczb rzeczywistych, (a,.....an)- baza V Odwzorowanie / :Vx V ->R
Jt
takie, że A f(x, y) = ^ a ixl y t, a ^ e R nazywamy fonną liniową, gdzie ,CCj ).
i.i-i
Macierz A = [ay J nazywamy macierzą formy, rz A -rzędem fonny, det A - wyróżnikiem formy Jeśli det A * 0 to mówimy, że / jest nreosobliwa.
Jeśli AT = A to mówimy, że / jest symetryczna.
Definicja (forma kwadratowa)
Jeśli / jest dwuliniową symetryczną fonną, to fimkcję F(x) = f(x,x) nazywamy formą kwadratową fonny d wul i ni owej / . Jeśli f(x)= J'aux? to mówimy, że F jest postaci kanonicznej.
■-i
Każdą fonnę kwadratową można sprowadzić do postaci kanonicznej. Ilość współczynników dodatnich w każdej postaci kanonicznej fonny jest taka sama.
Definicja (forma dodatnio określona)
Fonnę F :Rn x Rn -» R nazywamy dodatnio (ujemnie, niedodatnio, nieujenuiie) określoną jeśli A F(x)> 0(<0, ^0, ^0).
xeK"\{0)