Algebra. Wykłady dla Studiów Doktoranckich. Kazimierz Szymiczek

Wielkość: px
Rozpocząć pokaz od strony:

Download "Algebra. Wykłady dla Studiów Doktoranckich. Kazimierz Szymiczek"

Transkrypt

1 Algebra Wykłady dla Studiów Doktoranckich Kazimierz Szymiczek

2 Spis treści Przedmowa v 1 Grupy Grupy, podgrupy, homomorfizmy Definicja i przykłady grup Podgrupy i warstwy Podgrupy normalne Homomorfizmy Automorfizmy wewnętrzne Twierdzenie Jordana-Höldera Działanie grupy na zbiorze Działanie grupy przez automorfizmy wewnętrzne Zastosowania w teorii grup skończonych Iloczyn prosty i półprosty grup Iloczyny wewnętrzne Iloczyny zewnętrzne Iloczyn prosty Iloczyn półprosty Holomorf grupy Grupy wolne i kody genetyczne grup Monoidy wolne Grupy wolne Własność uniwersalna grupy wolnej Kod genetyczny grupy Zadania Pierścienie Podstawowe pojęcia Homomorfizmy i ideały Ideały w pierścieniach przemiennych Ideały pierwsze i maksymalne Rozszerzenie i zwężenie ideału Twierdzenie chińskie o resztach Elementy nilpotentne i dzielniki zera Pierścienie ułamków i lokalizacja Konstrukcja i

3 ii SPIS TREŚCI Własność uniwersalna Ideały pierścienia ułamków Zadania Moduły Definicje i przykłady Operacje na modułach Homomorfizmy modułów Rozszczepialne ciągi dokładne Moduły wolne Moduły projektywne Bazy dualne modułów projektywnych Moduły projektywne nad pierścieniami lokalnymi Bimoduły i reprezentacje pierścieni Iloczyn tensorowy modułów Rozszerzenie pierścienia skalarów Zadania Moduły nad pierścieniami ideałów głównych Moduły torsyjne Moduły skończenie generowane Grupy abelowe Grupy abelowe wolne Grupa abelowa wolna jako składnik prosty grupy abelowej.. 98 Generatory i relacje Skończenie generowane grupy abelowe Skończenie generowane beztorsyjne grupy abelowe Skończenie generowane mieszane grupy abelowe Torsyjne grupy abelowe Skończone grupy abelowe Zadania Kategorie Obiekty i morfizmy Monomorfizmy i epimorfizmy Iloczyny obiektów kategorii Sumy obiektów kategorii Funktory Transformacja naturalna funktorów Naturalna równoważność funktorów Funktory sprzężone Funktor K Grupa Grothendiecka Funktor K K teoria Zadania

4 SPIS TREŚCI iii 6 Pierścienie noetherowskie Moduły i pierścienie noetherowskie Moduły noetherowskie Pierścienie noetherowskie Moduły i pierścienie artinowskie Rozkład prymarny Ideały prymarne Radykał ideału Nota bibliograficzna Pierścienie Dedekinda Wymiar pierścienia Elementy całkowite nad pierścieniem Pierścienie Dedekinda Inna charakteryzacja pierścieni Dedekinda Pierścienie liczb algebraicznych całkowitych Zadania Afiniczne rozmaitości algebraiczne Zbiory algebraiczne i ich ideały Topologia Zariskiego Rozmaitości algebraiczne Twierdzenie Hilberta o zerach Zastosowania twierdzenia Hilberta o zerach Rozkład prymarny ideałów i rozkład zbioru algebraicznego na sumę rozmaitości Ideały maksymalne pierścienia wielomianów Ideały radykalne Ciało funkcji wymiernych na rozmaitości Pierścień funkcji wielomianowych na zbiorze algebraicznym Kategoria afinicznych zbiorów algebraicznych Zbiory algebraiczne określone nad podciałem Punkty K wymierne Ciało funkcji wymiernych na rozmaitości Wymiar rozmaitości Nieosobliwość rozmaitości Zadania Algebra endomorfizmów K algebry: definicje i przykłady Algebry z dzieleniem i algebry proste Centralność i prostota algebry endomorfizmów Wielomian minimalny endomorfizmu Endomorfizmy odwracalne Rząd endomorfizmu Podobieństwo endomorfizmów Zadania

5 iv SPIS TREŚCI 9 Algebra liniowa: Triangularyzacja i diagonalizacja Wartości własne endomorfizmu Endomorfizmy diagonalizowalne Postać kanoniczna trójkątna Diagonalizacja Zadania Algebra liniowa: Postacie kanoniczne Struktura K[X] modułu V τ Rozkład prymarny modułu V τ Rozkład modułu V τ na sumę prostą podmodułów cyklicznych Endomorfizmy nilpotentne Postać kanoniczna Jordana Jednoznaczność postaci kanonicznej Jordana Postać kanoniczna Jordana Postać kanoniczna Jednoznaczność postaci kanonicznej Wielomian charakterystyczny, wyznacznik, ślad Wielomian charakterystyczny Wyznacznik endomorfizmu Wyznacznik macierzy Ślad endomorfizmu Postać kanoniczna Frobeniusa Podprzestrzenie cykliczne Postać kanoniczna wymierna Jednoznaczność postaci kanonicznej Rozmaitości o endomorfizmach Podobieństwo przy zwężaniu ciała Charakteryzacja endomorfizmów nilpotentnych Transponowanie macierzy Zadania

6 Przedmowa Sometimes one has to say difficult things, but one ought to say them as simply as one knows how. G. H. Hardy Program studiów doktoranckich w Uniwersytecie Śląskim przewiduje wykłady z czterech podstawowych dyscyplin matematycznych. Wykłady te są adresowane do wszystkich uczestników studiów doktoranckich i mają ustanowić pewien minimalny standard wykształcenia matematycznego wszystkich doktorów, niezależnie od ich specjalizacji naukowej. W związku z tym programy tych wykładów przewidują jedynie hasła o ogólnym znaczeniu i unikają problematyki ważnej jedynie dla specjalistów. Niniejszy skrypt jest zapisem takiego wykładu z algebry w roku akademickim v

7 Rozdział 1 Grupy Ostatnie zmiany r. 1.1 Grupy, podgrupy, homomorfizmy Rozpoczniemy od przypomnienia podstawowych pojęć i faktów z teorii grup, występujących w kursowym uniwersyteckim wykładzie algebry. Następujące książki będą przydatne w odświeżaniu tych wiadomości: [BB] A. Białynicki-Birula, Zarys algebry. PWN Warszawa [H] I. N. Herstein, Topics in Algebra. 2nd edition. Wiley, New York [KM] M. I. Kargapołow, J. I. Mierzliakow, Podstawy teorii grup. PWN Warszawa [L] S. Lang, Algebra. PWN Warszawa [S] K. Szymiczek, Zbiór zadań z teorii grup. PWN Warszawa Definicja i przykłady grup Półgrupą nazywamy system złożony ze zbioru S i określonego w tym zbiorze łącznego działania binarnego. Monoidem nazywamy półgrupę z jedynką (elementem neutralnym). Grupą nazywamy monoid, w którym każdy element ma element odwrotny. Inne definicje: zob. [S], zad. 051, 053, niezależność aksjomatów: zad Przykład (a) Grupa symetryczna S(X) zbioru X. Jej elementami są bijekcje ϕ : X X, natomiast działaniem jest superpozycja bijekcji: dla ϕ, ψ S(X) odwzorowanie ϕ ψ : X X działa następująco: (ϕ ψ)(x) = ϕ(ψ(x)) dla każdego x X. Gdy zbiór X jest skończony, grupę S(X) nazywa się grupą permutacji zbioru X i oznacza S(n) (lub S n ), gdzie n jest liczbą elementów zbioru X. (b) Grupa funkcji M(X, G) określonych na zbiorze X o wartościach w grupie G. Dla dwóch funkcji f, g : X G ich iloczyn definiujemy jako funkcję fg : X G taką, że (fg)(x) = f(x) g(x) dla każdego x X (po prawej stronie mamy iloczyn dwóch elementów grupy G). (c) Pełna grupa liniowa GL(n, F ) składa się z wszystkich odwracalnych macierzy 1

8 2 ROZDZIAŁ 1. GRUPY kwadratowych stopnia n o elementach z ciała F. Specjalna grupa liniowa SL(n, F ) składa się z wszystkich macierzy kwadratowych stopnia n o elementach z ciała F, których wyznacznik jest równy 1. (d) Grupa kwaternionów Quat. W grupie SL(2, C) weźmy macierze A = [ 0 i i 0 ], B = [ Wtedy A 4 = B 4 = I, A 2 = B 2, BAB 1 = A 1 i równości te pozwalają stwierdzić, że następujących 8 macierzy I, A, A 2, A 3, B, AB, A 2 B, A 3 B tworzy grupę. Nazywamy ją grupą kwaternionów i oznaczamy Quat lub Q. (e) Grupa diedralna D(n). W grupie permutacji S(n) weźmy permutacje ( ) n x = (12... n), y =. n n Sprawdzamy, że x n = y 2 = 1, yxy 1 = x 1. Równości te pozwalają stwierdzić, że 2n permutacji 1, x,..., x n 1, y, xy,..., x n 1 y tworzy grupę. Nazywamy ją grupą diedralną i oznaczamy D(n) (lub D n ). Grupę tę nazywa się także grupą izometrii n kąta foremnego, gdyż numerując wierzchołki n kąta foremnego liczbami 1, 2,..., n stwierdzamy, że x i y, a także każdy element grupy D(n), można zinterpretować jako izometrię tego n kąta. Faktycznie są to wszystkie izometrie n kąta foremnego. Obszerną listę przykładów można znaleźć w [S], zad Podgrupy i warstwy Podgrupą H grupy G nazywamy podzbiór grupy G zamknięty ze względu na działanie grupowe (jeśli a, b H, to także ab H), który sam jest grupą ze względu na działanie będące zacieśnieniem działania na G do H. Piszemy wtedy H < G. H < G wtedy i tylko wtedy, gdy spełniony jest warunek: x, y H xy 1 H. Łatwo stwierdzić, że część wspólna dowolnej rodziny podgrup grupy G jest podgrupą grupy G. W szczególności, jeśli A jest podzbiorem grupy G, to część wspólna wszystkich podgrup grupy G zawierających zbiór A jest podgrupą grupy G. Nazywamy ją podgrupą generowaną przez zbiór A i oznaczamy A. Na przykład, grupa kwaternionów Quat jest podgrupą grupy SL(2, C) generowaną przez macierze A, B z przykładu 1.1.1(d). Podobnie, grupa diedralna D(n) jest podgrupą S(n) generowaną przez permutacje x, y z przykładu 1.1.1(e), zatem w grupie S(n) mamy x, y = D(n). Dla podzbiorów A i B grupy G określamy ich iloczyn kompleksowy A B := {a b G : a A, b B}. ].

9 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY 3 Dla każdych trzech podzbiorów A, B, C grupy G mamy (A B) C = A (B C). Jeśli A i B są podgrupami grupy G, to iloczyn AB jest podgrupą grupy G wtedy i tylko wtedy gdy AB = BA. Warstwą lewostronną grupy G względem podgrupy H wyznaczoną przez element a G nazywamy zbiór ah := {a} H = {ah G : h H}. Podobnie definiuje się warstwę prawostronną Ha := {ha G : h H}. Każda warstwa grupy G względem podgrupy H jest równoliczna z podgrupą H. Mianowicie odwzorowania H ah, h ah oraz H Ha, h ha są bijekcjami. Jeśli dwie warstwy lewostronne ah i bh mają choć jeden element wspólny, to są identyczne: ah = bh. Podobnie dla warstw prawostronnych. Ponieważ każdy element a G należy do dokładnie jednej warstwy ah grupy G względem podgrupy H i różne warstwy są rozłączne, grupę G można przedstawić jako sumę mnogościową parami rozłącznych warstw G = i I a i H. Łatwo sprawdzić, że odwzorowanie ah Ha 1 jest bijekcją pomiędzy zbiorem warstw lewostronnych i zbiorem warstw prawostronnych grupy G względem podgrupy H. Zatem zbiory te są równoliczne a ich wspólną moc nazywa się indeksem podgrupy H w grupie G. Zbiór parami rozłącznych warstw lewostronnych a i H oznacza się G : H. Moc G : H zbioru warstw G : H, czyli moc zbioru I, jest więc indeksem podgrupy H w grupie G. Rozkład grupy G na sumę mnogościową parami rozłącznych warstw wraz z faktem, że każde dwie warstwy grupy względem tej samej podgrupy są równoliczne, prowadzi natychmiast do twierdzenia Lagrange a mówiącego, że dla grupy skończonej G i jej dowolnej podgrupy H mamy G : H H = G. Łatwo też zauważyć uogólnienie: dla grupy skończonej G, jeśli K < H < G, to Podgrupy normalne G : H H : K = G : K. Podgrupa H grupy G nazywa się podgrupą normalną, jeśli ah = Ha a G. Piszemy wtedy H G. Zob. [S], zad. 213, gdzie podanych jest 10 innych warunków definiujących podgrupę normalną. Dwie podstawowe obserwacje:

10 4 ROZDZIAŁ 1. GRUPY 1. Jeśli H G i K < G, to HK = KH i wobec tego HK jest podgrupą grupy G. A więc iloczyn kompleksowy dowolnej podgrupy normalnej i dowolnej podgrupy grupy G jest podgrupą grupy G. 2. Jeśli H G oraz a, b G, to ah bh = a(hb)h = a(bh)h = abhh = abh. A więc iloczyn kompleksowy dwóch warstw względem podgrupy normalnej H jest znów warstwą względem H. Zbiór G : H wszystkich warstw ah grupy G względem podgrupy normalnej H oznacza się G/H. Zbiór G/H z kompleksowym mnożeniem warstw jest grupą (z jedynką H). Nazywa się ją grupą ilorazową grupy G względem podgrupy normalnej H. Przykład Jeśli grupa G jest abelowa, to każda podgrupa H grupy G jest podgrupą normalną. W dowolnej grupie G jej centrum Z(G) = {a G : ag = ga g G} jest podgrupą normalną w G. W pełnej grupie liniowej GL(n, K) stopnia n nad ciałem K centrum składa się z wszystkich macierzy skalarnych ai, gdzie a K oraz I jest macierzą jednostkową stopnia n (zob. [S], zad. 288). Mamy także SL(n, K) GL(n, K). Dla A GL(n, K) warstwa A SL(n, K) składa się z wszystkich macierzy grupy GL(n, K), których wyznacznik jest równy det A. Komutantem grupy G nazywa się podgrupę [G, G] grupy G generowaną przez zbiór wszystkich komutatorów, czyli elementów postaci [a, b] := a 1 b 1 ab, gdzie a, b są dowolnymi elementami G. W grupie abelowej G mamy [a, b] = 1 dla każdych a, b G, zatem także [G, G] = 1. Natomiast w grupie nieabelowej G jej komutant [G, G] jest zawsze nietrywialną podgrupą grupy G. Ponadto, [G, G] G dla każdej grupy G. Łatwo stwierdzić, że grupa ilorazowa G/[G, G] jest abelowa. Grupę G {1} nazywa się prostą, jeśli podgrupa jednostkowa E = {1} oraz cała grupa G są jedynymi podgrupami normalnymi w G. Przykład (a) Na podstawie twierdzenia Lagrange a, jeśli rząd grupy G jest liczbą pierwszą, to grupa G nie posiada właściwych podgrup i tym bardziej nie posiada właściwych podgrup normalnych, jest zatem grupą prostą. A więc grupy reszt Z p, gdzie p jest liczbą pierwszą, są proste. (b) W kursowym wykładzie algebry dowodzi się także, że grupy alternujące A n (grupy permutacji parzystych) dla n 5 są grupami prostymi. (c) Jeszcze jedną serię nieskończoną skończonych grup prostych otrzymuje się jako grupy ilorazowe specjalnych grup liniowych. Grupa SL(n, K) ma centrum złożone z macierzy skalarnych o wyznaczniku 1, a więc Z(SL(n, K)) = {ai : a K, a n = 1}. Grupa ilorazowa SL(n, K)/Z(SL(n, K)) nazywa się rzutową grupą specjalną stopnia n nad ciałem K i oznacza się ją PSL(n, K). Można udowodnić, że dla każdego ciała K, które ma co najmniej 4 elementy i dla każdej liczby naturalnej n 2 grupa PSL(n, K) jest prosta (zob. [KM], str. 125).

11 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY Homomorfizmy Homomorfizmem grupy G w grupę G nazywamy każde odwzorowanie h : G G takie, że h(ab) = h(a)h(b) dla każdych a, b G. Jeśli f : G G jest także homomorfizmem grup, to złożenie f h : G G jest także homomorfizmem grup. Często zamiast f h będziemy w takiej sytuacji pisać po prostu fh. Obrazem im h homomorfizmu h : G G nazywamy obraz h(g) grupy G w grupie G. Jest to podgrupa grupy G. Jądrem ker h homomorfizmu h nazywamy zbiór h 1 (1 ), czyli zbiór tych elementów grupy G, których obrazem poprzez h jest jedynka 1 G grupy G. Łatwo sprawdza się, że ker h jest podgrupą grupy G. Jeśli h : G G jest homomorfizmem, to dla każdego a G Zatem ker h jest podgrupą normalną grupy G. Dla dowodu (1.1) zauważmy, że ker h a = h 1 (h(a)) = a ker h. (1.1) h 1 (h(a)) = {b G : h(b) = h(a)} = {b G : a 1 b ker h} = {b G : b a ker h} = a ker h. Ponieważ h(a) = h(b) pociąga również ba 1 ker h, czyli b ker h a, więc także ker h a = h 1 (h(a)). Formułę (1.1) łatwo uogólnimy w następujący sposób: dla dowolnego niepustego podzbioru A grupy G Rzeczywiście, h 1 (h(a)) = ker h A = h 1 (h(a)) = A ker h. (1.2) a A h 1 (h(a)) = a A a ker h = A ker h i podobnie otrzymamy drugą część równości (1.2). Z równości (1.2) otrzymujemy teraz ker h < H < G h 1 (h(h)) = H (1.3) dla dowolnego homomorfizmu h : G G. Jeśli homomorfizm h jest odwzorowaniem różnowartościowym (injektywnym), to dla każdego a G zbiór h 1 (h(a)) jest jednoelementowy. A więc na podstawie (1.1) homomorfizm h jest injektywny wtedy i tylko wtedy gdy ker h = {1}. Definicja Homomorfizm grup h : G G nazywa się monomorfizmem kategoryjnym grupy G w grupę G jeśli dla dowolnej grupy K i homomorfizmów f 1, f 2 : K G mamy następującą implikację: hf 1 = hf 2 f 1 = f 2.

12 6 ROZDZIAŁ 1. GRUPY Homomorfizmy występujące w tej definicji wygodnie jest zapisać w postaci następującego diagramu: f 1 K G h G f 2 K Rozważymy teraz własność homomorfizmów dualną w stosunku do kategoryjnej monomorficzności. Dualność ta polega na tym, że w definicji zmieniamy kierunki działania wszystkich homomorfizmów. Definicja Homomorfizm grup h : G G nazywa się epimorfizmem kategoryjnym grupy G w grupę G jeśli dla dowolnej grupy K i homomorfizmów f 1, f 2 : G K mamy następującą implikację: hf 1 hf 2 f 1 h = f 2 h f 1 = f 2. Homomorfizmy występujące w tej definicji tworzą następujący diagram: K f 1 f 1 h G h G f 2 K f 2 h Stwierdzenie Jeśli homomorfizm grup h : G G jest odwzorowaniem injektywnym, to h jest monomorfizmem kategoryjnym grupy G w grupę G. Jeśli homomorfizm grup h : G G jest odwzorowaniem surjektywnym, to h jest epimorfizmem kategoryjnym grupy G w grupę G. Dowód. W oznaczeniach definicji zakładamy, że a K oraz hf 1 = hf 2. Wtedy h(f 1 (a)) = (hf 1 )(a) = (hf 2 )(a) = h(f 2 (a)). Jeśli h jest odwzorowaniem injektywnym, to stąd otrzymujemy f 1 (a) = f 2 (a). Wobec tego f 1 = f 2. Podobnie, w oznaczeniach definicji zakładamy, że a G oraz f 1 h = f 2 h. Jeśli h jest odwzorowaniem surjektywnym, to istnieje b G taki, że a = h(b). Wobec tego f 1 (a) = f 1 (h(b)) = (f 1 h)(b) = (f 2 h)(b) = f 2 (h(b)) = f 2 (a). Stąd f 1 = f 2.

13 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY 7 Injektywny homomorfizm grup h : G G nazywa się zwykle monomorfizmem, zaś homomorfizm surjektywny nazywa się epimorfizmem. Tak więc każdy monomorfizm grup jest monomorfizmem kategoryjnym i każdy epimorfizm grup jest epimorfizmem kategoryjnym. Można pokazać, że twierdzenia odwrotne są także prawdziwe i w związku z tym nie ma konieczności rozróżniania morfizmów grupowych i kategoryjnych. W rozdziale 5 dyskutujemy ten problem w pełnej ogólności. Homomorfizm, który jest równocześnie monomorfizmem i epimorfizmem nazywa się izomorfizmem. Najważniejszym przykładem homomorfizmu grup jest homomorfizm kanoniczny κ : G G/H, gdzie H jest dowolną podgrupą normalną grupy G. Jest on określony następująco: κ(a) = ah dla a G. Jest to epimorfizm oraz ker κ = H. A więc każda podgrupa normalna H grupy G jest jądrem pewnego homomorfizmu grupy G w odpowiednio dobraną grupę G (na przykład na grupę ilorazową G/H). Sformułujemy teraz trzy podstawowe twierdzenia o homomorfizmach grup. Twierdzenie (Twierdzenie o faktoryzacji.) Jeśli h : G G jest homomorfizmem grup, J := ker h oraz κ : G G/J jest homomorfizmem kanonicznym, to istnieje dokładnie jeden monomorfizm h : G/J G taki, że h = h κ, a więc taki, że następujący diagram jest przemienny: h G G κ G/J Homomorfizm h definiuje się kładąc h (aj) = h(a) dla a G. Z tego twierdzenia wynika, że każdy homomorfizm h : G G ma rozkład postaci h G κ G/J h im h j G, gdzie κ jest homomorfizmem kanonicznym, h jest izomorfizmem oraz j jest włożeniem. Innym bardzo użytecznym faktem jest następujący wniosek. Wniosek Jeśli h : G G jest epimorfizmem grup, to homomorfizm h jest izomorfizmem i wobec tego G/ ker h = G. Uwaga Twierdzenie o faktoryzacji można sformułować w następującej nieco ogólniejszej formie. Niech H będzie podgrupą normalną grupy G i niech h : G G będzie homomorfizmem grup. Jeśli H ker h, to istnieje dokładnie jeden homomorfizm h : G/H G taki, że h = h κ, gdzie κ : G G/H jest homomorfizmem kanonicznym. Ponadto, jeśli H = ker h, to h jest monomorfizmem. Założenie, że H ker h pozwala określić h formułą h (ah) = h(a). Rzeczywiście, jeśli ah = bh, to a 1 b H ker h, skąd wynika, że h(a) = h(b). Ponadto, jeśli H = ker h, to h(a) = 1 pociąga ah = H, zatem h jest monomorfizmem.

14 8 ROZDZIAŁ 1. GRUPY Dla grupy G symbolami Sub G i NSub G oznaczamy odpowiednio zbiór wszystkich podgrup grupy G i zbiór wszystkich podgrup normalnych grupy G. Jeśli H jest podgrupą grupy G, to Sub H G i NSub H G oznaczają odpowiednio zbiór wszystkich podgrup grupy G zawierających podgrupę H i zbiór wszystkich podgrup normalnych grupy G zawierających podgrupę H. Twierdzenie (Twierdzenie o odpowiedniości.) Niech h : G G będzie epimorfizmem grup. Wtedy przyporządkowanie h : Sub J G Sub G, h (H) = h(h) każdej podgrupie H grupy G zawierającej jądro J = ker h jej obrazu h(h) w grupie G jest bijekcją taką, że h (NSub J G) = NSub G. Ponadto, dla każdej podgrupy normalnej H grupy G zawierającej jądro J = ker h mamy izomorfizm G/H = G /h(h). Dowód. Dla L Sub G mamy h(h 1 (L)) = L, zatem h jest odwzorowaniem surjektywnym. Dla dowodu, że h jest odwzorowaniem injektywnym przypuśćmy, że J < H 1, H 2 < G oraz h(h 1 ) = h(h 2 ). Wtedy na podstawie (1.3) mamy H 1 = h 1 (h(h 1 )) = h 1 (h(h 2 )) = H 2. A więc h jest bijekcją. Niech teraz J < H G (to znaczy H NSub J G). Wtedy dla x G oraz a G takiego, że h(a) = x mamy x h(h) x 1 = h(a) h(h) h(a 1 ) = h(aha 1 ) = h(h). Stąd wynika, że h(h) NSub G. Zatem zacieśnienie h do NSub J G jest injekcją w zbiór NSub G. Pozostaje pokazać, że zacieśnienie to jest surjekcją. Niech więc L NSub G. Dla każdego a G mamy h(a h 1 (L) a 1 ) = h(a) L h(a) 1 = L. Zatem a h 1 (L) a 1 h 1 (L). Stąd wynika już, że h 1 (L) G i wobec h(h 1 (L)) = L odwzorowanie h jest surjekcją. Dla dowodu ostatniej części twierdzenia określamy odwzorowanie h : G G /h(h), h (a) = h(a)h(h). Z łatwością stwierdzamy, że h jest epimorfizmem grup. Ponadto, ponieważ ker h < H, na podstawie (1.3) mamy ker h = {a G : h(a) h(h)} = h 1 (h(h)) = H. Zatem istnienie izomorfizmu G/H = G /h(h) wynika z wniosku Wniosek Jeśli H G, to homomorfizm kanoniczny κ : G G/H indukuje bijekcję κ : Sub H G Sub G/H taką, że κ (NSub H G) = NSub G/H.

15 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY 9 Wniosek Jeśli K G, H G i K < H, to K H (a) H/K G/K, (b) (G/K)/(H/K) = G/H. oraz Dowód. Rozpatrzmy homomorfizm kanoniczny κ : G G/K =: G. Wtedy na podstawie wniosku mamy κ(h) = H/K G/K, oraz na podstawie twierdzenia otrzymujemy G/H = G /κ(h) = (G/K)/(H/K). Bardziej bezpośredni dowód otrzymamy rozpatrując odwzorowanie G/K G/H, gk gh. Jest to epimorfizm z jądrem H/K. Izomorfizm w części (b) wniosku otrzymujemy przez zastosowanie wniosku Twierdzenie (Twierdzenie o izomorfizmie.) Jeśli H G, K < G, to (a) H K K, (b) HK/H = K/H K. Dowód. Przede wszystkim HK < G, gdyż z założeń wynika, że HK = KH, a to wystarcza by iloczyn dwóch podgrup grupy G był jej podgrupą. H jest podgrupą normalną w G, zatem jest także podgrupą normalną w HK. Dla dowodu twierdzenia rozważamy homomorfizm K HK/H, k kh. Jest to epimorfizm i ma jądro K H skąd wobec wniosku otrzymujemy (b) Automorfizmy wewnętrzne Automorfizmem grupy G nazywamy każdy izomorfizm α : G G. Zbiór Aut G wszystkich automorfizmów grupy G jest podgrupą grupy symetrycznej S(G) zbioru G. Dla każdego elementu a G definiujemy odwzorowanie i a : G G, i a (x) = axa 1. Łatwo sprawdza się, że i a Aut G. Automorfizm i a nazywa się automorfizmem wewnętrznym grupy G. Dla a, b G mamy i a i b = i ab oraz i 1 a = i a 1. Stąd wynika, że automorfizmy wewnętrzne tworzą podgrupę w grupie automorfizmów grupy G. Nazywamy ją grupą automorfizmów wewnętrznych grupy G i oznaczamy Inn G. Odwzorowanie G Inn G, a i a jest epimorfizmem grup. Jądrem tego epimorfizmu jest podgrupa normalna {a G : i a = id G } = {a G : ax = xa x G} = Z(G). Na podstawie wniosku mamy zatem izomorfizm gdzie Z(G) jest centrum grupy G. Inn G = G/Z(G),

16 10 ROZDZIAŁ 1. GRUPY Twierdzenie Jordana-Höldera Jeśli H G i grupa G/H nie jest prosta, to na podstawie wniosku istnieje podgrupa K grupy G różna od H i G taka, że H K G. Podobnie, jeśli grupa K/H nie jest prosta (lub gdy G/K nie jest prosta), to istnieje podgrupa K 1 grupy K różna od H i K taka, że H K 1 K (istnieje podgrupa K 2 grupy G różna od K i G taka, że K K 2 G). Kontynuując to postępowanie dla grupy skończonej G skonstruujemy ciąg podnormalny H 0 = E H 1 H k 1 G = H k (1.4) którego faktory H i+1 /H i są grupami prostymi dla i = 0, 1,..., k 1. Taki ciąg podnormalny grupy G nazywa się ciągiem kompozycyjnym grupy G a liczba k nazywa się długością ciągu kompozycyjnego (1.4). Każda grupa skończona posiada więc przynajmniej jeden ciąg kompozycyjny, ale jak sugeruje konstrukcja przedstawiona powyżej, grupa mająca wiele podgrup normalnych będzie na ogół miała wiele ciągów kompozycyjnych. Podstawowe pytania jakie się nasuwają są następujące: (a) Czy grupa skończona może mieć ciągi kompozycyjne o różnych długościach? (b) Czy faktory proste ciągu kompozycyjnego są wyznaczone jednoznacznie (z dokładnością do izomorfizmu) przez grupę G, czy też zależą od ciągu kompozycyjnego? Na obydwa te pytania istnieje bardzo satysfakcjonująca odpowiedź znana jako twierdzenie Jordana-Höldera (zob. [L], str.123): Długości wszystkich ciągów kompozycyjnych grupy skończonej są równe. Zbiory faktorów prostych F 1,..., F k oraz G 1,..., G k dowolnych dwóch ciągów kompozycyjnych grupy skończonej G różnią się (z dokładnością do izomorfizmu) co najwyżej porządkiem. Oznacza to, że istnieje permutacja π S(k) taka, że grupy F i oraz G π(i) są izomorficzne dla i = 1,..., k. Z twierdzenia Jordana-Höldera wynika, że jeśli dwie grupy skończone mają różne długości ciągów kompozycyjnych lub jeśli ich ciągi kompozycyjne mają różne zbiory faktorów prostych, to grupy te nie mogą być izomorficzne. Jest to jeden z motywów zainteresowania problemem klasyfikacji skończonych grup prostych. Problem ten polega na charakteryzacji z dokładnością do izomorfizmu wszystkich skończonych grup prostych. Praca nad klasyfikacją skończonych grup prostych trwa już ponad 110 lat (od 1892 roku). Okres największej koncentracji pracy przypadł na lata Wreszcie w roku 1981 ogłoszono że problem został kompletnie rozwiązany. Oceniano, że kompletny dowód twierdzenia klasyfikacyjnego tworzy zestaw co najmniej 500 prac zajmujących co najmniej stronic w profesjonalnych czasopismach matematycznych i napisanych przez około 100 matematyków. Pierwszą próbą objaśnienia twierdzenia klasyfikacyjnego była monografia Daniela Gorensteina Finite simple groups. An introduction to their classification. Plenum Press Pod koniec lat 90-tych znaleziono jednak pewne luki w argumentacji (w 800-stronicowej pracy Masona) i podjęto próbę uratowania twierdzenia klasyfikacyjnego. W 2004 roku ukazały się dwie książki Aschbachera i Smitha pod wspólnym tytułem The classification

17 1.2. DZIAŁANIE GRUPY NA ZBIORZE 11 of quasithin groups (razem ponad 1200 stronic), które według przekonania autorów definitywnie usuwają znalezione luki i w ten sposób stanowią ostatnie ogniwo w klasyfikacji skończonych grup prostych (zob. informację bibliograficzną w Notices of the AMS Vol. 51 No. 8 (2004), p. 977). Jednakże kompletny dowód twierdzenia klasyfikacyjnego nie jest jeszcze napisany i ciągle istnieją wątpliwości, czy nie pojawią się luki trudne do uzupełnienia. Trwa realizacja programu Gorensteina, Lyonsa i Solomona przedstawienia głównych części dowodu twierdzenia klasyfikacyjnego. W latach opublikowano 6 monografii w wydawnictwie American Mathematical Society, ale program ten jest jeszcze daleki od finalizacji. Autorzy tego projektu przewidują, że uda im się napisać kompletny dowód twierdzenia klasyfikacyjnego w serii monografii, które w sumie będą miały około 3000 do 4000 stronic tekstu. Zapowiedź autorów w pierwszym tomie serii brzmi dość skromnie: It is our purpose in these monographs to prove the following theorem: Classification Theorem. Every finite simple group is cyclic of prime order, an alternating group, a finite simple group of Lie type, or one of the twenty-six sporadic finite simple groups. Historię całego przedsięwzięcia przedstawia interesująco praca Ronalda Solomona A brief history of the classification of the finite simple groups, Bulletin of the Amer. Math. Soc. Vol. 38 (2001), pp Sytuację po ukazaniu się książek Aschbachera i Smitha opisuje Micheal Aschbacher w artykule The status of the classification of finite simple groups, Notices of the Amer. Math. Soc. Vol. 51, No. 7 (2004), pp Powracając do ciągu kompozycyjnego (1.4), jeśli faktory tego ciągu są abelowe (a więc izomorficzne z grupami Z p dla liczb pierwszych p), to grupa G nazywa się grupą rozwiązalną. Wszystkie grupy małych rzędów są rozwiązalne. Najmniejszą grupą skończoną, która nie jest rozwiązalna jest grupa alternująca A 5 rzędu 60. Jest to mianowicie najmniejsza nieabelowa grupa prosta. Żadna nieabelowa grupa prosta G nie jest rozwiązalna, gdyż E G jest jej ciągiem kompozycyjnym i jedyny faktor prosty G/E = G jest grupą nieabelową. Najsławniejszym twierdzeniem o grupach rozwiązalnych jest zapewne twierdzenie Feita i Thompsona z 1963 roku mówiące, że każda grupa skończona rzędu nieparzystego jest rozwiązalna. Wynika stąd w szczególności, że każda nieabelowa skończona grupa prosta ma rząd parzysty. 1.2 Działanie grupy na zbiorze Mówimy, że grupa G działa na zbiorze X jeśli jest dane odwzorowanie takie, że spełnione są dwa warunki: (a) f(gx) = (fg)x dla f, g G, x X, (b) 1x = x dla x X. G X X, (g, x) gx, Uwaga Każdy element g G wyznacza odwzorowanie g zbioru X w siebie g : X X, g (x) = gx.

18 12 ROZDZIAŁ 1. GRUPY Odwzorowanie to jest bijekcją. Injektywność g wynika stąd, że gx = gy g 1 (gx) = g 1 (gy) (g 1 g)x = (g 1 g)y x = y. Natomiast surjektywność g wynika z faktu, że x = g(g 1 x) dla każdego x X. Krótko mówiąc, (g 1 ) jest odwzorowaniem odwrotnym do g. Uwaga Odwzorowanie G S(X), g g jest homomorfizmem grup. Mamy mianowicie (fg) (x) = (fg)x = f(gx) = f (g (x)) = (f g )(x) dla każdych x X, f, g G. Zatem (fg) = f g. Na odwrót, każdy homomorfizm G S(X), g g wyznacza działanie grupy G na zbiorze X poprzez odwzorowanie G X X, (g, x) gx = g (x). Rzeczywiście, dla f, g G mamy f g = (fg) zatem dla dowolnego x X otrzymujemy f(gx) = f(g (x)) = f (g (x)) = (f g )(x) = (fg) (x) = (fg)x, 1x = 1 (x) = x, gdzie 1 jest jedynką grupy S(X). Przyporządkowanie każdemu homomorfizmowi grupy G w grupę symetryczną S(X) zbioru X odpowiadającego mu w ten sposób działania grupy G na zbiorze X ustala wzajemnie jednoznaczną odpowiedniość między homomorfizmami grupy G w grupę S(X) i działaniami grupy G na zbiorze X. W związku z tym działaniem grupy G na zbiorze X można nazwać dowolny homomorfizm G S(X). Przykład Najbardziej naturalnym przykładem działania grupy na zbiorze jest działanie grupy symetrycznej G = S(X) zbioru X na zbiorze X: S(X) X X, (σ, x) σ(x). Odpowiadający temu działaniu homomorfizm G S(X) jest homomorfizmem identycznościowym. Definicja Niech grupa G działa na zbiorze X. Elementy x, y X nazywają się sprzężone, jeśli istnieje g G taki, że y = gx. Piszemy wtedy x y. O elemencie g takim, że y = gx mówimy, że transformuje x na y. Relacja sprzężenia jest relacją równoważnościową w zbiorze X. Definicja Klasę abstrakcji relacji sprzężenia nazywa się orbitą zbioru X, lub G-orbitą zbioru X.

19 1.2. DZIAŁANIE GRUPY NA ZBIORZE 13 G-orbita zbioru X zawierająca element x X ma postać: {y X : y x} = {gx X : g G} =: Gx. Zbiór X można więc przedstawić jako sumę mnogościową rozłącznych orbit: X = Gx i gdzie x i przebiega zbiór reprezentantów orbit zbioru X. Stąd, dla zbioru skończonego X, otrzymujemy X = Gx i. Bardzo ważnym dla zastosowań jest fakt, że liczbę elementów Gx orbity Gx można przedstawić jako indeks pewnej podgrupy grupy G. Przystępujemy do opisu tego przedstawienia. Definicja Niech grupa G działa na zbiorze X. Stabilizatorem elementu x X nazywamy zbiór Stab x = {f G : fx = x}. Łatwo zauważyć, że Stab x jest podgrupą grupy G. Jeśli s Stab x, to dla dowolnego elementu g G mamy (gs)x = g(sx) = gx. A więc każdy element warstwy g Stab x transformuje element x na ten sam element gx. Pokażemy, że poza warstwą g Stab x nie ma w grupie G elementów, które transformują x na gx. Twierdzenie Niech grupa G działa na zbiorze X i niech x X, g G. (a) Jeśli y = gx, to zbiór elementów h G transformujących x na y (tzn. takich, że y = hx ) jest warstwą g Stab x w grupie G. (b) Przyporządkowanie elementowi y = gx Gx zbioru wszystkich elementów h G transformujących x na y jest bijekcją orbity Gx na zbiór warstw G : Stab x. Dowód. (a) wynika z następujących równoważności: gx = hx x = g 1 hx g 1 h Stab x h g Stab x. (b) Na podstawie (a) mamy odwzorowanie Gx G : Stab x, gx {h G : gx = hx} = g Stab x. (1.5) Jest to oczywiście surjekcja (bo g przebiega całą grupę G). Injektywność wynika z następujących równoważności: f Stab x = g Stab x f 1 g Stab x fx = gx. Zatem odwzorowanie (1.5) jest bijekcją. Wniosek Jeśli grupa G działa na zbiorze X, to dla każdego x X, Gx = G : Stab x. W szczególności, jeśli grupa G jest skończona, to liczba elementów w orbicie Gx jest dzielnikiem rzędu grupy G. Wniosek Jeśli grupa skończona G działa na zbiorze skończonym X oraz {x 1,..., x k } jest zbiorem reprezentantów wszystkich orbit zbioru X, to k X = G : Stab x i. i=1 Tę równość nazywa się równaniem klas dla działania grupy G na zbiorze X.

20 14 ROZDZIAŁ 1. GRUPY Działanie grupy przez automorfizmy wewnętrzne Rozpatrujemy działanie grupy G na zbiorze X = G określone następująco: G G G, (g, x) gxg 1 =: x g. Gdybyśmy zachowali oznaczenie gx dla obrazu pary (g, x) w zbiorze X = G, to mielibyśmy gx = gxg 1, co byłoby mylące. Dlatego w tym specjalnym przypadku stosujemy symbolikę wykładniczą i piszemy x g zamiast gx. Zauważmy, że związana z tym działaniem grupy G na G bijekcja g S(G) działa następująco: g (x) = gxg 1 = i g (x) x G. A więc g jest automorfizmem wewnętrznym i g. W związku z tym, opisane wyżej działanie grupy G na G nazywa się działaniem przez automorfizmy wewnętrzne. Orbitę x G = {x g G : g G} = {gxg 1 : g G} nazywa się klasą elementów sprzężonych grupy G. Natomiast stabilizator Stab x = {f G : fxf 1 = x} = {f G : fx = xf} nazywa się centralizatorem elementu x i oznacza Z(x). Dla grupy skończonej G równanie klas przyjmuje następującą postać: k k G = G : Stab x i = G : Z(x i ). i=1 i=1 Tutaj x 1,..., x k są elementami reprezentującymi wszystkie różne klasy elementów sprzężonych grupy G oraz G : Z(x i ) = x G i jest liczbą elementów w klasie elementów sprzężonych z elementem x i. Na szczególną uwagę zasługują klasy jednoelementowe: x G = 1 gx = xg g G x Z(G). A więc klasa jest jednoelementowa wtedy i tylko wtedy gdy jej element należy do centrum Z(G) grupy G. Stąd rozbicie grupy G na rozłączne klasy elementów sprzężonych zapisujemy zwykle w postaci G = Z(G) x G 1 x G r, gdzie elementy x i reprezentują różne klasy elementów sprzężonych oraz x G i > 1 dla i = 1,..., r, a równanie klas r r G = Z(G) + x G i = Z(G) + G : Z(x i ), i=1 i=1 gdzie x i G reprezentują różne klasy elementów sprzężonych oraz G : Z(x i ) > 1 dla i = 1,..., r.

Grupy. Rozdział 1. 1.1 Grupy, podgrupy, homomorfizmy. 1.1.1 Definicja i przykłady grup

Grupy. Rozdział 1. 1.1 Grupy, podgrupy, homomorfizmy. 1.1.1 Definicja i przykłady grup Rozdział 1 Grupy Ostatnie zmiany 24.10.2005 r. 1.1 Grupy, podgrupy, homomorfizmy Rozpoczniemy od przypomnienia podstawowych pojęć i faktów z teorii grup, występujących w kursowym uniwersyteckim wykładzie

Bardziej szczegółowo

Teoria ciała stałego Cz. I

Teoria ciała stałego Cz. I Teoria ciała stałego Cz. I 1. Elementy teorii grup Grupy symetrii def. Grupy Zbiór (skończony lub nieskończony) elementów {g} tworzy grupę gdy: - zdefiniowana operacja mnożenia (złożenia) g 1 g 2 = g 3

Bardziej szczegółowo

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1 4. Wykład 4: Grupy rozwiązalne i nilpotentne. Definicja 4.1. Niech (G, ) będzie grupą. Wówczas (1) ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G (0) = G, G (i) =[G (i 1),G (i 1) ], dla i N nazywamy

Bardziej szczegółowo

Działanie grupy na zbiorze

Działanie grupy na zbiorze Działanie grupy na zbiorze Definicja 0.1 Niech (G, ) będzie dowolną grupą oraz X niepustym zbiorem, to odwzorowanie : G X X nazywamy działaniem grupy G na zbiorze X jeślinastępujące warunki są spełnione:

Bardziej szczegółowo

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi. Grupy. Permutacje 1 1 Definicja grupy Niech G będzie zbiorem. Działaniem na zbiorze G nazywamy odwzorowanie (oznaczane, jak mnożenie, przez ) przyporządkowujące każdej parze uporządkowanej (a, b) G G element

Bardziej szczegółowo

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm 1 Grupa ilorazowa Niech H b edzie dzielnikiem normalnym grupy G. Oznaczmy przez G/H zbiór wszystkich warstw lewostronnych grupy G wzgl edem podgrupy

Bardziej szczegółowo

Algebra liniowa z geometrią

Algebra liniowa z geometrią Algebra liniowa z geometrią Maciej Czarnecki 15 stycznia 2013 Spis treści 1 Geometria płaszczyzny 2 1.1 Wektory i skalary........................... 2 1.2 Macierze, wyznaczniki, układy równań liniowych.........

Bardziej szczegółowo

Paweł Gładki. Algebra. http://www.math.us.edu.pl/ pgladki/

Paweł Gładki. Algebra. http://www.math.us.edu.pl/ pgladki/ Paweł Gładki Algebra http://www.math.us.edu.pl/ pgladki/ Konsultacje: Środa, 14:00-15:00 Jeżeli chcesz spotkać się z prowadzącym podczas konsultacji, postaraj się powiadomić go o tym przed lub po zajęciach,

Bardziej szczegółowo

φ(x 1,..., x n ) = a i x 2 i +

φ(x 1,..., x n ) = a i x 2 i + Teoria na egzamin z algebry liniowej Wszystkie podane pojęcia należy umieć określić i podać pprzykłady, ewentualnie kontrprzykłady. Ponadto należy znać dowody tam gdzie to jest zaznaczone. Liczby zespolone.

Bardziej szczegółowo

ALGEBRA Z GEOMETRIĄ OD RÓWNAŃ DO ODWZOROWAŃ LINIOWYCH

ALGEBRA Z GEOMETRIĄ OD RÓWNAŃ DO ODWZOROWAŃ LINIOWYCH ALGEBRA Z GEOMETRIĄ 1/10 OD RÓWNAŃ DO ODWZOROWAŃ LINIOWYCH Piotr M Hajac Uniwersytet Warszawski Wykład 8, 27112013 Typeset by Jakub Szczepanik Motywacja 2/10 Przechodzimy od rozwiązywania jednego równania

Bardziej szczegółowo

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. FUNKCJE LICZBOWE Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y. Innymi słowy f X Y = {(x, y) : x X oraz y Y }, o ile (x, y) f oraz (x, z) f pociąga

Bardziej szczegółowo

Twierdzenie spektralne

Twierdzenie spektralne Twierdzenie spektralne Algebrę ograniczonych funkcji borelowskich na K R będziemy oznaczać przez B (K). Spektralnym rozkładem jedności w przestrzeni Hilberta H nazywamy odwzorowanie, które każdemu zbiorowi

Bardziej szczegółowo

Matematyka dyskretna

Matematyka dyskretna Matematyka dyskretna Wykład 9: Grupy skończone Gniewomir Sarbicki Grupy cykliczne Definicja: Jeżeli każdy element grupy G jest postaci a n dla pewnego a G, to mówimy, że grupa G jest grupą cykliczną o

Bardziej szczegółowo

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji Macierze - obliczanie wyznacznika macierzy z użyciem permutacji I LO im. F. Ceynowy w Świeciu Radosław Rudnicki joix@mat.uni.torun.pl 17.03.2009 r. Typeset by FoilTEX Streszczenie Celem wykładu jest wprowadzenie

Bardziej szczegółowo

Grupa klas odwzorowań powierzchni

Grupa klas odwzorowań powierzchni Grupa klas odwzorowań powierzchni Błażej Szepietowski Uniwersytet Gdański Horyzonty matematyki 2014 Błażej Szepietowski (UG) Grupa klas odwzorowań Horyzonty matematyki 2014 1 / 36 Grupa klas odwzorowań

Bardziej szczegółowo

im = (P )={b 2 R : 9a 2 P [b = (a)]} nazywamy obrazem homomorfizmu.

im = (P )={b 2 R : 9a 2 P [b = (a)]} nazywamy obrazem homomorfizmu. 61 7. Wyk ad 7: Homomorfizmy pierúcieni, idea y pierúcieni. Idea y generowane przez zbiory. PierúcieÒ ilorazowy, twierdzenie o homomorfizmie. Idea y pierwsze i maksymalne. 7.1. Homomorfizmy pierúcieni,

Bardziej szczegółowo

1. Liczby zespolone. Jacek Jędrzejewski 2011/2012

1. Liczby zespolone. Jacek Jędrzejewski 2011/2012 1. Liczby zespolone Jacek Jędrzejewski 2011/2012 Spis treści 1 Liczby zespolone 2 1.1 Definicja liczby zespolonej.................... 2 1.2 Postać kanoniczna liczby zespolonej............... 1. Postać

Bardziej szczegółowo

Matematyka Dyskretna Zestaw 2

Matematyka Dyskretna Zestaw 2 Materiały dydaktyczne Matematyka Dyskretna (Zestaw ) Matematyka Dyskretna Zestaw 1. Wykazać, że nie istnieje liczba naturalna, która przy dzieleniu przez 18 daje resztę 13, a przy dzieleniu przez 1 daje

Bardziej szczegółowo

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)

Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d) Matemaryka dyskretna - zadania Zadanie 1. Opisać zbiór wszystkich elementów rangi k zbioru uporządkowanego X dla każdej liczby naturalnej k, gdy X jest rodziną podzbiorów zbioru skończonego Y. Elementem

Bardziej szczegółowo

Wielomiany. dr Tadeusz Werbiński. Teoria

Wielomiany. dr Tadeusz Werbiński. Teoria Wielomiany dr Tadeusz Werbiński Teoria Na początku przypomnimy kilka szkolnych definicji i twierdzeń dotyczących wielomianów. Autorzy podręczników szkolnych podają różne definicje wielomianu - dla jednych

Bardziej szczegółowo

W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora.

W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. 1. Podstawy matematyki 1.1. Geometria analityczna W naukach technicznych większość rozpatrywanych wielkości możemy zapisać w jednej z trzech postaci: skalara, wektora oraz tensora. Skalarem w fizyce nazywamy

Bardziej szczegółowo

4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze. ϕ : K(x 0, δ) (y 0 η, y 0 + η), taka że

4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze. ϕ : K(x 0, δ) (y 0 η, y 0 + η), taka że 4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze taka że K(x 0, δ) (y 0 η, y 0 + η) R n R, f(x 0, y 0 ) = 0, y f(x 0, y 0 ) 0. Wówczas dla odpowiednio

Bardziej szczegółowo

ALGEBRA Z GEOMETRIĄ LINIOWA NIEZALEŻNOŚĆ, ROZPINANIE I BAZY

ALGEBRA Z GEOMETRIĄ LINIOWA NIEZALEŻNOŚĆ, ROZPINANIE I BAZY ALGEBRA Z GEOMETRIĄ 1/10 LINIOWA NIEZALEŻNOŚĆ, ROZPINANIE I BAZY Piotr M. Hajac Uniwersytet Warszawski Wykład 10, 11.12.2013 Typeset by Jakub Szczepanik. Geometryczne intuicje Dla pierścienia R = R mamy

Bardziej szczegółowo

LXIII Olimpiada Matematyczna

LXIII Olimpiada Matematyczna 1 Zadanie 1. LXIII Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia drugiego 17 lutego 2012 r. (pierwszy dzień zawodów) Rozwiązać w liczbach rzeczywistych a, b, c, d układ równań a

Bardziej szczegółowo

Definicja: alfabetem. słowem długością słowa

Definicja: alfabetem. słowem długością słowa Definicja: Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy nazywać słowem a liczbę elementów tego ciągu nazywamy długością słowa. Na

Bardziej szczegółowo

Półgrupa prawie jak grupa?

Półgrupa prawie jak grupa? Półgrupa prawie jak grupa? Arkadiusz Męcel Seminarium magisterskie: Klasyczne struktury algebraiczne 15 października 2009r. Celem tego referatu jest zarysowanie podstaw teorii półgrup. Sama nazwa półgrupy

Bardziej szczegółowo

Algebra i jej zastosowania konspekt wyk ladu, czȩść druga

Algebra i jej zastosowania konspekt wyk ladu, czȩść druga Algebra i jej zastosowania konspekt wyk ladu, czȩść druga Anna Romanowska January 29, 2016 4 Kraty i algebry Boole a 41 Kraty zupe lne Definicja 411 Zbiór uporza dkowany (P, ) nazywamy krata zupe lna,

Bardziej szczegółowo

Zadania o numerze 4 z zestawów licencjat 2014.

Zadania o numerze 4 z zestawów licencjat 2014. Zadania o numerze 4 z zestawów licencjat 2014. W nawiasie przy zadaniu jego występowanie w numerze zestawu Spis treści (Z1, Z22, Z43) Definicja granicy ciągu. Obliczyć granicę:... 3 Definicja granicy ciągu...

Bardziej szczegółowo

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone Rozdział 4 Ciągi nieskończone W rozdziale tym wprowadzimy pojęcie granicy ciągu. Dalej rozszerzymy to pojęcie na przypadek dowolnych funkcji. Jak zauważyliśmy we wstępie jest to najważniejsze pojęcie analizy

Bardziej szczegółowo

A,B M! v V ; A + v = B, (1.3) AB = v. (1.4)

A,B M! v V ; A + v = B, (1.3) AB = v. (1.4) Rozdział 1 Prosta i płaszczyzna 1.1 Przestrzeń afiniczna Przestrzeń afiniczna to matematyczny model przestrzeni jednorodnej, bez wyróżnionego punktu. Można w niej przesuwać punkty równolegle do zadanego

Bardziej szczegółowo

Luty 2001 Algorytmy (7) 2000/2001 s-rg@siwy.il.pw.edu.pl

Luty 2001 Algorytmy (7) 2000/2001 s-rg@siwy.il.pw.edu.pl System dziesiętny 7 * 10 4 + 3 * 10 3 + 0 * 10 2 + 5 *10 1 + 1 * 10 0 = 73051 Liczba 10 w tym zapisie nazywa się podstawą systemu liczenia. Jeśli liczba 73051 byłaby zapisana w systemie ósemkowym, co powinniśmy

Bardziej szczegółowo

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA ZBIORY Z POWTÓRZENIAMI W zbiorze z powtórzeniami ten sam element może występować kilkakrotnie. Liczbę wystąpień nazywamy krotnością tego elementu w zbiorze X = { x,..., x n } - zbiór k,..., k n - krotności

Bardziej szczegółowo

Algebry odwrócone oswojonego typu reprezentacyjnego

Algebry odwrócone oswojonego typu reprezentacyjnego UNIWERSYTET MIKOŁAJA KOPERNIKA W TORUNIU Grzegorz Bobiński Algebry odwrócone oswojonego typu reprezentacyjnego Praca magisterska wykonana w Zakładzie Algebry i Topologii Wydziału Matematyki i Informatyki

Bardziej szczegółowo

PORÓWNANIE TREŚCI ZAWARTYCH W OBOWIĄZUJĄCYCH STANDARDACH EGZAMINACYJNYCH Z TREŚCIAMI NOWEJ PODSTAWY PROGRAMOWEJ

PORÓWNANIE TREŚCI ZAWARTYCH W OBOWIĄZUJĄCYCH STANDARDACH EGZAMINACYJNYCH Z TREŚCIAMI NOWEJ PODSTAWY PROGRAMOWEJ PORÓWNANIE TREŚCI ZAWARTYCH W OBOWIĄZUJĄCYCH STANDARDACH EGZAMINACYJNYCH Z TREŚCIAMI NOWEJ PODSTAWY PROGRAMOWEJ L.p. 1. Liczby rzeczywiste 2. Wyrażenia algebraiczne bada, czy wynik obliczeń jest liczbą

Bardziej szczegółowo

Uniwersytet Warszawski Wydział Matematyki, Informatyki i Mechaniki. Maria Donten. Nr albumu: 209516. Rozmaitości Kummera

Uniwersytet Warszawski Wydział Matematyki, Informatyki i Mechaniki. Maria Donten. Nr albumu: 209516. Rozmaitości Kummera Uniwersytet Warszawski Wydział Matematyki, Informatyki i Mechaniki Maria Donten Nr albumu: 209516 Rozmaitości Kummera Praca magisterska na kierunku MATEMATYKA w zakresie MATEMATYKI OGÓLNEJ Praca wykonana

Bardziej szczegółowo

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące

Bardziej szczegółowo

Metody matematyczne fizyki

Metody matematyczne fizyki Metody matematyczne fizyki Tadeusz Lesiak Wykład VI Elementy teorii grup Wstęp do teorii grup Teoria grup (TG) = matematyka symetrii liczne zastosowania w fizyce i chemii Odpowiada na ważne pytanie: jakie

Bardziej szczegółowo

Elementy Algebry Wyższej w Fizyce

Elementy Algebry Wyższej w Fizyce Elementy Algebry Wyższej w Fizyce Rafał R. Suszek Katedra Metod Matematycznych Fizyki Wydział Fizyki Uniwersytet Warszawski Warszawa, 31 stycznia 2016 r. Streszczenie. Niniejszy skrypt stanowi zapis wykładów

Bardziej szczegółowo

Matematyka dyskretna

Matematyka dyskretna Matematyka dyskretna wykład 1: Indukcja i zależności rekurencyjne Gniewomir Sarbicki Literatura Kenneth A. Ross, Charles R. B. Wright Matematyka Dyskretna PWN 005 J. Jaworski, Z. Palka, J. Szymański Matematyka

Bardziej szczegółowo

ciałem F i oznaczamy [L : F ].

ciałem F i oznaczamy [L : F ]. 11. Wykład 11: Baza i stopień rozszerzenia. Elementy algebraiczne i przestępne. Rozszerzenia algebraiczne i skończone. 11.1. Baza i stopień rozszerzenia. Uwaga 11.1. Niech F będzie ciałem, L rozszerzeniem

Bardziej szczegółowo

Rozdzia l 1. Przestrzenie wektorowe

Rozdzia l 1. Przestrzenie wektorowe Rozdzia l 1 Przestrzenie wektorowe Materiał tego rozdziału jest, z jednej strony, trudny, bo operuje pojęciami abstrakcyjnymi, a zdrugiej strony łatwy, nie zawiera w sobie istotnych problemów technicznych,

Bardziej szczegółowo

Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI

Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI Matematyka dla liceum ogólnokształcącego i technikum w zakresie podstawowym i rozszerzonym Z E S Z Y T M E T O D Y C Z N Y Miejski

Bardziej szczegółowo

Notatki do wykładu Geometria Różniczkowa I

Notatki do wykładu Geometria Różniczkowa I Notatki do wykładu Geometria Różniczkowa I Katarzyna Grabowska, KMMF 1 listopada 013 1 Odwzorowanie styczne i cofnięcie formy cd: 1.1 Transport pola wektorowego i cofnięcie formy W poprzednim paragrafie

Bardziej szczegółowo

dr inż. Ryszard Rębowski 1 WPROWADZENIE

dr inż. Ryszard Rębowski 1 WPROWADZENIE dr inż. Ryszard Rębowski 1 WPROWADZENIE Zarządzanie i Inżynieria Produkcji studia stacjonarne Konspekt do wykładu z Matematyki 1 1 Postać trygonometryczna liczby zespolonej zastosowania i przykłady 1 Wprowadzenie

Bardziej szczegółowo

2. Liczby pierwsze i złożone, jednoznaczność rozkładu na czynniki pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność. (c.d.

2. Liczby pierwsze i złożone, jednoznaczność rozkładu na czynniki pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność. (c.d. 2. Liczby pierwsze i złożone, jednoznaczność rozkładu na czynniki pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność. (c.d.) 10 października 2009 r. 20. Która liczba jest większa,

Bardziej szczegółowo

Wykład 1. Przestrzeń Hilberta

Wykład 1. Przestrzeń Hilberta Wykład 1. Przestrzeń Hilberta Sygnały. Funkcje (w języku inżynierów - sygnały) które będziemy rozważali na tym wykładzie będą kilku typów Sygnały ciągłe (analogowe). ) L 2 (R) to funkcje na prostej spełniające

Bardziej szczegółowo

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013

Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 2013 Notatki przygotowawcze dotyczące inwersji na warsztaty O geometrii nieeuklidesowej hiperbolicznej Wrocław, grudzień 013 3.4.1 Inwersja względem okręgu. Inwersja względem okręgu jest przekształceniem płaszczyzny

Bardziej szczegółowo

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego Materiały dydaktyczne na zajęcia wyrównawcze z matematyki dla studentów pierwszego roku kierunku zamawianego Inżynieria i Gospodarka Wodna w ramach projektu Era inżyniera pewna lokata na przyszłość Projekt

Bardziej szczegółowo

Rozdział 1. Zadania. 1.1 Liczby pierwsze. 1. Wykorzystując sito Eratostenesa wyznaczyć wszystkie liczby pierwsze mniejsze niż 200.

Rozdział 1. Zadania. 1.1 Liczby pierwsze. 1. Wykorzystując sito Eratostenesa wyznaczyć wszystkie liczby pierwsze mniejsze niż 200. Rozdział 1 Zadania 1.1 Liczby pierwsze 1. Wykorzystując sito Eratostenesa wyznaczyć wszystkie liczby pierwsze mniejsze niż 200. 2. Wyliczyć największy wspólny dzielnik d liczb n i m oraz znaleźć liczby

Bardziej szczegółowo

Wykład VII. Kryptografia Kierunek Informatyka - semestr V. dr inż. Janusz Słupik. Gliwice, 2014. Wydział Matematyki Stosowanej Politechniki Śląskiej

Wykład VII. Kryptografia Kierunek Informatyka - semestr V. dr inż. Janusz Słupik. Gliwice, 2014. Wydział Matematyki Stosowanej Politechniki Śląskiej Wykład VII Kierunek Informatyka - semestr V Wydział Matematyki Stosowanej Politechniki Śląskiej Gliwice, 2014 c Copyright 2014 Janusz Słupik Problem pakowania plecaka System kryptograficzny Merklego-Hellmana

Bardziej szczegółowo

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej Schemat rekursji 1 Schemat rekursji dla funkcji jednej zmiennej Dla dowolnej liczby naturalnej a i dowolnej funkcji h: N 2 N istnieje dokładnie jedna funkcja f: N N spełniająca następujące warunki: f(0)

Bardziej szczegółowo

LVII Olimpiada Matematyczna

LVII Olimpiada Matematyczna LVII Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia pierwszego (12 września 2005 r 5 grudnia 2005 r) Zadanie 1 Wyznaczyć wszystkie nieujemne liczby całkowite n, dla których liczba

Bardziej szczegółowo

Wykład z modelowania matematycznego. Zagadnienie transportowe.

Wykład z modelowania matematycznego. Zagadnienie transportowe. Wykład z modelowania matematycznego. Zagadnienie transportowe. 1 Zagadnienie transportowe zostało sformułowane w 1941 przez F.L.Hitchcocka. Metoda rozwiązania tego zagadnienia zwana algorytmem transportowymópracowana

Bardziej szczegółowo

MATeMAtyka cz.1. Zakres podstawowy

MATeMAtyka cz.1. Zakres podstawowy MATeMAtyka cz.1 Zakres podstawowy Wyróżnione zostały następujące wymagania programowe: konieczne (K), podstawowe (P), rozszerzające (R), dopełniające (D) i wykraczające poza program nauczania (W). Wymienione

Bardziej szczegółowo

Wykład 1. Przestrzeń Hilberta

Wykład 1. Przestrzeń Hilberta Wykład 1. Przestrzeń Hilberta Sygnały. Funkcje (w języku inżynierów - sygnały) które będziemy rozważali na tym wykładzie będą kilku typów Sygnały ciągłe (analogowe). ) L (R) to funkcje na prostej spełniające

Bardziej szczegółowo

VII Olimpiada Matematyczna Gimnazjalistów

VII Olimpiada Matematyczna Gimnazjalistów VII Olimpiada Matematyczna Gimnazjalistów Zawody stopnia pierwszego część testowa, test próbny www.omg.edu.pl (wrzesień 2011 r.) Rozwiązania zadań testowych 1. Liczba krawędzi pewnego ostrosłupa jest o

Bardziej szczegółowo

Teoria grup I. 1 Wprowadzenie do wykładu, cz. 1. Andriy Panasyuk

Teoria grup I. 1 Wprowadzenie do wykładu, cz. 1. Andriy Panasyuk Teoria grup I Andriy Panasyuk 1 Wprowadzenie do wykładu, cz. 1 Grupa: Zbiór G wyposażony w działanie μ : G G G (skrótowo oznaczamy μ(a, b) =: a b lub poprostu ab) spełniające następujące aksjomaty: 1.

Bardziej szczegółowo

Systemy baz danych. Notatki z wykładu. http://robert.brainusers.net 17.06.2009

Systemy baz danych. Notatki z wykładu. http://robert.brainusers.net 17.06.2009 Systemy baz danych Notatki z wykładu http://robert.brainusers.net 17.06.2009 Notatki własne z wykładu. Są niekompletne, bez bibliografii oraz mogą zawierać błędy i usterki. Z tego powodu niniejszy dokument

Bardziej szczegółowo

Wstęp do analizy matematycznej

Wstęp do analizy matematycznej Wstęp do analizy matematycznej Andrzej Marciniak Zajęcia finansowane z projektu "Rozwój i doskonalenie kształcenia na Politechnice Poznańskiej w zakresie technologii informatycznych i ich zastosowań w

Bardziej szczegółowo

Biotechnologia, Chemia, Chemia Budowlana - Wydział Chemiczny - 1

Biotechnologia, Chemia, Chemia Budowlana - Wydział Chemiczny - 1 Biotechnologia, Chemia, Chemia Budowlana - Wydział Chemiczny - 1 Równania różniczkowe pierwszego rzędu Równaniem różniczkowym zwyczajnym pierwszego rzędu nazywamy równanie postaci (R) y = f(x, y). Najogólniejszą

Bardziej szczegółowo

Zmiana baz. Jacek Jędrzejewski 2014. 1 Macierz przejścia od bazy do bazy 2

Zmiana baz. Jacek Jędrzejewski 2014. 1 Macierz przejścia od bazy do bazy 2 Zmiana baz Jacek Jędrzejewski 2014 Spis treści 1 Macierz przejścia od bazy do bazy 2 2 Wektory a zmiana baz 2 21 Współrzędne wektora względem różnych baz 2 22 Wektory o tych samych współrzędnych względem

Bardziej szczegółowo

III. ZMIENNE LOSOWE JEDNOWYMIAROWE

III. ZMIENNE LOSOWE JEDNOWYMIAROWE III. ZMIENNE LOSOWE JEDNOWYMIAROWE.. Zmienna losowa i pojęcie rozkładu prawdopodobieństwa W dotychczas rozpatrywanych przykładach każdemu zdarzeniu była przyporządkowana odpowiednia wartość liczbowa. Ta

Bardziej szczegółowo

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 1. Wprowadzenie do rachunku zbiorów 1 Podstawowe pojęcia rachunku zbiorów Uwaga 1.1. W teorii mnogości mówimy o zbiorach

Bardziej szczegółowo

Wykład 11. a, b G a b = b a,

Wykład 11. a, b G a b = b a, Wykład 11 Grupy Grupą azywamy strukturę algebraiczą złożoą z iepustego zbioru G i działaia biarego które spełia własości: (i) Działaie jest łącze czyli a b c G a (b c) = (a b) c. (ii) Działaie posiada

Bardziej szczegółowo

10. Elementy kombinatoryki geometrycznej: suma kątów wielokąta,

10. Elementy kombinatoryki geometrycznej: suma kątów wielokąta, 10. Elementy kombinatoryki geometrycznej: suma kątów wielokąta, liczba przekątnych wielokąta, porównywanie pól wielokątów w oparciu o proste zależności geometryczne jak np. przystawanie i zawieranie, rozpoznawanie

Bardziej szczegółowo

Elementy algebry ogólnej 2

Elementy algebry ogólnej 2 Elementy algebry ogólnej 2 Notatki do wykładu w semestrze letnim 2012/2013 Ewa Cygan Wersja z 17 maja 2013 Spis treści 1 Pierścienie - wiadomości ogólne 5 1.1 Podstawowe definicje i przykłady........................

Bardziej szczegółowo

Pewne klasyczne twierdzenia geometrii algebraicznej w ujęciu torycznym

Pewne klasyczne twierdzenia geometrii algebraicznej w ujęciu torycznym Uniwersytet Warszawski Wydział Matematyki, Informatyki i Mechaniki Jacek Jendrej Nr albumu: 277525 Pewne klasyczne twierdzenia geometrii algebraicznej w ujęciu torycznym Praca licencjacka na kierunku MATEMATYKA

Bardziej szczegółowo

Wprowadzenie do metod numerycznych Wykład 3 Metody algebry liniowej I Wektory i macierze

Wprowadzenie do metod numerycznych Wykład 3 Metody algebry liniowej I Wektory i macierze Wprowadzenie do metod numerycznych Wykład 3 Metody algebry liniowej I Wektory i macierze Polsko-Japońska Wyższa Szkoła Technik Komputerowych Katedra Informatyki Stosowanej Spis treści Spis treści 1 Wektory

Bardziej szczegółowo

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA DRZEWA i LASY Drzewem nazywamy graf spójny nie zawierający cykli elementarnych. Lasem nazywamy graf nie zawierający cykli elementarnych. Przykłady drzew i lasów takie krawędzie są wykluczone drzewo las

Bardziej szczegółowo

Ekonomia matematyczna - 1.2

Ekonomia matematyczna - 1.2 Ekonomia matematyczna - 1.2 6. Popyt Marshalla, a popyt Hicksa. Poruszać się będziemy w tzw. standardowym polu preferencji X,, gdzie X R n i jest relacją preferencji, która jest: a) rosnąca (tzn. x y x

Bardziej szczegółowo

Matematyczne Podstawy Informatyki

Matematyczne Podstawy Informatyki Matematyczne Podstawy Informatyki dr inż. Andrzej Grosser Instytut Informatyki Teoretycznej i Stosowanej Politechnika Częstochowska Rok akademicki 2013/2014 Informacje podstawowe 1. Konsultacje: pokój

Bardziej szczegółowo

Elementy rachunku lambda. dr hab. inż. Joanna Józefowska, prof. PP 1

Elementy rachunku lambda. dr hab. inż. Joanna Józefowska, prof. PP 1 Elementy rachunku lambda λ 1 Notacja λ x 3x + 7 3x + 7 jest różniczkowalna 3x + 7 jest mniejsze od 2 (2,3) 5 f(2, 3) = 2 + 3 g(2) = 2 + 3 λx(3x + 7) 3x + 7 λx λy(x + y) = λxy(x + y) λx(x + 3) 2 Rachunek

Bardziej szczegółowo

LICZBY PIERWSZE. 14 marzec 2007. Jeśli matematyka jest królową nauk, to królową matematyki jest teoria liczb. C.F.

LICZBY PIERWSZE. 14 marzec 2007. Jeśli matematyka jest królową nauk, to królową matematyki jest teoria liczb. C.F. Jeśli matematyka jest królową nauk, to królową matematyki jest teoria liczb. C.F. Gauss (1777-1855) 14 marzec 2007 Zasadnicze twierdzenie teorii liczb Zasadnicze twierdzenie teorii liczb Ile jest liczb

Bardziej szczegółowo

Wartości i wektory własne

Wartości i wektory własne Dość często przy rozwiązywaniu problemów naukowych czy technicznych pojawia się konieczność rozwiązania dość specyficznego układu równań: Zależnego od n nieznanych zmiennych i pewnego parametru. Rozwiązaniem

Bardziej szczegółowo

Przykładowe rozwiązania zadań. Próbnej Matury 2014 z matematyki na poziomie rozszerzonym

Przykładowe rozwiązania zadań. Próbnej Matury 2014 z matematyki na poziomie rozszerzonym Zadania rozwiązali: Przykładowe rozwiązania zadań Próbnej Matury 014 z matematyki na poziomie rozszerzonym Małgorzata Zygora-nauczyciel matematyki w II Liceum Ogólnokształcącym w Inowrocławiu Mariusz Walkowiak-nauczyciel

Bardziej szczegółowo

istocie dziedzina zajmująca się poszukiwaniem zależności na podstawie prowadzenia doświadczeń jest o wiele starsza: tak na przykład matematycy

istocie dziedzina zajmująca się poszukiwaniem zależności na podstawie prowadzenia doświadczeń jest o wiele starsza: tak na przykład matematycy MODEL REGRESJI LINIOWEJ. METODA NAJMNIEJSZYCH KWADRATÓW Analiza regresji zajmuje się badaniem zależności pomiędzy interesującymi nas wielkościami (zmiennymi), mające na celu konstrukcję modelu, który dobrze

Bardziej szczegółowo

Topologia i geometria różniczkowa

Topologia i geometria różniczkowa Topologia i geometria różniczkowa Andrzej Nowicki Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki, ul. Chopina 12 18, 87 100 Toruń (e-mail: anow@mat.uni.torun.pl) Marzec 1995 Spis treści

Bardziej szczegółowo

ZAGADNIENIE TRANSPORTOWE

ZAGADNIENIE TRANSPORTOWE ZAGADNIENIE TRANSPORTOWE ZT jest specyficznym problemem z zakresu zastosowań programowania liniowego. ZT wykorzystuje się najczęściej do: optymalnego planowania transportu towarów, przy minimalizacji kosztów,

Bardziej szczegółowo

Poniżej przedstawiony został podział wymagań na poszczególne oceny szkolne:

Poniżej przedstawiony został podział wymagań na poszczególne oceny szkolne: Prosto do matury klasa d Rok szkolny 014/015 WYMAGANIA EDUKACYJNE Wyróżnione zostały następujące wymagania programowe: konieczne (K), podstawowe (P), rozszerzające (R), dopełniające (D) i wykraczające

Bardziej szczegółowo

Podstawowe operacje arytmetyczne i logiczne dla liczb binarnych

Podstawowe operacje arytmetyczne i logiczne dla liczb binarnych 1 Podstawowe operacje arytmetyczne i logiczne dla liczb binarnych 1. Podstawowe operacje logiczne dla cyfr binarnych Jeśli cyfry 0 i 1 potraktujemy tak, jak wartości logiczne fałsz i prawda, to działanie

Bardziej szczegółowo

Metody numeryczne. materiały do wykładu dla studentów

Metody numeryczne. materiały do wykładu dla studentów Metody numeryczne materiały do wykładu dla studentów 4. Wartości własne i wektory własne 4.1. Podstawowe definicje, własności i twierdzenia 4.2. Lokalizacja wartości własnych 4.3. Metoda potęgowa znajdowania

Bardziej szczegółowo

1 Równania różniczkowe zwyczajne liniowe pierwszego rzędu

1 Równania różniczkowe zwyczajne liniowe pierwszego rzędu Równania różniczkowe zwyczajne liniowe I-go rzędu 1 1 1 Równania różniczkowe zwyczajne liniowe pierwszego rzędu Równaniem różniczkowym zwyczajnym liniowym pierwszego rzędu nazywamy równanie postaci (RL1)

Bardziej szczegółowo

Formy kwadratowe. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. 14. wykład z algebry liniowej Warszawa, styczeń 2011

Formy kwadratowe. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. 14. wykład z algebry liniowej Warszawa, styczeń 2011 Formy kwadratowe Mirosław Sobolewski Wydział Matematyki, Informatyki i Mechaniki UW 14. wykład z algebry liniowej Warszawa, styczeń 2011 Mirosław Sobolewski (UW) Warszawa, 2011 1 / 16 Definicja Niech V,

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony

Bardziej szczegółowo

WYMAGANIA EDUKACYJNE Z MATEMATYKI / POZIOM PODSTAWOWY /

WYMAGANIA EDUKACYJNE Z MATEMATYKI / POZIOM PODSTAWOWY / WYMAGANIA EDUKACYJNE Z MATEMATYKI / POZIOM PODSTAWOWY / Wymagania konieczne (K) dotyczą zagadnień elementarnych, stanowiących swego rodzaju podstawę, zatem powinny być opanowane przez każdego ucznia. Wymagania

Bardziej szczegółowo

Obliczenia naukowe Wykład nr 6

Obliczenia naukowe Wykład nr 6 Obliczenia naukowe Wykład nr 6 Paweł Zieliński Katedra Informatyki, Wydział Podstawowych Problemów Techniki, Politechnika Wrocławska Literatura Literatura podstawowa [1] D. Kincaid, W. Cheney, Analiza

Bardziej szczegółowo

Czy umiemy mnożyć wektory?

Czy umiemy mnożyć wektory? Czy umiemy mnożyć wektory? wprowadzenie do algebry geometrycznej Jacek Grela 1 UJ 2010 Plan działania Motywacja Wprowadzenie do algebry geometrycznej Algebra 2D, 3D Przykład fizyczny Algebra czasoprzestrzeni

Bardziej szczegółowo

Wykład 3. Miara zewnętrzna. Definicja 3.1 (miary zewnętrznej) Funkcję µ przyporządkowującą każdemu podzbiorowi

Wykład 3. Miara zewnętrzna. Definicja 3.1 (miary zewnętrznej) Funkcję µ przyporządkowującą każdemu podzbiorowi Wykład 3 Miara zewnętrzna Definicja 3.1 (miary zewnętrznej Funkcję przyporządkowującą każdemu podzbiorowi A danej przestrzeni X liczbę (A [0, + ] (a więc określoną na rodzinie wszystkich podzbiorów przestrzeni

Bardziej szczegółowo

Wykład 7: Warunkowa wartość oczekiwana. Rozkłady warunkowe.

Wykład 7: Warunkowa wartość oczekiwana. Rozkłady warunkowe. Rachunek prawdopodobieństwa MAP3040 WPPT FT, rok akad. 2010/11, sem. zimowy Wykładowca: dr hab. Agnieszka Jurlewicz Wykład 7: Warunkowa wartość oczekiwana. Rozkłady warunkowe. Warunkowa wartość oczekiwana.

Bardziej szczegółowo

L A TEX krok po kroku

L A TEX krok po kroku L A TEX krok po kroku Imię i nazwisko Spis treści 1 Sekcja pierwsza 1 1.1 Lista numerowana.......................... 1 2 Wymagania podstawowe 2 2.1 Lista numerowana.......................... 2 3 Troszkę

Bardziej szczegółowo

PRACA MAGISTERSKA DYSKRETNY NIELINIOWY UKŁAD SEMIDYNAMICZNY UNIWERSYTET JAGIELLOŃSKI

PRACA MAGISTERSKA DYSKRETNY NIELINIOWY UKŁAD SEMIDYNAMICZNY UNIWERSYTET JAGIELLOŃSKI UNIWERSYTET JAGIELLOŃSKI Wydział Matematyki i Fizyki Kierunek: Matematyka Sekcja teoretyczna PRACA MAGISTERSKA DYSKRETNY NIELINIOWY UKŁAD SEMIDYNAMICZNY NA PŁASZCZYŹNIE Zbigniew Galias opiekun: doc. Jerzy

Bardziej szczegółowo

ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA

ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA ZASTOSOWANIE ZASADY MAKSIMUM PONTRIAGINA DO ZAGADNIENIA DYNAMICZNYCH LOKAT KAPITAŁOWYCH Krzysztof Gąsior Uniwersytet Rzeszowski Streszczenie Celem referatu jest zaprezentowanie praktycznego zastosowania

Bardziej szczegółowo

Test, dzień pierwszy, grupa młodsza

Test, dzień pierwszy, grupa młodsza Test, dzień pierwszy, grupa młodsza 1. Na połowinkach 60 procent wszystkich uczniów to dziewczyny. Impreza jest kiepska, bo tylko 40 procent wszystkich uczniów chce się tańczyć. Sytuacja poprawia sie odrobinę,

Bardziej szczegółowo

WYMAGANIA NA POSZCZEGÓLNE STOPNIE KLASA I GIMNAZJUM

WYMAGANIA NA POSZCZEGÓLNE STOPNIE KLASA I GIMNAZJUM WYMAGANIA NA POSZCZEGÓLNE STOPNIE KLASA I GIMNAZJUM OCENA DOPUSZCZAJĄCA pojęcie liczby naturalnej, całkowitej, wymiernej, pojęcia: rozwinięcie dziesiętne skończone, nieskończone, okres, algorytm zaokrąglania

Bardziej szczegółowo

Zbiór zadań ze wstępu do matematyki

Zbiór zadań ze wstępu do matematyki Zbiór zadań ze wstępu do matematyki Jan Kraszewski Wrocław 2009 1 Spis treści 2 Przedmowa W zbiorach zadań ze wstępu do matematyki zadania zazwyczaj są tak pogrupowane, by dotyczyły pojęć z poszczególnych

Bardziej szczegółowo

MATEMATYKA WYDZIAŁ MATEMATYKI - TEST 1

MATEMATYKA WYDZIAŁ MATEMATYKI - TEST 1 Wszelkie prawa zastrzeżone. Rozpowszechnianie, wypożyczanie i powielanie niniejszych testów w jakiejkolwiek formie surowo zabronione. W przypadku złamania zakazu mają zastosowanie przepisy dotyczące naruszenia

Bardziej szczegółowo

x 1 2 3 t 1 (x) 2 3 1 o 1 : x 1 2 3 s 3 (x) 2 1 3. Tym samym S(3) = {id 3,o 1,o 2,s 1,s 2,s 3 }. W zbiorze S(n) definiujemy działanie wzorem

x 1 2 3 t 1 (x) 2 3 1 o 1 : x 1 2 3 s 3 (x) 2 1 3. Tym samym S(3) = {id 3,o 1,o 2,s 1,s 2,s 3 }. W zbiorze S(n) definiujemy działanie wzorem 9.1. Izomorfizmy algebr.. Wykład Przykłady: 13) Działaia w grupach często wygodie jest zapisywać w tabelkach Cayleya. Na przykład tabelka działań w grupie Z 5, 5) wygląda astępująco: 5 1 3 1 1 3 1 3 3

Bardziej szczegółowo

Działania na przekształceniach liniowych i macierzach

Działania na przekształceniach liniowych i macierzach Działania na przekształceniach liniowych i macierzach Mirosław Sobolewski Wydział Matematyki, Informatyki i Mechaniki UW 5 wykład z algebry liniowej Warszawa, listopad 2013 Mirosław Sobolewski (UW) Warszawa,

Bardziej szczegółowo

MATEMATYKA KL I LO zakres podstawowy i rozszerzony

MATEMATYKA KL I LO zakres podstawowy i rozszerzony MATEMATYKA KL I LO zakres podstawowy i rozszerzony Wyróżnione zostały następujące wymagania programowe: konieczne (K), podstawowe (P), rozszerzające (R), dopełniające (D) i wykraczające poza program nauczania

Bardziej szczegółowo