24.01.2014 Views

Notatki do wykªadu

Notatki do wykªadu

Notatki do wykªadu

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<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!