40 [ ] Tvrzení. JedánaBooleovaalgebra(B,,,,0,1, ).Pakplatí. 2. a=a prokaždé a B. 3. a b=a b, a b=a b prokaždé a,b B,

Podobné dokumenty
Co je to univerzální algebra?

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

1 Báze a dimenze vektorového prostoru 1

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008

ALGEBRA. Téma 4: Grupy, okruhy a pole

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Aritmetika s didaktikou I.

Úlohy k procvičování textu o svazech

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám

Množiny, relace, zobrazení

Teorie grup 1 Příklad axiomatické teorie

Lineární algebra Kapitola 1 - Základní matematické pojmy

ZÁKLADY UNIVERZÁLNÍ ALGEBRY Radan Kučera. 1. Operace a Ω-algebry

M M. Je-li ρ M 2 relace, pak vztah (x, y) ρ zapisujeme x ρ y.

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

1. Pologrupy, monoidy a grupy

Výroková a predikátová logika - VII

Algebraické struktury s jednou binární operací

Matematická analýza 1

Základní pojmy teorie množin Vektorové prostory

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Úlohy k procvičování textu o univerzální algebře

3. Algebraické systémy

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Matematika IV - 2. přednáška Základy teorie grup

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky:

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

Booleova algebra Luboš Štěpánek

Báze a dimenze vektorových prostorů

PŘEDNÁŠKA 7 Kongruence svazů

METRICKÉ A NORMOVANÉ PROSTORY

1. Základní příklady a poznatky o monoidech a grupách

DEFINICE Z LINEÁRNÍ ALGEBRY

Svazy. Jan Paseka. Masarykova univerzita Brno. Svazy p.1/37

Operace s maticemi

7 Analytické vyjádření shodnosti

Lineární prostory. - vektorové veličiny(síla, rychlost, zrychlení,...), skládání, násobení reálným číslem

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Lineární algebra Operace s vektory a maticemi

Úvod do lineární algebry

Lineární algebra Eva Ondráčková

Lineární algebra : Lineární prostor

Aritmetika s didaktikou I.

2. Test 07/08 zimní semestr

Úvod do lineární algebry

Karel Klouda c KTI, FIT, ČVUT v Praze 28. února, letní semestr 2010/2011

Operace s maticemi. 19. února 2018

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

10. Vektorové podprostory

Základy matematiky pro FEK

Matematika pro informatiku 2

15 Maticový a vektorový počet II

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Okruh Lineární rovnice v Z m Těleso Gaussova eliminace (GEM) Okruh Z m. Jiří Velebil: X01DML 19. listopadu 2007: Okruh Z m 1/20

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

Naproti tomu gramatika je vlastně soupis pravidel, jak

Matematika IV - 7. přednáška Uspořádané množiny, svazy a Booleovy algebry

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

6 Samodružné body a směry afinity

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

3 Lineární kombinace vektorů. Lineární závislost a nezávislost

Matematika I (KMI/5MAT1)

Matematická analýza pro informatiky I.

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost.

Matematika 2 pro PEF PaE

VI. Maticový počet. VI.1. Základní operace s maticemi. Definice. Tabulku

Markl: 3.2.Grupoidy /ras32.doc/ Strana 1

Komutativní a nekomutativní polookruhy ve školské matematice. Commutative and non-commutative semi-rings in educational mathematics

Věta o dělení polynomů se zbytkem

Grupy Mgr. Růžena Holubová 2010

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

Algebra II pro distanční studium

Matematika IV - 7. přednáška Uspořádané množiny, svazy a Booleovy algebry

Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ

Množinu všech matic typu m n nad tělesem T budeme označovat M m n (T ), množinu všech čtvercových matic stupně n nad T pak M n (T ).

Lineární algebra : Báze a dimenze

0.1 Úvod do lineární algebry

Lineární algebra. Matice, operace s maticemi

Číselné vektory, matice, determinanty

1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x

Konečně,všechnyaspoňdvouprvkovémnožinyužzřejměgenerujíceléZ 5.Zjistili jsme,žealgebra(z 5,+)obsahujeprávědvěpodalgebry {0}aZ 5.

Matematika pro informatiku 1

Teorie množin Pavel Podbrdský

Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT

V: Pro nulový prvek o lineárního prostoru L platí vlastnosti:

1 Linearní prostory nad komplexními čísly

Okruh č.3: Sémantický výklad predikátové logiky

ÚVOD DO ARITMETIKY. Michal Botur

Výroková a predikátová logika - II

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

Transkript:

40 [100107-1425] 3.2.3 Tvrzení. JedánaBooleovaalgebra(B,,,,0,1, ).Pakplatí 1.0=1,1=0 2. a=a prokaždé a B 3. a b=a b, a b=a b prokaždé a,b B, 4. a b právětehdy,když b a. 3.2.4 Věta. Každá konečná Booleova algebra je až na přejmenování shodná (isomorfní)sbooleovoualgebrou(b n,,,(0,0,...,0),(1,1,...,1), ). 3.2.5 Důsledek.Je-li (B,,,,0,1, ) konečná Booleova algebra, pak množina Bmá2 n prvků. 3.2.6 Poznámka. Mějmekonečnoumnožinuonprvcích U= {1,2,...,n}. Víme,že(P(U),,,, )jebooleovaalgebra,protožesejednáodistributivní a komplementární svaz. Podle věty 3.2.4 je tato Booleova algebra isomorfní s některouhyperkrychlí(vtomtopřípaděsejednáohyperkrychli B n ).Ukážeme si, jak si tyto dvě Booleovy algebry odpovídají: Každá podmnožina X U je jednoznačně určena svojí charakteristickou funkcí χ X :U {0,1},kde { 1, pro i X χ X (i)= 0, pro i X Navíc,nazobrazenízmnožiny {1,2,...,n}domnožiny {0,1}semůžeme dívatjakonauspořádané n-ticenulajedniček(v i-tésložceje1,je-li χ X (i)=1 a0,je-li χ X (i)=0),charakteristickéfunkcejsoutedyprvkyhyperkrychle B n. Přiřazení je dáno X {1,2,...,n} (a 1 a... a n ) kde a i =1iff i Xa a i =0iff i X. Tedynapř.množině {1,2,...,n}jepřiřazena n-ticesamýchjedniček,prázdné množině pak n-tice samých nul. Operaci sjednocení v P(U) odpovídá operace v B n, operaci průniku odpovídáoperace vb n,atd.jednásetedyoisomorfismusmezibooleovskými algabrami; víc o isomorfismu se dozvíte v následující kapitole.

41 Kapitola 4 Homomorfismy a volné algebry 4.1 Homomorfismy a isomorfismy 4.1.1 Ukázali jsme si řadu příkladů tzv. algeber, tj. množin, na kterých jsou dány operace a tyto operace splňují jisté rovnosti. Připomeňme si je: 1. Pologrupajedvojice(A, ),kde Ajemnožina, jebinárníoperacesplňující asociativní zákon a (b c)=(a b) c. 2. Monoidjetrojice(A,,e),kde(A, )jepologrupaaprvek esplňuje a e=a, e a=a. Prvku e říkáme jednotkový prvek. 3. Grupaječtveřice(A,,e, 1 ),kde(a,,e)jemonoid,kdekaždýprvek a Amáinversníprvek a 1,tj.platí a a 1 = e, a 1 a=e. 4. Okruhjepětice(R,+,,0. ),kde(r,+,0, )jekomutativnígrupa(tj. a+b=b+aprovšechny a,b R),(R, )jepologrupaaplatídistributivní zákony a (b+c)=a b+a c (b+c) a=b a+c a. 5. Svazjetrojice(A,, ),kde a jsoubinárníoperacesplňujícírovnosti 1)až4)z3.1.10. 6. Booleovaalgebraješestice(A,,,0,1, ),kde(a,, )jedistributivní svazsnejmenšímprvkem0,největšímprvkem1,kdekaždýprvekmádoplněk. Uvědomte si, že jak nejmenší, tak největší prvek je charakterizován rovnostmi, totéž platí o doplňku. 7. ledna 2010, 14:25

42 [100107-1425] Kapitola 4. Homomorfismy a volné algebry 4.1.2 Typ algebry. Typem algebry nazveme soubor, který udává kolik a jakých operací se v dané algebře nachází. Tedy pologrupa je algebra typu(2), protože obsahuje jednu binární operaci. Monoid je algebra typu(2, 0), protože kromě binární operace obsahuje ještě jednotkový prvek a ten považujeme za nulární operaci. Grupajealgebratypu(2,0,1),protožekbinárníanulárníoperaciobsahuje též unární operaci tvorba inversního prvku. Okruhjealgebratypu(2,2,0,1),jsouzdedvěbinárníoperaceatosčítání a násobení, přitom pro sčítání máme neutrální prvek a můžeme odčítat tj. máme opačné prvky. Svaz je algebra typu(2, 2), jsou zde definovány dvě binární operace. Booleova algebra je algebra typu (2,2,0,0,1), jsou zde definovány dvě binární operace, dvě nulární operace(nejmenší a největší prvek) a jedna unární operace(doplněk). 4.1.3 Poznámka. Pojem univerzální algebry je značně abstraktní. Uvádíme hotadyztohodůvodu,žeřadastruktur,kteréjsmedoteďstudovali,zapadápod tento obecný pohled. Navíc, řada tvrzení platí pro univerzální algebry obecně a je zbytečné dokazovat každé z nich nezávisle. Mezi vyjmenovanými chybí těleso. Je to proto, že přiřazení inverzního prvku v tělese není unární operací, protože inverzní prvek neexistuje pro všechny prvky tělesa, ale pouze pro ty nenulové. 4.1.4 Univerzální algebra. Univerzální algebra typu je množina A spolu s operacemi, jejichž arity jsou předepsány právě typem. Algebru značíme A a množinu A nazýváme nosnou množinou algebry. Tedy pologrupa, monoid, grupa, okruh, svaz a Booleova algebra jsou příklady univerzálních algeber(různých typů). Co je pro jednotlivé algebry podstatné, jsou ještě rovnice, které tyto algebry splňují. Budeme proto mluvit a algebře typu splňující rovnice E. 4.1.5 Podalgebra. Řekneme, že množina B je uzavřena na binární operaci,jestližeprokaždědvaprvky a,b Bjejejichvvýsledek a btakévmnožině B. Řekneme,žemnožina Bjeuzavřenanaunárníoperaci,jestližeprokaždý dvaprvek b Bjejejichvvýsledek btakévmnožině B. Řekneme,žemnožina Bjeuzavřenananulárníoperaci e,jestliže eležív množině B. Podalgebraalgebrysnosnoumnožinou Ajepodmnožina B A,kteráje uzavřena na všechny operace dané algebry. 4.1.6 Poznámka. Uvědomte si, že takto jsme definovali podpologrupu, podmonoid, podgrupu i podsvaz. 4.1.7 Tvrzení. Jestliže algebra A splňovala rovnice E, pak každá její podalgebra tyto rovnice splňuje také. Takže podsvaz daného svazu je také svazem, podgrupa dané grupy je také grupou, atd.

4.1. Homomorfismy a isomorfismy [100107-1425] 43 4.1.8 Respektováníoperací. Mějmedánydvěalgebry AaBsnosnými množinami AaBstejnéhotypu.Řekneme,žezobrazení f:a Brespektuje, zachovává binární operaci, jestliže pro každé x, y A platí f(x A y= f(x) B f(x). Řekneme,žezobrazení f:a Brespektuje,zachováváunárníoperaci, jestližeprokaždé x Aplatí f(x)=f(x). Řekneme,žezobrazení f:a Brespektuje,zachovávánulárníoperace e, jestliže platí f(e A )=e B. 4.1.9 Homomorfismus algeber. Jsou dány dvě algebry A, B stejného typu asplňujícírovnice E; Amánosnoumnožinu A, Bmánosnoumnožinu B. Homomorfismus algebry A do algebry B je zobrazení f: A B, které respektuje všechny operace. 4.1.10 Poznámka. Uvědomte si, že takto jsme definovali pologrupový homomorfismus, tj. zobrazení, které respektuje binární operaci, monoidový homomorfismus, tj. zobrazení, které respektuje i jednotkový prvek, grupový homomorfismus, tj. zobrazení, které navíc respektuje inversní prvky, svazový homomorfismus, tj. zobrazení, které respektuje suprema a infima, atd. Homomorfismustělesa F 1 dotělesa F 2 jekaždýokruhovýhomomorfismus, kterýnavícrespektujejednotkovéprvky,tj. f(1 1 )=1 2. 4.1.11 Tvrzení. Máme dány dvě grupy (G,,1 G, 1G ) a (H,,1 H, 1H ). Jestliže zobrazení f: G H respektuje binární operaci, pak respektuje i zbývající operace. Jinými slovy, je-li zobrazení mezi dvěma grupami pologrupovým homomorfismem, je i grupovým homomorfismem. 4.1.12 Isomorfismus. Homomorfismus f, který je bijektivním zobrazením, nazveme isomorfismus. 4.1.13 Příklady isomorfismů. 1. Funkcelog 10 jeisomorfismusgrupy(r +,,1, 1 )nagrupu(r,+,0, ),kde R + značímnožinuvšechkladnýchreálnýchčísel. 2. Mějmedánadvěnesoudělnápřirozenáčísla nam.čínskávětaozbytcích dáváisomorfismus(z n m,+,0)na(z n,+,0) (Z m,+,0). Obdobně(Z n m,,1)jeisomorfnís(z n,,1) (Z m,,1)a(z n m,,1)je isomorvnís(z n,,1) (Z m,,1). 3. ExistujeisomorfismusBooleovyalgebry(P(U),,,, )nabooleovu algebru(b n,,,(0,0,...,0),(1,1,...,1), ),viz3.2.6.

44 [100107-1425] Kapitola 4. Homomorfismy a volné algebry 4.1.14 Tvrzení. Je-li f homomorfismus algebry A do algebry B, pak obraz f(a) nosné množiny A algebry A je podalgebra algebry B. 4.1.15 Poznámka. Tedy speciálně, je-li f homomorfismus pologrup, pak obraz f(a) pologrupy A je podpologrupa pologrupy B; je-li f grupový homomorfismus, pak obraz grupy je podgrupa, atd. 4.1.16 Tvrzení. Joudánydvěgrupy G=(G,,1 G, 1G )ah=(h,,1 H, 1H ). Pakexistujehomomorfismus f: G Hdefinovaný f(x)=1 H prokaždé x G. Tento homomorfismus se též nazývá triviální homomorfismus. 4.1.17 Volná algebra nad množinou generátorů. Uvažujme třídu T všech algeber typu splňující rovnice E. Řekneme, že algebra F(X) je volná algebra v T, jestliže pro každou algebru A ze třídy T lze libovolné zobrazení f:x AjednoznačněrozšířitnahomomorfismuszF(X)do A. 4.1.18 Příklady. 1. Jedánaabeceda A.Pakmnožinavšechneprázdnýchslov A + spolus operací zřetězení je volná pologrupa nad množinou generátorů A. 2. Jedánaabeceda A.Pakmnožinavšechslov A spolusoperacízřetězení je volný monoid nad množinou generátorů A. 3. (Z,+,0)jevolnágrupanadjednímgenerátorem,kterýmječíslo1.