WYKŁAD - 4
|
WYZNACZNIKI I ICH ZASTOSOWANIA |
W wykładzie tym przedstawimy definicje i własności wyznacznika, który ma zastosowanie przy rozwiązywaniu układów algebraicznych równań liniowych, w geometrii i analizie.
GENEZA WYZNACZNIKA
Rozpatrzmy układ równań liniowych z dwiema niewiadomymi

Rozwiązanie układu metodą przeciwnych współczynników
Mnożymy pierwsze równanie przez ![]()
Mnożymy drugie równanie przez ![]()
Dodajemy równania stronami.
Stąd: ![]()
Podobnie: ![]()
Rozwiązanie układu równań jest postaci:

przy założeniu: ![]()
Macierz główna układu dwóch równań ma postać

Definicja
Wyznacznikiem macierzy głównej układu dwóch równań nazywamy liczbę równą: ![]()
i oznaczamy przez: 
Zauważmy, że rozpatrując dodatkowe następujące dwa wyznaczniki

możemy rozwiązanie układu równań zapisać w postaci:

Jest to przypadek szczególny postaci rozwiązań układu n równań liniowych, który poznamy w wykładzie 5
Przykład
Obliczyć wyznacznik

= 20 - (-6) = 26
Rozpatrzmy macierz kwadratową A wymiaru nxn
A = 
Dla takiej macierzy A zdefiniujemy liczbę nazywaną wyznacznikiem A i oznaczaną detA lub ![]()
Możemy zatem wyznacznik traktować jako funkcję, która każdej macierzy kwadratowej rzeczywistej (zespolonej) przypisuje liczbę rzeczywistą (zespoloną).
Indukcyjna definicja wyznacznika względem ilości wierszy n - rozwinięcie względem pierwszego wiersza
Niech A oznacza macierz kwadratową wymiaru n![]()
Krok 1. Dla n=1, detA = a11
|
Krok 2.
Założenie: mamy zdefiniowany wyznacznik wymiaru n
Teza: Definiujemy wyznacznik wymiaru (n+1)
dla i = 1, 2, ..., n+1:
|
S jest sumą następujących iloczynów: każdy element a1i pierwszego wiersza przemnażamy przez ![]()
i przez wyznacznik macierzy otrzymanej przez skreślenie pierwszego wiersz i i-tej kolumny. Otrzymane iloczyny dodajemy.
Wyznacznik liczbowej macierzy kwadratowej
oznaczamy również symbolem

Dla wyznacznika mówimy podobnie jak o macierzy o jego stopniu, wierszach i kolumnach.
Pamiętajmy, że wyznacznik jest określony
tylko dla macierzy kwadratowych
Przykład
Obliczyć z definicji wyznacznik macierzy

![]()
detA = 
+

![]()
= 15 + 22 + 7 = 44
Zauważmy, że stosując definicję indukcyjną do macierzy kwadratowej A stopnia 2 otrzymamy wynik zgodny z pierwszą definicją przedstawioną na wykładzie.

Definicja
Niech ![]()
będzie macierzą kwadratową stopnia n. Dopełnieniem algebraicznym elementu ![]()
nazywamy liczbę
![]()
gdzie ![]()
oznacza macierz stopnia n-1 otrzymaną przez skreślenie i-tego wiersza i j-tej kolumny macierzy.
Twierdzenie(Laplace'a o rozwinięciu wyznacznika)
Dla macierzy kwadratowej A stopnia n
Rozwinięcie względem i-tego wiersza |
|
Rozwinięcie względem j-tej kolumny |
|
Zatem wyznacznik jest równy sumie iloczynów elementów
i-tego wiersza i ich dopełnień algebraicznych
jak również sumie iloczynów elementów j-tej kolumny
i ich dopełnień algebraicznych.
Przedstawimy teraz kolejną metodę, którą w prosty sposób obliczymy wyznacznik macierzy stopnia 3.
Metoda Sarrusa

Pod wyznacznikiem dopisujemy dwa pierwsze wiersze.
Iloczyny wzdłuż głównej przekatnej sumujemy ze znakiem +
a iloczyny wzdłuż drugiej przekatnej sumujemy ze znakiem -
i otrzymujemy wartość wyznacznika.
Identyczny wynik uzyskamy jeżeli obok wyznacznika
dopiszemy dwie pierwsze kolumny.
Przykład

Wyznacznik można także zdefiniować używając pojęcia permutacji i jej znaku.
Permutacyjna definicja wyznacznika
Permutacja zbioru:![]()
:
ciąg ![]()
elementów tego zbioru,
w którym każda liczba powtarza się tylko raz.
Para (pi , pj) tworzy inwersję, gdy pi > pj dla i < j.
Liczba permutacji zbioru n - elementowego: n!
Permutacja parzysta - parzysta ilość inwersji.
Permutacja nieparzysta - nieparzysta ilość inwersji
Znak permutacji - 
Przykład
Rozpatrzmy permutację (2, 3, 4, 5, 1) zbioru ![]()
Liczba inwersji = 4 { (2,1),(3,1),(4,1),(5,1) }
![]()
permutacja parzysta ![]()
znak permutacji wynosi 1
Twierdzenie
Dla macierzy A =
gdzie
|
Obliczanie wyznacznika macierzy metodą permutacyjną (dla macierzy 3 x 3)

Wypisujemy wszystkie permutacje zbioru {1, 2, 3}
![]()
Tworzymy iloczyny współczynników macierzy
w następujący sposób
Permutacja wyjściowa |
Permutacja obliczona |
Znak permutacji |
Iloczyn współczynników |
1, 2, 3 |
1, 2, 3 |
1 |
|
|
1, 3, 2 |
-1 |
a |
|
2, 1, 3 |
-1 |
|
|
3, 2, 1 |
-1 |
|
|
2, 3, 1 |
1 |
|
|
3, 1, 2 |
1 |
|
Dodajemy utworzone iloczyny, które przepisujemy
ze znakiem „+” dla permutacji parzystej,
ze znakiem „-” dla permutacji nieparzystej
det A =![]()
- a![]()
- ![]()
- ![]()
+
+![]()
+![]()
Tak więc otrzymujemy wspomniany poprzednio wzór Sarrusa
Przykład
Obliczyć wyznacznik macierzy metodą permutacyjną

![]()
permutacja parzysta
![]()
permutacja nieparzysta
![]()
permutacja nieparzysta
![]()
permutacja nieparzysta
![]()
permutacja parzysta
![]()
permutacja parzysta
detA=![]()
Metoda Sarrusa daje oczywiście ten sam wynik

Aksjomatyczna definicja wyznacznika
Wyznacznikiem macierzy kwadratowej nazywamy
funkcję rzeczywistą lub zespoloną majacą własności:
1 |
|
2 |
|
3 |
|
4 |
|
Gdzie ![]()
oznacza i-tą kolumnę danej macierzy
a ![]()
oznacza liczbę rzeczywistą lub zespoloną.
Twierdzenie - własności wyznaczników
Wyznacznik = 0 |
Wyznacznik macierzy mającej wiersz (kolumnę) zerową jest równy 0 np.

Wyznacznik macierzy o dwóch jednakowych wierszach (kolumnach) jest równy 0 np.

Wyznacznik o dwóch proporcjonalnych wierszach (kolumnach) jest równy 0 np.
![]()

• Jeżeli w macierzy jeden z wierszy (lub jedna z kolumn) jest kombinacją liniową pozostałych wierszy (lub kolumn), to wyznacznik tej macierzy jest równy 0 np.



Wyznacznik nie zmieni się |
Wyznacznik macierzy nie zmieni wartości, jeżeli do wiersza (lub kolumny) macierzy dodamy kombinację liniową pozostałych wierszy (lub kolumn) np.



![]()
=
Własność ta może być wykorzystana w tzw.redukcji wierszowej lub kolumnowej
Wyznacznik zmieni się |
Przestawienie dwóch wierszy (kolumn) w macierzy jest równoważne pomnożeniu wyznacznika przez -1

Mnożąc wiersz (kolumnę) macierzy przez liczbę mnożymy wyznacznik tej macierzy przez tę liczbę np.

Wyznacznik macierzy specjalnej postaci |
• Wyznacznik macierzy kwadratowej jest równy wyznacznikowi macierzy względem niej transponowanej
![]()
np.

•Wyznacznik macierzy, której elementy pewnej kolumny (wiersza) są sumami dwóch składników jest równy sumie wyznaczników macierzy, w których elementy tej kolumny (wiersza) są zastąpione tymi składnikami np.

=

+ 
Algorytm Gaussa obliczania wyznaczników
W oparciu o powyższe twierdzenie łatwo uzasadnić prawdziwość następującego algorytmu Gaussa obliczania wyznaczników, który polega na sukcesywnym obniżaniu stopnia obliczanego wyznacznika

i ![]()
.
Wówczas

W ostatnim wyznaczniku od i-tego wiersza odejmujemy wiersz pierwszy przemnożony przez ![]()
.
W efekcie otrzymamy

gdzie: 
Transponując ostatni wyznacznik i korzystając z definicji indukcyjnej wyznacznika otrzymamy, że

Gdzie wyznacznik po prawej stronie jest stopnia n-1.
Przykład


Stosując rozwinięcie indukcyjne i twierdzenie Laplace'a łatwo uzasadnić, że wyznacznik macierzy
dolno- lub górno-trójkątnej jest równy
iloczynowi elementów diagonalnych.
Twierdzenie (o wyznaczniku iloczynu macierzy)
Jeśli A i B są macierzami kwadratowymi tego samego stopnia, to zachodzi:
|
ODWRACANIE MACIERZY
Definicja
Macierzą odwrotną do macierzy kwadratowej A nazywamy macierz oznaczoną przez ![]()
, taką, że
![]()
Twierdzenie
Macierz odwracalna A (tzn. taka, do której istnieje macierz odwrotna) jest macierzą nieosobliwą, to jest taką, że ![]()
Macierz odwrotna ![]()
do macierzy nieosobliwej A jest nieosobliwa.
Wyznacznik macierzy odwrotnej ![]()
jest równy odwrotności wyznacznika macierzy A.
![]()
Definicja
Macierzą dołączoną ![]()
macierzy kwadratowej A nazywamy macierz transponowaną macierzy utworzonej z dopełnień algebraicznych elementów macierzy A.
![]()
Twierdzenie: Macierz odwrotna dana jest wzorem
![]()
Własnosci operacji odwracania macierzy:
1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
Algorytm obliczania macierzy odwrotnej do macierzy A
k1 |
Oblicz wyznacznik det (A)
|
k2 |
Jeżeli det(A) = 0 to koniec algorytmu Jeżeli det(A) ≠ 0 to przejdź do k3
|
k3 |
Oblicz macierz minorów
|
k4 |
Oblicz macierz dopełnień
|
k5 |
Transponuj macierz dopełnień
|
k6 |
Oblicz macierz odwrotną jako
|
k7
|
Sprawdź czy tak obliczona macierz spełnia warunki:
Jeżeli NIE to wróć do kroku k1 Jeżeli TAK to koniec algorytmu
|
Przykład
Obliczyć macierz odwrotną do macierzy
A = 
Obliczamy wyznacznik macierzy
det
= 1![]()
Obliczmy dopełnienia algebraiczne elementów macierzy A

, 
, itd.
Tworzymy macierz dopełnień algebraicznych


Obliczamy ![]()

=
Algebra Liniowa z Geometrią
16