17.05.2015 Views

rachunek macierzowy - Instytut Metod Komputerowych w Inżynierii ...

rachunek macierzowy - Instytut Metod Komputerowych w Inżynierii ...

rachunek macierzowy - Instytut Metod Komputerowych w Inżynierii ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!