Wyznacznik – w
algebrze liniowej
,
funkcja
przyporządkowująca każdej
macierzy kwadratowej
M, o współczynnikach z
pierścienia przemiennego
R (w szczególności,
ciała
liczb rzeczywistych
czy
zespolonych
), pewien element tego pierścienia (oznaczany symbolem detM), która spełnia następujące warunki:
- wartością tej funkcji na macierzy 1x1 [a] jest a,
- jeśli
- jest macierzą kwadratową stopnia n>1, to wartość tej funkcji dla macierzy M równa się
, gdzie j jest dowolną liczbą naturalną z zakresu 1 <= j <= n, a przez Mi,j oznaczamy macierz stopnia n-1, powstałą z macierzy M poprzez skreślenie i-tego wiersza i j-tej kolumny (por.
minor
).
Funkcja o powyższych własnościach wyznaczona jest jednoznacznie. Wyznacznikiem macierzy M nazywamy wartość detM tej funkcji dla macierzy M.
Wyznacznik można również traktować jako funkcję, nie samej macierzy, a jej współczynników
- .
Jest on wówczas
wielomianem
n2 zmiennych o współczynnikach z R.
Zapis
Wyznacznik macierzy kwadratowej M oznaczany jest czasami przez | M | . Ta notacja może jednak prowadzić do nieporozumień, ponieważ używa się jej do zapisu
norm macierzy
lub
wartości bezwzględnej
. Zapis z użyciem pionowych kresek jest jednak szeroko rozpowszechniony w matematyce.
Dla macierzy
wprowadzamy oznaczenie
- .
Rozwinięcie Laplace'a
Istnieje jeszcze jeden (równoważny) sposób wprowadzenia pojęcia wyznacznika (zob. definicja permutacyjna poniżej), jednak tak wprowadzona definicja (tzw. definicja rekurencyjna wyznacznika) ukazuje efektywną metodę obliczania wyznaczników macierzy kwadratowych wyższych stopni. W szczególności, prawdziwe jest następujące twierdzenie Laplace'a:
- Jeżeli M jest macierzą taką jak wyżej oraz i jest liczbą naturalną nie większą niż n, to zachodzą równości
- . (rozwinięcie wyznacznika względem i-tego wiersza)
oraz
- . (rozwinięcie wyznacznika względem i-tej kolumny).
Definicja permutacyjna
Jeżeli M jest macierzą taką, jak wyżej, to
- ,
gdzie Sn oznacza zbiór wszystkich
permutacji
zbioru , zaś Inv(σ) oznacza liczbę
inwersji
danej permutacji .
Przykładowo składnik a13a21a34a42 w wyznaczniku czwartego stopnia ma ujemny znak, gdyż permutacja indeksów
- ,
ma trzy inwersje, mianowicie: (3,1), (3,2) i (4,2), skąd Inv(τ) = 3 oraz ( − 1)3 = − 1.
Wyznacznik ogólny
Wyznacznikiem ogólnym z parametrem p nazywamy:
- ,
gdzie M, Sn, Inv(σ) jak wyżej.
Przykładowo dla p = − 1 otrzymujemy wyznacznik, zaś dla p = 1 otrzymujemy
permanent
.
Definicja wyznacznika jako odwzorowania wieloliniowego
Jeżeli macierz potraktujemy jako ciąg n kolumn (każda kolumna to element z
przestrzeni liniowej
), to istnieje dokładnie jedno antysymetryczne
odwzorowanie wieloliniowe
takie, że det(I) = 1. Wartość odwzorowania det(A) nazywamy wyznacznikiem macierzy A.
Własności
-
Transpozycja
macierzy nie powoduje zmiany wartości jej wyznacznika.
- Zamiana miejscami dwóch dowolnych kolumn lub wierszy zmienia znak wyznacznika, nie zmieniając jego wartości bezwzględnej.
- Jeśli dwa wiersze lub dwie kolumny macierzy są proporcjonalne (np. są równe), wyznacznik ma wartość zero.
- Jeśli jakiś wiersz jest
kombinacją liniową
innych wierszy (np. wiersz składa się tylko z zer), wyznacznik ma wartość zero. To samo dotyczy kolumn.
- Pomnożenie dowolnej kolumny lub dowolnego wiersza przez stałą mnoży przez tę samą stałą wartość wyznacznika.
- Dodając lub odejmując od dowolnego wiersza/kolumny inny wiersz/kolumnę lub
kombinacje liniowe
innych wierszy/kolumn nie zmieniamy wartości wyznacznika.
-
Rozwinięcie Laplace'a
— wyznacznik stopnia n można rozłożyć według i-tego wiersza zgodnie ze wzorem
detA = ai1Ai1 + ai2Ai2 + ... + ainAin
gdzie Aij jest
dopełnieniem algebraicznym
elementu aij, czyli wyznacznikiem macierzy, powstałej po skreśleniu i-tego wiersza oraz j-tej kolumny, pomnożonym przez ( − 1)j + i. Analogiczny wzór obowiązuje dla kolumn. - Wyznacznik iloczynu macierzy jest równy iloczynowi wyznaczników: .
- Wyznacznik
macierzy odwrotnej
jest równy odwrotności wyznacznika: det(A − 1) = (detA) − 1.
- Zachodzi , gdzie k jest dowolną liczbą, n stopniem macierzy A.
Obliczanie wyznaczników
Wyznacznik drugiego stopnia obliczamy według łatwego wzoru, wynikającego wprost z definicji permutacyjnej wyznacznika:
Wyznacznik trzeciego stopnia obliczamy według tzw.
reguły Sarrusa
:
W przypadku macierzy wyższych stopni, a także niejednokrotnie w przypadku macierzy stopnia trzeciego, wygodniej jest stosować
twierdzenie Laplace'a
. Przykład obliczenia wyznacznika czwartego stopnia znajduje się
we wspomnianym artykule
.
Wyznacznik macierzy można też obliczyć stosując
metodę eliminacji Gaussa
. Wyznacznik
macierzy trójkątnej
jest równy iloczynowi wyrazów na jej przekątnej, jest więc łatwy do obliczenia. Każdą macierz można sprowadzić do macierzy trójkątnej za pomocą operacji elementarnych, pamiętając że operacje te mają następujący wpływ na wyznacznik:
- Dodanie wielokrotności jednego wiersza (kolumny, odpowiednio) do innego wiersza (innej kolumny, odpowiednio) nie zmienia wartości wyznacznika;
- Pomnożenie wiersza (kolumny) przez liczbę powoduje pomnożenie wyznacznika przez tę liczbę;
- Zamiana miejscami dwóch wierszy, tak jak i zamiana miejscami dwóch kolumn, zmienia znak wyznacznika.
Do obliczenia wyznacznika można wykorzystać również
metodę LU
.
Zastosowanie wyznaczników
Wyznaczniki pojawiają się w wielu miejscach w matematyce, np. przy:
i w wielu, wielu innych miejscach.
Dowody niektórych własności
Przyjmijmy następujące własności wyznacznika:
- pomnożenie kolumny przez x mnoży wyznacznik macierzy przez x
- dodanie jednej kolumny do drugiej nie zmienia wartości wyznacznika
Ponieważ bardzo wiele operacji można zbudować z mnożeń przez stałą i dodawań kolumn (wierszy), możemy z tych dwóch właściwości wyprowadzić wiele innych własności.
W poniższych przykładach będziemy budować kolejno macierze M1, M2, M3 itd., a przez ai,bi,ci będziemy oznaczać pewne kolumny i-tej macierzy. Wszystkie kolumny o których nic nie powiedziano są takie same jak w poprzedniej macierzy.
Odjęcie jednej kolumny od drugiej nie zmienia wartości wyznacznika:
- Zamieńmy znak w kolumnie a:
- a2 = − a1.
- b2 = b1
- detM2 = − detM1
- Dodajmy kolumnę a do kolumny b:
- a3 = a2 = − a1.
- b3 = b2 + a2 = b1 − a1
- detM3 = detM2 = − detM1
- Zamieńmy ponownie znak w kolumnie a:
- a4 = − a3 = a1.
- b4 = b3 = b1 − a1
- detM4 = − detM3 = detM1
Dodanie dowolnej wielokrotności jednej kolumny do drugiej nie zmienia wartości wyznacznika:
- Pomnóżmy kolumnę a przez x:
- a2 = xa1.
- b2 = a1
- detM2 = xdetM1
- Dodajmy kolumnę a do kolumny b:
- a3 = a2 = xa1.
- b3 = b2 + a2 = b1 + xa1
- detM3 = detM2 = xdetM1
- Pomnóżmy kolumnę a przez :
- .
- b4 = b3 = b1 + xa1
W powyższym przykładzie założyliśmy, że istnieje odwrotność x, a zatem x jest różne od 0. Jeśli x jest równe 0, dodanie 0 razy kolumna to kolumna złożona z samych zer, a dodanie kolumny zer do innej kolumny nie zmienia macierzy, więc wyznacznik pozostaje ten sam.
Zamiana dwóch kolumn miejscami zmienia znak wyznacznika:
- Dodajmy kolumnę a do kolumny b:
- a2 = a1.
- b2 = a1 + b1
- detM2 = detM1
- Zamieńmy znak w kolumnie a:
- a3 = − a2 = − a1.
- b3 = b2 = a1 + b1
- detM3 = − detM2 = − detM1
- Dodajmy kolumnę b do kolumny a:
- a4 = a3 + b3 = − a1 + a1 + b1 = b1.
- b4 = b3 = a1 + b1
- detM4 = detM3 = − detM1
- Zamieńmy znak w kolumnie b:
- a5 = a4 = b1.
- b5 = − b4 = − a1 − b1
- detM5 = − detM4 = detM1
- Dodajmy kolumnę a do kolumny b:
- a6 = a5 = b1.
- b6 = a5 + b5 = b1 − a1 − b1 = − a1
- detM6 = detM5 = detM1
- Zamieńmy znak w kolumnie b:
- a7 = a6 = b1.
- b7 = − b6 = a1
- detM7 = − detM6 = − detM1
Po tej serii operacji (którą można uprościć korzystając z udowodnionej wyżej własności, że odejmowanie kolumn nie zmienia wyznacznika), wartości w kolumnach a i b zamieniły się miejscami, a wyznacznik zmienił znak.
Analogicznie wyprowadza się te zależności dla wierszy.
Zobacz też
Linki zewnętrzne