Algebra liniowa z geometrią analityczną/Wykład 1: Grupy i ciała

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Grupy

Przez strukturę algebraiczną rozumie się zbiór składający się ze skończonej liczby zbiorów i ze skończonej liczby odwzorowań iloczynów kartezjańskich tych zbiorów w te zbiory. Odwzorowania te nazywa się działaniami.

Zaczniemy od rozważenia najprostszych struktur.

Niech będzie zbiorem niepustym. Działaniem wewnętrznym w zbiorze nazywamy odwzorowanie . Działanie jest łączne, jeśli dla każdych zachodzi równość



Mówimy, że działanie jest przemienne, jeśli dla każdych elementów zachodzi równość



Element nazywa się elementem neutralnym ze względu na działanie , jeśli dla każdego elementu mamy



Łatwo widać, że jeśli istnieje element neutralny, to element taki jest jedyny w . Istotnie, niech i będą elementami neutralnymi ze względu na . Zachodzą następujące równości



Działania oznacza się najczęściej znakiem plus, tzn. , lub znakiem kropki, która zwykle jest w zapisie pomijana. Oczywiście są też inne sposoby oznaczania działań, np. kółkiem, gwiazdką, etc. Działanie oznaczane znakiem nazywa się dodawaniem, działanie oznaczane kropką nazywa się mnożeniem. Jeśli działanie oznaczone jest plusem, to łączność oznacza, że dla każdych mamy . A zatem zapis ma sens. Podobnie dla działania zapisywanego multyplikatywnie, czyli kropką, łączność oznacza, że dla każdych , a zapis ma sens. Oczywiście, łączność dodawania oznacza, że zapis ma sens dla dowolnego , zaś w przypadku mnożenia, zapis ma sens dla dowolnego .

Jeśli działanie zapisywane jest w sposób addytywny, tzn. za pomocą znaku , to element neutralny (o ile istnieje) nazywany jest zerem i oznaczany przez . W przypadku zapisu multyplikatywnego, element neutralny nazywany jest często jedynką i oznaczany cyfrą .

Załóżmy, że działanie w zbiorze ma element neutralny . Załóżmy najpierw, że działanie to jest zapisywane addytywnie. Mówimy, że element ma element przeciwny, jeśli istnieje element taki, że . Jeśli działanie zapisywane jest multyplikatywnie, to mówimy, że element ma element odwrotny w , jeśli istnieje element , taki że .

Zauważmy, że jeśli działanie jest łączne, ma element neutralny i element ma element odwrotny (przeciwny), to element taki jest jedyny. Mianowicie, jeśli i są elementami odwrotnymi do , to (stosując zapis multyplikatywny) mamy następujące równości



Jeżeli działanie zapisywane jest w sposób addytywny i element ma dokładnie jeden element przeciwny, to element ten oznaczamy przez . Ponadto, jeśli , to przyjmujemy oznaczenie


     (1.1)


Jeśli działanie zapisywane jest w sposób multyplikatywny i element ma dokładnie jeden element odwrotny, to oznaczamy go przez . Przyjmujemy także oznaczenie



Definicja 1.1 [Grupa]

Mówimy, że zbiór niepusty z działaniem wewnętrznym jest grupą, jeśli działanie to jest łączne, ma element neutralny i każdy element ma element odwrotny (przeciwny).

Grupę nazywamy przemienną, lub abelową, jeśli jej działanie jest przemienne.

Załóżmy, że jest niepustym podzbiorem grupy . Mówimy, że jest podgrupą grupy , jeśli działanie grupy zawężone do ma wartości w oraz dla każdego elementu jego element odwrotny również należy do .

Łatwo można sprawdzić, że podgrupa z zawężonym działaniem jest grupą.

Ciała

Rozważymy teraz zbiory wyposażone w dwa działania - dodawanie i mnożenie. Przyjmiemy następującą definicję.

Definicja 2.1 [Ciało]

Ciałem (dokładniej mówiąc - ciałem przemiennym) nazywamy zbiór wyposażony w dwa działania wewnętrzne - dodawanie i mnożenie, które spełniają następujące warunki:

C1) z dodawaniem jest grupą przemienną,

C2) mnożenie w jest przemienne i zbiór z mnożeniem jest grupą,

C3) dla każdych elementów (prawo rozdzielności mnożenia względem dodawania).

Udowodnimy najbardziej podstawowe własności ciał.

Twierdzenie 2.2 [Własności Ciała]

W ciele zachodzą następujące warunki:

  1. ,
  2. jeżeli , to lub ,
  3. jeżeli i , to

dla każdych .

Dowód

Wiemy, że zbiór jest grupą ze względu na mnożenie, a więc . Stąd mamy pierwszą własność.

Dla udowodnienia drugiej własności zauważmy, że



Dodając do obydwu stron dostajemy żądaną równość. Korzystając z przemienności mnożenia w całym dostajemy równość dla każdego . Stąd i założonej łączności mnożenia w wynika już łączność mnożenia w całym zbiorze .

Korzystając z drugiej własności dostajemy teraz



Ponieważ dodawanie w jest przemienne, dostajemy równość . Oznacza to, że jest elementem przeciwnym do , co dowodzi trzeciej własności.

Dla dowodu czwartej własności przypuśćmy, że . Wtedy, wykorzystując już udowodnioną własność (2) dostajemy



Własność ta wynika też z aksjomatu C2), bo w aksjomacie tym implicite założono, że jest zamknięty ze względu na mnożenie.

Własność ostatnia wynika z następujących równości


End of proof.gif


Konsekwencją trzeciej własności i wcześniejszej umowy (1.1) jest równość następująca:



dla każdych .

Wprowadzimy teraz pojęcie charakterystyki ciała.

Definicja 2.3 [Charakterystyka ciała]

Niech będzie ciałem. Jeżeli istnieje liczba naturalna taka, że



gdzie jedynka w powyższej sumie występuje razy, to najmniejszą taką liczbę nazywamy charakterystyką ciała. Jeśli taka liczba naturalna nie istnieje, mówimy, że charakterystyka ciała równa jest .

Ponieważ , więc charakterystyka ciała, jeśli nie jest równa , musi być większa lub równa . Ciałem o charakterystyce 2 jest tzw. ciało zero-jedynkowe, które można wprowadzić tak. W zbiorze wprowadzamy działania



Łatwo widać, że spełnione są wszystkie warunki definiujące ciało i ciało to ma charakterystykę równą 2.

Ciałami są zbiór liczb wymiernych i zbiór liczb rzeczywistych ze zwykłymi działaniami. Są to oczywiście ciała o charakterystyce . Ciała te oznaczamy symbolami i odpowiednio.

Ciało liczb zespolonych

Niech będzie zbiorem wyposażonym w dwa następujące działania:



Plik:Ag1 3a.mp4
Dodawanie liczb zespolonych


Sprawdzenie, że tak zdefiniowana struktura jest ciałem jest kwestią bezpośredniego rachunku. Elementem neutralnym ze względu na dodawanie (zerem w ) jest element , zaś elementem neutralnym ze względu na mnożenie jest element . Elementem przeciwnym do elementu jest element .

Plik:Ag1 3b.mp4
Element neutralny i elementy przeciwne w
Plik:Ag1 3c.mp4
Element neutralny w


Elementem odwrotnym do niezerowego elementu jest element



Ciało liczb zespolonych ma charakterystykę 0.

Element oznaczamy przez . Liczbę rzeczywistą utożsamiamy z liczbą zespoloną . Dokładniej mówiąc, odwzorowanie



jest injekcją, czyli zbiór liczb rzeczywistych można uważać za podzbiór



zbioru liczb zespolonych. Co więcej, według powyższych formuł definiujących dodawanie i mnożenie w ciele liczb zespolonych, zwykłe dodawanie i mnożenie liczb rzeczywistych jest zawężeniem dodawania i mnożenia (odpowiednio) z ciała liczb zespolonych. Mówimy, że ciało jest podciałem ciała .

Liczba zespolona ma tę własność, że . W związku z tym, liczbę tę zapisywano jako . Oznaczenie to używane było już w XVI wieku, jako formalny symbol, do obliczania pierwiastków wielomianów. Współczesna teoria i symbolika liczb zespolonych pochodzi z XIX wieku.

Plik:Ag1 3d.mp4
Postać algebraiczna liczby zespolonej

Liczbę nazywamy jednostką urojoną i zgodnie z przyjętymi wyżej definicjami i ustaleniami, każdą liczbę zespoloną możemy zapisać jako . Liczbę rzeczywistą nazywamy częścią rzeczywistą (z łac. realis) liczby zespolonej i oznaczamy ją , zaś liczbę rzeczywistą nazywamy częścią urojoną ( z łac. imaginalis) liczby zespolonej i oznaczamy ją przez .

Liczby zespolone, jako elementy zbioru , możemy identyfikować z punktami na płaszczyźnie wyposażonej w prostokątny układ współrzędnych. Dokładniej mówiąc, liczbę zespoloną przedstawiamy na płaszczyźnie jako punkt o współrzędnych lub jako wektor o początku w początku układu współrzędnych (w punkcie o współrzędnych ) i końcu w punkcie o współrzędnych . Przyjmując tę geometryczną interpretację liczby zespolonej, zbiór wszystkich liczb zespolonych nazywamy płaszczyzną liczb zespolonych. Dodawaniu liczb zespolonych odpowiada dodawanie wektorów zaczepionych w początku układu współrzędnych.

Dla liczby zespolonej wprowadzamy pojęcie modułu i argumentu. Modułem liczby zespolonej nazywamy liczbę rzeczywistą określoną wzorem



Biorąc pod uwagę geometryczną interpretację liczb zespolonych, widzimy, że moduł liczby jest odległością punktu od początku układu współrzędnych lub długością wektora reprezentującego tę liczbę zespoloną. Moduł liczby zespolonej jest równy zeru wtedy i tylko wtedy, gdy liczba ta jest równa zeru.

Argumentem różnej od zera liczby zespolonej nazywamy każdą liczbę rzeczywistą spełniającą układ równań



Umawiamy się, że dla liczby zespolonej argumentem jest każda liczba rzeczywista. Argumentem głównym liczby zespolonej nazywamy ten argument, który leży w przedziale . Argument główny liczby zespolonej (niezerowej) oznaczmy przez .

Argument główny jest kątem nachylenia wektora do dodatniej półosi odciętych. Liczbę zespoloną różną od możemy teraz zapisać jako



Każdą liczbę zespoloną możemy zapisać jako



dla pewnego argumentu . Zapis ten nazywamy trygonometryczną postacią liczby zespolonej.


Postać trygonometryczna liczby zespolonej


Można przeliczyć, stosując znane ze szkoły wzory trgonometryczne, że jeśli i , to





Jeśli przyjmiemy, że , gdzie powtarza się razy, to posługując się ostatnim wzorem na mnożenie liczb zespolonych w postaci trygonometrycznej, dostajemy natychmiast tzw. wzory de Moivre'a na -tą potęgę liczby zespolonej



Dla liczby zespolonej definiujemy tak zwaną liczbę sprzężoną do liczby . Mianowicie, definiujemy



Jeśli , to



Wobec tego liczba sprzężona jest obrazem przez odbicie symetryczne względem osi odciętych liczby , gdzie traktujemy jako punkt płaszczyzny lub wektor.

Plik:Ag1 3e.mp4
Moduł i sprzężenie liczby zespolonej

Na koniec tego wykładu przytoczymy, bez dowodu, bardzo ważną cechę ciała liczb zespolonych, której to cechy nie ma ciało liczb rzeczywistych. Najpierw wprowadźmy następującą definicję

Definicja 3.1 [Algebraiczna domkniętość]

Mówimy, że ciało jest algebraicznie domknięte, jeśli każdy wielomian jednej zmiennej o współczynnikach z ciała ma w ciele miejsce zerowe.

Jak wiadomo, ciało liczb rzeczywistych nie ma takiej własności, bo np. wielomian nie ma miejsc zerowych w .

W przypadku liczb zespolonych zachodzi następujące twierdzenie, nazywane zasadniczym twierdzeniem algebry

Twierdzenie 3.2

Ciało liczb zespolonych jest algebraicznie domknięte.

Z twierdzenia tego wynika, że każdy wielomian o współczynnikach z ciała jest rozkładalny na czynniki stopnia 1 o współczynnikach z ciała .