• Nie Znaleziono Wyników

Rząd macierzy

N/A
N/A
Protected

Academic year: 2021

Share "Rząd macierzy"

Copied!
19
0
0

Pełen tekst

(1)

Algebra

Rz ˛

ad Macierzy

Alexander Denisjuk

denisjuk@pjwstk.edu.pl

Polsko-Japo ´nska Wy˙zsza Szkoła Technik Komputerowych zamiejscowy o´srodek dydaktyczny w Gda ´nsku

ul. Brzegi 55 80-045 Gda ´nsk

(2)

Rz ˛

ad Macierzy

Najnowsza wersja tego dokumentu dost ˛epna jest pod adresem

(3)

Macierze a układy równa ´n liniowych

Niech dana b ˛edzie macierz

A =      a11 a12 . . . a1m a21 a22 . . . a2m . . . . an1 an2 . . . anm      .

W przestrzeni Rn rozwa˙zmy otoczk˛e liniow ˛a V układu

kolumn macierzy A: V = hA(1), A(2), . . . , A(n)i = *       a11 a21 .. . an1       ,       a12 a22 .. . an2       , . . . ,       a1m a2m .. . anm       + . Algebra – p. 3

(4)

Macierze a układy równa ´n liniowych —II

Niech dany b ˛edzie wektor b ∈ Rn. Pytanie: czy wektor b

nale˙zy do otoczki liniowej układu  A(1), A(2), . . . , A(n) ? • Czy istniej ˛a współczynniki x1, . . . , xm ∈ R, takie ˙ze

x1       a11 a21 .. . an1       + x2       a12 a22 .. . an2       + · · · + xm       a1m a2m .. . anm       =       b1 b2 .. . bn       ? •          a11x1 + a12x2 + · · · + a1mxm = b1, a21x1 + a22x2 + · · · + a2mxm = b2, . . . . an1x1 + an2x2 + · · · + anmxm = bn.

(5)

Oznaczenia dla sumowania

x1 + x2 + · · · + xn = Pn i=1 xi = Pni=1 xi • Pn i=1 (λxi) = λ n P i=1 xi • Pn i=1 (xi + yi) = n P i=1 xi + n P i=1 yi • Pm j=1 n P i=1 aij = m P j=1  n P i=1 aij  = n P i=1 m P j=1 aij ! = n P i,j aij Algebra – p. 5

(6)

Definicja rz ˛edu macierzy

Definicja 1. Rz ˛edem maciery A nazywamy liczb ˛e

rank A = ranknA(1), A(2), . . . , A(n) o = dimhA(1), A(2), . . . , A(n)i

Twierdzenie 2. rank A nie zmienia si ˛e po elementarnych przekształceniach macierzy A. Dowód. m X i=1 αiA(i) = 0 ⇐⇒ m X i=1 αiA′(i) = 0

(7)

Rz ˛

ad macierzy według wierszy

Definicja 3. Rz ˛edem maciery A według wierszy nazywamy liczb ˛e

rankw A = rank  A(1), A(2), . . . , A(m) = dimhA(1), A(2), . . . , A(m)i

Twierdzenie 4. rankw A = rank A Wniosek 5. rank At = rank A

Wniosek 6. rank A nie zmienia si ˛e po elementarnych przekształceniach kolumn maciezry

(8)

Rz ˛

ad macierzy a układ równa ´n liniowych

Twierdzenie 7. Ilo´s´c głównych niewiadomych układu Ax = b nie zale˙zy od sposobu sprowadzenia macierzy do postaci schodkowej i zgadza si ˛e z rank A Dowód.                a11 . . . a1k . . . a1l . . . a1s . . . a1m 0 . . . a2k . . . a2l . . . a2s . . . a2m 0 . . . 0 . . . a3l . . . a3s . . . a3m . . . . 0 . . . 0 . . . 0 . . . ars . . . arm 0 . . . 0 . . . 0 . . . 0 . . . 0 . . . . 0 . . . 0 . . . 0 . . . 0 . . . 0               

(9)

Twierdzenie Kroneckera-Capellego

Twierdzenie 8 (Kronecker-Capelli). Układ Ax = b ma rozwi ˛azanie ⇐⇒

rank A = rank(A|b)

(10)

Rz ˛

ad iloczynu macierzy

Twierdzenie 9. rank AB 6 min { rank A, rank B }

Dowód. • Niech C = AB

Dla wierszy C(i) i kolumn C(j) macierzy C:

C(i) = A(i)B, C(j) = AB(j).

Niech r1 = rank A oraz A(1), . . . , A(r

1) b ˛ed ˛a bazowymi • A(k( = Pr1 i=1 λkiA(i) dla r1 < k 6 n • Wi ˛ec C(k) = A(k)B = Pr1 i=1 λkiA(i) B = P r1 i=1 λki A(i)B = Pr1 i=1 λkiC(i) dla r1 < k 6 n • C(1), . . . , C(n) = C(1), . . . , C(r 1) • rank C 6 r1 –verte–

(11)

Rz ˛

ad iloczynu macierzy

Twierdzenie 10. rank AB 6 min { rank A, rank B }

Dowód. cd. • Analogicznie dla B

Niech r2 = rank B oraz B(1), . . . , B(r2) b ˛ed ˛a bazowymi

B(k) = Pr2 j=1 µkjB(j) dla r2 < k 6 m • Wi ˛ec C(k) = AB(k) = A Pr2 j=1 µkjB(j)  = Pr2 j=1 µkj AB(j) = P r2 i=1 µkjC(j) dla r2 < k 6 n • C(1), . . . , C(m) = C(1), . . . , C(r2) • rank C 6 r2 Algebra – p. 11

(12)

Macierze kwadratowe

Mn(Rn) = M

n zbiór macierzy kwadratowych n × n

I ∈ Mn macierz jednostkowa

elementy macierzy jednostkowej δij =

(

1, je˙zeli i = j, 0, je˙zeli i 6= j

(symbol Kroneckera) • ∀A ∈ Mn, AI = IA = A

I(λ) = λI macierz skalarna∀A ∈ Mn, AI(λ) = I(λ)A = A

Twierdzenie 11. Niech Z ∈ Mn praz ∀A ∈ Mn, AZ = ZA. Wtedy

Z = I(λ).

(13)

Macierz nieosobliwa

Definicja 12. • Macierz A ∈ Mn jest nieosobliw ˛a, je˙zeli rank A = n.

Macierz A ∈ Mn jest odwracalna, je˙zeli istnieje A−1 (AA−1 = I).

Twierdzenie 13. Macierz jest odwracaln ˛a wtedy i tyko wtedy, gdy jest nieosobliw ˛a

Dowód. 1. n = rank I = rank A−1A 6 rank A 2. (a) Rn = hE(1), . . . E(n)i = hA(1), . . . A(n)i

(b) E(j) = Pni=1 a′jiA(i) (c) I = AA′

Wniosek 14. Niech A ∈ Mn b ˛edzie macierz ˛a nieosobliw ˛a. Wtedy At te˙z jest macierz ˛a nieosobliw ˛a oraz (At)−1 = (A−1)t.

(14)

Mno˙zenie przez macierz nieosobliw ˛

a

Twierdzenie 15. Niech B i C b ˛ed ˛a macierzami nieosobliwymi wzgl ˛ednie

m × m oraz n × n. Wtedy dla dowolnej m × n macierzy A

rank BAC = rank A

Dowód. rank BAC 6 rank BA = rank BA(CC−1) =

rank(BAC)C−1 6 BAC

Wniosek 16. Niech A, B ∈ Mn oraz AB = I (lub BA = I). Wtedy

B = A−1.

Wniosek 17. Niech A, B, . . . , C, D ∈ Mn b ˛ed ˛a nieosobliwe. Wtedy

AB . . . CD te˙zb ˛edzie macierz ˛a nieosobliw ˛a, oraz

(15)

Macierze elementarne —

F

s,tFs,t =                     1 . .. 0 1 . .. 1 . .. 1 0 . .. 1                     , s 6= t • Fs,t = I − Ess − Ett + Est + EtsFs,tA ⇐⇒ zamiana wierszy A(s) i A(t) Algebra – p. 15

(16)

Macierze elementarne —

F

s,t

(λ)

Fs,t(λ) =               1 . .. 1 λ . .. 1 . .. 1               , s 6= t • Fs,t(λ) = I + λEstFs,t(λ)A ⇐⇒ A(s) A(s) + λA(t)

(17)

Macierze elementarne —

F

s

(λ)

Fs(λ) =          1 . .. λ . .. 1          λ 6= 0 • Fs(λ) = I + (λ − 1)EssFs(λ)A ⇐⇒ A(s) λA(s) Algebra – p. 17

(18)

Sprowadzenie do postaci jednostkowej

Twierdzenie 18. Niech A ∈ Mn b ˛edzie nieosobliw ˛a. Wtedy za pomoc ˛a przekształce ´n elementarnych A mo˙zna sprowadzi´c do postaci macierzy jednostkowej.

Dowód. 1. Sprowadzamy do postaci schodkowej 2. Sprowadzamy do postaci jednostkowej

Wniosek 19. Niech A ∈ Mn b ˛edzie nieosobliw ˛a. Wtedy za pomoc ˛a mno˙zenia przed macierze elementarne A mo˙zna sprowadzi´c do postaci macierzy jednostkowej:

I = Pk . . . P1A,

gdzie P1, . . . , Pk — s ˛a macierze elementarne.

(19)

Obliczenie macierzy odwrotnej

(A|I) P1 (P1A|P1) P2 (P2P1A|P2P1) . . . . . . Pk(Pk . . . P2P1A|Pk . . . P2P1) = (I|A−1) Przykład 21. 1.    0 2 0 1 1 −1 2 1 −1    −1 =    0 −1 1 1 2 0 0 1 2 −2 1    2.      −1 1 1 1 1 −1 1 1 1 1 −1 1 1 1 1 −1      −1 =      −14 14 14 14 1 4 −14 14 14 1 4 14 −14 14 1 4 14 14 −14      Algebra – p. 19

Cytaty

Powiązane dokumenty

attribute – globalne zmienne które mogą się zmieniać per vertex (np. kolor czy texcoord), wysyłane z aplikacji do vertex shaderów. Dostępny tylko w VS, tylko

elementy powinny by´c poprawnie zagnie˙zd˙zone powinien by´c jeden element korzeniowy.. wszystkie atrybuty powinny by´c w

RDF Schema Wprowadzenie RDF Semantic Web Składnia Kontenery Kolekcje RDFS DCMI RDFa Microdata JSON-LD ✔ Rozszerzenie RDF. ✔ Zawiera język do opisania zestawów predykatów

JQuery Wprowadzenie Dostęp Modyfikacjia Łańcuch 2 / 23 Najnowsza wersja tego dokumentu dostępna jest pod

je˙zeli serwer nie rozpoznał metody ˙z ˛ adania, on zwraca kod odpowiedzi 501 (Not implemented). je˙zeli serwer rozpoznał metod ˛e, ale one nie mo˙ze zosta´c zastosowana do

Polsko-Japo ´nska Wy˙zsza Szkoła Technik Komputerowych Wydział Informatyki w Gda

Polsko-Japo ´nska Wy˙zsza Szkoła Technik Komputerowych Wydział Informatyki w Gda

Polsko-Japo ´nska Wy˙zsza Szkoła Technik Komputerowych Wydział Informatyki w Gda