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

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

Matematická analýza 1

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

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

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.

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

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

1. Množiny, zobrazení, relace

PŘEDNÁŠKA 7 Kongruence svazů

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ALGEBRA DAGMAR SKALSKÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

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

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

Úvod do informatiky. Miroslav Kolařík

Co je to univerzální algebra?

Množiny, relace, zobrazení

10. Vektorové podprostory

Algebraické struktury s jednou binární operací

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

1. Pologrupy, monoidy a grupy

2. Test 07/08 zimní semestr

Kapitola 1. Relace. podle definice podmnožinou každé množiny. 1 Neříkáme už ale, co to je objekt. V tom právě spočívá intuitivnost našeho přístupu.

Matematická analýza pro informatiky I.

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

PŘEDNÁŠKA 2 POSLOUPNOSTI

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

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

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

2. přednáška 8. října 2007

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

Doporučené příklady k Teorii množin, LS 2018/2019

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

Aplikovaná matematika I, NMAF071

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

Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky.

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

Úvod do informatiky. Miroslav Kolařík

Zavedení a vlastnosti reálných čísel

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

Definice 4.1 Nechť (X, ) je svaz s nejmenším prvkem 0 a největším prvkem 1. Komplement prvku x X je každý prvek y, pro který platí. x y = 1, x y = 0.

0. Množiny, relace a zobrazení

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

1 Základní pojmy. 1.1 Množiny

2.4. Relace typu uspořádání

množinu definujeme axiomaticky: nesnažíme se ji zkonstruovat (dokonce se ani nezabýváme otázkou,

Obsah. Množiny (opakování) Relace a zobrazení (opakování) Relace Binární relace na množině Zobrazení Rozklady, ekvivalence Uspořádání

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

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace

Analýza internetových vyhledávačů metodami formální konceptuální analýzy

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

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ť.

Základy matematiky pro FEK

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

3. Algebraické systémy

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

Diskrétní matematika Roman Čada Tomáš Kaiser Zdeněk Ryjáček Katedra matematiky FAV Západočeská univerzita v Plzni 2004

18. První rozklad lineární transformace

IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel

4. Topologické vlastnosti množiny reálných

Reziduovaná zobrazení

Základy logiky a teorie množin

Příklad 4.1 Zapište pomocí kvantifikátorů definice minima, maxima, infima a suprema podmnožiny R. Čemu se rovná sup a inf? 2n M = 3n + 1 n N.

Teorie grup 1 Příklad axiomatické teorie

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

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

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

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

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

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

1. Základy logiky a teorie množin

RELACE, OPERACE. Relace

Booleovy algebry. Irina Perfilieva. logo

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

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

Nejdříve připomeneme pojmy, které jsou vám známy ze střední školy:

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Vlastnosti regulárních jazyků

0. ÚVOD - matematické symboly, značení,

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

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

Matice. a m1 a m2... a mn

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

Matice lineárních zobrazení

Lineární algebra : Lineární prostor

Západočeská univerzita v Plzni

Základy teorie množin

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

1 Množiny, výroky a číselné obory

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Text může být postupně upravován a doplňován. Datum poslední úpravy najdete u odkazu na stažení souboru. Veronika Sobotíková

Matematická analýza III.

ZÁKLADY ARITMETIKY A ALGEBRY I

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

Množiny, základní číselné množiny, množinové operace

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

x 2 = a 2 + tv 2 tedy (a 1, a 2 ) T + [(v 1, v 2 )] T A + V Příklad. U = R n neprázdná množina řešení soustavy Ax = b.

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

VYBRANÉ KAPITOLY Z ALGEBRY. Jaroslav Beránek

ÚVOD DO ARITMETIKY. Michal Botur

Omezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina

Transkript:

Matematický ústav Slezské univerzity v Opavě Učební textykpřednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan 8. Uspořádání asvazy Uspořádání je další užitečná abstraktní struktura na množině. Modeluje takové vztahy mezi prvky jako větší (menší), obsažený (obsahující) apod. Přidáváním podmínek postupně dojdeme ke speciálním uspořádaným množinám svazům a Booleovým algebrám, které jsou zároveň algebrami se dvěma binárními operacemi a mají důležité aplikace, zejména v informatice. 1. Uspořádané množiny Připomeňme, že relace na množině M je libovolná podmnožina kartézského součinu M 2 = M M. Je-li ρ M 2 relace, pak vztah (x, y) ρ zapisujeme x ρ y. Definice. Bud dána množina M. Relace ρ na M se nazývá 1 reflexivní, platí-li aρa pro všechna a M, 2 antisymetrická, platí-li implikace aρb, bρa a = b, 3 tranzitivní, platí-li implikace aρb, bρc aρc. Relace, která je reflexivní, antisymetrická a tranzitivní zároveň, se nazývá uspořádání. Dvojice (M,ρ)se pak nazývá uspořádaná množina. Příklady. 0) Na každé množině M je identická relace id M uspořádáním (připomeňme, že a id M b a = b). 1) (R, ), (Z, ), (N, ) atd. jsou uspořádané množiny, je-li obvyklé uspořádání čísel podle velikosti. 2) Bud M množina, bud P(M) množina všech podmnožin množiny M. Inkluze je uspořádání na P(M) a (P(M), ) je uspořádaná množina. 3) (N, ), kde a b (čteme adělí b)právě tehdy, když existuje m N takové, že am = b. Relace,, se nazývá relace dělitelnosti a je uspořádáním. Podejme důkaz antisymetrie. Jestliže a b a b a, pak existují m, n N taková, že am = b a bn = a. Odtud a = amn, ale a 0, načež1= mn. Rovnice 1 = mn však mávpřirozených číslech jedinéřešení: m = 1an = 1. Potom b = a 1 = a. Upozorněme, že analogicky definovaná relace dělitelnosti na množině Z celých čísel není antisymmetrická, protože 1 1 a 1 1,apřesto 1 1 (to souvisí stím, že rovnice 1 = mn má v celých číslech ještě další řešení m = 1an = 1). Bud ρ uspořádání na množině M. Opačná relace ρ 1 (tj. relace definovanápředpisem,,aρ 1 b právě když bρa ) je zase uspořádání. Nazýváseduální uspořádání. Často se obecné uspořádání označuje symbolem,,. Duální uspořádání 1 se pak označuje symbolem,, : a b právě tehdy, když b a. Podobně nakládáme se symboly,, atp. Každá podmnožina N M uspořádané množiny (M, ) je opět uspořádaná množina. Relace N, zadaná pro libovolná x, y N předpisem x N y x y, je totiž uspořádání nan. Nazývá seindukované uspořádání a značíserovněž.

Příklady. 1) Přirozené uspořádání na množině N je totožné s uspořádáním indukovaným z přirozeného uspořádání množiny Z. Totéž platí pro další dvojice z množin N, Z, Q, R. 2) Bud A množina, uvažujme o množině A 2 = A A. Množina všech podmnožin množiny A 2, čili P(A 2 ), je vlastně množina všech binárních relací na množině A. Inkluze pak představuje uspořádání na P(A 2 ).Přitom ρ σ právě tehdy, když platí implikace (x, y) ρ (x, y) σ, to jest, implikace xρy xσ y. Definice. Řekneme, že prvky a, b uspořádané množiny M jsou srovnatelné, platí-li a b nebo a b. Uspořádaná množina M se nazývá řetězec, jsou-li každé dva prvky a, b M srovnatelné. Příklad. (R, ), (Z, ), (N, ) atd. jsou řetězce. Cvičení. Dokažte, že každá podmnožina řetězce je opět řetězec, vzhledem k indukovanému uspořádání. Bud uspořádání na M. Zaved me označení a < b, jestliže a b azároveň a b. Dále zaved me označení a < b, jestliže a < b a neexistuje c M takové, že a < c, c < b. Je-li a < b, pak říkáme, že prvek b pokrývá prvek a. Příklady. 1) V množině N spřirozeným upořádáním podle velikosti platí 1 < 2a1 < 2. Dále platí 1 < 3 ale nikoliv 1 < 3. 2) V množině Q všech racionálních čísel s přirozeným uspořádáním neplatí a < b pro žádnou dvojici a < b. Skutečně, prvek c = 1 (a + b) pak splňuje a < c, c < b. 2 Konečnou uspořádanou množinu (M, ) můžeme znázornit diagramem. Prvky množiny M znázorníme jako body v rovině, v níž jezadán horizontální směr. Prvky a, b, splňující a < b vyznačíme tak, že a leží níže než b a spojíme je úsečkou. Z diagramu pak můžeme určit uspořádání množiny M: a b právě tehdy, když a leží níže než b a existuje zdola nahoru směřující posloupnost na sebe navazujících úseček z bodu a do bodu b. Příklad. V uspořádné množině Y s diagramem vpravo a b platí: c < a, c < b, d < c; d < a, ale nikoliv d < a; c prvky a, b jsou nesrovnatelné. d Cvičení. Nakreslete diagram 1) čtyřprvkového řetězce; 2) uspořádané množiny duální k uspořádané množině Y zpředchozího příkladu; 3) Uspořádáné množiny (P(M), ), je-li M jedno-, dvou-, tří- ačtyřprvková množina. Definice. Bud (M, ) uspořádaná množina. Prvek x M se nazývá nejmenší, je-li x a pro všechna a M; největší, je-li x a pro všechna a M; maximální, neexistuje-li a M takový, že a > x; minimální, neexistuje-li a M takový, že a < x. 2

Příklad. V uspořádné množině Y zpředchozího příkladu platí: d je nejmenší prvek a zároveň jediný prvek minimální; největší prvek neexistuje, zatímco a, b jsou dva prvky maximální; Cvičení. Dokažte: (1) V každé uspořádané množině existuje nejvýše jeden největší a nejvýše jeden nejmenší prvek. (2) Existuje-li nejmenší prvek, pak je jediným minimálním prvkem. Existuje-li největší prvek, pak je jediným maximálním prvkem. Definice. Bud A M podmnožina uspořádané množiny (M, ). Prvek x M se nazývá dolní závora množiny A, je-li x a pro všechna a A; horní závora množiny A, je-li x a pro všechna a A; supremum množiny A, je-li x nejmenší prvek množiny všech horních závor množiny A; píšeme x = sup A; infimum množiny A, je-li x největší prvek množiny všech dolních závor množiny A;píšeme x = inf A. Příklad. Vnaší uspořádné množině Y platí: podmnožina { a, b } má dolní závory c, d, z nich největší je c, a proto inf{ a, b }=c. podmnožina { a, b } nemá žádnou horní závoru, a proto sup{ a, b } neexistuje (množina horních závor je prázdná, a proto nemá největší prvek). Cvičení. Dokažte: (1) Každá podmnožina má nejvýše jedno supremum a nejvýše jedno infimum. (2) Jestliže x y, pak inf{ x, y }=x a sup{ x, y }=y. (3) Jestliže inf{ x, y }=x, pak x y. (4) Jestliže sup{ x, y }=y, pak x y. Uvažujme o matematickém pojmu, v jehož definici vystupuje nějaké uspořádání. Nahradímeli toto uspořádání duálním uspořádáním, obdržíme definici duálního pojmu. Tak například, duálním pojmem k pojmu nejmenšího prvku je pojem největšího prvku. Bud A libovolné tvrzení o uspořádáných množinách. Náhradou pojmů duálními pojmy vznikne duální tvrzení B. Jestliže obecně platí tvrzení A, pak obecně platí i duální tvrzení B. Důkaz tvrzení B obdržíme, nahradíme-li ve všech krocích důkazu tvrzení A všechny pojmy pojmy duálními. 2. Izotonní zobrazení Definice. Bud te (M, ), (N, ) dvě uspořádané množiny. Zobrazení f : M N se nazývá izotonní, jestliže platí implikace a b f (a) f (b). Je-li zobrazení f bijektivní a f i f 1 jsou izotonní, pak říkáme, že f je izomorfismus uspořádaných množin, a že uspořádané množiny (M, ), (N, ) jsou izomorfní. Příklad. Identické zobrazení id : (N, ) (N, ) je izotonní zobrazení. Skutečně, jestliže a b, pak b = na pro nějaké n N, ale n 1, a proto b = na a. Inverzní zobrazení id : (N, ) (N, ) není izotonní zobrazení, protože neplatí implikace a b a b (například 2 3, ale neplatí 2 3). 3

Příklad. diagramů: Bud te A = B ={0, 1 } dvouprvkové množiny, opatřené uspořádáním podle následujících A f B Bud f : A B identické zobrazení. Pak f je izotonní bijekce, jejíž inverze f 1 není izotonní. Cvičení. Dokažte, že kompozice izotonních zobrazení je izotonní zobrazení. Svazy Definice. Bud (M, ) uspořádaná množina. Necht pro každé dva prvky x, y M existuje infimum inf{ x, y } a supremum sup{ x, y }.Pakříkáme, že M je svazově uspořádaná množina. Příklady. 1) Bud M množina, pak je (P(M), ) svazově uspořádaná množina, přičemž platí inf{ X, Y } = X Y a sup{x, Y }=X Y pro libovolné prvky X, Y P(M). 2) (N, ) je svazově uspořádaná množina, přičemž inf{ a, b }=největší společnýdělitel, sup{ a, b }= nejmenší společný násobek čísel a, b N. 3) Každý řetězec (M, ) je svazově uspořádaná množina, přičemž inf{ a, b }=min{ a, b } je menší, resp. sup{ a, b }=max{ a, b } je větší z prvků a, b M. Tvrzení. Bud (M, ) svazově uspořádaná množina. Označme x y := sup{ x, y }, x y := inf{ x, y }. Pak x x = x, x x = x, x y = y x, x y = y x, x (y z) = (x y) z, x (y z) = (x y) z, x (y x) = x, x (y x) = x ( ) pro libovolná x, y, z M. Důkaz. Asociativita: Cvičení.Návod: Ukažte, že x (y z) = sup{ x, y, z }=(x y) z. Zbytek: Cvičení. Cvičení. Dokažte, že x 1 x 2 x n = sup{ x 1, x 2,...,x n }. (Vlevo nezáleží na uzávorkování, protože operace je asociativní.) Definice. Algebraická struktura (M,, ) se dvěma binárními operacemi a se nazývá svaz, jestliže jsou splněny podmínky ( ). Binární operace se nazývá průsek, binární operace se nazývá spojení. Ukázali jsme, že každá svazově uspořádaná množina je svaz. Platí však i obráceně, že každý svaz je svazově uspořádaná množina. 4

Cvičení. A) Bud (M,, ) svaz. Pak platí: (1) Položme x y právě když x y = x. Pak je uspořádání na množině M. (2) Položme x y právě když x y = y. Pak je uspořádání na množině M. (3) Uspořádání je shodné s uspořádáním ajesvazové, přičemž sup{x, y} =x y, inf{x, y} =x y. B) Bud (M,, ) svaz. Ukažte, že (M,, ) je také svaz; nazývá seduální svaz. Ověřte, že duální svaz máduální uspořádání. Nadále budeme používat termín svaz i pro svazově uspořádané množiny. Svazy budeme chápat i jako algebraické struktury i jako uspořádané množiny současně. Víme totiž, že uspořádání jednoznačně určuje algebraickou strukturu a algebraická struktura zase jednoznačně určuje uspořádání. Cvičení. Skaždým svazem jsou spojeny dvě pologrupy (M, ) a (M, ). A) Dokažte, že následující výroky o svazu (M,, ) jsou ekvivalentní: (1) M má největší prvek e; (2) (M,, e) je monoid. B) Zformulujte a dokažte,,duální výsledek o monoidu (M,, e). Cvičení. Ukažte, že pologrupa A ={,,, }s operací,, zadanou tabulkou je pologrupou (A, ) některého svazu (A,, ). Nakreslete diagram tohoto svazu a vysvětlete, jak jej lze použítkdůkazu asociativity operace,,. Při počítání ve svazech můžeme použítnásledující užitečné implikace: Tvrzení. Pro každé tři prvky x, a, b svazu L platí (i) jestliže a b, pak a x b x; (ii) jestliže a b, pak a x b x; (iii) jestliže x a, x b, pak x a b; (iv) jestliže x a, x b, pak x a b. Důkaz. (i) Necht a b, pak a b = a, načež (a x) (b x) = a b x = a x; odtud tvrzení. (ii) cvičení; (iii) a (iv) plynou ihned z definice infima a suprema (cvičení). Je-li (L,, ) svaz, pak je (L,, ) také svaz. Identity ( ) definující svaz jsou totiž symetrické vzhledem k vzájemné záměně a. Nazývá seduální svaz ke svazu L a budeme jej značit L. Stává se, že podmnožina A svazu M obsahuje i všechna suprema a infima všech dvojic svých prvků, a je potom sama svaz. Definice. Podsvaz svazu (M,, ) je podmnožina A M taková, že pro každé x, y A platí x y A a x y A. 5

Příklad. Svaz M a dva jeho podsvazy A a B: M A = a B = Cvičení. (1) Každá podmnožina řetězce je podsvaz. (2) Každá podmnožina svazu, která jeřetězcem, je podsvaz. Nicméně, podmnožina A může být svazem vzhledem k indukovanému uspořádání, aniž by byla podsvazem: Příklad. Svaz M a jeho podmnožina A, která je svazem, ale není podsvazem. x A y M x x M y y A x y Supremum x A y v A je různé od suprema x M y v M! Definice. Bud te (X,, ), (Y,, ) svazy. Zobrazení f : L R se nazývá homomorfismus svazů, jestliže f (a b) = f (a) f (b) a f (a b) = f (a) f (b) pro každé a, b X. Tvrzení. Každý homomorfismus svazů je izotonní zobrazení. Důkaz. Bud te (X,, ), (Y,, ) svazy, bud f : X Y homomorfismus. Necht a, b X a necht a b, takže a b = a, načež f (a) f (b) = f (a b) = f (a), a proto f (a) f (b), což semělo dokázat. Izotonní zobrazení svazůvšak nemusí být homomorfismus: Příklad. Zobrazení f je izotonní zobrazení svazů, je-li A x x y x y y B Toto zobrazení není homomorfismus svazů, protože f (x) f (y) = f (y) f (x y) 6

Cvičení. Bud f : A B zobrazení svazu (A,, ) do svazu (B,, ). Dokažte, že následující výroky jsou ekvivalentní: 1 f je izomorfismus uspořádaných množin; 2 f je izomorfismus svazů. Úplné svazy Definice. Bud L svaz, řekneme, že L je úplný, má-li každá podmnožina v L supremum i infimum. Příklad. (1) Každý konečný svazjeúplný a platí sup{ x 1,...,x n }=x 1... x n, inf{ x 1,...,x n }= x 1... x n. (2) Svaz (P(M), ) je úplný. Infima jsou průniky, suprema jsou sjednocení. (3) Svaz (N, ) není úplný. Schází například supremum celé množiny N. Každý úplnýsvazl má největší prvek sup L i nejmenší prvek inf L. Věta. Bud L uspořádaná množina, jejížkaždá podmnožina má infimum. Pak L je úplný svaz. Důkaz. Bud X L. Označme Y množinu všech horních závor množiny X. Položme s = inf Y a dokažme, že s = sup X. Nejprve dokažme, že s je horní závora množiny X. Bud tedy x X libovolné. Pro každý prvek y Y pak máme y x, protože y je horní závora množiny X. To ale znamená, že x je dolní závora množiny Y. Odtud x s, protože s je největší dolní závora množiny Y. Předchozí výsledek znamená, že s Y. Protože navíc s = inf Y,jes nejmenší prvek množiny Y, a tedy nejmenší horní závora množiny X, cožsemělo dokázat. Cvičení. Dokažte, že inf je největší prvek v X. Mezi předpoklady věty proto je i předpoklad, že X má největší prvek. Například (N, ) není úplný svaz, přestože každá neprázdná podmnožina má infimum. Posledně uvedená věta poskytuje cenný způsob důkazu, že některá uspořádaná množina je svaz. Příklad. Bud A grupa, označme P(A) množinu všech podgrup grupy A. Pak je (P(A), ) úplný svaz. Snadno se totižukáže, že pro libovolné podgrupy A i, i I,je i I A i zase podgrupa (cvičení), která je současně infimem inf{ A i } i I (cvičení). Podle předchozí věty je potom (P(A), ) úplný svaz. Proto existuje i supremum sup{ A i } i I ajeprůnikem všech podgrup, které obsahují všechny podgrupy A i. Příklad je zformulován pro grupy, ale jeho analogie platí i pro pologrupy, monoidy a v podstatě jakékoliv algebraické struktury. Problém k řešení. Označme E(A) množinu všech relací ekvivalence na A. Protože E(A) P(A 2 ), vznikánae(a) indukované uspořádání. Dokažte, že E(A) je úplný svaz. 3. Distributivní svazy Definice. Řekneme, že svaz (M,, ) je distributivní, platí-li pro každé tři prvky x, y, z M distributivní zákony (i) x (y z) = (x y) (x z); (ii) x (y z) = (x y) (x z). 7