AlgTM 11 Rząd macierzy Niech A ∈ M Kolumny macierzy możemy
Transkrypt
AlgTM 11 Rząd macierzy Niech A ∈ M Kolumny macierzy możemy
AlgTM, zima 2013/2014, A.Sz. AlgTM 11 Rząd macierzy Niech A ∈ Mm×n (K). Kolumny macierzy możemy interpretować jako wektory z przestrzeni Km . Niech Aj oznacza j-tą kolumnę macierzy A. Wtedy macierz A możemy zapisać w postaci A = [A1 , A2 , ..., An ]. Def. Rzędem macierzy A = [A1 , A2 , ..., An ] nazywamy liczbę dim Lin{A1 , ..., An }. Rząd macierzy A oznaczamy symbolem r(A). Stw. Dla dowolnej macierzy A zachodzi równość r(A) = r(AT ). Wniosek. Rząd macierzy nie może przekraczać ani liczby jej wierszy ani liczby jej kolumn. Rząd macierzy nie zmienia się w wyniku wykonania następujących operacji - dodania do wiersza (lub kolumny) wielokrotności innego wiersza, - pomnożenia wiersza (lub kolumny) przez stałą różną od zera, - zamiany wierszy (lub kolumn) miejscami, - skreślenia zerowego wiersza (lub zerowej kolumny), - skreślenia wiersza będącego kombinacja liniową innych wierszy (lub kolumny będącej kombinacją liniową innych kolumn). Def. Minorem stopnia k macierzy Am×n nazywamy wyznacznik macierzy kwadratowej otrzymanej z A poprzez wykreślenie m − k wierszy i n − k kolumn. Tw. Liczba k jest rzędem niezerowej macierzy A wtedy i tylko wtedy, gdy 1◦ istnieje różny od zera minor stopnia k macierzy A, 2◦ nie istnieje różny od zera minor macierzy A stopnia większego niż k. Uwaga. Znalezienie zerowego minora stopnia k nie oznacza, że r(A) < k. 1 AlgTM, zima 2013/2014, A.Sz. Macierz przekształcenia liniowego Niech V , W będą skończenie wymiarowymi przestrzeniami liniowymi nad tym samym ciałem K. A = (v1 , ..., vn ) - baza przestrzeni V , B = (w1 , ..., wm ) - baza przestrzeni W . Niech ϕ : V → W będzie przekształceniem liniowym. Każdy wektor ϕ(v1 ), ..., ϕ(vn ) można jednoznacznie zapisać w postaci kombinacji liniowej wektorów z bazy B. ϕ(v1 ) = a11 w1 + a21 w2 + ... + am1 wm ϕ(v2 ) = a12 w1 + a22 w2 + ... + am2 wm ... ϕ(vn ) = a1n w1 + a2n w2 + ... + amn wm a 11 a21 Macierz .. . a12 a22 .. . ... a1n ... a2n nazywamy macierzą przekształcenia ϕ w bazach A i B .. . am1 am2 ... amn i oznaczamy symbolem MBA (ϕ). Kolumny macierzy MBA (ϕ) są utworzone ze współrzędnych wektorów ϕ(vj ) (dla j = 1, ..., n). Macierze tego samego przekształcenia ϕ : V → W mogą być różne - zależą od wyboru bazy przestrzeni V i W , ale zawsze są tego samego wymiaru m × n, gdzie n = dim V , m = dim W . Tw. Niech ϕ : V → W będzie przekształceniem liniowym, A - baza przestrzeni V , B - baza przestrzeni W . Wówczas r(ϕ) = r MBA (ϕ) . Tw. Dane są przekształcenia liniowe ϕ : V → W i ψ : W → U , gdzie V, W, U są skończenie wymiarowymi przestrzeniami liniowymi nad tym samych ciałem K. Niech A - baza przestrzeni V , B - baza przestrzeni W , C - baza przestrzeni U . Wówczas MCA (ψ ◦ ϕ) = MCB (ψ) · MBA (ϕ). 2 AlgTM, zima 2013/2014, A.Sz. Macierz zmiany bazy Niech V będzie skończenie wymiarową przestrzenią liniową o bazie B = (v1 , ..., vn ). Dowolny wektor w ∈ V możemy jednoznacznie przedstawić w postaci w = α1 v1 + ... + αn vn . α1 . . Ozn. MB (w) = . - macierz współrzędnych wektora w w bazie B. αn Symbolem MB (A) będziemy oznaczać macierz współrzędnych wektorów układu A w bazie B. Tw. Niech B = (v1 , ..., vn ) będzie bazą przestrzeni V . Dla dowolnego układu A = (u1 , ..., um ) wektorów z przestrzeni V zachodzi równość dim Lin{u1 , ..., um } = r(MB (A)). Tw. Niech B = (v1 , ..., vn ) będzie bazą przestrzeni V . Następujące warunki są równoważne: (1) Układ A = (u1 , ..., un ) wektorów z przestrzeni V jest bazą przestrzeni V , (2) r(MB (A)) = n, (3) det MB (A) 6= 0. Def. Jeżeli A i B są bazami przestrzeni V to macierz MA (B) nazywamy macierzą zmiany bazy (lub macierzą przejścia od bazy A do bazy B). Stw. Jeżeli A i B są bazami przestrzeni V to MA (B) = (MB (A))−1 . Stw. Jeżeli A i B są bazami przestrzeni V to MA (B) = MAB (id). Stw. Niech ϕ : V → W będzie przekształceniem liniowym (V , W - skończenie wymiarowe) A, C - bazy przestrzeni V , Wówczas zachodzi równość: B, D - bazy przestrzeni W . MDC (ϕ) = MD (B) · MBA (ϕ) · MA (C). Tw. Niech V , W - skończenie wymiarowe przestrzenie liniowe, A - baza przestrzeni V , B - baza przestrzeni W . Niech ϕ : V → W będzie przekształceniem liniowym, v ∈ V , w ∈ W . Wówczas ϕ(v) = w ⇔ MBA (ϕ) · MA (v) = MB (w) Wniosek. Jeżeli A i B są bazami przestrzeni V to dla dowolnego wektora v ∈ V zachodzi równość MA (B) · MB (v) = MA (v). 3