Diagonalizacja endomorfizmu

Z Wikipedii, wolnej encyklopedii

Diagonalizacja endomorfizmu skończenie wymiarowej przestrzeni wektorowej – proces znajdowania bazy przestrzeni w której macierz jest diagonalna.

Endomorfizm nazywamy diagonalizowalnym, jeśli taka baza istnieje.

Wektory własne[edytuj | edytuj kod]

Niech Endomorfizm jest diagonalizowalny wtedy i tylko wtedy, gdy istnieje baza przestrzeni złożona z wektorów własnych tego endomorfizmu.

Dowód

Diagonalizowalność endomorfizmu jest równoważna istnieniu w przestrzeni „diagonalnej” bazy dla której

Ponieważ w tej bazie -ta kolumna macierzy endomorfizmu jest układem współrzędnych wektora w bazie tzn.

więc wszystkie wektory są wektorami własnymi endomorfizmu

Wniosek

Jeżeli jest endomorfizmem diagonalizowalnym i jest macierzą diagonalną, to baza składa się z wektorów własnych endomorfizmu a przekątna macierzy składa się z (niekoniecznie różnych) wartości własnych endomorfizmu (z zachowaniem odpowiedniej kolejności).

Warunek wystarczający na diagonalizowalność endomorfizmu[edytuj | edytuj kod]

Niech Warunkiem wystarczającym na diagonalizowalność endomorfizmu jest, aby wielomian charakterystyczny endomorfizmu miał n różnych wartości własnych.

Uwaga:

Jeżeli jest wartością własną endomorfizmu o krotności (jako pierwiastka wielomianu charakterystycznego), to dla podprzestrzeni odpowiadającej wartości własnej

Liczbą nazywamy wówczas krotnością algebraiczną, a liczbę nazywamy krotnością geometryczną wartości własnej

Warunek konieczny i wystarczający na diagonalizowalność endomorfizmu[edytuj | edytuj kod]

Niech Endomorfizm jest diagonalizowalny wtedy i tylko wtedy, gdy:

  • wielomian charakterystyczny endomorfizmu ma postać
gdzie oraz dla
gdzie jest podprzestrzenią przestrzeni odpowiadającą wartości własnej oraz

Przykład[edytuj | edytuj kod]

Diagonalizacja endomorfizmu

Niech będzie bazą kanoniczną w

Niech będzie wielomianem charakterystycznym macierzy

Wówczas

Konstrukcja przestrzeni własnej odpowiadającej wartości własnej

Stąd

Wektory są oczywiście liniowo niezależne i stanowią bazę przestrzeni

Konstrukcja przestrzeni własnej odpowiadającej wartości własnej

Stąd

Wektor jest bazą przestrzeni

Ostatecznie

więc jest endomorfizmem diagonalizowalnym.

Bibliografia[edytuj | edytuj kod]

  • Teresa Jurlewicz, Zbigniew Skoczylas: Algebra liniowa 2: definicje, twierdzenia, wzory. Wyd. VI rozszerzone. Wrocław: Oficyna Wydawnicza GiS, 2002, s. 145, seria: Matematyka dla Studentów Politechniki Wrocławskiej. ISBN 978-83-85941-89-7. OCLC 69535787.