Algebra liniowa z geometrią analityczną/Wykład 5: Macierze

Definicja macierzy, podstawowe pojęcia

Niech ustalone będzie ciało $\mathbb{𝕂}$ i dwie liczby naturalne $m$, $n$.

Macierzą o wyrazach z ciała $\mathbb{𝕂}$ i wymiarach $m$ na $n$ nazywamy każdą funkcję

$A:\{1,\dots ,m\}\times \{1,\dots ,n\}\ni (i,j)⟶a_{ij}\in \mathbb{𝕂}$

Macierz taką zapisujemy w postaci tabelki

$A=\left[\begin{array}{crclc}{a}_{11}& \cdot & \cdot & \cdot & a_{1n}\\ \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \\ a_{m1}& \cdot & \cdot & \cdot & a_{mn}\end{array}\right]$      (1.1)

Macierz zapisujemy również na wiele innych sposobów, w zależności od tego jaką jej cechę chcemy wziąć pod uwagę lub podkreślić. I tak, możemy zapisać macierz jako $A_{m\times n}$ (określono wymiary macierzy), $[a_{ij}]$ (oznaczono wyrazy macierzy), $A=A=[a_{ij}{]}_{\begin{array}{c}1\le i\le m\\ 1\le j\le n\end{array}}$, (nazwano wyrazy, określono wymiary) lub po prostu $A$ (dokładniejsze informacje są niepotrzebne lub wynikają z kontekstu).

Ciąg $a_{i1},\dots ,a_{in}$, $i=1,\dots ,m$ nazywamy $i$-tym wierszem macierzy (1.1). Ciąg $a_{1j},\dots ,amj$, $j=1,\dots ,n$, nazywamy $j$-tą kolumną macierzy (1.1).

Niech $A_1,\dots ,A_n$ będą kolumnami macierzy $A$. Jest to ciąg wektorów z ${\mathbb{𝕂}}^m$. Rząd układu kolumn $A_1,\dots ,A_m$ nazywamy rzędem macierzy i oznaczamy $rkA$.

Load video

Local File

Local File might collect personal data.

Continue Dismiss

Rząd macierzy

Mamy następujący lemat przydatny w rachunku macierzy

Lemat 1.1

Niech dany będzie układ wektorów $w_1,\dots ,w_k$, $k>1$, przestrzeni wektorowej $V$. Wtedy $rk\{w_1,\dots ,w_k\}=rk\{u_1,w_2,\dots ,w_k\}$, gdzie $u_1=w_1+{\lambda }_2{w}_2+...+{\lambda }_k{w}_k$ i ${\lambda }_2,\dots ,{\lambda }_k$ są dowolnymi skalarami.

Dowód

Pokażemy, że $lin\{w_1,\dots ,w_k\}=lin\{u_1,w_2,\dots ,w_k\}$. Oczywiście prawa strona zawiera się w lewej. Ponieważ $w_1=u_1-{\lambda }_2{w}_2-...-{\lambda }_k{w}_k$, więc lewa strona zawiera się w prawej.

Mówimy krótko, że rząd układu wektorów nie zmieni się, jeśli do któregoś z jego wektorów dodamy kombinacją liniową wektorów pozostałych.

A zatem rząd układu kolumn nie zmieni się, jeśli do którejś kolumny dodamy kombinację liniową pozostałych kolumn.

Oczywiście, jeśli spermutujemy kolumny, to, choć macierz najczęściej istotnie się zmieni, jej rząd się nie zmieni.

Jeśli którąkolwiek z kolumn macierzy $A$ pomnożymy przez niezerowy skalar, to rząd macierzy nie zmieni się.

Wszystkie wymienione wyżej operacje na macierzy, tj. dodanie do danej kolumny kombinacji liniowej pozostałych kolumn, pomnożenie kolumny przez niezerowy skalar, permutowanie kolumn, nazywamy operacjami dopuszczalnymi (ze względu na rząd macierzy).

Macierz $A_{m\times n}$ nazywamy kwadratową, jeśli $m=n$.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz kwadratowa

W przeciwnym wypadku mówimy, że macierz jest prostokątna (dla podkreślenia, że nie jest kwadratowa). Dla macierzy kwadratowej podaje się jeden wymiar.

Dla macierzy kwadratowej $A=[a_{ij}{]}_{\begin{array}{c}1\le i\le n\\ 1\le j\le n\end{array}}$ definiujemy główną przekątną jako ciąg $a_{11},\dots ,a_{nn}$.

Load video Local File Local File might collect personal data. Continue Dismiss Przekątna macierzy kwadratowej

W macierzy kwadratowej można wyróżnić wyrazy leżące ponad przekątną i wyrazy leżące poniżej przekątnej. Macierz kwadratowa nazywa się macierzą trójkątną, jeśli wszystkie jej wyrazy leżące ponad główną przekątną lub wszystkie wyrazy leżące poniżej głównej przekątnej są zerami.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz trójkątna

Macierz kwadratową $A={[a_{ij}]}_{1\le i,j\le n}$ nazywa się symetryczną, jeśli $a_{ij}=a_{ji}$ dla każdych $i,j=1,\dots ,n$.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz symetryczna

Macierz $A$ nazywa się antysymetryczną (lub skośnie symetryczną), jeśli $a_{ij}=-a_{ji}$ dla każdych $i,j=1,\dots ,n$. W macierzy skośnie symetrycznej wszystkie wyrazy leżące na głównej przekątnej są równe zeru.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz antysymetryczna (skośnie symetryczna)

Macierz kwadratowa nazywa się diagonalną, jeśli wszystkie jej wyrazy poza główną przekątną są zerami.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz diagonalna

Macierz kwadratowa nazywa się jednostkową, jeśli jest diagonalna a na jej głównej przekątnej są same jedynki. Macierz tę oznaczać będziemy przez $I$ lub $I_{n\times n}$.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz jednostkowa

Oznaczyliśmy już(w Wykładzie 3.) przez $I$ odwzorowanie identycznościowe danej przestrzeni wektorowej. Okaże się wnet, że nie ma tu wielkiej kolizji oznaczeń.

Operacje na macierzach

Zbiór wszystkich macierzy o wymiarach $m$ na $n$ i wyrazach z $\mathbb{𝕂}$ oznaczmy przez $M(m,n;\mathbb{𝕂})$. Zbiór ten jest podprzestrzenią przestrzeni ${\mathbb{𝕂}}^X$, gdzie $X=\{1,\dots ,m\}\times \{1,\dots ,n\}$ (porównaj Przykład 7. Wykładu 2.)

W szczególności, działania w $M(m,n;\mathbb{𝕂})$ są określone następująco. Niech

$A=\left[\begin{array}{crclc}{a}_{11}& \cdot & \cdot & \cdot & a_{1n}\\ \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \\ a_{m1}& \cdot & \cdot & \cdot & a_{mn}\end{array}\right]$

$B=\left[\begin{array}{crclc}{b}_{11}& \cdot & \cdot & \cdot & b_{1n}\\ \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \\ b_{m1}& \cdot & \cdot & \cdot & b_{mn}\end{array}\right]$

Sumą macierzy $A$ i $B$ jest macierz następująca

$A+B=\left[\begin{array}{crclc}{a}_{11}+b_{11}& \cdot & \cdot & \cdot & a_{1n}+b_{1n}\\ \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \\ a_{m1}+b_{m1}& \cdot & \cdot & \cdot & a_{mn}+b_{mn}\end{array}\right]$

Load video Local File Local File might collect personal data. Continue Dismiss Dodawanie macierzy

Jeśli $\lambda \in \mathbb{𝕂}$, to macierz $\lambda A$ jest zdefiniowana tak

$\lambda A=\left[\begin{array}{crclc}\lambda a_{11}& \cdot & \cdot & \cdot & \lambda a_{1n}\\ \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \\ \lambda a_{m1}& \cdot & \cdot & \cdot & \lambda a_{mn}\end{array}\right]$

Load video Local File Local File might collect personal data. Continue Dismiss Mnożenie macierzy przez skalar

Z Przykładu 7. Wykładu 2. wiemy, że dodawanie w $M(m,n;\mathbb{𝕂})$ jest łączne, przemienne, ma element neutralny (który jest macierzą składająca się z samych zer) i każda macierz ma macierz przeciwną. Macierzą przeciwną do macierzy (1.1) jest macierz

$-A=\left[\begin{array}{crclc}-a_{11}& \cdot & \cdot & \cdot & -a_{1n}\\ \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \cdot & \cdot & \cdot & \cdot & \cdot \\ \\ -a_{m1}& \cdot & \cdot & \cdot & -a_{mn}\end{array}\right].$

Ustalimy teraz jaki jest wymiar przestrzeni $M(m,n;\mathbb{𝕂})$. Rozważmy odwzorowanie

$M(m,n;\mathbb{𝕂})\ni [a_{ij}]⟶(a_{11},\dots ,a_{1n},a_{21},\dots ,a_{2n},\dots ,a_{m1},\dots ,a_{mn})\in {\mathbb{𝕂}}^{mn}$.

Z grubsza mówiąc, odwzorowanie to polega na przepisaniu kolejnych wierszy jeden po drugim w jednym ciągu. Oczywiście odwzorowanie to jest bijekcją.

Ponadto, łatwo widać, że odwzorowanie to jest liniowe. Zatem odwzorowanie to jest izomorfizmem. Mamy więc

Wniosek 2.1

Zachodzi równość $\dim M(m,n;\mathbb{𝕂})=mn$.

Załóżmy teraz, że mamy dwie macierze: $A=A_{m\times k}$ i $B=B_{k\times n}$. Możemy zdefiniować iloczyn tych macierzy $AB$ według następującego przepisu. Jeżeli $A=[a_{il}{]}_{\begin{array}{c}1\le i\le m\\ 1\le l\le k\end{array}}$ i $B=[b_{lj}{]}_{\begin{array}{l}1\le l\le k\\ 1\le j\le n\end{array}}$, to $AB$ jest macierzą $C=[c_{ij}]$ o wymiarach $m$ na $n$, której wyrazy określone są formułą

$c_{ij}=\sum _{l=1}^k{a}_{il}{b}_{lj}$

dla wszystkich wskaźników $i,j$, gdzie $i=1,\dots ,m$ oraz $j=1,\dots ,n$.

Podkreślmy mocno, że możemy wykonać mnożenie $AB$ tylko takich macierzy $A$, $B$, dla których liczba kolumn macierzy $A$ jest równa liczbie wierszy macierzy $B$. W rezultacie mnożenia otrzymujemy macierz, która ma tyle wierszy co macierz $A$ i tyle kolumn co macierz $B$.

Mnożąc macierze najpierw sprawdzamy, czy możemy je pomnożyć, następnie ustalamy wymiary iloczynu macierzy. Potem wyliczamy wyrazy iloczynu (w dowolnej kolejności), być może tylko te, które chcemy znać.

Plik:Ag 5 2c.mp4 Mnożenie macierzy

Mnożenie macierzy jest łączne, tzn. jeśli $A,B,C$ są takie, że można wykonać mnożenia $AB$ i $C(AB)$, to można też wykonać mnożenia $CA$ i $(CA)B$ oraz $C(AB)=(CA)B$. Można tę własność bezpośrednio przerachować. W następnym wykładzie pokażemy, że łączność ta jest konsekwencją łączności składania odwzorowań.

Zachodzi też następująca własność rozdzielności mnożenia macierzy względem dodawania macierzy. Jeśli $A,B\in M(k,n;\mathbb{𝕂})$ i $C\in M(m,k;\mathbb{𝕂})$, to $C(A+B)=CA+CB$. Podobnie można sformułować prawo rozdzielności $(A+B)C$. Objaśnimy tę własność w następnym wykładzie. Można też te własności bezpośrednio sprawdzić.

Nietrudno sprawdzić, że jeśli $A=A_{m\times n}$ oraz $I=I_n\times n$, to $AI=A$. Podobnie, jeśli $A=A_{m\times n}$ oraz $I=I_{m\times m}$, to $IA=A$.

Przez $n$-tą potęgę $A^n$ macierzy kwadratowej $A$ rozumiemy iloczyn $n$ egzemplarzy macierzy $A$.

Load video Local File Local File might collect personal data. Continue Dismiss $n$-ta potęga macierzy $A$

Przykład 2.2

Dowolna potęga macierzy diagonalnej jest macierzą diagonalną. Jeśli

$A=\left[\begin{array}{l}{a}_{1}0\\ \\ .\\ .\\ .\\ \\ 0a_n\end{array}\right]$,

to

$A^m=\left[\begin{array}{l}{a}_1^{m}0\\ \\ .\\ .\\ .\\ \\ 0a_n^m\end{array}\right]$.

Przykład 2.3

Niech

$A=\left[\begin{array}{l}ac\\ 0b\end{array}\right]$.

Indukcyjnie można udowodnić, że

$A^m=\left[\begin{array}{l}{a}^{m}c\frac{a^m-b^m}{a-b}\\ 0b^m\end{array}\right]$,

gdzie

$\frac{a^m-b^m}{a-b}=a^{m-1}+a^{m-2}b+...+a{b}^{m-2}+b^{m-1}$.

Przykład 2.4

Jeśli

$A=\left[\begin{array}{l}01\\ 11\\ \end{array}\right]$,

to stosując indukcję można stwierdzić, że

$A^m=\left[\begin{array}{l}{a}_{m-1}{a}_m\\ a_m{a}_{m+1}\\ \end{array}\right]$,

gdzie $\{a_m\}$ jest ciągiem Fibonacciego, czyli ciągiem zdefiniowanym wzorem rekurencyjnym

$a_{m+1}=a_m+a_{m-1}$.

Przykład 2.5

Niech $A\in M(n,n;\mathbb{𝕂})$

$A=\left[\begin{array}{lccccc}0& 1& & & & 0\\ 0& 0& 1& & & 0\\ .& .& .& .& .& .\\ 0& & & 0& 1& 0\\ 0& & & & 0& 1\\ 0& & & & & 0\end{array}\right]$      (2.2)

Łatwo sprawdzić, że $A^n=0$.

Jeżeli dany jest wielomian $W(t)=a_0+a_{1}t+....+a_r{t}^r$ jednej zmiennej $t$ o współczynnikach z ciała $\mathbb{𝕂}$ i $A$ jest macierzą kwadratową, to przez $W(A)$ rozumiemy macierz

$W(A)=a_{0}I+a_{1}A+...+a_r{A}^r$,

gdzie $I$ jest macierzą jednostkową takiego samego wymiaru co macierz $A$. Każdy wielomian $W(t)$, dla którego $W(A)=0$, nazywa się anihilatorem macierzy $A$.

Ogólna grupa liniowa

Rozważmy teraz przestrzeń macierzy kwadratowych $M(n,n;\mathbb{𝕂})$. Każde dwie macierze $A,B\in M(n,n;\mathbb{𝕂})$ można pomnożyć w obydwu kolejnościach, tzn. można znaleźć zarówno iloczyn $AB$ jak i $BA$. Na ogół macierze $AB$ i $BA$ są różne. Na przykład weźmy następujące macierze (istniejące dla każdego ciała $\mathbb{𝕂}$)

$A=\left[\begin{array}{lr}1& 1\\ 0& 1\end{array}\right],B=\left[\begin{array}{lr}0& 1\\ 1& 0\end{array}\right]$

Mamy

$AB=\left[\begin{array}{lr}1& 1\\ 1& 0\end{array}\right],BA=\left[\begin{array}{lr}0& 1\\ 1& 1\end{array}\right]$

Load video Local File Local File might collect personal data. Continue Dismiss Nieprzemienność mnożenia macierzy

Macierz kwadratową $A\in M(n,n:\mathbb{𝕂})$ nazywamy odwracalną, jeśli istnieje macierz $B\in M(n,n;\mathbb{𝕂})$ taka, że

$AB=BA=I$      (3.3)

Macierz $B$ spełniająca (3.3) jest jedyna. Przypuśćmy, że $A{B}^{\prime }=B^{\prime }A=I$. Pomnóżmy równość $AB=I$ obustronnie z lewej strony przez $B^{\prime }$. Mamy następujące równości $B^{\prime }(AB)=B^{\prime }$. Korzystając z łączności mnożenia macierzy otrzymujemy $B^{\prime }=(B^{\prime }A)B=IB=B$. A zatem $B=B^{\prime }$. Mogliśmy również skorzystać z pierwszego wykładu, z fragmentu poprzedzającego definicję grupy.

Macierz $B$ spełniającą warunek (3.3) nazywamy macierzą odwrotną do $A$. Oznaczamy tę macierz przez $A^{-1}$.

Zbiór macierzy $A\in M(n,n;\mathbb{𝕂})$ odwracalnych stanowi grupę. Grupa ta, poza przypadkiem $n=1$, jest nieprzemienna. Grupę tę oznaczamy $GL(n;\mathbb{𝕂})$ i nazywamy ogólną grupą liniową nad ciałem $\mathbb{𝕂}$.

Niech będzie daną macierzą. Macierzą dualną (lub transponowaną) do macierzy $A=[a_{ij}{]}_{\begin{array}{c}1\le i\le m\\ 1\le j\le n\end{array}}$ nazywamy macierz $A^{*}=[a_{ji}{]}_{\begin{array}{c}1\le j\le n\\ 1\le i\le m\end{array}}$. A zatem macierz $A^{*}$ powstaje z macierzy $A$ przez zamianę wierszy na kolumny.

Load video Local File Local File might collect personal data. Continue Dismiss Macierz dualna

Macierz dualna do macierzy $A^{*}$ jest macierzą $A$, czyli $(A^{*}{)}^{*}=A$. Macierz kwadratowa $A$ jest symetryczna wtedy i tylko wtedy, gdy $A^{*}=A$. Macierz kwadratowa $A$ jest skośnie symetryczna wtedy i tylko wtedy, gdy $A^{*}=-A$.