rachunek macierzowy - Instytut Metod Komputerowych w Inżynierii ...
rachunek macierzowy - Instytut Metod Komputerowych w Inżynierii ...
rachunek macierzowy - Instytut Metod Komputerowych w Inżynierii ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
RACHUNEK MACIERZOWY<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
Budownictwo, studia I stopnia, semestr III<br />
rok akademicki 2012/2013<br />
<strong>Instytut</strong> L-5, Wydział Inżynierii Lądowej, Politechnika Krakowska<br />
Adam Wosatko<br />
Ewa Pabisek<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Czym jest macierz?<br />
Definicja<br />
Macierzą A nazywamy funkcję dwóch zmiennych,<br />
która parze (i, j) przyporządkowuje dokładnie jeden element a ij ,<br />
przy czym i = 1, 2, . . . , m, natomiast j = 1, 2, . . . , n.<br />
Tworzy się w ten sposób zbiór m ·n elementów umieszczonych w tablicy o<br />
m wierszach i n kolumnach.<br />
⎡<br />
⎤<br />
a 11 a 12 · · · a 1j · · · a 1n<br />
a 21 a 22 · · · a 2j · · · a 2n<br />
.<br />
A =<br />
. . .. . · · · .<br />
a i1 a i2 · · · a ij · · · a in<br />
⎢<br />
⎣<br />
.<br />
. . · · · . ..<br />
⎥<br />
. ⎦<br />
a m1 a m2 · · · a mj · · · a mn<br />
Ogólnie dany element macierzy a ij może być np. liczbą rzeczywistą,<br />
liczbą zespoloną, operatorem (np. różniczkowania, całkowania),<br />
wielomianem lub wektorem.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Czym jest macierz?<br />
Inny zapis<br />
A = [a ij ] , gdzie: i = 1, 2, . . . , m, j = 1, 2, . . . , n<br />
A = [a ij ] [m×n]<br />
= A [m×n]<br />
[m × n] - wymiary macierzy (liczba wierszy, liczba kolumn)<br />
i - indeks numeracji wierszy<br />
j - indeks numeracji kolumn<br />
Dalsze rozważania ograniczymy wyłącznie do macierzy rzeczywistych,<br />
tzn. dla których element a ij jest liczbą rzeczywistą.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Różne typy macierzy<br />
Macierz kwadratowa, diagonalna, jednostkowa<br />
Jeśli m ≠ n to macierz A nazywamy prostokątną.<br />
Jeśli m = n = N to macierz A nazywamy kwadratową (stopnia N).<br />
Przekątna główna macierzy kwadratowej A [n×n] składa się z elementów<br />
a ii , gdzie i = 1, 2, . . . , n. Macierz kwadratowa A [n×n] , w której wszystkie<br />
elementy poza przekątną główną są zerowe, nazywa się macierzą<br />
diagonalną (oznaczoną D).<br />
Jeśli wszystkie elementy macierzy diagonalnej mają wartość 1, to taka<br />
macierz stanowi macierz jednostkową (oznaczoną I ).<br />
⎡<br />
⎤<br />
⎡<br />
⎤<br />
a 11 0 · · · 0<br />
1 0 · · · 0<br />
0 a 22 · · · 0<br />
0 1 · · · 0<br />
D [n×n] = ⎢<br />
⎣<br />
.<br />
. . ..<br />
⎥ I [n×n] = ⎢<br />
. ⎦<br />
⎣<br />
.<br />
. . ..<br />
⎥<br />
. ⎦<br />
0 0 · · · a nn 0 0 · · · 1<br />
D = diag(a ii ) I = [δ ij ] [n×n]<br />
, gdzie δ ij =<br />
δ ij – symbol Kroneckera<br />
{<br />
0 dla i ≠ j<br />
1 dla i = j<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Różne typy macierzy<br />
Macierz transponowana<br />
Macierz A T jest transponowana względem macierzy A, jeśli a ij = aji<br />
T<br />
(wiersze zamieniamy z kolumnami).<br />
⎡<br />
⎤<br />
⎡<br />
⎤<br />
a 11 a 12 · · · a 1n<br />
a 11 a 21 · · · a m1<br />
a 21 a 22 · · · a 2n<br />
a 12 a 22 · · · a m2<br />
A [m×n] = ⎢<br />
⎣<br />
.<br />
. . ..<br />
⎥<br />
. ⎦ AT [n×m] = ⎢<br />
⎣<br />
.<br />
. . ..<br />
⎥<br />
. ⎦<br />
a m1 a m2 · · · a mn a 1n a 2n · · · a mn<br />
Właściwości macierzy transponowanej:<br />
(<br />
1 A T) T<br />
= A<br />
2 (αA) T = αA T , α – liczba rzeczywista<br />
3 (A + B) T = A T + B T<br />
4 (A B) T = B T A T<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Różne typy macierzy<br />
Macierz symetryczna i antysymetryczna<br />
Jeśli dla macierzy kwadratowej A [n×n] zachodzi związek A = A T to<br />
macierz A jest symetryczna.<br />
Jeśli dla macierzy kwadratowej A [n×n] zachodzi związek A = −A T to<br />
macierz A jest antysymetryczna (skośnie symetryczna).<br />
Przykład:<br />
⎡<br />
⎣<br />
4 3 2<br />
3 −1 1<br />
2 1 5<br />
⎤<br />
⎦<br />
⎡<br />
⎣<br />
0 −4 2<br />
4 0 −5<br />
−2 5 0<br />
Macierz symetryczna i antysymetryczna.<br />
Jeśli A jest macierzą kwadratową to:<br />
1 A + A T jest macierzą symetryczną,<br />
2 A − A T jest macierzą antysymetryczną.<br />
Jeśli A jest dowolną macierzą prostokątną i S = A A T ,<br />
to S jest macierzą symetryczną.<br />
⎤<br />
⎦<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Różne typy macierzy<br />
Macierz trójkątna<br />
Macierzą trójkątną nazywamy macierz o postaci:<br />
⎡<br />
⎤ ⎡<br />
⎤<br />
l 11 0 · · · 0<br />
u 11 u 21 · · · u 1n<br />
l 21 l 22 · · · 0<br />
0 u 22 · · · u 2n<br />
L = ⎢<br />
⎣<br />
.<br />
. . ..<br />
⎥ U = ⎢<br />
. ⎦ ⎣<br />
.<br />
. . ..<br />
⎥<br />
. ⎦<br />
l n1 l n2 · · · l nn 0 0 · · · u nn<br />
L jest macierzą dolnotrójkątną (trójkątną lewą).<br />
U jest macierzą górnotrójkątną (trójkątną prawą).<br />
Suma, iloczyn i odwrotność macierzy dolnotrójkątnych (górnotrójkątnych)<br />
tworzy ponownie macierz dolnotrójkątną (górnotrójkątną).<br />
Wystarczy, gdy wszystkie elementy przekątnej głównej macierzy<br />
trójkątnej są różne od 0 – wówczas macierz ta jest nieosobliwa.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Równość, dodawanie, odejmowanie macierzy<br />
Dwie macierze A [m×n] i B [m×n] są równe, jeśli odpowiednie elementy są<br />
sobie równe, tzn. a ij = b ij dla i = 1, 2, . . . , m i j = 1, 2, . . . , n.<br />
Sumą lub różnicą dwóch macierzy A [m×n] i B [m×n]<br />
nazywamy macierz C [m×n] , gdzie c ij = a ij ± b ij :<br />
C = A ± B =<br />
⎡<br />
⎤ ⎡<br />
c 11 c 12 · · · c 1n<br />
c 21 c 22 · · · c 2n<br />
⎢<br />
⎣<br />
.<br />
. . ..<br />
⎥<br />
. ⎦ = ⎢<br />
⎣<br />
c m1 c m2 · · · c mn<br />
⎤<br />
a 11 ± b 11 a 12 ± b 12 · · · a 1n ± b 1n<br />
a 21 ± b 21 a 22 ± b 22 · · · a 2n ± b 2n<br />
.<br />
. . ..<br />
⎥<br />
. ⎦<br />
a m1 ± b m1 a m2 ± b m2 · · · a mn ± b mn<br />
1 Przemienność dodawania: A + B = B + A.<br />
2 Łączność dodawania i odejmowania: (A ± B) ± C = A ± (B ± C).<br />
3 A + 0 = A.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Mnożenie macierzy przez liczbę<br />
Iloczyn (αA lub Aα) macierzy A i liczby α tworzy macierz:<br />
⎡<br />
⎤<br />
αa 11 αa 12 · · · αa 1n<br />
αa 21 αa 22 · · · αa 2n<br />
αA = Aα = [αa ij ] = ⎢<br />
⎣<br />
.<br />
. . ..<br />
⎥<br />
. ⎦<br />
αa m1 αa m2 · · · αa mn<br />
1 1 · A = A<br />
2 0 · A = 0<br />
3 α(βA) = (αβ)A<br />
4 (α + β)A = αA + βA<br />
5 α(A + B) = αA + αB<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Mnożenie macierzy przez macierz<br />
Iloczyn dwóch macierzy A [m×n] i B [n×p] tworzy macierz C [m×p] , gdzie:<br />
n∑<br />
c ik = a ij b jk dla i = 1, 2, . . . , m i k = 1, 2, . . . , p .<br />
j=1<br />
C [m×p] = A [m×n] · B [n×p]<br />
Przykład:<br />
⎡ ⎤<br />
⎡<br />
⎤ 2 −1<br />
⎡<br />
⎤<br />
−1 4 2 −2<br />
⎣ 1 2 −3 0 ⎦ · ⎢ 1 3<br />
−2 21<br />
⎥<br />
⎣ −2 0 ⎦ = ⎣ 10 5 ⎦<br />
−1 0 0 5<br />
−2 −19<br />
0 −4<br />
4∑<br />
c 11 = a 1j b j1 = a 11 b 11 + a 12 b 21 + a 13 b 31 + a 14 b 41<br />
j=1<br />
= (−1) · 2 + 4 · 1 + 2 · (−2) + (−2) · 0 = −2<br />
(. . . )<br />
4∑<br />
c 32 = a 3j b j2 = a 31 b 12 + a 32 b 22 + a 33 b 32 + a 34 b 42<br />
j=1<br />
= (−1) · (−1) + 0 · 3 + 0 · 0 + 5 · (−4) = −19<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Właściwości mnożenia macierzy<br />
1 Mnożenie A B może być wykonalne, natomiast mnożenie B A może<br />
być niewykonalne. Liczba wierszy pierwszej macierzy musi się<br />
zgadzać z liczbą kolumn drugiej macierzy, tak aby zapewnić<br />
prawidłowe sumowanie iloczynów.<br />
2 Dla macierzy kwadratowych także zazwyczaj zachodzi A B ≠ B A.<br />
3 Mnożenie macierzy jest łączne: (A B) C = A (B C).<br />
4 Mnożenie macierzy jest rozdzielne względem dodawania<br />
i odejmowania:<br />
(A ± B) C = A C ± B C C(A ± B) = C A ± C B.<br />
5 Jeśli A B = 0, to nie oznacza, że koniecznie A = 0 lub B = 0.<br />
6 Jeśli A B = A C, to B nie zawsze jest równe C, nawet gdy A ≠ 0.<br />
7 A I = I A = A<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Potęgowanie macierzy<br />
Dla macierzy A obowiązują następujące reguły potęgowania:<br />
A 0 = I A 1 = A<br />
A 2 = A A A 3 = A A A<br />
itd.<br />
Właściwości potęgowania macierzy:<br />
1 A k A p = A k+p<br />
2 (A k ) p = A k p<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Wyznacznik macierzy<br />
Każdej macierzy kwadratowej A możemy przypisać wartość liczbową D,<br />
nazywaną wyznacznikiem macierzy A stopnia N i oznaczoną jako det A.<br />
∣ a 11 a 12 · · · a 1n ∣∣∣∣∣∣∣∣ a 21 a 22 · · · a 2n<br />
det A =<br />
. = D<br />
. . .. .<br />
∣ a n1 a n2 · · · a nn<br />
W literaturze można spotkać także oznaczenia:<br />
det (A) = |A| = |a ij | = det |a ij |<br />
Znane są różne sposoby obliczania wartości wyznacznika.<br />
det jest skrótem francuskiego słowa determinant czyli wyznacznik.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Wyznacznik macierzy<br />
Rozwinięcie Laplace’a<br />
Wyznacznik macierzy A jest równy sumie iloczynów elementów dowolnie<br />
wybranego wiersza (kolumny) przez ich dopełnienia algebraiczne<br />
det A =<br />
det A =<br />
n∑<br />
a ij · A ij<br />
j=1<br />
n∑<br />
a ij · A ij<br />
i=1<br />
rozwinięcie względem i − tego wiersza<br />
rozwinięcie względem j − tej kolumny<br />
gdzie: a ij – element w i-tym wierszu i j-tej kolumnie, A ij – dopełnienie<br />
algebraiczne elementu a ij .<br />
Dopełnienie algebraiczne A ij elementu a ij macierzy A stanowi minor |M ij |<br />
pomnożony przez (−1) i+j .<br />
Minorem |M ij | macierzy A przynależnym elementowi a ij nazywamy<br />
wyznacznik macierzy powstałej z macierzy A przez skreślenie i-tego<br />
wiersza oraz j-tej kolumny.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Wyznacznik macierzy<br />
Reguła Sarrusa dla macierzy stopnia 3<br />
a 11 a 12 a 13 a 11 a 12<br />
a 21 a 22 a 23 a 21 a 22<br />
a 31 a 32 a 33 a 31 a 32<br />
det A =<br />
a 11 a 22 a 33 + a 12 a 23 a 31 + a 13 a 21 a 32 − a 31 a 22 a 13 − a 32 a 23 a 11 − a 33 a 21 a 32<br />
Powyższa reguła wykorzystuje definicję permutacyjną wyznacznika,<br />
ale ma zastosowanie tylko dla macierzy stopnia 3.<br />
Jeśli obliczamy wyznacznik macierzy stopnia wyższego niż 3,<br />
to można wykorzystać rozwinięcie Laplace’a i własności wyznaczników,<br />
a po sprowadzeniu ich do stopnia 3 – zastosować regułę Sarrusa.<br />
Wyznacznik macierzy stopnia wyższego niż 3<br />
można obliczyć także przy pomocy eliminacji Gaussa.<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Właściwości wyznaczników<br />
1 Wyznacznik macierzy kwadratowej mającej kolumnę (wiersz) złożoną<br />
z samych zer jest równy 0<br />
2 Wyznacznik macierzy kwadratowej zmieni znak, jeżeli przedstawimy<br />
między sobą dwie kolumny (dwa wiersze)<br />
3 Wyznacznik macierzy kwadratowej mającej dwie jednakowe lub<br />
proporcjonalne kolumny (dwa wiersze) jest równy 0<br />
4 Jeżeli wszystkie elementy pewnej kolumny (pewnego wiersza) macierzy<br />
kwadratowej zawierają wspólny czynnik, to czynnik ten można wyłączyć<br />
przed wyznacznik tej macierzy<br />
5 Wyznacznik macierzy nie zmieni się, jeżeli do elementów dowolnej<br />
kolumny (wiersza) dodamy odpowiadające im elementy innej kolumny<br />
(innego wiersza) tej macierzy pomnożone przez dowolną liczbę<br />
6 Wyznaczniki macierzy kwadratowej i jej transpozycji są równe<br />
7 Jeżeli det A = 0, to macierz jest osobliwa<br />
8 Wyznacznik z macierzy trójkątnej jest równy iloczynowi wyrazów glównej<br />
przekątnej<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Właściwości wyznaczników<br />
5 det A = det(A T )<br />
6 det(AB) = det A det B (twierdzenie Cauchy’ego)<br />
7 det(A + B) ≠ det A + det B<br />
8 det(A −1 ) = (det A) −1<br />
9 Jeżeli macierz A jest trójkątna, to det A = a 11 a 22 . . . a nn .<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Macierz odwrotna<br />
Jeśli macierz kwadratowa A jest nieosobliwa, to możemy otrzymać<br />
macierz do niej odwrotną A −1 .<br />
Zachodzi zatem zależność:<br />
Oznaczmy: C = A −1 .<br />
A A −1 = A −1 A = I<br />
Element macierzy odwrotnej c ij obliczamy w następujący sposób:<br />
c ij = 1<br />
det A (−1)i+j ∣ ∣ M<br />
T<br />
ij<br />
∣ ∣<br />
gdzie ∣ ∣ M<br />
T<br />
ij<br />
∣ ∣ jest minorem otrzymywanym z macierzy A T .<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Właściwości macierzy odwrotnych<br />
1 Jeśli det A = 0 czyli macierz jest osobliwa,<br />
to macierz odwrotna A −1 nie istnieje.<br />
2 (A B) −1 = B −1 A −1<br />
3<br />
(<br />
A T) −1<br />
=<br />
(<br />
A<br />
−1 ) T<br />
4 det ( A −1) = (det A) −1<br />
5<br />
(<br />
A<br />
−1 ) −1<br />
= A<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Macierz odwrotna<br />
Przykład:<br />
Obliczyć macierz odwrotną do danej macierzy A:<br />
⎡<br />
A = ⎣ 1 3 2<br />
⎤<br />
⎡<br />
4 −1 2 ⎦ −→ A T = ⎣ 1 4 1<br />
3 −1 −1<br />
1 −1 0<br />
2 2 0<br />
c 11 = 1<br />
det A (−1)2 ∣ ∣ M<br />
T<br />
11<br />
∣ ∣ =<br />
1<br />
2<br />
⎤<br />
∣ −1 −1<br />
2 0 ∣ = 1<br />
⎦ −→ det A = 2<br />
(. . . )<br />
c 33 = 1 ∣<br />
det A (−1)6 M<br />
T<br />
33 1<br />
= 2 ∣ 1 4<br />
3 −1 ∣ = −13 2<br />
⎡<br />
1.0 −1.0 4.0<br />
⎤<br />
C = A −1 = ⎣ 1.0 −1.0 3.0 ⎦ −→ A · C = I<br />
1.5 2.0 −6.5<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Definicja normy macierzy<br />
Normą macierzy kwadratowej A nazywamy nieujemną liczbę<br />
rzeczywistą ‖A‖ (nie należy mylić z wyznacznikiem!), która spełnia<br />
następujące warunki:<br />
1 ‖A‖ > 0, gdy A ≠ 0 i ‖0‖ = 0<br />
2 ‖αA‖ = |α| ‖A‖, α jest liczbą<br />
3 ‖A + B‖ ‖A‖ + ‖B‖<br />
4 ‖A B‖ ‖A‖ · ‖B‖<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Normy macierzy<br />
jednokolumnowej (jednowierszowej) i kwadratowej<br />
Dla macierzy jednokolumnowej lub jednowierszowej X określamy<br />
następujące normy:<br />
suma modułów: ‖X ‖ 1 = ∑ n<br />
i=1 |x i|<br />
norma euklidesowa: ‖X ‖ 2 =<br />
√ ∑n<br />
i=1 |x i| 2<br />
norma maksimum: ‖X ‖ ∞ = max|x i |<br />
i<br />
Dla macierzy kwadratowej A określamy następujące normy:<br />
∑ m<br />
norma sumy kolumn: ‖A‖ 1 =<br />
i=1 |a ij|<br />
max<br />
1 j, n<br />
√ ∑m ∑ n<br />
norma euklidesowa: ‖A‖ 2 =<br />
i=1 j=1 |a ij| 2<br />
∑ n<br />
norma sumy wierszy: ‖A‖ ∞ =<br />
j=1 |a ij|<br />
max<br />
1 i m<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY
Zadanie domowe<br />
Oblicz wyznacznik, macierz odwrotną i normy macierzy:<br />
⎡<br />
A = ⎣ 2 4 2<br />
⎤<br />
1 4 −1 ⎦<br />
1 2 −1<br />
MATEMATYKA STOSOWANA I METODY NUMERYCZNE<br />
RACHUNEK MACIERZOWY