24.01.2014 Views

Notatki do wykªadu

Notatki do wykªadu

Notatki do wykªadu

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Notatki</strong> <strong>do</strong> <strong>wykªadu</strong><br />

Algebra<br />

(semestr letni 10/11)<br />

Emanuel Kiero«ski<br />

1 Grupy, pier±cienie i ciaªa<br />

1.1 Struktury algebraiczne<br />

Denicja 1 A = (A, f 1 , f 2 , . . .) zbiór A wraz ze zdeniowanymi na nim dziaªaniami f 1 , f 2 , . . ., nazywamy<br />

algebr¡ (struktur¡ algebraiczn¡).<br />

Zbiór A nazywany jest uniwersum algebry. O ile nie b¦dzie to prowadziªo <strong>do</strong> nieporozumie« algebr¦ i jej<br />

uniwersum b¦dziemy oznaczali cz¦sto tym samym symbolem. Ka»de z dziaªa« ma ustalon¡ arno±¢. Dziaªanie<br />

o arno±ci n (albo dziaªanie n-argumentowe) to funkcja z A n w A. Dziaªania o arno±ci zero s¡ nazywane staªymi<br />

i mo»emy o nich my±le¢ jako o wyró»nionych elementach zbioru A. Zazwyczaj rozwa»a¢ b¦dziemy algebry<br />

ze sko«czonym zestawem dziaªa«. Interesuj¡ce nas dziaªania b¦d¡ najcz¦±ciej dwuargumentowe.<br />

Przykªad 2 Przykªady algebr:<br />

(a) (Z, +, ·, 0).<br />

(b) (P({1, 2, . . . , n}, ∪, ∩, ′ ).<br />

(c) (A ∗ , ·) - zbiór sªów nad alfabetem A z dziaªaniem konkatenacji.<br />

W poni»szej denicji wyró»nimy pewne wªasno±ci, które mog¡ mie¢ dziaªania dwuargumentowe.<br />

Denicja 3 (a) dziaªanie jest przemienne, gdy ∀a, b ∈ A a · b = b · a,<br />

(b) dziaªanie jest ª¡czne, gdy ∀a, b, c ∈ A (a · b) · c = a · (b · c); przykªad dziaªania, które nie jest ª¡czne:<br />

pot¦gowanie w zbiorze liczb naturalnych),<br />

(c) e jest lewostronnym elementem neutralnym dziaªania ·, gdy ∀a ∈ A ea = a.<br />

(d) e jest prawostronnym elementem neutralnym dziaªania ·, gdy ∀a ∈ A ae = a.<br />

(e) e jest elementem neutralnym dziaªania ·, gdy ∀a ∈ A ea = ae = a.<br />

(f) element b jest lewostronnym elementem odwrotnym <strong>do</strong> a, wzgl¦dem dziaªania posiadaj¡cego element<br />

neutralny e, gdy b · a = e,<br />

(g) element b jest prawostronnym elementem odwrotnym <strong>do</strong> a, wzgl¦dem dziaªania posiadaj¡cego element<br />

neutralny e, gdy a · b = e,<br />

(h) element a jest elementem odwrotnym <strong>do</strong> b, gdy ab = ba = e<br />

(i) dziaªanie · jest rozdzielne wzgl¦dem dziaªania + gdy ∀a, b, c ∈ A a · (b + c) = a · b + a · c oraz<br />

∀a, b, c ∈ A (b + c) · a = b · a + c · a.<br />

Zachodz¡ nast¦puj¡ce proste fakty:<br />

Fakt 4 (i) Je±li dziaªanie ma prawostronny element neutralny e l oraz lewostronny element nautralny e r ,<br />

to e l = e r . Wniosek: dziaªanie mo»e mie¢ najwy»ej jeden element neutralny.<br />

(ii) Je±li dziaªanie · jest dziaªaniem ª¡cznym z elementem neutralnym e, to dla ka»dego elementu a, je±li b l<br />

jest lewostronnie odwrotny <strong>do</strong> a, a b r prawostronnie odwrotny <strong>do</strong> a, to b l = b r . Wniosek: ka»dy element<br />

ma najwy»ej jeden element odwrotny <strong>do</strong> siebie.<br />

Pewne klasy algebr maj¡ szczególne znaczenie. Takie klasy deniuje si¦ zazwyczaj podaj¡c sygnatur¦<br />

algebr (a wi¦c list¦ arno±ci ich dziaªa«) oraz zestaw aksjomatów, które te dziaªania maj¡ speªnia¢. Poni»ej<br />

wyró»niamy trzy klasy.<br />

Denicja 5 (a) (A, ·), z jednym dziaªaniem binarnym, · nazywamy grup¡ je±li:<br />

• dziaªanie · jest ª¡czne,<br />

1


• dziaªanie · ma element neutralny;<br />

• dla ka»dego elemetnu istnieje element odwrotny <strong>do</strong> niego;<br />

<strong>do</strong>datkowo je±li · jest przemienne, to grup¦ nazywamy przemienn¡ lub abelow¡.<br />

(b) (A, +, ·) z dwoma dziaªaniami binarnymi nazywamy pier±cieniem je±li:<br />

• (A, +) jest grup¡ przemienn¡,<br />

• dziaªanie · jest ª¡czne,<br />

• dziaªanie · jest rozdzielne wzgl¦dem dziaªania +.<br />

(c) (A, +, ·) jest ciaªem je±li<br />

• (A, +, ·) jest pier±cieniem,<br />

• (A \ {0}, ·) jest grup¡ przemienn¡ (gdzie 0 oznacza element neutralny +);<br />

Kilka przykªadów grup podajemy w nast¦pnym rozdziale. Przykªadami ciaª s¡ ciaªa liczbowe, np. zbiór<br />

liczb wymiernych z dziaªaniami <strong>do</strong>dawania i mno»enie. Jak zobaczymy pó¹niej istniej¡ tak»e ciaªa sko«czone.<br />

Przykªad pier±cienia, który nie jest ciaªem: zbiór liczb caªkowitych z dziaªaniami <strong>do</strong>dawania i mno»enia (a<br />

nawet zbiór liczb parzystych mno»enie nie ma wtedy elemntu neutralnego). Bardzo istotnymi pier±cieniami<br />

s¡ pier±cienie Z n = ({0, 1, . . . n − 1}, + n , ·n), z dziaªaniami <strong>do</strong>dawania i mno»enia modulo n.<br />

1.2 Grupy - podstawowe wªasno±ci i przykªady<br />

Poj¦cie grupy zdeniowali±my w poprzednim rozdziale. Istniej¡ bardziej liberalne poj¦cia: póªgrupa to<br />

po prostu niepusty zbiór z dziaªaniem ª¡cznym, a monoid to póªgrupa z elementem neutralnym. Przykªad:<br />

zbiór niepustych sªów nad alfabetem A z dziaªaniem skªadania sªów, to póªgrupa; je±li <strong>do</strong>rzycimy sªowo puste<br />

<strong>do</strong>staniemy monoid.<br />

Konwencje. Dziaªanie grupy nazywamy cz¦sto mno»eniem, piszemy ab zamiast a · b, na oznaczenie<br />

elementu neutralnego u»ywamy symbolu 1, element odwrotny <strong>do</strong> a oznaczamy przez a −1 , przez a n oznaczamy<br />

wynik n-krotnego pomno»enia a przez siebie (czyli n-t¡ pot¦g¦ a). To styl multiplikatywny. Alternatywnie<br />

mo»na u»ywa¢ stylu addytywnego: dziaªnie +, element neutralny 0, element odwrotny <strong>do</strong> a to −a. My<br />

najcz¦±ciej b¦dziemy u»ywa¢ stylu multiplikatywnego, ale element neutralny zazwyczaj b¦dziemy oznacza¢<br />

jako e.<br />

Uwaga. Poj¦cie grupy mo»na deniowa¢ troch¦ inaczej: jako zbiór z dziaªaniem binarnym ·, dziaªaniem<br />

unarnym −1 oraz staª¡ 1, z odpowiednimi zaªo»eniami o dziaªaniach.<br />

1.3 Przykªady grup<br />

Przykªad 6 Podamy teraz kilka przykªadów grup (i sprawdzimy, »e rzeczywi±cie s¡ to grupy):<br />

(a) (Z, +) zbiór liczb caªkowitych z <strong>do</strong>dawaniem,<br />

(b) (R \ {0}, ·) zbiór liczb rzeczywistych bez zera z mno»eniem,<br />

(c) zbiór bijekcji z X w X z dziaªaniem skªadania funkcji, dla <strong>do</strong>wolnego zbioru niepustego X,<br />

(d) (Z 4 , + 4 ) zbiór {0, 1, 2, 3} z dziaªaniem <strong>do</strong>dawania modulo 4 (czyli wynik z dziaªania jest reszt¡ z<br />

dzielenia a + b przez 4),<br />

(e) (Z ∗ 5, ·5) zbiór {1, 2, 3, 4} z dziaªaniem mno»enia modulo 5,<br />

(f) Zbiór {1, 3, 5, 7} z dziaªaniem mno»enia modulo 8 (grupa czwórkowa Kleina),<br />

(g) Grupa obrotów kwadratu (z dziaªaniem skªadania),<br />

(h) Grupa symetrii kwadratu z dziaªaniem skªadania (symetriami nazywamy wzajemnie jednoznaczne przeksztaªcenia<br />

zachowuj¡ce odlegªo±ci mi¦dzy punktami). Symetrie: 4 obroty (w tym identyczno±¢), 4<br />

odbicia.<br />

(i) Grupa symetrii n-k¡ta foremnego D 2n (n obrotów i n odbi¢, n > 1).<br />

Grupy (c), (h) i (i) nie s¡ s¡ przemienne (z wyj¡tkiem przypadku, gdy |X| < 3 . Pozostaªe s¡.<br />

1.4 Tabelki dziaªa«<br />

Deniuj¡c grupy mo»emy u»ywa¢ tabelek dziaªa«. Oto tabelka dla podpunktu (f) z przykªadu 6:<br />

2


A to tabelka dla grupy symetrii kwadratu:<br />

· 1 3 5 7<br />

1 1 3 5 7<br />

3 3 1 7 5<br />

5 5 7 1 3<br />

7 7 5 3 1<br />

· id r 90 r 180 r 270 h v d d ′<br />

id id r 90 r 180 r 270 h v d d ′<br />

r 90 r 90 r 180 r 270 id d ′ d h v<br />

r 180 r 180 r 270 id r 90 v h d ′ d<br />

r 270 r 270 id r 90 r 180 d d ′ v h<br />

h h d v d ′ id r 180 r 90 r 270<br />

v v d ′ h d r 180 id r 270 r 90<br />

d d v d ′ h r 270 r 90 id r 180<br />

d ′ d ′ h d v r 90 r 270 r 180 id<br />

Warto zwróci¢ uwag¦ na pewne cechy jakie musz¡ mie¢ tabelki dziaªania grupowego:<br />

Obserwacja 7 (i) istnieje element (neutralny), którego wiersz i kolumna s¡ identyczne z wierszem i kolumn¡<br />

opisuj¡cymi elementy uniwersum<br />

(ii) w ka»dym wierszu i w ka»dej kolumnie pojawia si¦ element neutralny i elementy neutralne s¡ uªo»one<br />

symetrycznie wzgl¦dem przek¡tnej tabelki (wymusza to postulat istnienia elementów odwrotnych)<br />

(iii) ka»dy wiersz i ka»da kolumna s¡ permutacjami elementów uniwersum.<br />

Powy»sze wªasno±ci nie gwarantuj¡ jednak, »e dziaªanie jest grup¡: <strong>do</strong>datkowo dziaªanie musi by¢ ª¡czne.<br />

Ostatnia wªasno±¢ obserwacji 7 wynika z nast¦puj¡cego lematu.<br />

Lemat 8 Dla <strong>do</strong>wolnych a, b ∈ A równania ax = b oraz ya = b maj¡ w grupie jednoznaczne rozwi¡zania.<br />

Wniosek 9 W grupie zachodz¡ prawa skracania. Lewostronnego: ab = ac implikuje b = c i prawostronnego:<br />

ba = ca implikuje b = c.<br />

1.5 Izomorzmy grup<br />

Zdeniujemy poj¦cie izomorzmu grup. 1<br />

Denicja 10 Mówimy, »e grupy (A, ·A) i (B, ·B) s¡ izomorczne je±li istnieje bijekcja F : A → B taka, »e<br />

∀a, b ∈ A F (a ·A b) = F (a) ·b F (b). Funkcj¦ F nazywamy izomorzmem pomi¦dzy grupami A i B.<br />

Šatwo zauwa»y¢, »e izomorzm zachowuje wszystkie wªasno±ci dziaªania grupowego. W szczególno±ci<br />

zachodzi nast¦puj¡cy prosty fakt:<br />

Fakt 11 Je±li F jest izomorzmem z A w B to F przeprowadza element neutralny A na element neutralny<br />

w B, a element odwrotny <strong>do</strong> a ∈ A na element odwrotny <strong>do</strong> F (a).<br />

Grupy izomorczne maj¡ zatem te same wªasno±ci i ró»ni¡ si¦ tylko nazwami elementów. Oczywista jest<br />

te» obserwacja nast¦puj¡ca:<br />

Fakt 12 Relacja na zbiorze grup o tej samej liczbie elementów ª¡cz¡ca te pary grup, które s¡ izomorczne<br />

jest relacj¡ równowa»no±ci.<br />

Przykªad 13 Grupy z podpunktów (d), (e) i (g) przykªadu 6 jest izomorczne. Grupy z podpunktów (d) i<br />

(f) nie s¡ izomorczne.<br />

Zatem, tak naprawd¦ grupy z podpunktów (d) i (e) i (g) s¡ wcieleniami tego samego abstrakcyjnego<br />

obiektu. Niedªugo zobaczymy, »e z <strong>do</strong>kªadno±ci¡ <strong>do</strong> izomorzmu s¡ tylko dwie grupy czteroelementowe.<br />

1 W naturalny sposób uogólnia si¦ ono na <strong>do</strong>wolne algebry, na razie nie podamy jednak szczegóªów.<br />

3


1.6 Pot¦gowanie, rz¡d elementu i rz¡d grupy<br />

W naturalny sposób deniujemy pot¦g¦ caªowit¡ elementu w grupie.<br />

Denicja 14 (a) a 0 = e, gdzie e jest elementem neutralnym<br />

(b) a m = a · a m−1 dla m <strong>do</strong>datnich<br />

(c) a m = (a −1 ) −m dla m ujemnych<br />

Šatwo zauwa»y¢, »e nast¦puj¡ce prawa s¡ prawdziwe (¢wiczenie):<br />

Fakt 15 (i) a r a s = a r+s<br />

(ii) (a r ) s = a rs .<br />

Nie zachodzi natomiast znane z arytmetyki na liczbach naturalnych prawo (ab) n = a n b n (wymaga ono<br />

przemienno±ci).<br />

Denicja 16 Rz¦dem elementu a w grupie nazywamy najmniejsz¡ liczb¦ <strong>do</strong>datni¡ m tak¡, »e a m = e. Je»eli<br />

taka liczba nie istnieje to mówimy, »e rz¡d a jest nieokre±lony albo niesko«czony. Rz¦dem grupy nazwamy<br />

liczb¦ elementów uniwersum tej grupy.<br />

Fakt 17 W grupie sko«czonej ka»dy element ma sko«czony rz¡d.<br />

1.7 Podgrupy, generowanie, grupy cykliczne<br />

Denicja 18 Mówimy, »e B jest podgrup¡ grupy A je±li B ⊆ A oraz B jest grup¡.<br />

Je»eli (A, ·) jest grup¡ to zbiór zªo»ony z samego elementu neutralnego jest jej podgrup¡. Zgodnie z<br />

denicj¡, ka»da grupa jest te» swoj¡ wªasn¡ podgrup¡. Te dwie specyczne podgrupy danej grupy nazywamy<br />

trywialnymi lub niewªa±ciwymi.<br />

Przykªad 19 (a) Grupa obrotów kwadratu jest podgrup¡ grupy symetrii kwadratu.<br />

(b) Zbiór liczb caªkowitych parzystych z dziaªaniem <strong>do</strong>dawania jest podgrup¡ zbioru liczb caªkowitych<br />

Zauwa», »e w szczególno±ci B musi zawiera¢ element neutralny; dla ka»dego elementu a ∈ B jego element<br />

odwrotny a −1 musi nale»e¢ <strong>do</strong> B; oraz B musi by¢ zamkni¦ty na dziaªanie · (a, b ∈ B ⇒ ab ∈ B).<br />

W przypadku grup sko«czonych mo»na u<strong>do</strong>wodni¢ nat¦puj¡cy fakt:<br />

Lemat 20 Niepusty podzbiór H grupy sko«czonej G jest jej podgrup¡<br />

zachodzi ab ∈ H (a wi¦c H jest zamkni¦ty na dziaªanie ·).<br />

wtedy i tylko wtedy, gdy ∀a, b ∈ H<br />

Szkic <strong>do</strong>wodu: We¹my <strong>do</strong>wolny element a ∈ H. Ma on w G rz¡d sko«czony m, czyli a m = e. A st¡d a m−1<br />

jest odwrotno±ci¡ a.<br />

✷<br />

Denicja 21 (a) Niech G b¦dzie grup¡, a X <strong>do</strong>wolnym jej niepustym podzbiorem. Najmniejsz¡ podgrup¦<br />

G zawieraj¡c¡ X nazywamy podgrup¡ generowan¡ przez X.<br />

(b) Je±li grupa G jest generowana przez zbiór jednoelementowy {a} (mówimy te» wtedy, »e G jest generowana<br />

przez element a, albo »e a jest generatorem G), to G nazywamy grup¡ cykliczn¡.<br />

Przykªad 22 (a) Generatorem grupy (Z, +) jest 1.<br />

(b) Generatorem grupy obrotów kwadratu jest obrót o 90 stopni (obrót o 270 te»).<br />

(c) Generatorem grupy addytywnej (Z 4 , + 4 ) jest 1 (3 te»).<br />

(d) Grupa czwórkowa Kleina nie jest cykliczna. Do jej wygenerowania potrzeba co najmniej zbioru dwuelementowego,<br />

np. {3, 5}.<br />

(e) Podgrupa generowana przez element 3 w grupie czwórkowej Kleina to {1, 3}.<br />

(f) Podgrupa generowana w grupie symetrii kwadratu przez r (obrót o 90 stopni) skªada si¦ ze wszystkich<br />

obrotów (w tym identyczno±ci).<br />

(g) Grupa symetrii kwadratu nie jest cykliczna. Mo»na j¡ wygenerowa¢ np. zbiorem {r, d}.<br />

Fakt 23 (i) Podgrupa generowana przez X skªada si¦ ze wszystkich iloczynów dla k ∈ N postaci x 1 x 2 . . . x k ,<br />

gdzie x i ∈ X lub x −1<br />

i ∈ X. Oczywi±cie iloczyny te nie musz¡ dawa¢ parami ró»nych wyników.<br />

4


(ii) Je±li a jest generatorem sko«czonej (pod)grupy H, to H = {a, a 2 , a 3 , . . . a m }, dla najmniejeszego m > 0,<br />

takiego, »e a m = e. Dodatkowo a i ≠ a j dla i ≠ j, 0 < i, j ≤ m.<br />

Zauwa», »e liczba elementów grupy cyklicznej jest równa rz¦<strong>do</strong>wi jej generatora.<br />

Twierdzenie 24 Je»eli G jest grup¡ cykliczn¡, generowan¡ przez a, to rz¡d a okre±la G z <strong>do</strong>kªadno±ci¡ <strong>do</strong><br />

izomorzmu. Dokªadniej: je»eli rz¡d a jest niesko«czony, to G jest izomorczna z (Z, +), a je»eli wynosi k,<br />

to G jest izomorczna z grup¡ addytywn¡ (Z k , + k ).<br />

Szkic <strong>do</strong>wodu: Zaªó»my najpierw, »e rz¡d a jest niesko«czony. Na mocy Faktu 23, G skªada si¦ wtedy z<br />

iloczynów zbu<strong>do</strong>wanych z a i a −1 , a wi¦c, G = {a i : i ∈ Z}. Šatwo sprawdzi¢, »e przeksztaªcenie F : G → Z,<br />

zdeniowane wzorem F (a i ) = i jest izomorzmem grup.<br />

Przypu±¢my teraz, »e rz¡d a wynosi k. Wtedy, ponownie na mocy Faktu 23, G = {a, a 2 , . . . , a k−1 , a k } =<br />

{a, a 2 , . . . , a k−1 , a 0 } oraz a i ≠ a j dla 0 ≤ i < j < k. Przeksztaªcenie F : G → Z k deniujemy wzorem<br />

F (a i ) = i, dla 0 ≤ i < k. Jasne jest, »e jest ono ró»nowarto±ciowe i na". Sprawdzamy, czy zachowuje<br />

dziaªanie. Niech 0 ≤ i, j < k. Rozwa»my dwa przypadki: je±li i + j < k, to F (a i · a j ) = F (a i+j ) =<br />

i + j = F (a i ) + F (a j ) = F (a i ) + k F (a j ). Je±li natomiast i + j ≥ k, to 0 ≤ i + j − k < k. Wtedy<br />

F (a i · a j ) = F (a i+j ) = F (a k+(i+j−k) ) = F (a k · a i+j−k ) = F (a i+j−k ) = i + j − k = i + k j = F (a i ) + k F (a j ).<br />

Zatem, w obu przypadkach F (a i · a j ) = F (a i ) + k F (a j ).<br />

✷<br />

1.8 Grupy permutacji<br />

Wa»n¡ klas¦ grup stanowi¡ grupy permutacji. Permutacja zbioru X to po prostu bijekcja tego zbioru w<br />

siebie. W przykªadzie 6(c) zauwa»yli±my ju», »e zbiór permutacji ustalonego zbioru tworzy z dziaªaniem<br />

skªadania grup¦. Grupa ta (z wyj¡tkiem przypadku, gdy |X| ≤ 2) nie jest przemienna.<br />

Najcz¦±ciej b¦dziemy rozwa»a¢ permutacje zbiorów {1, 2, 3, . . . , n}. Grup¦ takich permutacji oznaczmy<br />

symbolem S n . Permutacj¦ identyczno±ciow¡ w S n oznaczamy id n (albo id je»eli z kontekstu wia<strong>do</strong>mo jakie<br />

jest n). Ka»d¡ permutacj¦ f mo»na przedstawia¢ za pomoc¡ zapisu dwuwierszowego:<br />

( )<br />

1 2 3 . . . n<br />

f(1) f(2) f(3) . . . f(n)<br />

Wa»n¡ klas¦ permutacji stanowi¡ cykle.<br />

Denicja 25 Cyklem k-wyrazowym nazywamy tak¡ permutacj¦ f zbioru X = {1, 2, . . . , n} (k ≤ n), »e<br />

istniej¡ 1 ≤ a 1 , a 2 , . . . a k ≤ n (a i ≠ a j dla i ≠ j), takie »e f(a 1 ) = a 2 , f(a 2 ) = a 3 , . . ., f(a k ) = a 1<br />

oraz f(a) = a dla a ∉ {a 1 , . . . a k }. Cykl zapisujemy jako (a 1 , a 2 , . . . , a k ). Cykle dwuwyrazowe nazywamy<br />

transpozycjami. Cykle (a 1 , a 2 , . . . a k1 ) oraz (b 1 , b 2 , . . . b k2 ) nazywamy rozª¡cznymi, gdy nie poruszaj¡ tych<br />

samych elementów, czyli gdy a i ≠ b j dla wszystkich i, j.<br />

Fakt 26 Je±li f i g s¡ cyklami rozª¡cznymi (o tej samej dziedzinie), to fg = gf.<br />

Dle permutacji z S n zachodzi:<br />

Twierdzenie 27 (i) Ka»da permutacja da si¦ jednoznacznie (z <strong>do</strong>kªadno±ci¡ <strong>do</strong> kolejno±ci) przedstawi¢<br />

jako zªo»enie cykli rozª¡cznych.<br />

(ii) Ka»da permutacja da si¦ przedstawi¢ jako zªo»enie transpozycji (niekoniecznie rozª¡cznych, przedstawienie<br />

to nie jest jednoznaczne).<br />

(iii) Ka»da transpozycja jest zªo»eniem nieparzystej liczby transpozycji elementów s¡siednich. A zatem grupa<br />

S n jest generowana przez zbiór transpozycji elementów s¡siednich.<br />

Szkic <strong>do</strong>wodu:<br />

(i) Šatwe.<br />

(ii) Wynika z tego, »e (a 1 , a 2 , . . . , a k ) = (a 1 , a k )(a 1 , a k−1 ) . . . (a 1 , a 3 )(a 1 , a 2 ).<br />

(iii) Wynika z tego, »e (j, l) = ((j, j +1)(j +1, j +2) . . . (l−2, l−1)(l−1, l)(l−2, l−1) . . . (j +1, j +2)(j, j +1).<br />

✷<br />

Fakt 28 W grupie S n :<br />

(i) cykl k-wyrazowy jest elementem rz¦du k,<br />

(ii) rz¡d <strong>do</strong>wolnej permutacji jest najmniejsz¡ wspóln¡ wielokrotno±ci¡ rz¦dów cykli z jej rozkªadu na zªo-<br />

»enie cykli rozª¡cznych.<br />

5


Szkic <strong>do</strong>wodu: (ii) Permutacj¦ zapisujemy jako iloczyn cykli rozª¡cznych: p = c 1 c 2 . . . c l . Jej k-ta pot¦ga<br />

ma posta¢ p k = c k 1c k 2 . . . c k l<br />

(tu korzystamy z przemienno±ci skªadania cykli rozª¡czych). Obeserwujemy, »e<br />

c k i = id n wtedy i tylko wtedy, gdy k jest wielokrotno±ci¡ rz¦du c i . Zatem je±li k jest NWW rz¦dów c i , to<br />

oczywi±cie p k = id n . Nietrudno te» zobaczy¢, »e je±li k < NWW rz¦dów c i , to p k ≠ id n .<br />

✷<br />

Denicja 29 Niech f b¦dzie permutacj¡ z S n . Elementy f(i) i f(j), i < j tworz¡ inwersj¦ w permutacji f<br />

je±li f(i) > f(j). Permutacj¦ nazywamy parzyst¡ je±li ma parzyst¡ liczb¦ inwersji. W przeciwnym wypadku<br />

permutacja jest nieparzysta. Deniujemy równie» znak permutacji f, sgn(f), jako +1 dla f parzystej i −1<br />

dla f nieparzystej.<br />

Lemat 30 Niech f b¦dzie <strong>do</strong>woln¡ permutacj¡, a t <strong>do</strong>woln¡ transpozycj¡ w S n . Wtedy sgn(f) = −sgn(ft).<br />

Szkic <strong>do</strong>wodu: Najpierw <strong>do</strong>wodzimy lematu dla t b¦d¡cego transpozycj¡ elementów s¡siednich. Nast¦pnie<br />

korzystamy z twierdzenia 27, cz¦±¢ (iii).<br />

Lemat 31 Permutacja f jest parzysta wtedy i tylko wtedy, gdy w <strong>do</strong>wolnym jej rozkªadzie na transpozycje<br />

wyst¦puje parzysta liczba transpozycji.<br />

Szkic <strong>do</strong>wodu: Rozªó»my f na transpozycje: f = t 1 t 2 . . . t k , czyli f = i n t 1 t 2 . . . t k , gdzie i n jest permutacj¡<br />

identyczno±ciow¡ w S n . Oczywi±cie sgn(i n ) = 1. U»ywamy lematu 30.<br />

Na podstawie lematu 31 ªatwo zauwa»y¢, »e:<br />

Fakt 32 (i) sgn(fg) = sgn(f)sgn(g)<br />

(ii) sgn(f) = sgn(f −1 )<br />

Z powy»szego faktu oraz z obserwacji, »e identyczno±¢ jest parzysta mo»emy wnioskowa¢:<br />

Fakt 33 Podzbiór wszystkich parzystych permutacji z S n jest grup¡.<br />

Grup¦ z powy»szego faktu oznaczamy symbolem A n i nazywamy grup¡ alternuj¡c¡.<br />

Šatwo pokaza¢, »e |S n | (czyli rz¡d S n ) wynosi n!. Zobaczymy, »e <strong>do</strong>kªadnie poªowa permutacji w S n jest<br />

parzysta.<br />

Lemat 34 Dla n > 1: |A n | = n!/2.<br />

Szkic <strong>do</strong>wodu: Niech f 1 , f 2 , . . . , f k b¦dzie list¡ wszystkich permutacji parzystych, a t <strong>do</strong>woln¡ transpozycj¡.<br />

Pokazujemy, »e f 1 t, f 2 t, . . . , f k t jest list¡ wszystkich permutacji nieparzystych w S n oraz, »e f i t ≠ f j t je±li<br />

i ≠ j.<br />

✷<br />

Nast¦puj¡ce twierdzenie mówi, »e ka»da grupa sko«czona jest w istocie pewn¡ podgrup¡ grupy permutacji.<br />

Twierdzenie 35 (Cayley) Niech G b¦dzie grup¡ sko«czon¡ rz¦du n. Wtedy G jest izomorczna z pewn¡<br />

podgrup¡ S n .<br />

Szkic <strong>do</strong>wodu: Zaªó»my bez straty ogólno±ci, »e elementami zbioru G s¡ {1, 2, 3, . . . , n}. Konstruujemy<br />

funkcj¦ F : G → S n . Dla a ∈ G, deniujemy F (a) = f a , gdzie f a : G → G taka, »e f a (b) = ab dla wszystkich<br />

b ∈ G. 2 Šatwo sprawdzi¢, »e f a jest bijekcj¡ dla wszystkich a ∈ G. Po<strong>do</strong>bnie F jest róznowarto±ciowa (bo<br />

f a ≠ f b dla a ≠ b). Zobaczymy teraz, »e obraz F (G) (obraz G wzgl¦dem funkcji F ) jest podgrup¡ S n . W<br />

tym celu (na mocy lematu 20) wystarczy pokaza¢, »e zªo»enie dwóch <strong>do</strong>wolnych bijekcji z F (G) jest w F (G).<br />

Ale to równie» jest proste, bo f a f b = f ab . Ta ostatnia równo±c <strong>do</strong>wodzi tak»e, »e F zachowuje dziaªanie ·. ✷<br />

1.9 Warstwy i twierdzenie Lagrange'a<br />

Denicja 36 Deniujemy dziaªanie · na zbiorach. Niech X i Y b¦d¡ podzbiorami uniwersum grupy G.<br />

X · Y := {a ∈ G : a = x · y dla pewnych x ∈ X, y ∈ Y }. Je±li który± ze zbiorów X, Y jest jednoelementowy,<br />

to zamiast np. {a} · Y b¦dziemy pisa¢ aY .<br />

Uwaga Zdeniowane dziaªanie na podzbiorach grupy jest ª¡czne i ma element neutralny ({e}), ale »aden<br />

zbiór o mocy wi¦kszej od 1 nie ma elementu odwrotnego.<br />

Ka»da podgrupa rozkªada grup¦ na warstwy:<br />

2 Mo»emy my±le¢, »e f a to permutacja opisana w wierszu elementu a tabelki dziaªania grupy G.<br />

6


Denicja 37 Niech H b¦dzie podgrup¡ G. Warstw¡ prawostronn¡ H nazwywamy ka»dy ze zbiorów Ha<br />

dla a ∈ G. Analogicznie warstw¡ lewostronn¡ jest ka»dy zbiór aH, dla a ∈ A. W szczególno±ci H jest swoj¡<br />

prawo- i lewostronn¡ warstw¡ (bo H = He = eH). Liczb¦ warstw prawostronnych nazywamy indeksem<br />

podgrupy H.<br />

Lemat 38 (i) Je»eli H jest sko«czona to jej wszystkie warstwy maj¡ po |H| elementów.<br />

(ii) Warstwy prawostronne (lewostronne) podgrupy H stanowi¡ podziaª uniwersum grupy G (ka»dy element<br />

nale»y <strong>do</strong> jakiej± warstwy, warstwy s¡ rozª¡czne).<br />

Szkic <strong>do</strong>wodu:<br />

(i) Fakt ten wynika z prawa skracania.<br />

(ii) Element a nale»y <strong>do</strong> warstwy Ha (bo e ∈ H). Zaªó»my, »e x ∈ Ha oraz x ∈ Hb. Poka»emy, »e<br />

Ha = Hb. Zaªo»enie o x implikuje, »e x = h 1 a = h 2 b, dla pewnych h 1 , h 2 ∈ H. Niech y ∈ Ha. Wtedy<br />

y = h 3 a = h 3 h −1<br />

1 x = h 3h −1<br />

1 h 2b ∈ Hb, bo h 3 h −1<br />

1 h 2 ∈ H. Czyli Ha ⊆ Hb. Zawieranie w drug¡ stron¦<br />

pokazujemy analogicznie.<br />

✷<br />

Z lematu tego wynika m.in., »e ka»da podgrupa ma tyle samo warstw prawostronnych co lewostronnych.<br />

Przykªad 39 (a) Rozwa»my grup¦ symetrii kwadratu z przykªadu 6. Zbiór {i, h} jest jej podgrup¡.<br />

Wyznacza on cztery warstwy prawostronne: warstwa i : {i, h}, warstwa r ′ : {r ′ , v}, warstwa r : {r, d},<br />

warstwa r ′′ = {r ′′ , d ′ }.<br />

(b) Niech G = S 6 , a H skªada si¦ z permutacji f dla których f(1) = 1. Wtedy mamy 6!/5! = 6 warstw<br />

lewostronnych (bo |H| = 5!), ka»da z nich jest wyznaczona poprzez warto±¢ permutacji na 1.<br />

Konsekwencj¡ lematu 38 jest nast¦puj¡ce twierdzenie:<br />

Twierdzenie 40 (Lagrange) Rz¡d grupy sko«czonej jest wielokrotno±ci¡ rz¦du ka»dej z jej podgrup.<br />

Wniosek 41 Rz¡d ka»dego elementu grupy sko«czonej G dzieli rz¡d G<br />

Szkic <strong>do</strong>wodu:<br />

Ka»dy element a generuje cyklicz¡ podgup¦: {a, a 2 , a 3 , . . . , a m = e}.<br />

Wniosek 42 W grupie sko«czonej rz¦du k dla ka»dego elementu a zachodzi a k = e.<br />

Wniosek 43 Ka»da grupa G, której rz¡d jest liczb¡ pierwsz¡ jest cykliczna.<br />

A zatem mamy, z <strong>do</strong>kªadno±ci¡ <strong>do</strong> izomorzmu, na przykªad tylko jedn¡ grup¦ rz¦du 5 grup¦ (Z 5 , + mod 5 )<br />

(przypominam, »e, z <strong>do</strong>kªadno±ci¡ <strong>do</strong> izomorzmu, jest tylko jedna grupa cykliczna rz¦du k, dla k ∈ N).<br />

1.10 Podgrupy normalne<br />

Denicja 44 Niech H b¦dzie podgrup¡ G. Mówimy, »e H jest podgrup¡ normaln¡ lub dzielnikiem normalnym<br />

G je±li dla ka»dego a ∈ G zachodzi aHa −1 ⊆ H.<br />

Nast¦puj¡cy fakt mówi, »e po podgrupy normalne mo»emy opisa¢ jako te, które generuj¡ takie same<br />

warstwy lewo- i prawostronne:<br />

Fakt 45 H jest podgrup¡ normaln¡ G wtedy i tylko wtedy, gdy dla ka»dego a ∈ G zachodzi aH = Ha.<br />

Przykªad 46 (a) Trywialna podgrupa {e} jest zawsze normalna.<br />

(b) Grupa alternuj¡ca A n jest normaln¡ podgrup¡ S n .<br />

(c) Grupa obrotów kwadratu jest normaln¡ podgrup¡ jego symetrii.<br />

(d) Wszystkie podgrupy grupy przemiennej s¡ normalne.<br />

(e) Centrum (patrz Lista 2, zadanie 2) ka»dej grupy jest podgrup¡ normaln¡.<br />

(f) Podgrupa grupy S 4 : {i 4 , (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)} jest normalna.<br />

Fakt 47 Je±li podgrupa H grupy G ma indeks 2 (czyli ma dwie warstwy), to jest normalna.<br />

7


Szkic <strong>do</strong>wodu: Niech Ha i Hb b¦d¡ warstwami prawostronnymi. Jedna z nich jest równa H = He, ale<br />

H = eH jest równie» warstw¡ lewostronn¡. Korzystamy z faktu, »e warstwy tworz¡ podziaª: drug¡ warstwa<br />

(prawo- czy lewostronna) musi by¢ G \ H.<br />

✷<br />

Ka»da podgrupa normalna deniuje grup¦ ilorazow¡:<br />

Denicja 48 Niech N b¦dzie podgrup¡ normaln¡ G, wtedy zbiór warstw N z dziaªaniem mno»enia (patrz<br />

Denicja 36) oznaczamy symbolem G/N i nazywamy grup¡ ilorazow¡ (lub ilorazem G przez N).<br />

Fakt 49 Grupa ilorazowa jest rzeczywi±cie grup¡.<br />

Przykªad 50 Niech P k oznacza zbiór liczb podzielnych przez k, gdzie k jest liczb¡ <strong>do</strong>datni¡. P k jest podgrup¡<br />

grupy (Z, +). Poniewa» grupa ta jest przemienna, wi¦c P k jest normalna. Warstwami s¡ zbiory liczb<br />

daj¡cych te same reszty przy dzieleniu przez k. Šatwo sprawdzi¢, »e grupa ilorazowa Z/P k jest izomorczna<br />

z {Z k , + mod k }.<br />

1.11 Homomorzmy grup<br />

Denicja 51 Niech (A, ·1) i (B, ·2) b¦d¡ grupami.<br />

∀a, b ∈ A zachodziF (a ·1 b) = F (a) ·2 F (b).<br />

Mówimy, »e F : A → B jest homomorzmem je±li<br />

Przypomnijmy, »e izomorzm to homomorzm ró»nowarto±ciowy i na. Inne szczególne homomorzmy:<br />

monomorzm to homomorzm ró»nowarto±ciowy, epimorzm to homomorzm na, automorzm to<br />

izomorzm zbioru w siebie.<br />

Šatwo sprawdzi¢, »e po<strong>do</strong>bnie jak w przypadku izomorzmów<br />

Fakt 52 Ka»dy homomorzm przeksztaªca element neutralny na nautralny oraz odwrotny <strong>do</strong> a, na odwrotny<br />

<strong>do</strong> obrazu a.<br />

Po<strong>do</strong>bnie jak poj¦cie izormozmu, poj¦cie homomorzmu uogólnia si¦ w naturalny sposób na inne algebry.<br />

Denicja 53 Niech f : A → B b¦dzie homomorzmem<br />

(a) Obrazem F nazywamy zbiór Im(F ) = {b ∈ B : ∃a ∈ A F (a) = b}<br />

(b) J¡drem F nazywamy zbiór Ker(F ) = {a ∈ A : F (a) = e B }, gdzie e B jest elementem nautralnym w<br />

grupie B.<br />

Fakt 54 Obraz i j¡dro homomorzmu F : A → B s¡ podgrupami, odpowiednio B i A, co wi¦cej, j¡dro jest<br />

podgrup¡ normaln¡.<br />

Szkic <strong>do</strong>wodu: (‚wiczenia) ✷<br />

Fakt 55 J¡dro homomorzmu F skªada si¦ z <strong>do</strong>kªadnie jednego elementu (neutralnego) wtedy i tylko wtedy, gdy F<br />

jest monomorzmem (ró»nowarto±ciowy).<br />

Szkic <strong>do</strong>wodu: (¢wiczenia) ✷<br />

Przykªad 56 Przykªady homomorzmów:<br />

(a) wszystkie izomorzmy<br />

(b) F (x) = e,<br />

(c) F : S n → {−1, 1}, F (f) = sgn(f), przy czym jako dziaªania w zbiorze {−1, 1} u»ywamy zwykªego<br />

mno»enia,<br />

(d) Rozwa»amy grupy (Z, +) oraz (R \ {0}, ·). F : Z → R \ {0}, F (m) = 2 m jest monomorzmem.<br />

1.12 Homomorzmy i grupy ilorazowe<br />

Zobaczymy teraz, »e dla ka»dej grupy G i ka»dej jej podgrupy normalnej N istnieje homomorzm z G na G/N<br />

(czyli, »e G/N jest obrazem homomorcznym G). Co wi¦cej, poka»emy, »e wszystkie obrazy homomorczne<br />

grupy G s¡ w istocie ilorazami G przez pewne jej podgrupy normalne.<br />

Lemat 57 Je±li N jest podgrup¡ normaln¡ G, to istnieje homomorzm z G na G/N.<br />

8


Szkic <strong>do</strong>wodu: Homomorzm deniujemy nast¦puj¡co: F (a) = Na. Sprawdzenie: F (a)F (b) = NaNb =<br />

Nab = F (ab).<br />

✷<br />

Twierdzenie 58 Niech F : G → G ′ b¦dzie epimorzmem (homomorzmem na). Wtedy istnieje izomor-<br />

zm J : G/(KerF ) → G ′ .<br />

Szkic <strong>do</strong>wodu: W <strong>do</strong>wodzie oznaczymy dla skrócenia zapisu N = KerF . Izomorzm deniujemy nast¦puj¡co:<br />

J(Na) = F (a). Poprawno±¢ denicji. Sprawdzamy, »e je±li Na = Nb, to F (a) = F (b). Je±li<br />

Na = Nb, to b ∈ Na, czyli b = na dla pewnego n ∈ N. Wtedy F (b) = F (na) = F (n)F (a) = e G ′F (a) = F (a).<br />

J jest bijekcj¡. J jest na: je±li a ′ ∈ G ′ , to ∃a ∈ G F (a) = a ′ (F jest na) oraz J(Na) = F (a) = a ′ .<br />

J jest 1-1: je±li J(Na) = J(Nb), to F (a) = F (b). G jest grup¡, wi¦c b = na dla pewnego n ∈ G, zatem<br />

F (b) = F (na) = F (n)F (a). St¡d F (n) = e G ′, czyli n ∈ KerF = N. Wnioskujemy, »e b ∈ Na, czyli<br />

Nb = Na. J zachowuje dziaªania. J(Na · Nb) = J(N(ab)) = F (ab) = F (a)F (b). ✷<br />

Przykªad 59 Rozwa»my homomorzm grupy R \ {0} na R + (obie z mno»eniem): F (x) = |x|. Jego j¡drem<br />

jest {1, −1}. Powy»sze twierdzenie mówi, »e iloraz R \ {0} przez {1, −1} jest izomorczny z R + .<br />

1.13 Algorytm Euklidesa<br />

Kilka podstawowych denicji i faktów z teorii liczb: Dla liczb caªkowitych a, b piszemy a|b je±li a dzieli b,<br />

czyli istnieje takie caªkowite k, »e b = ka. Liczba jest pierwsza je±li jedynymi jej dzielnikami <strong>do</strong>datnimi<br />

s¡ 1 i ona sama. Dla liczb caªowitych a i b, b ≠ 0 istnieje <strong>do</strong>kªadnie jedna liczba naturalna r mniejsza od<br />

b taka, »e dla pewnego caªkowitego q mamy a = qb + r; liczb¦ r nazywamy reszt¡ z dzialenia a przez b<br />

i oznaczamy a mod b. Dla ka»dych dwóch liczb caªkowitych a, b istnieje ich najwi¦kszy wspólny dzielnik,<br />

oznaczany gcd(a, b). Je±li gcd(a, b) = 1 to mówimy, »e a i b s¡ wzgl¦dnie pierwsze.<br />

Najwi¦kszy wspólny dzielnik <strong>do</strong>datnich liczb m i n mo»emy wyliczy¢ za pomoc¡ algorytmu Euklidesa:<br />

(1) m 0 := m, : n 0 = n.<br />

(2) i := 0<br />

(3) Je±li m i = 0 zwró¢ n i ; Je±li n i = 0 zwró¢ m i .<br />

(4) Je±li m i > n i , to m i := m i mod n i w przeciwnym wypadku n i := n i mod m i<br />

(5) i := i + 1. Przejd¹ <strong>do</strong> 3.<br />

Uzasadnienie poprawno±ci: pokazujemy, »e zbiory wspólnych dzielników liczb m i+1 i n i+1 oraz m i i n i ,<br />

pojawiaj¡cych si¦ w czasie dziaªania algorytmu, s¡ jednakowe. Wynika to wpost z nast¦puj¡cego lematu:<br />

Lemat 60 Niech b ≠ 0. Wtedy gcd(a, b) = gcd(a mod b, b).<br />

Szkic <strong>do</strong>wodu: Oznaczmy c = a mod b. Mo»emy zapisa¢: a = k 1 b + c, dla pewnego k 1 ∈ Z. U<strong>do</strong>wodnimy,<br />

»e zbiory wspólnych dzielników a i b oraz c i b s¡ jednakowe. Niech d|a i d|b, czyli a = k 2 d, a b = k 3 d, dla<br />

pewnych k 2 , k 3 ∈ Z. c = a − k 1 b = k 2 d − k 1 k 3 d = d(k 2 − k 1 k 3 ), czyli d|c. W drug¡ stron¦, je±li d|c i d|b, czyli<br />

c = k 4 d oraz b = k 5 d, dla pewnych k 4 , k 5 ∈ Z, to mo»emy zapisa¢ a = k 1 b + c = k 1 k 5 d + k 4 d = d(k 1 k 5 + k 4 ),<br />

a wi¦c d|a.<br />

✷<br />

U»ywaj¡c powy»szego lematu ªatwo ju» indukcyjnie pokaza¢, »e zbiory wspólnych dzielników m, n s¡ takie<br />

same jak zbiory wspólnych dzielników kolejnych m i , n i . Poniewa» gcd(0, a) = a dla a ≠ 0 nasz algorytm<br />

zwraca poprawn¡ warto±¢.<br />

Zauwa»my, »e dla <strong>do</strong>wolnych danych wej±ciowych m, n, algorytm <strong>do</strong>jdzie <strong>do</strong> sytuacji m i = 0 lub n i = 0<br />

w sko«czonej liczbie kroków: w ka»dym kroku zmniejsza si¦ warto±¢ m + n, ale caªy czas pozostaje ona<br />

nieujemna. Nie ma zatem mo»liwo±ci, »e zap¦tli si¦ i b¦dzie dziaªaª w niesko«czono±¢.<br />

Z algorytmu Euklidesa wynika nast¦puj¡ce wa»ne twierdzenie:<br />

Twierdzenie 61 Niech m i n b¦d¡ liczbami caªkowitymi. Wtedy istniej¡ liczby caªkowite a i b takie, »e<br />

am + bn = gcd(m, n).<br />

9


Szkic <strong>do</strong>wodu: Pokazujemy indukcyjnie, »e warto±ci m i i n i , pojawiaj¡ce si¦ w czasie dziaªania algorytmu<br />

Euklidesa, nale»¡ <strong>do</strong> zbioru A = {am + bn : a, b ∈ Z}. Jedna z tych warto±ci jest zwracana na koniec jako<br />

gcd(m, n). Oczywi±cie m 0 i n 0 nale»¡ <strong>do</strong> zbioru A. Zaªo»enie indukcyjne: m i = am + bn oraz n i = cm + dn.<br />

Rozwa»my przypadek, gdy m i > n i (drugi jest analogiczny) i n i jest niezerowe. Musimy pokaza¢, »e<br />

m i+1 ∈ A. Wiemy, »e m i = kn i +m i+1 , dla pewnego k ∈ Z, czyli m i+1 = m i −kn i = am+bn−k(cm+dn) =<br />

(a − kc)m + (b + d)n ∈ A. To ko«czy <strong>do</strong>wód indukcyjny<br />

Liczby a i b takie jak w Twierdzeniu 61 mo»emy wyliczy¢ rozszerzonym algorytmem Euklidesa.<br />

Przykªad 62 Przykªad oblicze« dla m = 81 i n = 57:<br />

81 = 1 · 57 + 24<br />

57 = 2 · 24 + 9<br />

24 = 2 · 9 + 6<br />

9 = 1 · 6 + 3<br />

6 = 2 · 3 + 0<br />

Zatem gcd(81, 57) = 3. Znajdujemy teraz a i b odwracaj¡c obliczenia:<br />

W szczególno±ci wnioskiem z twierdzenia 61 jest<br />

3 = 9 − 1 · 6<br />

3 = 9 − 1 · (24 − 2 · 9) = −1 · 24 + 3 · 9<br />

3 = −1 · 24 + 3 · (57 − 2 · 24) = 3 · 57 − 7 · 24<br />

3 = 3 · 57 − 7 · (81 − 57) = −7 · 81 + 10 · 57<br />

Wniosek 63 gcd(m, n) = 1 wtedy i tylko wtedy, gdy am + bn = 1 dla pewnych caªkowitych a i b.<br />

1.14 Arytmetyka modularna<br />

Przyjrzyjmy si¦ teraz bli»ej dziaªaniom <strong>do</strong>dawania i mno»enia modulo m (m ∈ N). Przypomnijmy, »e wynik<br />

dziaªania a + m b, dla a, b ∈ Z, deniowali±my jako reszt¦ z dzielenia a + b przez m, czyli jako (a + b) mod m<br />

(analogicznie dla dziaªania ·m). Zauwa»yli±my <strong>do</strong> tej pory (mo»e jeszcze nie <strong>do</strong> ko«ca formalnie), »e zbiór<br />

Z m = {0, 1, . . . , m − 1} z dziaªaniem + m jest grup¡ przemienn¡, dla ka»dego m > 0.<br />

Aby wygodniej mówi¢ o arytmetyce modularnej wprowad¹my jeszcze relacj¦ ≡ m na zbiorze liczb caªkowitych:<br />

a ≡ m b wtedy i tylko wtedy, gdy a − b = km dla pewnego k ∈ Z (czyli gdy m dzieli ró»nic¦ a − b, co<br />

jest równowa»ne temu, »e a i b daj¡ te same reszty przy dzieleniu przez m - ¢wiczenie). Šatwo sprawdzi¢, »e<br />

relacja ta jest relacj¡ równowa»no±ci i ma m klas abstrakcji, wyznaczanych przez reszty z dzielenia przez m.<br />

Zachodz¡ nast¦puj¡ce fakty<br />

Fakt 64 (i) je±li a ≡ m b oraz c ≡ m d, to a + c ≡ m b + d<br />

(ii) je±li a ≡ m b oraz c ≡ m d, to ac ≡ m bd<br />

(iii) jesli a ≡ m b, to a n ≡ m b n dla n ∈ N<br />

W szczególno±ci a+ m b = (a mod m)+ m (b mod m) oraz a·m b = (a mod m)·m (b mod m) bo oczywi±cie<br />

a ≡ m (a mod m).<br />

Zauwa»my teraz nast¦puj¡c¡ ogóln¡ wªasno±¢ homomorizmów: 3<br />

Lemat 65 Niech F b¦dzie homomorzmem struktur algebraicznych z A na B. Niech t 1 (x 1 , . . . , x k ) i t 2 (x 1 , . . . , x k )<br />

b¦d¡ <strong>do</strong>wolnymi wyra»eniami zbu<strong>do</strong>wanym ze zmiennych x 1 , . . . , x k , symboli dziaªa« i nawiasów. Wtedy, je±li:<br />

∀x 1 , . . . , x k ∈ A t 1 (x 1 , . . . , x k ) = t 2 (x 1 , . . . , x k ),<br />

to<br />

∀x 1 , . . . , x k ∈ B t 1 (x 1 , . . . , x k ) = t 2 (x 1 , . . . , x k ).<br />

Powy»szy lemat implikuje na przykªad, »e je±li w strukturze A zachodzi prawo rozdzielno±ci: ∀xyz x·(y+z) =<br />

x · y + x · z, oraz istnieje homomorzm z A na B, to to samo prawo zachodzi te» w B. Poniewa», funkcja<br />

F : Z → Z m dana wzorem F (a) = a mod m jest homomorzmem (Z, +, ·) na (Z m , + m , ·m) oraz Z jest<br />

pier±cieniem przemiennym z jedno±ci¡, mo»emy teraz wykaza¢:<br />

Fakt 66 (Z m , + m , ·m) jest pier±cieniem (przemiennym z jedno±ci¡).<br />

3 Poj¦cie homomorzmu zdeniowali±my formalnie jedynie dla grup, ale uogólnienie na pier±cienie i inne struktur algebraiczne<br />

jest oczywiste: homomorzm to funkcja zachowuj¡ca wszystkie dziaªania struktury.<br />

10


Uwaga: My zdeniowali±my ju» na pocz¡tku tego <strong>wykªadu</strong> pier±cie« (Z m , + m , ·m) jako struktur¦ o uniwersum<br />

{0, 1, . . . , m − 1} i dziaªaniach + m , ·m deniowanych jako reszty z dzielenia wyników dziaªa« +,<br />

· przez m. Mo»na na niego spojrze¢ troch¦ inaczej. Mianowicie mo»na my±le¢, »e elementami uniwersum<br />

s¡ klasy abstrakcji relacji ≡ m , a dziaªania zdeniowane s¡ nast¦puj¡co: [a] ≡m + m [b] ≡m = [a + b] ≡m ,<br />

[a] ≡m ·m [b] ≡m = [a · b] ≡m . Fakt 64 pozwala u<strong>do</strong>wodni¢, »e taka denicja dziaªa« jest poprawna. Oczywi±cie<br />

F : Z → Z m dana wzorem F (a) = [a] ≡m jest homomorzmem na, zatem uzyskana struktura jest pier±cieniem<br />

przemiennym z jedno±ci¡. Procedur¦ któr¡ opisali±my nazywa si¦ podzieleniem pier±cienia przez kongruencj¦.<br />

Kongruencjami nazywamy relacje równowa»no±ci speªniaj¡ce warunki analogiczne <strong>do</strong> warunków (i), (ii)<br />

z faktu 64. Porównaj te» Przykªad 50.<br />

Przykªad 67 (a) Jaka jest ostatnia cyfra liczba 3 1000 ? Szukamy 3 1000 mod 10, czyli 9 500 mod 10. 9 500<br />

mod 10 = (9 2 mod 10) 250 = 1 250 = 1.<br />

(b) Jaka jest ostatnia cyfra w zapisie dziesi¦tnym liczby 3 2009 ? Chcemy znale¹¢ wynik mno»enia liczby 3<br />

przez siebie 2009 razy w pier±cieniu Z 10 . 3 2 = 9, 3 3 = 7, 3 4 = 7 · 3 = 1, 3 2008 = 3 4·502 = (3 4 ) 502 = 1.<br />

Zatem szukan¡ cyfr¡ jest 1 ∗ 3 = 3.<br />

Lemat 68 Element a w pierw±cieniu Z m ma element odwrotny (wzgl¦dem ·m) wtedy i tylko wtedy, gdy<br />

gcd(a, m) = 1.<br />

Szkic <strong>do</strong>wodu: ⇒ Je±li a ·m b = 1, czyli ab mod m = 1 to ab = qm + 1 dla pewnego q, a wi¦c ab − qm = 1.<br />

Na mocy Wniosku 63 gcd(a, m) = 1. ⇐ Ponownie z wniosku 63 mamy ax+my = 1 dla pewnych caªkowitych<br />

x i y. Inaczej: ax = −ym + 1, czyli ax mod m = 1, wi¦c x mod m jest elementem odwrotnym <strong>do</strong> a. ✷<br />

Zauwa», »e <strong>do</strong>wód powy»szego lematu sugeruje efektywny algorytm sprawdzania, czy element ma odwrotno±¢<br />

oraz wyliczania tej odwrotno±ci (z wykorzystaniem algorytmu Euklidesa <strong>do</strong> znalezienia x). Otrzymujemy<br />

te»:<br />

Twierdzenie 69 (i) ({1, 2, . . . m − 1}, ·m) jest grup¡ wtedy i tylko wtedy, gdy m jest liczb¡ pierwsz¡.<br />

(ii) Pier±cie« (Z m , + m , ·m} jest ciaªem wtedy i tylko wtedy, gdy m jest liczb¡ piewrsz¡.<br />

Dla <strong>do</strong>wolnego ciaªa (C, +, ·) grup¦ (C, +) nazywamy jego grup¡ addytywn¡, grup¦ (C \ {0}, ·) grup¡<br />

multiplikatywn¡. W przypadku <strong>do</strong>wolnego pier±cienia (P, +, ·) dziaªanie + nazywamy addytywnym, a ·<br />

multiplikatywnym.<br />

Oznaczmy przez Z ∗ m zbiór elementów Z m wzgl¦dnie pierwszych z m. |Z ∗ m| oznaczamy jako ϕ(m) (jest to<br />

tzw. funkcja Eulera). Oczywi±cie ϕ(p) = p − 1 dla p pierwszych.<br />

Twierdzenie 70 Zbiór elementów odwracalnych (wzgl¦dem dziaªania multiplikatywnego) <strong>do</strong>wolnego pier-<br />

±cienia z jedno±ci¡ tworzy grup¦ z dziaªniem muliplikatywnym. W szczególno±ci (Z ∗ m, ·m) jest grup¡ dla<br />

<strong>do</strong>wolnego m > 0, jako zbiór elementów odwracalnych pier±cienia (Z m , +, ·).<br />

Przypomnijmy, »e zgodnie z Wnioskiem 42 z twierdzenia Lagrange'a w <strong>do</strong>wolnej grupie sko«czonej G,<br />

a |G| = e zachodzi dla <strong>do</strong>wolnego a. Dostajemy st¡d kolejny wa»ny wniosek:<br />

Twierdzenie 71 (i) (Maªe twierdzenie Fermata) Je±li p jest liczb¡ pierwsz¡, to dla ka»dego a ∈ Z,<br />

takiego »e p nie dzieli a, zachodzi a p−1 ≡ p 1.<br />

(ii) (Euler) Je±li gcd(m, a) = 1, to a ϕ(m) ≡ m 1 dla <strong>do</strong>wolnego a ∈ Z.<br />

Przykªad 72 (a) Przykªad zastosowania twierdzenia Fermata: jaka jest reszta z dzielenia 2 1000000 przez<br />

101? Wiemy, »e 2 100 ≡ 101 1 (bo 101 jest liczb¡ pierwsz¡). 2 1000000 = (2 100 ) 10000 ≡ 101 1.<br />

(b) Grupa addytywna (Z p , + p ) dla p pierwszego jest oczywi±cie grup¡ cykliczn¡ (na mocy Wniosku 43).<br />

Wkrótce poka»emy, »e grupa multiplikatywna (Z p \ {0}, ·p) jest równie» cykliczna. W tym przykªadzie<br />

sprawdzimy, »e 2 jest generatorem grupy multiplikatywnej Z 101 (jest to grupa, bo 101 jest liczb¡<br />

pierwsz¡). W tym celu sprawdzamy (u»ywaj¡c podej±cia po<strong>do</strong>bnego jak w poprzednich przykªadach),<br />

»e rz¡d 2 wynosi 100. Pokazujemy konkretnie, »e 2 20 oraz 2 50 s¡ ró»ne od 1. Poniewa» rz¡d 2 musi<br />

dzieli¢ 100, a wszystkie dzielniki 100 (oprócz 100) s¡ dzielnikami 20 lub 50 daje to nasz wniosek.<br />

1.15 Chi«skie twierdzenie o resztach<br />

Denicja 73 Niech (G 1 , + 1 , ·1), . . . , (G k , + k , ·k) b¦d¡ pier±cieniami przemiennymi z jedno±ci¡. Ich produktem<br />

4 nazywamy struktur¦ ((G 1 ×, . . . , ×G k ), +, ·), o uniwersum b¦d¡cym iloczynem kartezja«skim uniwersów<br />

pier±cieni G i i dziaªaniach zdeniowanych po wspóªrz¦dnych, tj., w przypadku dziaªania ·: (g 1 , . . . , g k ) ·<br />

(g 1, ′ . . . , g<br />

k ′ ) = (g 1 ·1 g 1, ′ . . . , g k ·k g<br />

k ′ ) i analogicznie dla +.<br />

4 Prównaj zadanie 1, Lista 3, w którym zdeniowali±my analogiczne poj¦cie dla grup.<br />

11


Poni»szy fakt sprawdza si¦ rutynowo:<br />

Fakt 74 Produkt pier±cieni przemiennych z jedno±ci¡ jest pier±cieniem przemiennym z jedno±ci¡.<br />

Przykªad 75 (a) Z 6 jest izomorczny z Z 2 × Z 3 . Izomorzm: F (x) = (x mod 2, x mod 3)<br />

(b) Z 8 nie jest izomorczny z Z 2 × Z 4 . Mo»na bowiem sprawdzi¢, »e w grupie addytywnej Z 2 × Z 4 nie ma<br />

elementu rz¦du 8, a taki jest w grupie addytywnej Z 8 (bo ta jest cykliczna).<br />

Lemat 76 Niech G, G 1 , . . . G m b¦d¡ pier±cieniami przemiennymi z jedno±ci¡. Niech F i : G → G i b¦d¡ homomorzmami<br />

pier±cieni. Wtedy F : G → G 1 ×, . . . , ×G k , zdeniowana wzorem F (a) = (F 1 (a), . . . , F m (a))<br />

jest homomorzmem pier±cieni.<br />

Twierdzenie 77 . Niech liczby m 1 , m 2 , . . . , m k b¦d¡ parami wzgl¦dnie pierwsze i niech m = m 1 m 2 . . . m k .<br />

Wtedy funkcja F : Z m → Z m1 × Z m2 × . . . × Z mk , dana wzorem F (x) = (x mod m 1 , x mod m 2 , . . . x<br />

mod m k ) jest izomorzmem pier±cieni.<br />

Szkic <strong>do</strong>wodu: Je±li m i |m oraz funkcja F : Z m → Z mi dana jest wzorem F (a) = a mod m i , to F jest<br />

homomorzmem. Zatem zachowywanie dziaªa« wynika z Lematu 76. Musimy tylko sprawdzi¢, »e F jest<br />

bijekcj¡. Poniewa» zbiory s¡ sko«czone wystarczy sprawdzi¢ ró»nowarto±ciowo±¢: je±li F (a) = F (b), to a<br />

mod m i = b mod m i dla wszystkich i, czyli a ≡ mi b. To oznacza, »e m i |(a − b) dla wszystkich i. Poniewa»<br />

m i s¡ wzgl¦dnie pierwsze, to tak»e m 1 . . . m k |(a − b), 5 ale |a − b| < m, czyli a = b.<br />

✷<br />

Wniosek 78 (Chi«skie twierdzenie o resztach) Je±li m 1 , m 2 , . . ., m k s¡ parami wzgl¦dnie pierwsze,<br />

m = m 1 m 2 . . . m k oraz a i ∈ {0, . . . m i − 1} to istnieje <strong>do</strong>kªadnie jeden x, 0 ≤ x < m, speªniaj¡cy ukªad:<br />

x mod m 1 = a 1<br />

x mod m 2 = a 2<br />

. . .<br />

x mod m k = a k<br />

Ukªad z powy»szego wniosku mo»na sprawnie rozwi¡zywa¢. Mianowicie x = (a 1 z 1 y 1 + . . . a k z k y k )<br />

mod m, gdzie z i = m/m i , a y i jest tak¡ liczb¡, »e z i y i ≡ mi 1. Uzasadnienie poprawno±ci: x mod m 1 =<br />

(a 1 z 1 y 1 +. . . a k z k y k ) mod m 1 = ((a 1 z 1 y 1 mod m 1 )+. . .+(a k z k y k mod m 1 )) mod m 1 = a 1 +0+. . .+0 = a 1<br />

(bo m 1 jest dzielnikiem z i dla i > 1). Analogicznie dla pozostaªych m i .<br />

Przykªad 79 Znajd¹my najmniejsz¡ liczb¦ <strong>do</strong>datni¡, która daje reszt¦ 1 przy dzieleniu przez 2, reszt¦ 2<br />

przy dzieleniu przez 3 oraz reszt¦ 2 przy dzieleniu przez 7. Odpowied¹: 23.<br />

1.16 Pier±cienie Z n w akcji - system szyfrowania Rabina<br />

Omówimy i przeanalizujemy metod¦ szyfrowania Rabina. Jest to metoda szyfrowania z dwoma kluczami:<br />

publicznym i prywatnym. Kluczem prywatnym, sªu»¡cym <strong>do</strong> odszyfrowywania wia<strong>do</strong>mo±ci jest para ró»nych<br />

du»ych liczb pierwszych p i q. Kluczem publicznym, sªu»¡cym <strong>do</strong> zaszyfrowywania, jest liczba liczba n,<br />

b¦d¡ca iloczynem p i q.<br />

• Szyfrowane wia<strong>do</strong>mo±ci to liczby z Z ∗ n.<br />

• Niech x ∈ Z ∗ n b¦dzie wia<strong>do</strong>mo±ci¡, któr¡ chcemy zaszyfrowa¢. Szyfrem jest liczba x 2 mod n.<br />

• Zaªó»my, »e otrzymali±my zaszyfrowan¡ wia<strong>do</strong>mo±¢ c. Odszyfrowanie polega na wyliczeniu pierwiasków<br />

kwadratowych modulo n, czyli znalezieniu takich x, »e x 2 ≡ n c.<br />

Oczywi±cie operacja szyfrowania (czyli podnoszenia <strong>do</strong> kwadratu modulo n) jest ªatwa obliczeniowo. W<br />

dalszej cz¦±ci <strong>wykªadu</strong> przekonamy si¦, »e deszyfrowanie (wyliczanie pierwiastków kwadratowych modulo n)<br />

daje si¦ sprawnie wykonywa¢, gdy znamy p i q, ale jest trudne, gdy znamy tylko n. Dokªadniej, poka»emy, »e<br />

je±li znaj¡c tylko n potramy oblicza¢ pierwiastki kwadratowe modulo n, to potramy znaj<strong>do</strong>wa¢ rozkªad n<br />

na czynniki pierwsze. Ten ostatni problem uznawany jest za bardzo trudny obliczeniowo (chocia» formalny<br />

<strong>do</strong>wód tej trudno±ci nie jest <strong>do</strong>t¡d znany!):<br />

5 Tu potrzebny jest lemat: je±li m 1 , . . . , m k s¡ parami wzgl¦dnie pierwsze oraz ka»de m i dzieli n, to iloczyn wszystkich m i<br />

te» dzieli n. Lematu <strong>do</strong>wodzi si¦ np. u»ywaj¡c faktu, »e m 1 |m i m 2 |m i gcd(m 1 , m 2 ) = 1 implikuje m 1 m 2 |m, nast¦pnie indukcji<br />

i ¢wiczenia 1d z listy 5.<br />

12


Hipoteza: Nie istnieje algorytm, który dla zadanego n b¦d¡cego iloczynem dwóch du»ych 6 liczb pierwszych<br />

znaj<strong>do</strong>waªby te liczby w rozs¡dnym czasie.<br />

Warto za to podkre±li¢, »e sprawdzenie czy zadana liczba jest liczb¡ pierwsz¡ jest zadaniem ªatwym <br />

istniej¡ wydajne algorytmy rozwi¡zuj¡ce to zadanie.<br />

Analizuj¡c system Rabina u»yjemy poni»szego twierdzenia.<br />

<strong>wykªadu</strong>.<br />

Jego <strong>do</strong>wód pojawi si¦ w dalszej cz¦±ci<br />

Twierdzenie 80 Niech p b¦dzie liczb¡ pierwsz¡. Wtedy multiplikatywna grupa Z ∗ p<br />

jest cykliczna.<br />

Denicja 81 Mówimy, »e liczba a ∈ Z n jest reszt¡ kwadratow¡ modulo n je±li istnieje taki b w Z ∗ n, »e<br />

a ≡ n b 2 . Zbiór reszt kwadratowych modulo n oznaczamy QR n .<br />

Resztami kwadratowymi s¡ wi¦c liczby jakie pojawiaj¡ si¦ na przek¡tnej tabelki mno»enia Zn.<br />

∗<br />

przykªad Q 7 = {1, 2, 4}, Q 9 = {1, 4, 7}.<br />

Na<br />

Fakt 82 Je±li p > 2 jest liczb¡ pierwsz¡, to |QR p | = |Z ∗ n|/2 = (p − 1)/2. Je±li a ∈ QR p , to a ma <strong>do</strong>kªadnie<br />

2 pierwiastki modulo p.<br />

Szkic <strong>do</strong>wodu: Deniujemy relacj¦ ≈⊆ Zp ∗ × Zp: ∗ a ≈ b wtedy, gdy a 2 ≡ p b 2 . Jest to relacja równowa»no±ci,<br />

której klasy abstrakcji s¡ dwuelementowe: Je±li a 2 ≡ p b 2 , to (a − b)(a + b) dzieli si¦ przez p. Ale p jest liczb¡<br />

pierwsz¡, wi¦c p dzieli a − b lub p dzieli a + b, czyli a ≡ p b lub a ≡ p −b ≡ p p − b. Poniewa» p jest nieparzyste<br />

wi¦c b ≠ p − b.<br />

✷<br />

Fakt 83 Niech p > 2 b¦dzie liczb¡ pierwsz¡, niech g b¦dzie generatorem grupy multiplikatywnej Z ∗ p . Wtedy<br />

QR p = {1 = g 0 , g 2 , g 4 , . . . , g p−3 }.<br />

Szkic <strong>do</strong>wodu: Oczywi±cie g 2i jest kwadratem g i . Wszystkie g 2i , dla 0 ≤ 2i ≤ p − 3 s¡ ró»ne i jest ich<br />

(p − 1)/2. ✷<br />

Lemat 84 Niech p > 2 b¦dzie liczb¡ pierwsz¡, a ∈ Z ∗ p . Je±li a ∈ QR p, to a (p−1)/2 ≡ p 1; w przeciwnym<br />

wypadku a (p−1)/2 ≡ p −1.<br />

Szkic <strong>do</strong>wodu: Je±li a ∈ QR p , to a ≡ p b 2 dla pewnego b ∈ Zp. ∗ Wtedy a (p−1)/2 ≡ p b p−1 ≡ p 1 (ostatnie<br />

równo±¢ wynika z maªego twierdzenia Fermata). Je±li a ∉ QR p , to a = g 2i+1 (g generator), czyli a (p−1)/2 =<br />

(g 2i ) (p−1)/2 g (p−1)/2 = g (p−1)/2 . Ta ostatnia liczba nie mo»e przystawa¢ <strong>do</strong> 1, bo g jest generatorem. Z<br />

drugiej strony jej kwadrat przystaje <strong>do</strong> 1, wi¦c a (p−1)/2 ≡ p g (p−1)/2 ≡ p −1 (bo 1 ma <strong>do</strong>kªadnie 2 pierwiastki<br />

kwadratowe modulo p: 1 i -1).<br />

✷<br />

Zauwa», »e powy»szy lemat pozwala skonstruowa¢ prost¡ metod¦ sprawdzania czy a jest reszt¡ kwadratow¡<br />

modulo p.<br />

Lemat 85 Niech p i q b¦d¡ liczbami pierwszymi, n = pq. Wtedy |QR n |=|Z ∗ n|/4 = ((p − 1)(q − 1))/4. Je±li<br />

a ∈ QR n , to a ma <strong>do</strong>kªadnie cztery pierwiastki kwadratowe modulo n.<br />

Szkic <strong>do</strong>wodu: Deniujemy relacj¦ ≈⊆ Zn ∗ × Zn: ∗ a ≈ b wtedy, gdy a 2 ≡ n b 2 . Relacja ta jest relacj¡<br />

równowa»no±ci. Poka»emy, »e jej klasy abstrakcji s¡ czteroelementowe. Ka»da klasa jest wyznaczona przez<br />

pewn¡ reszt¦ kwadratow¡. Niech r ∈ QR n . Na mocy chi«skiego twierdzenia o resztach równanie x 2 ≡ n r<br />

jest równowa»ne ukªa<strong>do</strong>wi x 2 ≡ p r, x 2 ≡ q r. Niech x 1 , x 2 b¦d¡ rozwi¡zaniami pierwszego ukªadu w (Zp), ∗ a<br />

x ′ 1, x ′ 2 rozwi¡zaniemi drugiego ukªadu (w Zq ∗ ). Wtedy ka»da z par (x 1 , x ′ 1), (x 1 , x ′ 2), (x 2 , x ′ 1), (x 2 , x ′ 2) daje<br />

<strong>do</strong>kªadnie jedno rozwi¡zanie równania wyj±ciowego. Na mocy chi«skiego twierdzenia o resztach s¡ to ró»ne<br />

rozwi¡zania.<br />

✷<br />

Istnienie 4 pierwiastków z ka»dej reszty kwadratowej jest wad¡ systemu kryptogracznego Rabina. Po<br />

odebraniu zaszyfrowanej wia<strong>do</strong>mo±ci <strong>do</strong>stajemy cztery mo»liwe pierwiastki i musimy zgadn¡¢, który z nich<br />

jest wªa±ciw¡ wia<strong>do</strong>mo±ci¡. Istniej¡ pewne modykacje systemu usuwaj¡ce t¡ wad¦. Niestesty, znacz¡co<br />

komplikuj¡ one algorytm.<br />

6 kilkaset - kilka tysi¦cy bitów<br />

13


Wyznaczanie pierwiastków kwadratowych modulo n (przy znajomo±ci p i q) Poka»emy teraz jak<br />

odszyfrowywa¢ wia<strong>do</strong>mo±ci, czyli jak wylicza¢ pierwiastki kwadratowe modulo n = pq, gdy znamy klucz<br />

prywatny: liczby pierwsze p i q. Wystarczy, »e wyliczymy pierwiastki modulo p i modulo q, a nast¦pnie<br />

zastosujemy chi«skie twierdzenie o resztach.<br />

Musimy zatem poda¢ algorytm wyznaczanie pierwiastka kwadratowego z c ∈ QR p modulo liczba pierwsza<br />

p. Rozpatrzmy przypadek, gdy rozwa»ana liczba pierwsza p daje reszt¦ 3 przy dzieleniu przez 4, czyli<br />

p = 4k + 3, dla pewnego k ∈ N. Przypadek, gdy reszta jest równa 1 jest nieco bardziej skomplikowany i<br />

nie b¦dziemy si¦ nim zajmowa¢ na tym wykªadzie. Mamy c (p−1)/2 ≡ p 1 (bo c jest reszt¡ kwadratow¡, patrz<br />

Lemat 84), czyli c 2k+1 ≡ p 1. St¡d (c k+1 ) 2 ≡ p c. Jednym z pierwiastków jest zatem x 1 = c k+1 mod p, drugi<br />

x 2 = p − x 1 .<br />

Trudno±¢ deszyfrowania bez znajomo±ci p i q Niech n b¦dzie iloczynem dwóch liczb pierwszych p<br />

i q. Zaªó»my, »e istnieje szybki algorytm A znajduj¡cy dla zadanego c ∈ Zn ∗ takie x = A(c), »e x 2 ≡ n c.<br />

Poka»emy jak skonstruowa¢ wydajny algorytm wyznaczaj¡cy rozkªad n na czynniki pierwsze.<br />

Nasz algorytm b¦dzie algorytmem zran<strong>do</strong>mizowanym (typu Las Vegas): b¦dzie losowaª pewn¡ warto±¢,<br />

na jej podstawie przeprowadzaª pewne obliczenia i próbowaª znale¹¢ p lub q; je±li to si¦ nie uda wylsouje<br />

kolejn¡ warto±¢ i powtórzy procedur¦. Zobaczymy, »e oczekiwana liczba losowa« wynosi 2 oraz, »e z du»ym<br />

praw<strong>do</strong>po<strong>do</strong>bie«stwem kilka losowa« zagwaratnuje znalezienie rozwi¡zania.<br />

Algorytm wygl¡da nast¦puj¡co:<br />

1. Wylosuj x ∈ Z ∗ n<br />

2. Niech c = A(x 2 mod n)<br />

3. Je±li c = x lub c = n − x przejd¹ <strong>do</strong> 1<br />

4. Wyznacz gcd(c + x, n) oraz gcd(c − x, n). Te liczby s¡ szukanymi p i q.<br />

Odpowied¹ c = x lub c = n − x nie daje nam »adnej istotnej informacji i tak wiemy, »e te liczby s¡<br />

pierwiastkami kwadratowymi z x 2 modulo n. Dlatego w tym przypadku ponownie wracamy <strong>do</strong> wylosowania<br />

x. Zaªó»my, »e mamy c ≠ x i c ≠ n − x. Poniewa» c 2 = x 2 mod pq, wi¦c (c − x)(c + x) = kpq, wi¦c<br />

p|c − x lub p|c + x. 7 Poniewa» zaªo»enie gwarantuje, »e (c − x)(c + x) ≠ 0 mod n, wi¦c gcd(c − x, n) = p<br />

lub gcd(c + x, n) = p.<br />

Praw<strong>do</strong>po<strong>do</strong>bie«stwo, »e przy losowym x algorytm A zwróci nieprzydatn¡ warto±¢ c wynosi 1/2 (bo<br />

mamy cztery pierwiastki, z czego dwa nieprzydatne). Zatem oczekiewana liczba losowa« x to 2. A szansa,<br />

»e po k-tym losowaniu nie b¦dziemy znali rozkªadu jest równa 1/2 k .<br />

1.17 Wªasno±ci grup cyklicznych<br />

Podamy teraz seri¦ wyników <strong>do</strong>t¡cz¡cych grup cyklicznych.<br />

Fakt 86 Nich g b¦dzie generatorem n-elementowej grupy G. Element g m jest generatorem G wtedy i tylko<br />

wtedy, gdy gcd(m, n) = 1.<br />

Fakt 87 Je±li G jest cykliczna, to ka»da jej podgrupa jest cykliczna.<br />

Szkic <strong>do</strong>wodu: Niech g b¦dzie generatorem grupy G, a H podrup¡ G. Niech m b¦dzie najmniejsz¡ liczb¡<br />

<strong>do</strong>datni¡ tak¡, »e g m ∈ H (je±li takiej liczby nie ma, to H skªada si¦ tylko z elementu neutralnego). Poka»emy,<br />

»e g m jest generatorem H, czyli »e H = {(g m ) i : i ∈ Z}. Zawieranie ⊇ jest oczywiste. Pokazujemy ⊆. Niech<br />

g j ∈ H, niech j = km + r, 0 ≤ r < m. Wtedy g r = g j−km = g j (g m ) −k ∈ H (z zamkni¦to±ci H). Poniewa»<br />

r < m, wi¦c r = 0 (z denicji liczby m). Zatem g j = (g m ) k .<br />

✷<br />

Fakt 88 Niech G b¦dzie grup¡ cykliczn¡ rz¦du n ∈ N. W G istnieje element rz¦du d wtedy i tylko wtedy, gdy<br />

d|n.<br />

Szkic <strong>do</strong>wodu: ⇒ Wynika z Wniosku 41 z Twierdzenia Lagrange'a. ⇐ Je±li g jest generatorem, to szukanym<br />

elementem jest g n/d .<br />

✷<br />

Fakt 89 Je±li grupa cykliczna G ma element rz¦du k, to ma <strong>do</strong>kªadnie ϕ(k) takich elementów.<br />

7 To wynika z cz¦±ci (e) zadania 1 z listy 5.<br />

14


Szkic <strong>do</strong>wodu: Rozwa»amy zbiór H = {a : a k = e}. Do zbioru tego nale»¡ w szczególno±ci wszystkie<br />

elementy rz¦du k. Šatwo sprawdzi¢, »e H jest podgrup¡ G, a wi¦c jest cykliczna (na mocy Faktu 87). H<br />

ma <strong>do</strong>kªadnie k elementów. Na mocy Faktu 86 ma ona <strong>do</strong>kªadnie ϕ(k) generatorów. S¡ one wszystkimi<br />

elementami rz¦du k w G.<br />

✷<br />

Zauwa», »e Fakty 88 i 89 prowadz¡ <strong>do</strong> nast¦puj¡cego ªadnego wzoru:<br />

Wniosek 90<br />

n =<br />

∑<br />

{d:d|n}<br />

Twierdzenie 91 Niech G b¦dzie grup¡ sko«czon¡ rz¦du n. Je±li dla <strong>do</strong>wolnego k ∈ N zbiór {g ∈ G : g k = e}<br />

ma najwy»ej k elementów, to G jest cykliczna.<br />

Szkic <strong>do</strong>wodu: Zastanówmy si¦ ile elementów rz¦du k, dla k|n jest w G. Zaªó»my, »e jest tam co najmniej<br />

jeden taki element a. Rozwa»my zbiór {g ∈ G : g k = 1}. Na mocy zaªo»enia jest tam najwy»ej k elementów<br />

- musi by¢ to zatem caªa podgrupa generowana przez a. Jest to zatem grupa cykliczna, która ma ϕ(k)<br />

generatorów - elementów rz¦du k. Uzasadnili±my wi¦¢, »e dla <strong>do</strong>wolnego k liczba elementów rz¦du k w G<br />

jest mniejsza b¡d¹ równa liczbie elementów rz¦du k w n-elementowej grupie cyklicznej (mniejsza byªaby<br />

wtedy, gdyby w ogóle nie byªo elementów k w G, a byªy w grupie cyklicznej). Poniewa» obydwie grupy maj¡<br />

po n-elementów wi¦c moce elementów rz¦du k, dla <strong>do</strong>wolnego k musz¡ by¢ dla nich równe. W szczególno±ci,<br />

w G musi by¢ element rz¦du n generator, a wi¦c G jest cykliczna.<br />

✷<br />

Powy»sze twierdzeni zostanie przez nas u»yte <strong>do</strong> pokazania, grupa multiplikatywna ciaªa sko«czonego<br />

jest cykliczna. Wcze±niej zbadamy jednak podstawowe wªasno±ci wielomianów nad pier±cieniami i ciaªami.<br />

ϕ(d)<br />

1.18 Przypomnienie denicji pier±cieni i ciaª.<br />

Przypomnijmy:<br />

(a) (A, +, ·) z dwoma dziaªaniami binarnymi nazywamy pier±cieniem je±li:<br />

• (A, +) jest grup¡ przemienn¡,<br />

• dziaªanie · jest ª¡czne,<br />

• dziaªanie · jest rozdzielne wzgl¦dem dziaªania +.<br />

(b) (A, +, ·) jest ciaªem je±li<br />

• (A, +, ·) jest pier±cieniem,<br />

• (A \ {0}, ·) jest grup¡ przemienn¡ (gdzie 0 oznacza element neutralny +);<br />

Pier±cie« nazywamy przemiennym je±li jego dziaªanie multiplikatywne jest przemienne. Pier±cie« nazywamy<br />

pier±cieniem z jedno±ci¡ je±li ma element neutralny mno»enia. Oczywi±cie ka»de ciaªo jest pier±cieniem.<br />

Mówi¡c o pier±cieniach i ciaªach u»ywamy zazwyczaj 0 na oznaczenie elementu neutralnego <strong>do</strong>dawania, 1<br />

na oznaczenie elementu neutralnego mno»enia (je±li taki istnieje). −a jest elementem przeciwnym <strong>do</strong> a (odwrotnym<br />

wzgl¦dem dziaªania +), a −1 odwrotnym (wzgl¦dem dziaªania ·). Zamiast pisa¢ a + (−b) piszemy<br />

cz¦sto a − b.<br />

Fakt 92 W <strong>do</strong>wolnym pier±cieniu:<br />

(i) 0 · a = 0.<br />

(ii) (−x)y = x(−y) = −(xy)<br />

Fakt 93 W <strong>do</strong>wolnym ciele: ab = 0 → a = 0 ∨ b = 0.<br />

Ostatni fakt nie jest prawdziwy we wszystkich pier±cieniach. Np. 2 · 2 = 0 w Z 4 . Element a, pier±cienia<br />

R, dla którygego istnieje niezerowe b takie, »e ab = 0 nazywamy dzielnikiem zera.<br />

1.19 Kilka informacji o pier±cieniach wielomianów<br />

Denicja 94 Niech (R, +, ·) b¦dzie pier±cieniem. Wyra»enie f = a n x n + a n−1 x n−1 + . . . a 1 x 1 + a 0 x 0 ,<br />

gdzie a i ∈ R, a n ≠ 0 oraz wyra»enie f = 0 nazywamy wielomianami nad pier±cieniem R. Elementy<br />

a i nazywamy wspóªczynnikami wielomianu. Liczb¦ n nazywamy stopniem wielominu i oznaczamy deg(f).<br />

Wspóªczynnik przy takim i nazywamy wiod¡cym. Wielomian, którego wspóªczynnikiem wiod¡cym jest a 0<br />

nazywamy wielomianem staªym.<br />

15


Wielomian zerowy, f = 0, ma <strong>do</strong>±¢ specjalny status. Powy»sza denicja nie okre±la jego stopnia (przyjmiemy<br />

konwencj¦, »e stopie« ten jest równy −∞), nie ma on te» wspóªczynnika wiod¡cego.<br />

W przypadku wielominu f = a n x n + a n−1 x n−1 + . . . a 1 x 1 + a 0 x 0 , odwoªujemy si¦ czasem <strong>do</strong> a i , dla<br />

i > n. Uznajemy wtedy, »e takie a i = 0. Dwa wielominay f = a n x n + a n−1 x n−1 + . . . a 1 x 1 + a 0 x 0 i<br />

g = b m x m + b m−1 x m−1 + . . . b 1 x 1 + b 0 x 0 s¡ równe je±li dla ka»dego i zachodzi a i = b i .<br />

Z ka»dym wielominem f mo»na w naturalny sposób powi¡za¢ funkcj¦ ¯f(x) : R → R (warto±¢ funkcji na<br />

argumencie b ∈ R wylicza si¦ wstawiaj¡c b w miejsce x w wyra»eniu opisuj¡cym f). Zwracam jednak uwag¦,<br />

»e formalnie wielomiany i odpowiadaj¡ce im funkcje to ró»ne obiekty.<br />

Fakt 95 Nie jest prawd¡, »e dwa ró»ne wielomiany nad tym samym pier±cieniem zawsze opisuj¡ ró»ne<br />

funkcje 8 .<br />

Szkic <strong>do</strong>wodu: We¹my jako R ciaªo Z 11 i wielomiany f = 0 oraz g = x 11 − x. Obydwa opisuj¡ funkcje stale<br />

równ¡ 0 (drugi z nich na mocy maªego twierdzenia Fermata). Zreszt¡, dla <strong>do</strong>wolnego pier±cienia sko«czonego<br />

R, zbiór wielomianów nad F jest niesko«czony, a R R sko«czony. ✷<br />

Zbiór wielomianów nad pier±cieniem R oznaczamy jako R[x]. W zbiorze R[x] mo»na wprowadzi¢ dziaªania<br />

sumy + i iloczynu · w nast¦puj¡cy, naturalny sposób:<br />

Denicja 96 Niech f = a n x n +a n−1 x n−1 +. . . a 1 x 1 +a 0 x 0 , g = b m x n +b m−1 x m−1 +. . . b 1 x 1 +b 0 x 0 . Wtedy:<br />

∑<br />

f + g =<br />

(a i + b i )x i<br />

f · g =<br />

0≤i≤max{m,n}<br />

∑<br />

( ∑<br />

0≤i≤m+n 0≤j≤i<br />

a j b i−j )x i<br />

Przykªad 97 Przykªad <strong>do</strong>dawania i mno»enia wielomianów nad Z 6 . Niech f = 3x 2 + 2x + 2, g = 5x + 4.<br />

Wtedy f + g = 3x 2 + x, a fg = 3x 3 + 4x 2 + 2x + 2.<br />

Šatwo sprawdzi¢, »e<br />

Fakt 98 Je±li R jest pier±cieniem przemiennym, f, g ∈ R[x], p = fg, r = f +g, to ∀a ∈ R : ¯p(a) = ¯f(a)ḡ(a)<br />

oraz ¯r(a) = ¯f(a) + ḡ(a).<br />

Fakt 99 Niech f i g b¦d¡ wielomianami na pier±cieniem R odpowiednio stopnia m i n. Wtedy:<br />

(i) f + g ma stopie« mniejszy lub równy max{m, n},<br />

(ii) f · g ma stopie« mniejszy lub równy m + n.<br />

(iii) Je±li R jest ciaªem, to f · g ma stopie« równy m + n. W szczególno±ci, je±li f ≠ 0 oraz g ≠ 0, to<br />

fg ≠ 0.<br />

Szkic <strong>do</strong>wodu: Pierwsze dwa podpunkty s¡ oczywiste. Trzeci wynika z faktu, »e w ka»dym ciele równo±¢<br />

ab = 0 implikuje a = 0 lub b = 0. Zatem iloczyn wspóªczynników wiod¡cych nie mo»e by¢ zerem i staje si¦<br />

wobec tego wspóªczynnikiem wiod¡cym iloczynu wielomianów.<br />

✷<br />

Dowód nast¦puj¡cego faktu jest rutynowy:<br />

Fakt 100 Niech (R, +, ·) b¦dzie pier±cieniem. Wtedy R[x] z dziaªaniami <strong>do</strong>dawania i mno»enia wielomianów<br />

te» jest pier±cieniem. Je±li R jest przemienny, to R[x] równie». Je±li R jest z jedno±ci¡, to R[x] równie».<br />

1.20 Podzielno±¢ wielomianów<br />

Rozwa»a¢ teraz b¦dziemy pier±cienie wielomianów nad ciaªami. Ciaªo oznacza¢ b¦dziemy zazwyczaj jako<br />

F . Poka»emy, »e dla wielomianów nad ciaªem mo»na rozwin¡¢ kawaªek teorii podzielno±ci, która oka»e si¦<br />

po<strong>do</strong>bna <strong>do</strong> teorii podzielno±ci liczb caªkowitych.<br />

Fakt 101 Dla ka»dej pary wielomianów f, g ∈ F [x], g ≠ 0 istnieje <strong>do</strong>kªadnie jedna para wielomianów q,<br />

r takich, »e deg(r) < deg(g) oraz f = qg + r. Wielomian r nazywamy reszt¡ z dzielenia f przez g. W<br />

szczególno±ci reszta z dzielenia wielomianu f przez dwumian x − c jest staª¡.<br />

8 Ale, jak zobaczymy pó¹niej, ró»ne wielominy nad niesko«czonymi ciaªami opisuj¡ ró»ne funkcje.<br />

16


Szkic <strong>do</strong>wodu: Istnienie. Je±li deg(f) < deg(g), to wystarczy przyj¡¢ q = 0, r = f. W przeciwnym<br />

wypadku przeprowadzamy indukcj¦ po stopniu f. Niech f = a n x n +a n−1 x n−1 +. . . a 1 x 1 +a 0 x 0 , g = b m x m +<br />

b m−1 x m−1 + . . . b 1 x 1 + b 0 x 0 , n ≥ m. Rozwa»my wielomian h = f − (a n b −1<br />

m x n−m )g. Wspóªczynnik przy x n<br />

wielomianu h jest równy 0, a zatem deg(h) < deg(f) i mo»na <strong>do</strong> niego zastosowa¢ zaªo»enie indukcyjne: h =<br />

q ′ g +r. Teraz f = h+(a n b −1<br />

m x n−m )g = q ′ g +r +(a n b −1<br />

m x n−m )g = (q ′ +(a n b −1<br />

m x n−m ))g +r. Jednoznaczno±¢.<br />

Je±li f = qg + r = q ′ g + r ′ , to (q − q ′ )g = r ′ − r. Wielomian z prawej strony ma stopie« mniejszy od deg(g),<br />

wi¦c q = q ′ (bo inaczaj wielomian z prawej miaªby stopie« wi¦kszy b¡d¹ równy deg(g). St¡d caªa lewa strona<br />

jest zerem, wi¦c prawa te»: r ′ = r.<br />

✷<br />

Przedstawiony <strong>do</strong>wód sugeruje metod¦ dzielenia wielomianów. Zilustrowali±my j¡ na przykªadzie. Jest<br />

to metoda b¦d¡c¡ uogólnieniem pisemnego dzielenia wielomianów w R[x]<br />

Denicja 102 Mówimy, »e wielomian f dzieli g je±li istnieje taki wielomian h, »e g = f · h. Po<strong>do</strong>bnie jak<br />

w przypadku dzielenia liczb caªkowitych piszemy wtedy f|g.<br />

Fakt 103 (i) Je±li fg = c, gdzie c ≠ 0 jest staª¡, to zarówno f jak i g s¡ staªymi.<br />

(ii) Je»eli f|g oraz g|f, to f = cg dla pewnej staªej c.<br />

Denicja 104 Mówimy, »e wielomian f, nie b¦d¡cy staª¡, jest nierozkªadalny (nieredukowalny lub pierwszy)<br />

w F [x] je±li nie istniej¡ wielomiany g, h, oba o stopniu mniejszym od stopnia f takie, »e f = gh.<br />

Oczywi±cie wielomiany stopnia 1 s¡ z denicji nierozkªadalne.<br />

Denicja 105 Najwi¦kszym wspólnym dzielnikiem wielomianów f i g, jest taki wielomian h, »e h|f, h|g<br />

oraz <strong>do</strong>wolny inny wspólny dzielnik f i g ma stopie« nie wi¦kszy ni» h.<br />

Za chwil¦ poka»emy, »e ka»da para niezerowych wielomianów ma najwi¦kszy wspólny dzielnik. Mo»na<br />

zauwa»y¢, »e najwi¦kszy wspólny dzielnik dwóch wielomianów jest jednoznaczny z <strong>do</strong>kªadno±ci¡ <strong>do</strong> czynnika<br />

staªego. Dokªadniej, je±li h i h ′ s¡ najwi¦kszymi wspólnymi dzielnikami f i g, to h = ch ′ dla pewnej<br />

staªej c. Oznacza, to »e istnieje <strong>do</strong>kªadnie jeden unormowany najwi¦kszy wspólny dzielnik, gdzie wielomian<br />

unormowany, to wielomian o wspólczynniku wiod¡cym równym 1.<br />

Lemat 106 (i) Dla ka»dej pary f, g ∈ F [x] istnieje najwi¦kszy wspólny dzielnik.<br />

(ii) Je±li h jest najwi¦kszym wspólnym dzielnikiem f i g, to istniej¡ takie wielomiany a i b, »e af + bg = h.<br />

Szkic <strong>do</strong>wodu:<br />

(i) U»ywamy algorytmu analogicznego <strong>do</strong> algorytmu Euklidesa dla liczb caªkowitych. Korzystamy z faktu,<br />

»e je±li g = fq + r ka»dy wspólny dzielnik f i g jest te» wspólnym dzielnikiem f i r. W pewnym<br />

momencie musimy <strong>do</strong>sta¢ reszt¦ 0 (bo stopnie reszt musz¡ male¢). Poprzednia reszta jest najwi¦kszym<br />

wspólnym dzielnikiem.<br />

(ii) Rozwa»amy zbiór {af + bg : a, b ∈ F [x]}. Wszystkie reszty pojawiaj¡ce si¦ podczas wykonywania<br />

algorytmu Euklidesa nale»¡ <strong>do</strong> tego zbioru.<br />

✷<br />

Przykªad 107 Przykªad zastosowania algorytmu Euklidesa <strong>do</strong> wyznaczania najwi¦kszego wspólnego dzielnika<br />

pary wielomianów: x 3 + x 2 + 3x + 3 oraz 2x 2 + 3x + 1 w Z 7 . Wynik: 5x + 5. Oczywi±cie ka»da<br />

wielokrotno±¢ wyniku te» jest n.w.d. (np. x + 1).<br />

Lemat 108 Je±li f|g 1 g 2 . . . g k oraz f jest nierozkªadalny, to f|g i dla pewnogo i.<br />

Szkic <strong>do</strong>wodu: Podamy <strong>do</strong>wód dla przypadku k = 2. Uogólnienie na wi¦ksze k jest ªatwe. Zaªó»my, »e f<br />

nie dzieli g 2 . Poniewa», f nie ma nietrywialnych dzielników, wi¦c najwi¦kszy wspólny dzielniki f i g 2 musi<br />

by¢ staª¡ c ≠ 0. Zatem istniej¡ wielomiany a, b takie, »e af + bg 2 = c. St¡d afg 1 + b(g 1 g 2 ) = cg 1 . Zatem<br />

f|cg 1 , a zatem tak»e f|g 1 .<br />

✷<br />

Powy»szy <strong>do</strong>wód jest po prostu przetªumaczeniam <strong>do</strong>wodu analogicznego faktu dla liczb caªkowitych.<br />

Po<strong>do</strong>bnie <strong>do</strong>wodzi si¦ innych tego typu wªasno±ci (kluczowy jest tu fakt, »e mamy twierdzenie o dzieleniu z<br />

reszt¡ i algorytm Euklidesa).<br />

Fakt 109 Je±li f 1 , f 2 , . . . , f k s¡ nierozkªadalne oraz dla wszystkich i: f i |h, to f 1 f 2 . . . f k |h.<br />

Twierdzenie 110 (Bezout) Reszta z dzielenia wielomianu f przez x − c jest równa ¯f(c). W szczególno±ci<br />

x − c|f wtedy i tylko wtedy, gdy ¯f(c) = 0.<br />

Denicja 111 Element c taki, »e ¯f(c) = 0 nazywamy pierwiastkiem wielomianu f.<br />

Fakt 112 Wielomian f ∈ F [x] stopnia n ma najwy»ej n pierwiastków.<br />

17


Szkic <strong>do</strong>wodu: Zaªó»my nie wpost, »e istnieje n + 1 pierwiastków a 1 , a 2 , . . . a n+1 . Na mocy twierdzenia<br />

Bezouta f dzieli si¦ przez x − a i , dla wszystkich i. Poniewa» x − a i s¡ nierozkªadalne, wi¦c f musi si¦ dzieli¢<br />

tak»e przez (x − a 1 )(x − a 2 ) . . . (x − a n+1 ). Stopie« ostatniego wielomianu jest jednak równy n + 1, co daje<br />

sprzeczno±¢.<br />

✷<br />

Wracamy teraz <strong>do</strong> twierdzenia o cykliczno±ci grupy multiplikatywnej ciaªa sko«czonego.<br />

Twierdzenie 113 Grupa multiplikatywna <strong>do</strong>wolnego ciaªa sko«czonego F jest cykliczna<br />

Szkic <strong>do</strong>wodu: Niech G b¦dzie rozwa»an¡ grup¡ multiplikatywn¡. Niech G k = {g ∈ G : g k = 1}. Poka»emy,<br />

»e |G k | ≤ k dla <strong>do</strong>wolengo k. Na mocy Faktu 91 gwaratnuje to cykliczno±¢ G. a ∈ G k wtedy i tylko wtedy,<br />

gdy a k + (−1) = 0. a k + (−1) jest wielomianem nad ciaªem F . Wykorzystujemy fakt, »e <strong>do</strong>wolnym ciele<br />

wielomian stopnia k ma najwy»ej k pierwiastków.<br />

✷<br />

1.21 Przykªad zastosowania wielomianów<br />

Twierdzenie 114 Niech x 1 , . . . , x n oraz y 1 , . . . , y n b¦d¡ elementami ciaªa F (x i parami ró»ne). Wtedy<br />

istnieje <strong>do</strong>kªadnie jeden wielomian f stopnia mniejszego od n taki, »e f(x i ) = y i dla 1 ≤ i ≤ n.<br />

Szkic <strong>do</strong>wodu: Szukany wielomian mo»e by¢ zbu<strong>do</strong>wany przy u»yciu tzw. wzorów interpolacyjnych (istnieje<br />

kilka wersji; ka»da prowadzi oczywi±cie <strong>do</strong> tego samego wyniku). Poni»ej przedstawiam wzory interpolacyjne<br />

Lagrange'a. Wzory Lagrange'a. Wyliczamy wielomiany l k (x) dla i = 1, . . . , n.<br />

Teraz:<br />

l k (x) =<br />

f(x) =<br />

n∏<br />

i=0,i≠k<br />

x − x i<br />

x k − x i<br />

.<br />

n∑<br />

y k · l k (x).<br />

k=1<br />

Uzyskany wielomian ma »¡dan¡ wªasno±¢, bo l k (x i ) = 0 dla i ≠ k oraz l k (x k ) = 1. Jednoznaczno±¢ ªatwo<br />

wykaza¢ u»ywaj¡c twierdzenia o liczbie pierwiastków wielomianu.<br />

✷<br />

Przykªad 115 Zaªó»my, »e n osób chce wspóªdzieli¢ sekret (np. liczb¦ z Z p , p piewrsze) w ten sposób, »e<br />

tylko gdy zbior¡ si¦ wszystkie na raz b¦d¡ w stanie go odtworzy¢. Niech a 0 ∈ Z p b¦dzie sekretem. Losujemy<br />

elementy a 1 , a 2 , . . . , a n−1 , u 1 , u 2 , . . . , u n ∈ Z p . Elementy a i s¡ tajne, u i jawne. Deniujemy wielomian<br />

f = a 0 +a 1 x+. . . a n−1 x n−1 . Osoba i otrzymuje warto±¢ ¯f(u i ). Teraz, je±li zbierze si¦ n osób, to b¦d¡ w stanie<br />

odtworzy¢ caªy wielomian, a wi¦c m.in. wyliczy¢ a 0 , u»ywaj¡c wzorów z <strong>do</strong>wodu poprzedniego twierdzenia.<br />

Je±li jednak zbierze si¦ <strong>do</strong>wolych n−1 osób, to b¦d¡ znaªy warto±ci f tylko w n−1 punktach i ka»da warto±¢<br />

a 0 (zauwa», »e a 0 to warto±¢ ¯f(0)) b¦dzie umo»liwiaªa zbu<strong>do</strong>wanie <strong>do</strong>kªadnie jednego wielomianu zgodnego<br />

z ich wiedz¡. Zatem nie b¦d¡ miaªy »adnej wiedzy o a 0 .<br />

Powy»szy pomysª mo»na ªatwo zmodykowa¢ <strong>do</strong> sytucji, gdy osób jest n, ale chcemy, aby sekret mo»na<br />

byªo zrekonstruowa¢, gdy zbierze si¦ co najmniej k (dla pewnego k ≤ n) osób: losujemy wtedy wielomian<br />

stopnia mniejszego od k i przekazujemy ka»dej z osób informacj¦ o jednym punkcie. Dowolne k osób posiada<br />

wtedy informacje pozwalaj¡c¡ odtworzy¢ caªy wielomian.<br />

1.22 Kilka informacji o ciaªach sko«czonych<br />

Niech h b¦dzie pewnym wielomianem nad ciaªem F . W F [x] wprowadzamy relacj¦ f ≡ h g wtw f − g|h.<br />

Analogiczn¡ relacj¦ wprowadzili±my Z. Nietrudno pokaza¢, »e zachodzi fakt analogiczny <strong>do</strong> Faktu 64:<br />

Fakt 116 (i) je±li f ≡ h f ′ oraz g ≡ h g ′ , to f + g ≡ h f ′ + g ′<br />

(ii) je±li f ≡ h f ′ oraz g ≡ h g ′ , to fg ≡ h f ′ g ′<br />

Zatem wprowadzone relacje zachowuj¡ <strong>do</strong>dawanie i mno»enie. Mo»emy rozwa»a¢ zbiór klas abstrakcji z<br />

dziaªaniami <strong>do</strong>dawania i mno»enia. Uzyskana struktura jest obrazem homomorcznym F [x], a zatem jest<br />

pier±cieniem przemiennym z jedno±ci¡. Kontynuuj¡c analogi¦ z Z:<br />

Twierdzenie 117 Je±li f ∈ F [x] jest wielomianem nierozkªadalnym stopnia d, to zbiór klas abstrakcji ≡ p z<br />

dziaªaniami mno»enia i <strong>do</strong>dawania stanowi ciaªo. Ciaªo to ma |F | d elementów.<br />

✷<br />

18


Szkic <strong>do</strong>wodu: Elementy odwrotne istniej¡ <strong>do</strong>kªadnie z tych samych powodów, z jakich istniaªy w Z p (mo»na<br />

je wylicza¢ stosuj¡c algorytm Euklidesa). Elementami ciaªa s¡ wszystkie mo»liwe reszty z dzielenia przez f.<br />

Jest ich wªa±nie |F | d .<br />

✷<br />

Mo»na pokaza¢, »e w ten sposób uzyskujemy wszsytkie mo»liwe ciaªa: w ka»dym F [x] istniej¡ wielomiany<br />

nierozkªadalne <strong>do</strong>wolnych stopni, wi¦c potramy skonstruowa¢ ciaªo o p n elementach dla <strong>do</strong>wolnego<br />

p pierwszego i n naturalnego. Nie ma ciaª o innych mocach sko«czonych. Ka»de dwa ciaªa sko«czone o tej<br />

samej mocy s¡ izomorczne. Nie podajemy <strong>do</strong>wódów tych faktów.<br />

Przykªad 118 Zbudujmy ciaªo 4-elementowe. 4 = 2 2 , wi¦c bierzemy F = Z 2 i potrzebujemy wielomianu<br />

nierozkªadalnego stopnia 2. Takiem wielomianem (jedynym w tym wypadku) jest x 2 +x+1. Elementami ciaªa<br />

b¦d¡ 0, 1, x, x + 1 (albo ich klasy abstrakcji ze wzgl¦du na ≡ x 2 +x+1). Tabelki dziaªa« ªatwo ju» skonstruowa¢<br />

Wielomiany nad ciaªami sko«czonymi (np. nad ciaªem 256-elementowym) s¡ podstaw¡ konstrukcji bardzo<br />

popularnych kodów korekcyjnych Reeda-Solomona (u»ywanych m.in. na pªytach CD i DVD oraz w<br />

transmisjach satelitarnych). Na wykªadzie krótko zarysowaªem ich ogóln¡ ide¦.<br />

2 Przestrzenie liniowe<br />

2.1 Denicja<br />

Denicja 119 Zbiór V nazywamy przestrzeni¡ liniow¡ (wektorow¡) nad ciaªem K je±li zdeniowane s¡ dwa<br />

dziaªania: + : V × V → V i · : K × V → V oraz, dla <strong>do</strong>wolnych α, β ∈ K, u, v ∈ V zachodzi:<br />

(a) (V, +) jest grup¡ przemienn¡,<br />

(b) (α + β) · v = α · v + β · v<br />

(c) α · (v + u) = α · v + α · u.<br />

(d) (α · β) · v = α · (β · v)<br />

(e) 1 · v = v (gdzie 1 jest elementem neutralnym dziaªania multiplikatywnego w K).<br />

Elementy zbioru V nazywamy wektorami, a ciaªa K skalarami.<br />

Zazwyczaj na oznaczenie dziaªa« w przestrzeni liniowej u»ywamy tych samych symboli (+ i ·), co na<br />

oznaczenia dziaªa« w ciele K. Element neutralny (V, +) b¦dziemy oznacza¢ symbolem ⃗0.<br />

Istnieje uogólnienie poj¦cia przestrzeni liniowej poj¦cie moduªu, deniowane nad pier±cieniami zamiast<br />

nad ciaªami.<br />

Z denicji przestrzeni mo»na wyprowadzi¢ szerego <strong>do</strong>datkowych wªasno±ci:<br />

Fakt 120 Dla <strong>do</strong>wolnego α ∈ K oraz v ∈ V zachodzi:<br />

(i) 0 · v = ⃗0 (0 oznacza element neutralny addytywnego dziaªania w K)<br />

(ii) α · ⃗0 = ⃗0<br />

(iii) αv = ⃗0 wtedy i tylko wtedy, gdy α = 0 lub v = ⃗0<br />

(iv) (−1)v jest wektorem odwrotnym <strong>do</strong> v (-1 oznacza element przeciwny <strong>do</strong> elementu neutalnego dziaªania<br />

multiplikatywnego w ciele K)<br />

2.2 Przestrze« K n<br />

Niech K b¦dzie <strong>do</strong>wolnym ciaªem. Przez K n oznaczamy zbiór n-elementowych ci¡gów elementów z K:<br />

K n = {(α 1 , . . . , α n ) : α i ∈ K}. Wprowadzamy dziaªanie + : K n × K n → K n :<br />

(α 1 , . . . , α n ) + (β 1 , . . . , β n ) = (α 1 + β 1 , . . . , α n + β n ).<br />

Deniujemy tak»e mno»enie elementów K n przez elementy K:<br />

α · (α 1 , . . . , α n ) = (α · α 1 , . . . , α · α n ).<br />

Fakt 121 Zbiór K n z dziaªaniami zdeniowanymi jak wy»ej jest przestrzeni¡ liniow¡ nad ciaªem K.<br />

Zauwa»my, »e np. przestrze« R 2 mo»na uto»samia¢ z przestrzeni¡ wektorów swobodnych na pªaszczy¹nie.<br />

19


2.3 Inne przykªady przestrzeni liniowych<br />

Przykªad 122 (a) Ciaªo K jest przestrzeni¡ liniow¡ nad sob¡ (tak naprawd¦ jest to przestrze« K 1 ).<br />

(b) Zbiór niesko«czonych ci¡gów nad K (dziaªania zdeniowane po<strong>do</strong>bnie jak dla K n ).<br />

(c) Zbiór wielomianów nad ciaªem K, K[x], nad ciaªem K (dziaªania zdeniowane w naturalny sposób).<br />

(d) Zbiór funkcji z R w R z dziaªaniami deniowanymi nast¦puj¡co: (f + g)(x) = f(x) + g(x), (αf)(x) =<br />

α(f(x)) (jest to przestrze« nad ciaªem R).<br />

(e) Zbiór funkcji z X w przestrze« liniow¡ V nad ciaªem K, z dziaªaniami jak wy»ej (jest to przestrze«<br />

nad ciaªem K).<br />

2.4 Podprzestrzenie<br />

Denicja 123 Niech V b¦dzie przestrzeni¡ liniow¡ nad ciaªem K. Mówimy, »e U jest podprzestrzeni¡ V<br />

je±li U ⊆ V i U jest przestrzeni¡ liniow¡ nad K.<br />

Przykªad 124 (a) Zbiór wielomianów stopnia mniejszego od 10 nad ciaªem K jest podprzestrzeni¡ K[x].<br />

(b) {(a, b, c) : a + b + c = 0} jest podprzestrzeni¡ R 3 .<br />

Fakt 125 Niepusty podzbiór S wektorów przestrzeni liniowej V jest podprzestrzeni¡ V wtedy i tylko wtedy,<br />

gdy S jest zamkni¦ty na <strong>do</strong>dawanie wektorów i mno»enie przez skalary.<br />

2.5 Kombinacje liniowe wektorów<br />

Denicja 126 Niech V b¦dzie przestrzeni¡ liniow¡ nad ciaªem K. Niech v 1 , . . . v k b¦d¡ elementami V .<br />

Wektor v = α 1 v 1 + . . . α k v k , (α i ∈ K) nazywamy kombinacj¡ liniow¡ wektorów v 1 , . . . , v k o wspóªczynnikach<br />

α 1 , . . . , α k . Niech A ⊆ V . Przez LIN(A) oznaczamy zbiór wszystkich liniowych kombinacji wektorów z A.<br />

Zbiór ten nazywamy otoczk¡ liniow¡ A lub podprzestrzeni¡ rozpi¦t¡ (lub generowan¡) przez A.<br />

Fakt 127 LIN(A) jest rzeczywi±cie podrzestrzeni¡ V . Jest to najmniejsza podprzestrze« zawieraj¡ca zbiór<br />

A.<br />

2.6 Liniowa niezale»no±¢<br />

Denicja 128 Ukªad wektorów v 1 , . . . , v k przestrzeni V jest liniowo niezale»ny je±li α 1 v 1 + . . . + α k v k = ⃗0<br />

tylko dla α 1 = . . . = α k = 0. Ukªad wektorów, który nie jest liniowo niezale»ny nazywamy liniowo zale»nym.<br />

Niemal wprost z denicji wynika, »e wektor zerowy nie mo»e by¢ elementem ukªadu liniowo niezale»nego,<br />

ka»dy podzbiór ukªadu liniowo niezale»nego jest liniowo niezale»ny, ka»dy nadzbiór zbioru liniowo zale»nego<br />

jest liniowo zale»ny.<br />

Przykªad 129 W R 3 :<br />

(a) (1, 2, 3), (2, 3, 4), (6, 10, 14) s¡ liniowo zale»ne,<br />

(b) (1, 1, 1), (1, 1, 0), (1, 0, 0) s¡ liniowo niezale»ne,<br />

Lemat 130 Ukªad niezerowych wektorów v 1 , . . . , v k<br />

wektorów v i jest kombinacj¡ linow¡ pozostaªych.<br />

jest liniowo zale»ny wtedy i tylko wtedy, gdy jeden z<br />

Lemat 131 (i) Ukªad wektorów v 1 , . . . , v k jest liniowo zale»ny wtedy i tylko wtedy, gdy zawiera wªa±ciwy<br />

podzbiór rozpinaj¡cy LIN(v 1 , . . . , v k ).<br />

(ii) Ka»dy sko«czony ukªad wektorów v 1 , . . . , v k zawiera liniowo niezale»ny podzbiór generuj¡cy LIN(v 1 , . . . , v k ).<br />

2.7 Baza i wymiar przestrzeni<br />

Denicja 132 Ukªad wektorów B jest baz¡ przestrzeni V , gdy LIN(B) = V i B jest liniowo niezale»ny.<br />

Mówimy, »e przestrze« jest sko«czenie wymiarowa, gdy jest postaci LIN(v 1 , . . . , v k ) dla pewnych wektorów<br />

v 1 , . . . , v k .<br />

Twierdzenie 133 Ka»da przestrze« sko«czenie wymiarowa ma baz¦.<br />

20


Szkic <strong>do</strong>wodu: Wynika to z lematu 131, cz¦±¢ (ii) ✷<br />

Mo»na tak»e pokaza¢, »e <strong>do</strong>wolna przestrze« liniowa ma baz¦. Dowód tego faktu pomijamy.<br />

Przykªad 134 (a) Przykªa<strong>do</strong>wymi bazami przestrzeni R 3 s¡ (1, 0, 0), (0, 1, 0), (0, 0, 1) oraz (1, 1, 1), (1, 1, 0),<br />

(1, 0, 0).<br />

(b) Baz¡ R n jest (1, 0, . . . , 0), (0, 1, 0, . . . , 0), . . . , (0, 0, . . . , 0, 1). Nazywamy j¡ baz¡ kanoniczn¡ lub standar<strong>do</strong>w¡.<br />

(c) Baz¡ R[x] jest np. niesko«czony ukªad wielomianów 1, x, x 2 , x 3 , . . ..<br />

Fakt 135 Niech ukªad v 1 , . . . v l b¦dzie liniowo niezale»ny oraz dla wszystkich i: v i ∈ LIN(e 1 , . . . e k ). Wtedy<br />

l ≤ k.<br />

Szkic <strong>do</strong>wodu: Indukcja po l. Szczegóªy na wykªadzie. ✷<br />

Wniosek 136 Ka»dy ukªad zawieraj¡cy wi¦cej ni» n wektorów przestrzeni K n jest liniowo zale»ny<br />

Szkic <strong>do</strong>wodu: K n jest rozpinana przez n wektorów: K n = LIN((1, 0, 0, . . . , 0), (0, 1, 0, 0, . . . , 0), . . . , (0, 0, . . . , 0, 1))<br />

✷<br />

Wniosek 137 Je±li LIN(v 1 , . . . , v k ) = LIN(u 1 , . . . , u l ) oraz ukªady v 1 , . . . , v k i u 1 , . . . , u l s¡ liniowo niezale»ne,<br />

to k = l.<br />

Wniosek 138 Ka»de dwie bazy sko«czenie wymiarowej przestrzeni V s¡ równoliczne<br />

Denicja 139 Wymiarem przestrzeni V nazwywamy liczb¦ wektorów <strong>do</strong>wolnej bazy V .<br />

Twierdzenie 140 Ka»dy wektor ma jednoznaczne przedstawienie wzgl¦dem bazy.<br />

Je±li e 1 , . . . , e k jest baz¡ przestrzeni V , v = α 1 e 1 + . . . + α k e k , to wspóªczynniki α i nazwywamy wspóªrz¦dnymi<br />

wektora v wzgl¦dem bazy e 1 , . . . , e k . Na mocy poprzedniego twierdzenia s¡ one wyznaczone jednoznacznie.<br />

Wektor wspóªrz¦dnych v w bazie B oznaczamy jako [v] B .<br />

2.8 Przeksztaªcenia liniowe<br />

Po<strong>do</strong>bnie jak dla grup i innych struktur algebraicznych, dla przestrzeni liniowych mo»emy zdenowa¢ poj¦cie<br />

homomorzmu. Homomorzmy przestrzeni liniowych nazywa si¦ zwykle przeksztaªceniami lub funkcjami<br />

liniowymi.<br />

Denicja 141 Niech V i U b¦d¡ przestrzeniami liniowymi nad ciaªem K. Funkcj¦ J : V → U nazywamy<br />

przeksztaªceniem liniowym je±li:<br />

(a) ∀v 1 , v 2 ∈ V zachodzi L(v 1 + v 2 ) = L(v 1 ) + L(v 2 )<br />

(b) ∀α ∈ K, v ∈ V zachodzi L(αv) = αL(v).<br />

Poj¦cia j¡dra i obrazu przeksztaªcenia liniowego L okre±lamy po<strong>do</strong>bnie jak dla grup: Ker(L) = {v ∈ V :<br />

L(v) = ⃗0}, Im(L) = {L(v) : v ∈ V }. Poniewa» Ker(L) i Im(L) s¡ podgrupami (patrz Fakt 54), odpowiednio<br />

V i U, z dziaªaniem <strong>do</strong>dawania wektorów, wi¦c:<br />

Lemat 142 Je±li V i U s¡ przestrzeniami liniowymi nad ciaªem K, a L : V → U jest przeksztaªceniem<br />

liniowym, to Ker(L) jest podprzestrzeni¡ V , a Im(L) jest podprzestrzeni¡ U.<br />

Szkic <strong>do</strong>wodu: Trzeba sprawdzi¢ <strong>do</strong>datkowo zamkni¦to±¢ na dziaªanie mno»enia przez skalary. ✷<br />

Przykªad 143 (a) Trywialne przeksztaªcenie przyporz¡dkowuj¡ce ka»demu wektorowi wektor zerowy jest<br />

przeksztaªceniem liniowym.<br />

(b) Przeksztaªcenie L : R 3 → R 2 , L((x, y, z)) = (x + y, z) jest przeksztaªceniem liniowym. Jego j¡drem<br />

jest zbiór wektorów postaci (x, −x, 0), a obrazem caªy zbiór R 2 .<br />

(c) Przeksztaªcenie L : R 3 → R 2 , L((x, y, z)) = (xy, z) nie jest liniowe.<br />

(d) Przeksztaªcenie L : R 2 → R 2 , L((x, y)) = (x + 2, z + 3) nie jest liniowe.<br />

21


(e) Przeksztaªcenie przyporz¡dkowuj¡ce wielomianowi z R[x] wielomian b¦d¡cy jego pochodn¡ jest przeksztaªceniem<br />

linowym R[x] w siebie. Jego j¡drem jest zbiór wielomianów staªych, a obrazem caªy zbiór<br />

R[x].<br />

(f) Przeksztaªcenie przestrzeni w siebie, przyporz¡dkowuj¡ce wektorowi v wektor αv dla pewnego ustalonego<br />

skalaru α jest liniowe. Jest ono bijekcj¡ wtedy i tylko wtedy, gdy α ≠ 0.<br />

(g) Przeksztaªcenie R 2 w R 2 , które obraca punkt wokóª pocz¡tku ukªadu wspóªrz¦dnych o ustalony k¡t α<br />

jest liniowe.<br />

Denicja 144 Rz¦dem przeksztaªcenia liniowego L, dim(L), nazywamy rz¡d jego obrazu, czyli dim(L) =<br />

dim(Im(L)).<br />

Twierdzenie 145 Dla sko«czenie wymiarowej przestrzeni liniowej V i przeksztaªcenia liniowego L : V → U:<br />

dim(V ) = dim(L) + dim(Ker(L)).<br />

Szkic <strong>do</strong>wodu: Niech e 1 , . . . , e k b¦dzie baz¡ Ker(L). Rozszerzamy j¡ <strong>do</strong> bazy 9 V : e 1 , . . . , e k , f 1 , . . . , f l .<br />

Pokazujemy, »e L(f 1 ), . . . , L(f l ) jest baz¡ Im(L).<br />

✷<br />

Fakt 146 (i) Niech L i M b¦d¡ przeksztaªceniami przestrzeni V w przestrze« U. Wtedy ich suma, deniowana<br />

jako L + M, (L + M)(v) = L(v) + M(v), jest równie» przeksztaªceniem liniowym.<br />

(ii) Niech L b¦dzie przeksztaªceniem liniowym V w U. Wtedy iloczyn M przez skalar α, deniowany jako<br />

(αL)(v) = αv, jest rónie» przeksztaªceniem liniowym.<br />

Lemat 147 Zbiór przeksztaªce« liniowych przestrzeni V w U nad ciaªem K ze zdenowanymi powy»ej dzia-<br />

ªaniami sumy i mno»enia przez skalary jest przestrzeni¡ liniow¡ nad ciaªem K.<br />

Szkic <strong>do</strong>wodu: Zbiór przeksztaªce« z sum¡ jest grup¡ przemienn¡. Proste rachunki pokazuj¡ te», »e zachodz¡<br />

pozostaªe wymagane wªasno±ci dziaªa« <strong>do</strong>dawania i mno»enia przez skalary.<br />

✷<br />

Dodatkowo zªo»enie przeksztaªce« liniowych jest równie» przeksztaªceniem liniowym:<br />

Fakt 148 Niech L b¦dzie przeksztaªceniem liniowym V w U, a M przeksztaªceniem liniowym U w W . Wtedy<br />

zªo»enie L z M, (ML)(v) = M(L(v)) jest przeksztaªceniem liniowym V w W .<br />

2.9 Dziaªania na macierzach<br />

2.9.1 Podstawowe informacje o macierzach<br />

Formalnie, macierz¡ o wymiarach m na n (macierz¡ o m wierszach i n kolumnach), nad ciaªem K, nazywamy<br />

ka»d¡ funkcj¦ typu {1, . . . , m} × {1, . . . , n} → K. Zbiór macierzy o wymiarach m na n oznacza¢ b¦dziemy<br />

symbolem M mn (K) (lub M mn , o ile ciaªo K jest <strong>do</strong>my±lne). Macierze zapisujemy zazwyczaj w postaci tabel:<br />

⎡<br />

⎢<br />

⎣<br />

a 1,1 , a 1,2 , . . ., a 1,n<br />

a 2,1 , a 2,2 , . . ., a 2,n<br />

. . ., . . ., . . ., . . .<br />

a m,1 , a m,2 , . . ., a m,n<br />

gdzie a ij jest warto±ci¡ funkcji zwracan¡ dla pary (i, j). W naturalny sposób deniuje si¦ poj¦cia wierszy i<br />

kolumn macierzy.<br />

Wa»n¡ rol¦ odgrywaj¡ pewne szczególne typy macierzy:<br />

(a) Macierz zerowa rozmiaru m na n skªaj¡ca si¦ z samych zer.<br />

(b) Macierze kwadratowe, czyli macierze rozmiaru n na n (n nazywamy wtedy stopniem macierzy):<br />

• macierz przek¡tniowa: same zera, z wyj¡tkiem co najwy»ej elementów na gªównej przek¡tnej, czyli<br />

elementów a 1,1 , a 2,2 , . . . , a n,n ,<br />

• macierz jednostkowa: macierz przek¡tniowa, która ma na przek¡tnej same jedynki,<br />

⎤<br />

⎥<br />

⎦ ,<br />

• macierz trójk¡tna górna: ma pod gªówn¡ przek¡tn¡ same zera<br />

• macierz trójk¡tna <strong>do</strong>lna: ma nad gªówn¡ przek¡tn¡ same zera<br />

• macierz trójk¡tna: trójk¡tna górna lub <strong>do</strong>lna<br />

9 Patrz ¢wiczenie 9 z listy 9.<br />

22


2.9.2 Dodawanie macierzy i mno»enie przez skalary<br />

Na zbiorze macierzy o wymiarach m na n mo»na zdenowa¢ dziaªania <strong>do</strong>dawania i mno»enia przez elementy<br />

K:<br />

⎡<br />

⎢<br />

⎣<br />

a 1,1 , a 1,2 , . . ., a 1,n<br />

a 2,1 , a 2,2 , . . ., a 2,n<br />

. . ., . . ., . . ., . . .<br />

a m,1 , a m,2 , . . ., a m,n<br />

α · ⎢<br />

⎣<br />

⎤ ⎡<br />

⎥<br />

⎦ + ⎢<br />

⎣<br />

⎡<br />

b 1,1 , b 1,2 , . . ., b 1,n<br />

b 2,1 , b 2,2 , . . ., b 2,n<br />

. . ., . . ., . . ., . . .<br />

b m,1 , b m,2 , . . ., b m,n<br />

a 1,1 , a 1,2 , . . ., a 1,n<br />

a 2,1 , a 2,2 , . . ., a 2,n<br />

. . ., . . ., . . ., . . .<br />

a m,1 , a m,2 , . . ., a m,n<br />

Sprawdzenie poni»szego faktu jest rutynowe:<br />

⎤ ⎡<br />

⎥<br />

⎦ = ⎢<br />

⎣<br />

⎤ ⎡<br />

⎥<br />

⎦ = ⎢<br />

⎣<br />

a 1,1 + b 1,1 , a 1,2 + b 1,2 , . . ., a 1,n + b 1,n<br />

a 2,1 + b 2,1 , a 2,2 + b 2,2 , . . ., a 2,n + b 2,n<br />

. . ., . . ., . . ., . . .<br />

a m,1 + b m,1 , a m,2 + b m,2 , . . ., a m,n + b m,n<br />

αa 1,1 , αa 1,2 , . . ., αa 1,n<br />

αa 2,1 , αa 2,2 , . . ., αa 2,n<br />

. . ., . . ., . . ., . . .<br />

αa m,1 , αa m,2 , . . ., αa m,n<br />

Fakt 149 Zbiór macierzy o wymiarach m na n ze zdeniowanymi powy»ej dziaªaniami <strong>do</strong>dawania i mno»enia<br />

przez skalar jest przestrzeni¡ liniow¡. Jest to przestrze« wymiaru mn.<br />

2.9.3 Mno»enie macierzy<br />

Mno»y¢ wolno tylko macierze o odpowiednich wymiarach. Na pocz¡tek zdeniujemy mno»enie macierzy o<br />

wymiarach 1 na n (wektora poziomego) przez macierz o wymiarach n na 1 (wektor poziomy):<br />

⎡ ⎤<br />

b 1<br />

[a 1 , a 2 , . . . , a n ] · ⎢ b 2<br />

⎥<br />

⎣ . . . ⎦ = [a 1b 1 + a 2 b 2 + . . . + a n b n ].<br />

b n<br />

Wynik takiego mno»enia mo»emy traktowa¢ jak element ciaªa K lub macierz nad K o wymiarach 1 na 1.<br />

Teraz deniujemy iloczyn macierzy A przez B, odpowiednio o wymiarach m na n oraz n na k. Wynikiem<br />

jest macierz o wymiarach n na k. Niech<br />

gdzie A i s¡ wierszami A, a<br />

A =<br />

⎡<br />

⎢<br />

⎣<br />

A 1<br />

A 2<br />

. . .<br />

A m<br />

⎤<br />

⎥<br />

⎦ ,<br />

B = [B 1 , B 2 , . . . B k ],<br />

gdzie B i s¡ kolumnami B. Macierz AB ma nast¦puj¡cy ksztaªt:<br />

⎡<br />

AB =<br />

⎢<br />

⎣<br />

A 1 B 1 , A 1 B 2 , . . ., A 1 B k<br />

A 2 B 1 , A 2 B 2 , . . ., A 2 B k<br />

. . ., . . ., . . ., . . .<br />

A m B 1 , A m B 2 , . . ., A m B k<br />

Inaczej mówi¡c, je±li przez a ij , b ij , c ij oznaczymy odpowiednio elementy macierzy A, B oraz ich iloczynu<br />

AB, to c ij = ∑ n<br />

l=1 a ilb lj .<br />

Na wykªadzie podaªem przykªad praktycznego mno»enia macierzy. Mno»enie macierzy nie jest przemienne<br />

(oczywi±cie je±li mno»enie AB jest wykonalne, to mno»enie BA jest wykonalne tylko je±li obydwie<br />

macierze s¡ wymiarów n na n, dla pewnego n; nawet wtedy jednak nie mamy przemienno±ci). Mo»na jednak<br />

sprawdzi¢, »e<br />

Fakt 150 Mno»enie macierzy jest ª¡czne.<br />

Fakt 151 Niech A, B, C oznaczaj¡ macierze nad ciaªem K, I n jest macierz¡ jednostkow¡ stopnia n, a α<br />

elementem ciaªa K. O ile poni»sze dziaªania s¡ wykonalne, to:<br />

(i) I n A = A, AI n = A,<br />

(ii) A(B + C) = AB + AC,<br />

(iii) (B + C)A = BA + CA,<br />

(iv) α(AB) = (αA)B = A(αB).<br />

⎤<br />

⎥<br />

⎦<br />

⎤<br />

⎥<br />

⎦<br />

⎤<br />

⎥<br />

⎦<br />

23


Zauwa»my, »e mno»enie macierzy jest dziaªaniem w zbiorze macierzy kwadratowych ustalnego stopnia<br />

n. Jak wykazali±my jest ono ª¡czne i ma element neutralny I n . Šatwo jednak zobaczy¢, »e M nn nie tworzy<br />

grupy z dziaªaniem mno»enia nie wszystkie macierze maj¡ elementy odwrotne przykªadem takiej macierzy<br />

(ale nie jedynym) jest macierz zerowa stopnia n. Zatem zbiór macierzy kwadratowych stopnia n tworzy z<br />

dziaªaniami <strong>do</strong>dawania i mno»enia jedynie pier±cie« (z jedno±ci¡).<br />

2.10 Zwi¡zek macierzy z przeksztaªceniami liniowymi<br />

Lemat 152 Niech V i U b¦d¡ przestrzeniami liniowymi nad ciaªem K. Niech e 1 , . . . , e n b¦dzie baz¡ przestrzeni<br />

V . Niech u 1 , . . . , u n b¦d¡ wektorami z U. Wtedy istnieje <strong>do</strong>kªadnie jedno przekszaªcenie liniowe<br />

L : V → U takie, »e L(e i ) = u i dla wszystkich i. Wektory u i rozpinaj¡ wtedy obraz L, Im(L) =<br />

LIN({L(e 1 ), . . . , L(e n )}).<br />

Szkic <strong>do</strong>wodu: Dla v = α 1 e 1 + . . . + α n e n deniujemy L(v) = α 1 u 1 + . . . α n u n . Šatwo sprawdzi¢, »e tak<br />

zdeniowane L jest linowe i speªnia warunek L(e i ) = u i . We¹my teraz <strong>do</strong>wolne przeksztaªcenie L ′ speªniaj¡ce<br />

warunki lematu. L ′ (v) = L ′ (α 1 e 1 + . . . + α n e n ) = α 1 L(e 1 ) + . . . + α n L(e n ) = α 1 u 1 + . . . + α n u n . A zatem<br />

L ′ = L, co uzasadania unikalno±¢ L.<br />

✷<br />

Niech V i U b¦d¡ przestrzeniami liniowymi nad ciaªem K. Niech E = {e 1 , . . . , e n } b¦dzie baz¡ przestrzeni<br />

V , a F = {f 1 , . . . , f m } baz¡ przestrzeni U. Niech L : V → U b¦dzie przeksztaªceniem liniowym. Obraz<br />

ka»dego wektora e i jest oczywi±cie kombinacj¡ liniow¡ wektorów f i :<br />

L(e i ) = α 1i f 1 + . . . + α mi f m .<br />

Z przeksztaªceniem liniowym L : V → U wi¡»emy macierz A EF (L):<br />

⎡<br />

⎤<br />

α 1,1 , α 1,2 , . . ., α 1,n<br />

A EF (L) = ⎢ α 2,1 , α 2,2 , . . ., α 2,n<br />

⎥<br />

⎣ . . ., . . ., . . ., . . . ⎦<br />

α m,1 , α m,2 , . . ., α m,n<br />

Macierz t¡ nazywamy macierz¡ przeksztaªcenia L w bazach E i F . Zauwa»my, »e i-ta kolumna tej<br />

macierzy to wektor wspóªrz¦dnych obrazu wektora e i wyra»onych w bazie F .<br />

Przykªad 153 Zbudujmy macierz przeksztaªcenia L : R 3 → R 2 , L((x, y, z)) = (x + y, 2z) w bazach standar<strong>do</strong>wych:<br />

[ ] 1 1 0<br />

0 0 2<br />

Istnieje ±cisªa odpowiednio±¢ pomi¦dzy zbiorem przeksztaªce« liniowych przestrzeni V w przestrze« U,<br />

nad ciaªem K, (przy ustalonych bazach E i F , odpowiednio mocy m i n), a zbiorem macierzy M mn (K):<br />

ka»dej macierzy odpowiada <strong>do</strong>kªadnie jedno przeksztaªcenie liniowe i odwrotnie.<br />

Poni»sza prosta wªasno±¢ pozwoli wykaza¢ nam za chwil¦ kilka ªadnych wªasno±ci tej odpowiednio±ci.<br />

Fakt 154 Niech E b¦dzie baz¡ przestrzeni V nad ciaªem K, v, u ∈ V , α ∈ K. Wtedy [v + u] E = [v] E + [u] E<br />

oraz [αv] E = α[v] E .<br />

Nietrudno teraz <strong>do</strong>wie±¢:<br />

Fakt 155 (i) Macierz¡ przeksztaªcenia L + M w bazach E, F jest macierz A EF (L) + A EF (M).<br />

(ii) Macierz¡ przeksztaªcenia αL w bazach E, F jest macierz α · A EF (L).<br />

Operacje na macierzach pozwalaj¡ ªatwo wyliczy¢ wspóªrz¦dne obrazu zadanego wektora:<br />

Fakt 156 Niech A EF (L) b¦dzie macierz¡ przeksztaªcenia L w bazach E i F . Wtedy<br />

Sprawdzimy teraz, »e<br />

A EF (L) · [v] E = [L(v)] F<br />

Lemat 157 Macierz zªo»enia przeksztaªce« L i M jest iloczynem macierzy L i M:<br />

A F G (L)A EF (M) = A EG (LM)<br />

24


Szkic <strong>do</strong>wodu: Sprawdzamy, »e ∀v zachodzi (A F G (L)A EF (M))·v = A EG (LM)·v, a wi¦c, »e iloczyn macierzy<br />

przeksztaªce« L i M zachowuje si¦ przy mno»eniu przez wektory <strong>do</strong>kªadnie tak jak macierz zªo»enia LM.<br />

Lemat wynika teraz z tego, »e (∀vAv = Bv) → A = B.<br />

✷<br />

Przykªad 158 Rozwa»my przeksztaªcenie L : R 2 → R 2 obracaj¡ce wektor o k¡t ϕ (identykujemy wektor<br />

z punktem pªaszczyzny; przeksztaªcenie obraca ten punkt wzgl¦dem ±rodka ukªadu wspóªrz¦dnych w kierunku<br />

przeciwnym <strong>do</strong> ruchu wskazówek zegara). Macierz tego przeksztaªcenia w bazie standar<strong>do</strong>wej wygl¡da<br />

nast¦puj¡co:<br />

[ ]<br />

cosϕ −sinϕ<br />

sinϕ<br />

Rozwa»my równie» obrót o k¡t ψ oraz przeksztaªcenie b¦d¡ce zªo»eniem tych obrotów, czyli obrotem o<br />

k¡t ϕ + ψ. Zgodnie z Faktem 157 macierz tego zªo»enia wyra»a si¦ wzorem:<br />

[ ] [ ]<br />

cosψ −sinψ cosϕ −sinϕ<br />

·<br />

sinψ cosψ sinϕ cosϕ<br />

Wykonuj¡c mno»enie macierzy otrzymujemy znane wzory trygonometryczne na sinus i cosinus sumy i ró»nicy<br />

k¡tów:<br />

[ ] [ ]<br />

cos(ψ + ϕ) −sin(ψ + ϕ) cosψ cosϕ − sinψ sinϕ, −cosψ sinϕ − sinψ cosϕ<br />

=<br />

sin(ψ + ϕ) cos(ψ + ϕ) sinψ cosϕ + cosψ sinϕ, −sinψ sinϕ + cosψ cosϕ<br />

2.11 Wyznaczniki<br />

2.11.1 Denicja<br />

cosϕ<br />

Ze szkoªy znamy poj¦cie wyznacznika macierzy kwadratowej drugiego stopnia:<br />

∣ a b<br />

c d ∣ = ad − bc<br />

Poj¦cie to mo»na uogólni¢ na macierze kwadratowe wy»szego stopnia:<br />

Denicja 159 Niech A b¦dzie macierz¡ kwadratow¡ stopnia n nad ciaªem K:<br />

⎡<br />

⎤<br />

a 1,1 , a 1,2 , . . ., a 1,n<br />

A = ⎢ a 2,1 , a 2,2 , . . ., a 2,n<br />

⎥<br />

⎣ . . ., . . ., . . ., . . . ⎦<br />

a n,1 , a n,2 , . . ., a n,n<br />

Wyznacznikiem macierzy A (oznaczenia: |A| lub detA) nazwamy sum¦:<br />

∑<br />

f∈S n<br />

sgn(f)a 1,f(1) a 2,f(2) . . . a n,f(n) ,<br />

gdzie f przebiega wszystkie permutacje zbioru {1, . . . , n}, a sgn(f) jest znakiem permutacji f.<br />

Wyznacznik jest zatem funkcj¡, która przyporz¡dkowuje macierzy kwadratowej nad ciaªem K element<br />

K. Šatwo sprawdzi¢, »e szkolny wzór na wyznacznik macierzy stopnia 2 zgadza si¦ z nasz¡ denicj¡. Istnieje<br />

prosty sposób na szybkie wyliczanie wyznaczników stopnia 3, tzw. metoda Sarrusa (...)<br />

Wyznaczanie warto±ci wyznaczników wy»szych stopni wprost z denicje jest »mudne (wymaga wyliczenia<br />

n! iloczynów). Istniej¡ na szcz¦±cie metody pozawalaj¡ce usprawni¢ t¡ czynno±¢. Wprost z denicji mo»emy<br />

za to sprawdzi¢:<br />

Fakt 160 Wyznacznik macierzy trójk¡tnej (a wi¦c w szczególno±ci tak»e przek¡tniowej) jest iloczynem elementów<br />

na jej gªównej przek¡tnej.<br />

2.11.2 Podstawowe wªasno±ci<br />

Denicja 161 Macierz¡ transponowan¡ <strong>do</strong> A, A T nazywamy macierz, której wierszami s¡ kolumny A.<br />

Dokªadniej elementem na pozycji i, j w A T jest element, który w A stoi na pozycji j, i.<br />

Fakt 162 |A| = |A T |.<br />

25


Szkic <strong>do</strong>wodu: Obserwujemy, »e we wzorze |A T | wyst¦puj¡ <strong>do</strong>kªadnie te same iloczyny, co we wzorze na<br />

|A|, ale iloczyn wyznaczony przez permutacj¦ f we wzorze na A, we wzorze na A T jest wyznaczony przez<br />

f −1 . Przypomnijmy jednak, »e f i f −1 maj¡ te same znaki.<br />

✷<br />

Kolejne fakty formuªowa¢ b¦dziemy dla wierszy, ale na mocy faktu 162 zachodz¡ one tak»e dla kolumn.<br />

Fakt 163 Je±li macierz B uzyskamy z A mno»¡c elementy jednego wiersza przez skalar α, to |B| = α|A|.<br />

Fakt 164 Je±li macierz B uzyskamy z A poprzez zamian¦ miejscami dwóch wierszy A, to |B| = −|A|.<br />

Fakt 165 Wyznacznik, który ma dwa jednakowe wiersze jest równy 0.<br />

Fakt 166<br />

∣<br />

a 1,1 , a 1,2 , . . ., a 1,n<br />

a 2,1 , a 2,2 , . . ., a 2,n<br />

. . . , . . . , . . ., . . .<br />

∣ ∣∣∣∣∣∣∣∣∣∣∣<br />

a ′ i,1 + a′′ i,1 , a′ i,2 + a′′ i,2 , . . ., a′ i,n + =<br />

a′′ i,n<br />

. . . , . . . , . . ., . . .<br />

a n,1 , a n,2 , . . ., a n,n<br />

∣<br />

∣<br />

a 1,1 , a 1,2 , . . ., a 1,n ∣∣∣∣∣∣∣∣∣∣∣<br />

a 2,1 , a 2,2 , . . ., a 2,n<br />

. . . , . . . , . . ., . . .<br />

a ′ i,1 , a′ i,2 , . . ., +<br />

a′ i,n<br />

. . . , . . . , . . ., . . .<br />

a n,1 , a n,2 , . . ., a n,n<br />

∣<br />

a 1,1 , a 1,2 , . . ., a 1,n<br />

a 2,1 , a 2,2 , . . ., a 2,n<br />

. . . , . . . , . . ., . . .<br />

a ′′<br />

i,1 , a′′ i,2<br />

, . . ., a′′ i,n<br />

. . . , . . . , . . ., . . .<br />

a n,2 , a n,2 , . . ., a n,n<br />

Fakt 167 Dodanie wiersza przemno»onego przez skalar <strong>do</strong> innego wiersza nie zmienia warto±ci wyznacznika.<br />

Zatem tak»e <strong>do</strong>danie <strong>do</strong> wiersza kombinacji liniowej innych wierszy nie zmienia warto±ci wyznacznika.<br />

Przykªad 168 Poni»szy wyznacznik ªatwo wyliczy¢ odejmuj¡c pierwszy wiersz kolejno od pozostaªych.<br />

1 1 1 1 1<br />

1 2 1 1 1<br />

1 1 3 1 1<br />

1 1 1 4 1<br />

∣ 1 1 1 1 5 ∣<br />

2.11.3 Minory i rozwini¦cie Laplace'a<br />

Denicja 169 Minorem macierzy A (niekoniecznie kwadratowej) nazywamy wyznacznik macierzy M powstaªej<br />

z A po skre±leniu z niej pewnej liczby wierszy i kolumn (M musi by¢ kwadratowa).<br />

Dla macierzy kwadratowej A stopnia n przez M ij oznaczmy minor stopnia n − 1 powstaªy poprzez skre-<br />

±lenie z A i-tego wiersza i j-tej kolumny. Warto±¢ A ij = (−1) i+j M ij nazywamy <strong>do</strong>peªnieniem algebraicznym<br />

elementu a ij .<br />

Twierdzenie 170 (Rozwini¦cie Laplace'a) Dla <strong>do</strong>wolnego i:<br />

detA = a i1 A i1 + a i2 A i2 + . . . a in A in<br />

∣ ∣∣∣∣∣∣∣∣∣∣∣<br />

oraz<br />

detA = a 1i A 1i + a 2i A 2i + . . . a ni A ni<br />

Szkic <strong>do</strong>wodu: Odpowiednie pogrupowanie iloczynów pojawiaj¡cych si¦ w denicji wyznacznkia suma<br />

tych iloczynów, które zawieraj¡ a ij , to a ij A ij . Szczegóªy na wykªadzie. Fragment <strong>do</strong>wodu na ¢wiczenia. ✷<br />

Pierwszy z powy»szych wzorów nazywamy rozwini¦ciem Laplace'a wzgl¦dem i-tego wiersza, a drugi wzgl¦dem<br />

i-tej kolumny.<br />

Fakt 171 Iloczyn elementów wiersza i pomno»ony przez <strong>do</strong>peªnienia algebraiczne odpowiednich elementów<br />

wiersza j, j ≠ i wynosi 0:<br />

a i1 A j1 + a i2 A j2 + . . . a in A jn = 0.<br />

2.12 Macierze odwrotne<br />

Twierdzenie 172 (Cauchy) det(AB) = detA · detB.<br />

Szkic <strong>do</strong>wodu: ‚wiczenie. ✷<br />

Macierz A −1 nazywamy odwrotn¡ <strong>do</strong> macierzy kwadratowej A stopnia n, gdy AA −1 = A −1 A = I n .<br />

Macierz, która ma macierz odwrotn¡ nazywamy czasem nieosobliw¡.<br />

Twierdzenie 173 Macierz A ma macierz odwrotn¡ wtedy i tylko wtedy, gdy det(A) ≠ 0.<br />

26


Szkic <strong>do</strong>wodu: ⇒ Wynika z twierdzenia Cauchy'ego. ⇐ Mo»na sprawdzi¢, »e A −1 = 1<br />

|A| · AD , gdzie A D<br />

jest transponowan¡ macierz¡ <strong>do</strong>peªnie« algebraicznych na pozycji i, j ma A ji . Korzystamy przy tym z<br />

twierdzenia 170 i faktu 171.<br />

✷<br />

Wniosek 174 Zbiór nieosobliwych macierzy kwadratowych stopnia n z dziaªaniem mno»enia macierzy tworzy<br />

grup¦.<br />

2.13 Ukªady Cramera<br />

Ukªadem równa« liniowych (nad ciaªem K) jest ukªad postaci:<br />

⎧<br />

a 11 x 1 + a 12 x 2 + . . . + a 1n x n = b 1<br />

⎪⎨<br />

a 21 x 1 + a 22 x 2 + . . . + a 2n x n = b 2<br />

,<br />

. . . ⎪⎩<br />

a m1 x 1 + a m2 x 2 + . . . + a mn x n = b n<br />

gdzie a ij ∈ K s¡ wspóªczynnikami ukªadu, b i ∈ K s¡ wyrazami wolnymi, a x i niewia<strong>do</strong>mymi. Rozwi¡zanie<br />

ukªadu polega na znalezieniu (opisaniu) wszystkich takich ci¡gów x 1 , . . . , x n , które czyni¡ równania z ukªadu<br />

prawdziwymi.<br />

Z powy»szym ukªadem mo»na zwi¡za¢ macierz A = [a ij ]. Je±li oznaczymy przez b pionowy wektor<br />

wyrazów wolnych, to ukªad jest równowa»ny nast¦puj¡cemu równaniu macierzowemu, w którym poszukujemy<br />

pionowego m-elementowego wektora x:<br />

Ax = b.<br />

Ukªad nazywamy ukªadem Cramera je±li m = n oraz detA ≠ 0.<br />

Twierdzenie 175 Ukªad Cramera ma <strong>do</strong>kªadnie jedno rozwi¡zanie.<br />

Szkic <strong>do</strong>wodu: x = A −1 b. ✷<br />

Jednoznaczne rozwi¡zaniu ukªadu Cramera mo»na zapisa¢, u»ywaj¡c tzw. wzorów Cramera:<br />

x i = detA k<br />

detA ,<br />

gdzie A k to macierz powstaªa z A poprzez zamian¦ k-tej kolumny na kolumn¦ wyrazów wolnych. Wzory te<br />

mo»na u<strong>do</strong>wodni¢, u»ywaj¡c podanego w <strong>do</strong>wodzie twierdzenia 173 wzoru na macierz odwrotn¡.<br />

Uwagi: Wzory Cramera maj¡ gªównie znaczenie teoretyczne i nie stosuje si¦ ich raczej w obliczniach<br />

numerycznych. Na razie nie mówimy nic o ukªadach, których m ≠ n lub m = n, ale macierz ukªadu jest<br />

osobliwa. Zajmiemy si¦ nimi wkrótce.<br />

2.14 Równowa»no±¢ wierszowa<br />

Denicja 176 Nast¦puj¡ce operacje na macierzy nazywamy elementarnymi operacjami na wierszach:<br />

(a) zamiana dwóch wierszy miejscami<br />

(b) pomno»enie wiersza przez staª¡ ró»n¡ od zera<br />

(c) <strong>do</strong>danie <strong>do</strong> pewnego wiersza innego wiersza przemno»onego przez skalar<br />

Macierz B jest równowa»na wierszowo macierzy A je±li powstaªa z niej po zastosowaniu pewnej liczby operacji<br />

elementarnych na wierszach.<br />

Poniwa» operacja odwrotna <strong>do</strong> operacji elementarnej na wierszach jest operacj¡ elementarn¡ na wierszach,<br />

a wi¦c:<br />

Fakt 177 Relacja wierszowej równowa»no±ci macierzy jest relacj¡ równowa»no±ci<br />

27


Szkic <strong>do</strong>wodu: Zwrotno±¢ i przechodnio±¢ wynikaj¡ prosto z denicji ✷<br />

Lemat 178 Niech A i B b¦d¡ wierszowo równowa»nymi macierzami o wierszach odpowiednio A 1 , . . . , A m<br />

oraz B 1 , . . . , B m . Wtedy LIN(A 1 , . . . , A m ) = LIN(B 1 , . . . , B m ).<br />

Denicja 179 Pierwszy niezerowy wyraz wiersza macierzy nazywamy kierunkowym. Macierz nazwiemy<br />

wierszowo zredukowan¡ je±li:<br />

(a) wszystkie niezerowe wiersze maj¡ wyrazy kierunkowe równe 1,<br />

(b) ka»da kolumna zawieraj¡ca wyraz kierunkowy pewnego wiersza ma pozostaªe wyrazy równe 0,<br />

(c) wszystkie wiersze zerowe znajduj¡ si¦ pod wierszami niezerowymi,<br />

(d) wyraz kierunkowy wiersza i-tego le»y na lewo od wyrazu kierunkowego wiersza j-tego, dla i < j.<br />

Fakt 180 Niezerowe wiersze macierzy wierszowo zredukowanej s¡ liniowo niezale»ne.<br />

Wniosek 181 Niech R b¦dzie zredukowan¡ macierz¡ równowa»n¡ macierzy A.<br />

macierzy R tworz¡ baz¦ przestrzeni rozpinanej przez wiersze A.<br />

Wtedy niezerowe wiersze<br />

Twierdzenie 182 Ka»da macierz jest wierszowo równowa»na macierzy wierszowo zredukowanej.<br />

Szkic <strong>do</strong>wodu: Dowód konstrukcyjny: metoda eliminacji Gaussa. ✷<br />

Na ¢wiczeniach zobaczymy, »e ka»da macierz jest wierdzowo równowa»na <strong>do</strong>kªadniej jednej macierzy<br />

zerdukowanej wierszowo.<br />

2.15 Rz¡d macierzy<br />

Denicja 183 Rz¦dem macierzy nazywamy wymiar przestrzeni generowanej przez jej wiersze.<br />

Aby macierz kwadratowa miaªa rz¡d n musi wi¦c mie¢ wszystkie wiersze liniowo niezale»ne. Z lematu<br />

178 <strong>do</strong>stajemy:<br />

Wniosek 184 Macierze równowa»ne wierszowo maj¡ te same rz¦dy.<br />

Fakt 185 Kwadratowa macierz stopnia n ma rz¡d n wtedy i tylko wtedy, gdy jest wierszowo równowa»na<br />

macierzy I n .<br />

Badanie rz¦du macierzy mo»e polega¢ na przeksztaªceniu jej <strong>do</strong> postaci zredukowanej i policzeniu jej<br />

wierszy niezerowych. Badanie liniowej niezale»no±ci wektorów przestrzeni K n mo»e polega¢ na wyznaczeniu<br />

rz¦du macierzy, w której s¡ one wierszami s¡ liniowo niezale»ne wtedy i tylko wtedy, gdy ten rz¡d jest<br />

równy liczbie wektorów.<br />

2.16 Rz¡d a minory<br />

Lemat 186 Zaªó»my, »e B zostaªa uzyskana z A za pomoc¡ operacji elementarnych na wierszach. Wtedy,<br />

je±li w A jest niezerowy minor stopnia k, to w B równie» jest niezerowy minor stopnia k.<br />

Szkic <strong>do</strong>wodu: Zaªó»my, »e w A jest minor niezerowy M stopnia k zbu<strong>do</strong>wany z wierszy i 1 , . . . , i k (i 1 <<br />

i 2 . . . < i k ) oraz kolumn j 1 , . . . , j k . Wystarczy rozwa»y¢ pojedyncz¡ operacj¦ elementarn¡ na A prowadz¡c¡<br />

<strong>do</strong> macierzy A ′ :<br />

(a) Zamiana miejscami wiersza i z wierszem j - deniujemy funkcj¦ f na numerach wierszy: f(i) = j,<br />

f(j) = i, f(x) = x dla pozostaªych x. Minor A ′ zbu<strong>do</strong>wany z wierszy f(i 1 ), . . . , f ( i k ) ró»ni si¦ od M<br />

najwy»ej kolejno±ci¡ wierszy (a wi¦c znakiem), zatem jest równie» niezerowy.<br />

(b) Przemno»enie wiersza przez niezerowy skalar α : wtedy minor A ′ zbu<strong>do</strong>wany z wierszy o tych samych<br />

numerach co M jest albo równy M albo ma warto±¢ M przemno»on¡ przez α. W obu przypadkach<br />

jest niezerowy.<br />

(c) Zaªó»my, »e A ′ zostaª¡ uzyskana z A poprzez <strong>do</strong>danie <strong>do</strong> wiersza i wiersza j pomno»onego przez<br />

α. Je±li wiersz i nie wchodziª w skªad M, to oczywi±cie M jest minorem A ′ . Je±li zarówno i jak<br />

i j wchodziªy w skªad M, to na M wykonujemy operacj¦, która nie zmienia warto±ci wyznacznika.<br />

Pozostaje zatem przypadek, gdy i wchodzi w skªad M, a j nie. Zaªó»my np., »e i = i 1 . Rozwa»my<br />

wtedy dwa minory A ′′ : M 1 zbu<strong>do</strong>wany z wierszy i 1 , . . . , i k macierzy A ′ oraz M 2 zbu<strong>do</strong>wany z wierszy<br />

j, i 2 . . . , i k (uwaga: j nie musi by¢ oczywi±cie mniejsze od i 1 , wi¦c j-ty wiersz nie musi w tym minorze<br />

by¢ pierwszym). Zaªó»my <strong>do</strong>datkowo, »e M 1 jest zerowy. Poka»emy, »e wtedy M 2 jest niezerowy.<br />

28


Wstawmy wiersz j macierzy A ′ na pierwsze miejsce w minorze M 2 (przesuwaj¡c pozostaªe wiersze w<br />

dóª, je±li to konieczne). Uzyskujemy w ten sposób wyznacznik M ′ 2, który ró»ni si¦ <strong>do</strong> M 2 najwy»ej<br />

znakiem. Na mocy faktów 163, 166 zachodzi M 1 = M + αM ′ 2. Wtedy M ′ 2 = − M α ≠ 0. ✷<br />

Powy»szy lemat pozwala nam poda¢ nast¦puj¡c¡ charakteryzaj¦ rz¦du macierzy :<br />

Twierdzenie 187 Rz¡d macierzy jest równy najwy»szemu ze stopni jej niezerowych minorów.<br />

Szkic <strong>do</strong>wodu: Wiemy, »e ka»d¡ macierz A mo»na przeksztaªci¢ operacjami elementarnymi na wierszach<br />

<strong>do</strong> macierzy wierszowo zredukowanej B. Šatwo sprawdzi¢, »e w macierzy zredukowanej najwi¦skszy stopie«<br />

niezerowego minora jest równy liczbie niezerowych wierszy k. Niezerowe wiersze macierzy zredukowanej s¡<br />

maksymalnym zestawem jej wierszy liniowo niezale»nych, czyli rz¦d B wynosi k. Na mocy wniosku 184<br />

rz¡d A równie» wynosi k. Na mocy lematu 186 w A istnieje minor niezerowy stopnia k (przypomnijmy, »e<br />

relacja wierszowej równowa»no±ci jest relacj¡ symetryczn¡). Nie mo»e tam by¢ minora niezerowego wi¦kszego<br />

stopnia, bo wtedy, na mocy tego samego lematu, niezerowy minor takiego stopnia byªby tak»e w B. ✷<br />

W szczególno±ci macierz kwadratowa stopnia n ma rz¡d n wtedy i tylko wtedy, gdy jej wyznacznik jest<br />

ró»ny od zera.<br />

Wniosek 188 Rz¡d macierzy A jest równy rz¦<strong>do</strong>wi macierzy transponowanej <strong>do</strong> A.<br />

Transpozyjca macierzy transponuje tak»e ka»dy minor, transpozycja nie zmienia wyznacz-<br />

✷<br />

Szkic <strong>do</strong>wodu:<br />

nika.<br />

Wniosek 189 Maksymalna liczba liniowo niezale»nych wierszy jest równa maksymalnej liczbie liniowo niezale»nych<br />

kolumn. Rz¡d macierzy jest wymiarem przestrzeni rozpi¦tej na jej kolumnach.<br />

Je±li zdeniujemy zatem poj¦cie kolumnowej równowa»no±ci macierzy (analogicznie <strong>do</strong> poj¦cia wierszowej<br />

równowa»no±ci) to mo»emy stwierdzi¢, »e macierze równowa»ne kolumnowo maj¡ te same rz¦dy.<br />

2.17 Rz¡d macierzy a rz¡d przeksztaªcenia<br />

Twierdzenie 190 Niech L : V → W b¦dzie przeksztaªceniem liniowym (obie przestrzenie s¡ nad ciaªem<br />

K). Wtedy rz¡d L jest równy rz¦<strong>do</strong>wi jego macierzy (w <strong>do</strong>wolnych bazach).<br />

2.18 Macierze elementarne<br />

Denicja 191 Macierz¡ elementarn¡ nazywamy macierz kwadratow¡ powstaª¡ z macierzy jednostkowej po<br />

zastosowaniu jednej z operacji elementarnych na wierszach.<br />

Istniej¡ zatem trzy typy macierzy elementarnych (bo mamy trzy typy operacji elementarnych). Oto<br />

ich przedstawiciele (kolejno: zamiana wiersza drugiego i czwartego, przemno»enie wiersza drugiego przez 7,<br />

<strong>do</strong>danie <strong>do</strong> wiersza trzeciego wiersza czwartego przemno»onego przez 4):<br />

⎡<br />

⎢<br />

⎣<br />

1 0 0 0 0<br />

0 0 0 1 0<br />

0 0 1 0 0<br />

0 1 0 0 0<br />

0 0 0 0 1<br />

⎤<br />

⎥<br />

⎦<br />

⎡<br />

⎢<br />

⎣<br />

1 0 0 0 0<br />

0 7 0 0 0<br />

0 0 1 0 0<br />

0 0 0 1 0<br />

0 0 0 0 1<br />

⎤<br />

⎥<br />

⎦<br />

⎡<br />

⎢<br />

⎣<br />

1 0 0 0 0<br />

0 1 0 0 0<br />

0 0 1 4 0<br />

0 0 0 1 0<br />

0 0 0 0 1<br />

Okazuje si¦, »e ka»d¡ operacj¦ elementarn¡ (wierszowo) na macierzy mo»na interpretowa¢ jako pomno-<br />

»enie (lewostronnie) macierzy przez macierz elementrn¡.<br />

Lemat 192 Ka»da operacja elementarna <strong>do</strong>konana na wierszach macierzy A o wymiarach m na n sprowadza<br />

si¦ <strong>do</strong> pomno»enia A lewostronnie przez odpowiedni¡ macierz elementarn¡ stopnia m.<br />

Fakt 193 Macierze elementarne s¡ nieosobliwe.<br />

⎤<br />

⎥<br />

⎦<br />

29


Szkic <strong>do</strong>wodu: Macierz jednostkowa jest nieosobliwa. Z wªasno±ci wyznaczników ªatwo sprawdzi¢, »e operacje<br />

elementarne zachowuj¡ nieosobliwo±¢.<br />

✷<br />

Wniosek 194 Je±li macierze A i B s¡ wierszowo równowa»ne to istnieje macierz odwracalna P taka, »e<br />

B = P A.<br />

Szkic <strong>do</strong>wodu: P jest iloczynem odpowiednich macierzy elementarnych. Jest ona nieosobliwa, a wi¦c i<br />

odwracalna, na mocy twierdzenia 172 (Cauchy'ego).<br />

✷<br />

Twierdzenie 195 Je±li kwadratowa macierz A sprowadza si¦ <strong>do</strong> macierzy to»samo±ciowej przez ci¡g elementarnych<br />

operacji na wierszach, to ten sam ci¡g operacji zastosowany <strong>do</strong> macierzy jednostkowej prowadzi<br />

<strong>do</strong> macierzy odwrotnej <strong>do</strong> A.<br />

Szkic <strong>do</strong>wodu: E 1 . . . E k A = I mno»ymy obustronnie przez A −1 . ✷<br />

Powy»sze twierdzenie sugeruje efektywn¡ metod¦ wyznaczania macierzy odwrotnych: na macierzy A<br />

stopnia n wykonujemy operacje elementarne sprowadzaj¡ce j¡ <strong>do</strong> macierzy zredukowanej. Je±li uzyskamy<br />

macierz jednostkow¡, to ten sam ci¡g operacji elementarnych powtarzamy na macierzy jednostkowej, otrzymuj¡c<br />

macierz odwrotn¡ <strong>do</strong> A. Je±li za± <strong>do</strong>jdziemy <strong>do</strong> macierzy zredukowanej B, która nie jest macierz¡<br />

jednostkow¡, to A nie ma macierzy odwrotnej. Wtedy bowiem B musi mie¢ rz¡d mniejszy od n (mo»na<br />

sprawdzi¢, »e jedyna macierz zredukowana stopnia n rzedu n to I n ). Taki sam rz¡d ma A i wobec komentarza<br />

po twierdzeniu 187 ma ona zerowy wyznacznik, a wi¦c nie jest odwracalna.<br />

Twierdzenie 196 Macierz kwadratowa P jest nieosobliwa wtedy i tylko wtedy, gdy jest iloczynem pewnych<br />

macierzy elementarnych.<br />

Mo»emy zatem wzmocni¢ wniosek 194:<br />

Wniosek 197 Macierze A i B rozmiarów m na n s¡ wierszowo równowa»ne wtedy i tylko wtedy, gdy B = P A<br />

dla pewnej nieosobliwej macierzy P .<br />

2.19 Uwaga o ogólnej równowa»no±ci macierzy<br />

Oprócz operacji elementarnych na wierszach mo»emy rozwa»a¢ analogiczne operacje elementarne na kolumnach.<br />

Twierdzenie 198 Macierze A i B s¡ równowa»ne kolumnowo wtedy i tylko wtedy, gdy istnieje nieosobliwa<br />

macierz Q taka, »e B = AQ.<br />

Powiemy, »e macierz A jest (ogólnie) równowa»na B je±li jedna powstaje z drugiej po zastosowaniu ci¡gu<br />

operacji elementrnych na wierszach i kolumnach.<br />

Twierdzenie 199 A jest równowa»na B wtedy i tylko wtedy, gdy istniej¡ nieosobliwe P , Q, takie »e B =<br />

P AQ.<br />

Operacjami elementarnymi (na wierszach i kolumnach) mo»na sprowadzi¢ macierz <strong>do</strong> tzw. postaci Smith'a<br />

(¢wiczenia).<br />

Fakt 200 Macierze równowa»ne maj¡ ten sam rz¡d.<br />

2.20 Ukªady równa« liniowych przypadek ogólny<br />

Przypomnijmy, »e rozwa»amy ukªady postaci<br />

⎧<br />

a 11 x 1 + a 12 x 2 + . . . + a 1n x n = b 1<br />

⎪⎨<br />

a 21 x 1 + a 22 x 2 + . . . + a 2n x n = b 2<br />

,<br />

. . . ⎪⎩<br />

a m1 x 1 + a m2 x 2 + . . . + a mn x n = b m<br />

Z powy»szym ukªadem wi¡»emy macierze<br />

⎡<br />

A =<br />

⎢<br />

⎣<br />

a 1,1 a 1,2 . . . a 1,n<br />

a 2,1 a 2,2 . . . a 2,n<br />

. . . . . . . . . . . .<br />

a m,1 a m,2 . . . a m,n<br />

30<br />

⎤<br />

⎥<br />


oraz<br />

A ′ =<br />

⎡<br />

⎢<br />

⎣<br />

a 1,1 a 1,2 . . . a 1,n b 1<br />

a 2,1 a 2,2 . . . a 2,n b 2<br />

. . . . . . . . . . . . . . .<br />

a m,1 a m,2 . . . a m,n b m<br />

Pierwsza z nich jest nazywana macierz¡ ukªadu, a druga macierz¡ rozszerzon¡ ukªadu.<br />

Przypomnijmy równie», »e nasz ukªad mo»na zapisa¢ równaniem na macierzach. A −→ x = −→ b , gdzie −→ b jest<br />

wektorem wyrazów wolnych. Jeszcze inn¡ postaci¡ jest równanie wektorowe x 1<br />

−→ a 1 +x 2<br />

−→ a 2 +. . .+x n<br />

−→ a n = −→ b ,<br />

gdzie −→ a i s¡ kolumnami A.<br />

Twierdzenie 201 (Kronecker-Capelli) Ukªad równa« liniowych ma rozwi¡zanie wtedy i tylko wtedy, gdy<br />

rz¡d jego macierzy jest równy rz¦<strong>do</strong>wi jego macierzy rozszerzonej.<br />

Szkic <strong>do</strong>wodu: ⇒ Rozwa»amy posta¢ wektorow¡, je±li istnieje rozwi¡zanie, to wektor b jest liniow¡ kombinacj¡<br />

wektorów a i , zatem kolumny macierzy i kolumny macierzy rozszerzonej generuj¡ t¡ sam¡ przestrze«<br />

(której wymiar jest rz¦dem macierzy). ⇐ Zaªó»my, »e obydwa rz¦dy s¡ równe r. Wybieramy r liniowo<br />

niezale»nych kolumn a i . Pozostaªe, w szczególno±ci b s¡ od nich linowo zale»ne. Zale»no±¢ ta gwarantuje<br />

istnienie rozwi¡zania ukªadu.<br />

✷<br />

Dwa ukªady równa« s¡ równowa»ne je±li maj¡ <strong>do</strong>kªadnie te same rozwi¡zania.<br />

Lemat 202 Operacje elementarne na wierszach macierzy rozszerzonej ukªadu daj¡ macierze rozszerzone<br />

ukªadu równowa»nego.<br />

Wniosek 203 Ka»dy ukªad jest równowa»ny ukªa<strong>do</strong>wi z wierszowo zredukowan¡ macierz¡ rozszerzon¡. (liczba<br />

wierszy niezerowych jest równa rz¦<strong>do</strong>wi macierzy ukªadu wyj±ciowego).<br />

Jak zatem znale¹¢ wszystkie rozwi¡zania ukªadu: sprowadzi¢ go <strong>do</strong> postaci wierszowo zredukowanej<br />

(metod¡ eliminacji Gaussa), usun¡¢ wiersze zerowe, a nast¦pnie po lewej stronie pozostawi¢ kolumny z<br />

wyrazami kierunkowymi (reszt¦ przenosimy na praw¡ stron¦) <strong>do</strong>staniemy wtedy od razu elegancki opis<br />

peªnego zbioru rozwi¡za«.<br />

Przykªad 204<br />

⎧<br />

⎨<br />

⎩<br />

Wnioskiem z powy»szych rozwa»a« jest:<br />

⎤<br />

⎥<br />

⎦<br />

x 1 − x 2 + 2x 3 − x 4 = 1<br />

2x 1 − 3x 2 − x 3 + x 4 = −1<br />

x 1 + + 7x 3 − 4x 4 = 4<br />

Twierdzenie 205 Ukªad ma <strong>do</strong>kªadnie jedno rozwi¡zanie, gdy rz¦dy macierzy i macierzy rozszerzonej s¡<br />

równe liczbie niewia<strong>do</strong>mych.<br />

2.21 Ukªady jednorodne<br />

Ukªad równa« nazwiemy jednorodnym je±li wszystkie jego wyrazy wolne s¡ równe 0.<br />

Twierdzenie 206 Niech E b¦dzie zbiorem rozwi¡za« ukªadu jednorodnego (traktowanych jako wektory) z n<br />

niewia<strong>do</strong>mymi. Wtedy E jest podprzestrzeni¡ linow¡ przestrzeni K n oraz wymiar E jest równy n − r, gdzie<br />

r jest rz¦dem A.<br />

Szkic <strong>do</strong>wodu: Twierdzenie to u<strong>do</strong>wodnimy u»ywaj¡c wªasno±ci przeksztaªce« liniowych. Zauwa»my, »e<br />

przeksztaªcenie F : K n → K m , zdeniowane jako F (x) = Ax, gdzie A jest macierz¡ ukªadu jest liniowe<br />

(wynika to na przykªad z wªasno±ci mno»enia macierzy). Zbiór rozwi¡za« naszego ukªadu jest j¡drem F . A<br />

zatem jest podprzestrzeni¡ liniow¡ o rz¦dzie n − r.<br />

✷<br />

Przykªad 207 {<br />

x1 + x 2 + x 3 + x 4 = 0<br />

2x 1 − x 2 − x 3 − x 4 = 0<br />

Twierdzenie 208 Rozawa»my ukªad A −→ x = −→ b i jego <strong>do</strong>wolne rozwi¡zanie −→ c (A −→ c = −→ b ). Wtedy funkcja<br />

P ( −→ x ) = −→ x + −→ c przeksztaªca wzajemnie jednoznacznie zbiór rozwi¡za« A −→ x = ⃗0 na zbiór rozwi¡za« A −→ x = −→ b .<br />

Zatem aby znale¹¢ wszystkie rozwi¡zania ukªadu A −→ x = −→ b wystarczy znale¹¢ jego jedno rozwi¡zanie<br />

(szczególne) i <strong>do</strong>da¢ je <strong>do</strong> wszystkich rozwi¡za« A −→ x = 0.<br />

31


2.22 Interpretacja geometryczna rozwi¡za« ukªadów równa« liniowych<br />

Mo»liwe rozwi¡zania ukªadów z dwiema niewia<strong>do</strong>mymi nad R, to punkt (0, 0), proste przechodz¡ce przez<br />

pocz¡tek ukªadu lub caªa pªaszczyzna R 2 . Z trzema niewia<strong>do</strong>mymi: (0, 0, 0), proste lub pªaszczyzny przechodz¡ce<br />

przez pocz¡tek ukªadu lub caªa przestrze« R 3 .<br />

Dzi¦ki twierdzeniu 208 mo»emy scharakteryzowa¢ te» rozwi¡zania ukªadów niejednorodnych: s¡ to rozwi¡zania<br />

ukªadów jednorodnych przesuni¦te o pewnien wektor.<br />

2.23 Zmiana bazy<br />

Zaªó»my, »e w przestrzeni liniowej V nad ciaªem K mamy dane dwie bazy E = {e 1 , . . . , e n } oraz F =<br />

{f 1 , . . . , f n }. Znaj¡c wspóªrz¦dne wektora w bazie E, chcemy wyznaczy¢ jego wspóªrz¦dne w bazie F .<br />

Zapiszmy wektory E jako kombinacje liniowe wektorów z F :<br />

e 1 = α 11 f 1 + α 21 f 2 + . . . α n1 f n<br />

e 2 = α 12 f 1 + α 22 f 2 + . . . α n2 f n<br />

e n = α 1n f 1 + α 2n f 2 + . . . α nn f n<br />

Poni»sz¡ macierz nazywamy macierz¡ przej±cia z bazy E <strong>do</strong> F .<br />

⎡<br />

⎤<br />

a 1,1 a 1,2 . . . a 1,n<br />

P EF == ⎢ a 2,1 a 2,2 . . . a 2,n<br />

⎥<br />

⎣ . . . . . . . . . . . . ⎦<br />

a n,1 a n,2 . . . a n,n<br />

Oznaczmy przez [v] B wektor wspóªrz¦dnych v w bazie B.<br />

Twierdzenie 209 [v] F = P EF [v] E .<br />

. . .<br />

Szkic <strong>do</strong>wodu: Kolumny macierzy P EF to wspóªrz¦dne wektorów z E wyra»one w bazie F : P EF =<br />

[[e 1 ] F , . . . , [e n ] F ]. Niech [v] E = (α 1 , . . . , α n ). Wtedy P EF [v] E = α 1 [e 1 ] F + . . . + α n [e n ] F . Na mocy Faktu<br />

154 <strong>do</strong>stajemy dalej, »e jest to równe: [α 1 e 1 + . . . + α n e n ] F = [v] F . ✷<br />

Zauwa»my, »e macierz P EF jest z denicji macierz¡ przeksztaªcenia idenyczno±ciowego przestrzeni V dan¡<br />

w bazach E i F . Zatem jej rz¡d musi by¢ równy n (bo taki jest rz¡d przeksztaªcenia identyczno±ciowego).<br />

A to w konsekwencji implikuje:<br />

Fakt 210 Macierz przej±cia z bazy <strong>do</strong> bazy jest nieosobliwa.<br />

Je»eli we wzorze [v] F = P EF [v] E przemno»ymy obie strony lewostronnie przez P −1,<br />

to <strong>do</strong>stajemy EF [v] E =<br />

EF [v] F . A zatem:<br />

P −1<br />

Fakt 211 P −1<br />

EF<br />

jest macierz¡ przej±cia z bazy F <strong>do</strong> bazy E.<br />

2.24 Zmiana bazy a zmiana macierzy przeksztaªcenia<br />

W tym podrozdziale zobaczymy jak zachowuj¡ si¦ macierze przeksztaªcenia po zmianie bazy. Zaªó»my, »e<br />

L jest przeksztaªceniem liniowym V w W , w V dane s¡ bazy E = {e 1 , . . . , e n } oraz F = {f 1 , . . . , f n }, za± w<br />

W bazy G = {g 1 , . . . , g n } oraz H = {h 1 , . . . , h n }. Szukamy zwi¡zku pomi¦dzy A EG (L) oraz A F H (L).<br />

We¹my <strong>do</strong>wolny wektor x ∈ V . Mo»emy zapisa¢:<br />

[L(x)] G = A EG (L)[x] E<br />

[L(x)] H = A F H (L)[x] F<br />

[x] F = P EF [x] E<br />

[L(x)] H = P GH [L(x)] G<br />

Teraz (pierwsza równo±¢ z poª¡czenia drugiego i czwartego z powy»szych wzorów):<br />

Mno»ymy obie strony przez P −1<br />

GH :<br />

P GH [L(x)] G = A F H (L)[x] F = A F H (L)(P EF [x] E ).<br />

[L(x)] G = P −1<br />

GH A F H(L)P EF [x] E<br />

Poniewa» ostatni wzór zachodzi dla <strong>do</strong>wolnego x oznacza to, »e »e:<br />

32


Fakt 212<br />

A EG (L) = P −1<br />

GH A F H(L)P EF .<br />

Szczególnie ciekawy jest przypadek, kiedy V = W oraz E = G i F = H. Wtedy powy»sza zale»no±¢<br />

wygl¡da nast¦puj¡co:<br />

Fakt 213<br />

A E (L) = P −1<br />

EF A F (L)P EF .<br />

Przykªad 214 Dana jest macierz A przeksztaªcenia L : R 3 → R 3 w bazie kanonicznej E. Znale¹¢ jego<br />

macierz B w bazie F = {(1, 0, 0), (1, 1, 0), (1, 1, 1)}: Zgodnie ze wzorem mamy B = P −1<br />

F E AP F E. Wyliczamy<br />

P F E (ªatwe).<br />

2.25 Macierze po<strong>do</strong>bne<br />

Denicja 215 Macierze kwadratowe A i B nazywamy po<strong>do</strong>bnymi je±li istnieje taka nieosobliwa macierz P ,<br />

»e B = P −1 AP .<br />

Šatwo sprawdzi¢, »e<br />

Fakt 216 Relacja po<strong>do</strong>bie«stwa macierzy jest relacj¡ równowa»no±ci.<br />

Zauwa»my, »e na mocy faktu 213:<br />

Wniosek 217 Macierze liniowego przeksztaªcenia L : V → V w ró»nych bazach s¡ <strong>do</strong> siebie po<strong>do</strong>bne.<br />

Prawdziwy jest te» fakt poni»szy:<br />

Fakt 218 Dwie macierze po<strong>do</strong>bne stopnia n nad ciaªem K s¡ macierzami tego samego przeksztaªcenia liniowego<br />

przestrzeni wymiaru n w siebie (by¢ mo»e) w ró»nych bazach.<br />

Szkic <strong>do</strong>wodu: Niech B = P −1 AP . Ustalmy przestrze« V oraz jej baz¦ F . Macierz A mo»emy potraktowa¢<br />

jako macierz pewnego przeksztaªcenia liniowego L : V → V . Potraktujmy kolumny macierzy P jako wspóªrz¦dne<br />

pewnych wektorów E w bazie F . S¡ one liniowo niezale»ne, bo rz¡d macierzy P jest równy n (P jest<br />

nieosobliwa). Zatem wektory E równie» s¡ liniowo niezale»ne i tworz¡ baz¦ V , a P jest macierz¡ przej±cia z<br />

E <strong>do</strong> F . Na mocy faktu 213, B jest macierz¡ L w bazie E.<br />

✷<br />

2.26 Wektory i warto±ci wªasne<br />

Denicja 219 Przeksztaªcenie liniowe L : V → V nazywamy diagonalizowalnym je±li w pewnej bazie jego<br />

macierz jest przek¡tniowa. Macierz jest diagonalizowalna je±li jest po<strong>do</strong>bna <strong>do</strong> macierzy przek¡tniowej.<br />

Oczywi±cie ka»da macierz przeksztaªcenia liniowego diagonalizowalnego jest diagonalizowalna.<br />

Chcemy zbada¢ jakie przeksztaªcenia liniowe s¡ diagonalizowalne oraz nauczy¢ si¦ wyznacza¢ ich diagonalne<br />

macierze (i odpowiadaj¡ce im bazy).<br />

Denicja 220 Niech L : V → V b¦dzie przeksztaªceniem liniowym. Je±li L(v) = λv, dla pewnego niezerowego<br />

wektora v i skalara λ (skalar nie musi by¢ niezerowy), to λ nazywamy warto±ci¡ wªasn¡, a v wektorem<br />

wªasnym L.<br />

Jak zobaczymy jedna warto±¢ wªasna mo»e odpowiada¢ wielu wektorom wªasnym.<br />

Intuicja dla przeksztaªce« R n w siebie: wektor wªasny to wektor, który przez przeksztaªcenie liniowe jest<br />

tylko rozci¡gany lub ±ciskany, ale nie zmienia kierunku. Zatem np. obroty nie maj¡ wektorów wªasnych.<br />

Lemat 221 Zbiór wektorów wªasnych odpowiadaj¡cych tej samej warto±ci wªasnej jest (po <strong>do</strong>ª¡czeniu wektora<br />

⃗0) podprzestrzeni¡ liniow¡ V .<br />

33


Szkic <strong>do</strong>wodu: ‚wiczenie ✷<br />

Poj¦cia wektorów i warto±ci wªasnych przenosz¡ si¦ na macierze:<br />

Denicja 222 Je±li Av = λv, dla pewnej macierzy A, niezerowego wektora v i sklara λ, to v nazwywamy<br />

wektorem wªasnym, a λ warto±ci¡ wªasn¡ macierzy A.<br />

Šatwo sprawdzi¢, »e je»eli λ jest warto±ci¡ wªasn¡ A to jest warto±ci¡ wªasn¡ przeksztaªcenia opisywanego<br />

przez A (i odwrotnie). Poniewa» macierze po<strong>do</strong>bne s¡ macierzami tego samego przeksztaªcenia w ró»nych<br />

bazach, wi¦c<br />

Fakt 223 Macierze po<strong>do</strong>bne maj¡ te same warto±ci wªasne.<br />

Powy»szy fakt mo»emy te» ªatwo u<strong>do</strong>wodni¢ bezpo±rednio nie odwoªuj¡c si¦ <strong>do</strong> zwi¡zku mi¦dzy macierzami<br />

a przeksztaªceniami liniowymi.<br />

Zastanowimy si¦ teraz jak znaj<strong>do</strong>wa¢ warto±ci i wektory wªasne macierzy.<br />

Lemat 224 Skalar λ jest warto±ci¡ wªasn¡ macierzy A wtedy i tylko wtedy, gdy det(A − λI n ) = 0<br />

Szkic <strong>do</strong>wodu: Av = λv, wtedy i tylko wtedy, gdy (A − λI n )v = ⃗0. Dostajemy jednorodny ukªad równa«,<br />

który ma rozwi¡zanie niezerowe wtedy i tylko wtedy, gdy rz¡d jego macierzy jest mniejszy od n, a wi¦c, gdy<br />

det(A − λv) = 0.<br />

✷<br />

Wyra»enie det(A − λI n ) jest wielomianem zmiennej λ. Nazywane jest czasem wielomianem charakterystycznym<br />

macierzy A. W tej terminologii warto±ci wªasne s¡ pierwiastkami wielomianu charakterystycznego.<br />

Fakt 225 Macierz stopnia n (czyli tak»e odpowiadaj¡ce jej przeksztaªcenie liniowe pewnej przestrzeni n-<br />

wymiarowej w siebie) ma najwy»ej n warto±ci wªasnych.<br />

Szkic <strong>do</strong>wodu: Wielomian charakterystyczny ma stopie« n. ✷<br />

[ ] 2 1<br />

Przykªad 226 Wyznaczmy warto±ci i wektory wªasne macierzy . Wielomian charatkerystczny:<br />

1 2<br />

λ 2 − 4λ + 3 = 0 ma dwa pierwiastki: 1 i 3. Dla ka»dego z nich piszemy teraz ukªad równa«, aby znale¹¢<br />

odpowiadaj¡ce im przestrzenie wektorów wªasnych. S¡ to w tym przypadku przestrzenie wymiaru 1.<br />

Twierdzenie 227 Macierz jest diagonalizowalna wtedy i tylko wtedy, gdy ma n liniowo niezale»nych wektorów<br />

wªasnych.<br />

Szkic <strong>do</strong>wodu: ⇒. D = P −1 AP , czyli P D = AP . Oznaczmy kolumny P przez v 1 , . . . , v n , a elementy z<br />

przek¡tnej D przez λ 1 , . . . , λ n . Ostatnia równo±¢ implikuje, »e λ i v i = Av i . Wektory v i musz¡ by¢ liniowo<br />

niezale»ne, bo P jest odwracalna, a wi¦c ma rz¡d n. ⇐. Niech v 1 , . . . , v n b¦d¡ liniowo niezale»nymi wektorami<br />

wªasnymi A. Wtedy macierz P , która ma v i jako kolumny jest odwracalna. Macierz D konstruujemy<br />

wstawiaj¡c warto±ci wªasne na przek¡tn¡. Zachodzi P D = AP , a poniewa», P ma liniowo niezale»ne<br />

kolumny wi¦c jest odwracalna i D = P −1 AP .<br />

✷<br />

Przykªad 228 Poni»sza macierz ma dwie warto±ci wªasne: 3 i 6.<br />

⎡<br />

A = ⎣ 3 0 0<br />

⎤<br />

−2 4 2 ⎦<br />

−2 1 5<br />

Warto±ci 3 odpowiada przestrze« wektorów (x/2 + y, x, y), a warto±ci 6 przestrze« (0, x, x). Przykªa<strong>do</strong>we<br />

wektory wªasne (1/2, 1, 0), (1, 0, 1), (0, 1, 1) tworz¡ ukªad liniowo niezale»ny. Zatem nasza macierz jest<br />

diagonalizowalna. Jej diagonalna posta¢ D wyra»a si¦ wzorem D = P −1 AP , dla<br />

⎡ ⎤<br />

1/2 1 0<br />

P = ⎣ 1 0 1 ⎦ .<br />

0 1 1<br />

Oczywi±cie<br />

D =<br />

⎡<br />

⎣ 3 0 0<br />

0 3 0<br />

0 0 6<br />

Twierdzenie 229 Je±li A stopnia n ma n ró»nych warto±ci wªanych to odpowiadaj¡ce im wektory wªasne<br />

s¡ liniowo niezale»ne, a wi¦c A jest diagonalizowalna.<br />

⎤<br />

⎦ .<br />

34


Szkic <strong>do</strong>wodu: ‚wiczenie. ✷<br />

Uwaga: twierdzenie odwrotne oczywi±cie nie zachodzi (patrz macierz z poprzedniego przykªadu lub macierz<br />

jednostkowa).<br />

Twierdzenie 230 Je»eli przeksztaªcenie ma baz¦ zªo»on¡ z wektorów wªasnych, to macierz przeksztaªcenia<br />

w tej bazie jest przek¡tniowa.<br />

Uwaga: macierz, która nie ma niezale»nych n wektorów wªasnych nie da si¦ sprowadzi¢ <strong>do</strong> postaci<br />

diagonalnej, ale da si¦ sprowadzi¢ <strong>do</strong> tzw. postaci Jordana, która jest prawie macierz¡ przek¡tniow¡. Nie<br />

b¦dziemy na tym wykªadzie podawali szczegóªów.<br />

2.27 Pagerank<br />

Przedstawiªem fragmenty (w zasadzie wszystko oprócz rozdziaªu 4, o którego zawarto±ci tylko wspomniaªem)<br />

nast¦puj¡cego artykuªu: Kurt Bryan, Tanya Leise, The $25,000,000,000 Eigenvector: The Linear Algebra<br />

behind Google. Mo»na go znale¹¢ np. tutaj:<br />

http://citeseerx.ist.psu.edu/view<strong>do</strong>c/summary?<strong>do</strong>i=10.1.1.129.2306.<br />

Artykuª omawia w jaki sposób algebra liniowa (w szczególno±ci wektory wªasne) wykorzystana jest w<br />

algorytmie ustalania wa»no±ci stron internetowych, u»ywanym przez Google.<br />

35

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

Saved successfully!

Ooh no, something went wrong!