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

Podobné dokumenty
Matematická analýza 1

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

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

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

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

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

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

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

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

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.

Princip rozšíření a operace s fuzzy čísly

Co je to univerzální algebra?

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

RELACE, OPERACE. Relace

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

3. Algebraické systémy

Úvod do informatiky. Miroslav Kolařík

Aritmetika s didaktikou I.

PŘEDNÁŠKA 7 Kongruence svazů

Marie Duží

Úvod do informatiky. Miroslav Kolařík

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

Booleovy algebry. Irina Perfilieva. logo

Grupy Mgr. Růžena Holubová 2010

ÚVOD DO ARITMETIKY. Michal Botur

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.

Základy teorie množin

1. Množiny, zobrazení, relace

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

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

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

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

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

Množina je nejdůležitější matematický pojem, na kterém stojí veškeré další matematické pojmy.

Algebra II pro distanční studium

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

Aritmetika s didaktikou I.

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

Množiny, relace, zobrazení

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

Teorie grup 1 Příklad axiomatické teorie

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

VYBRANÉ KAPITOLY Z ALGEBRY. Jaroslav Beránek

Západočeská univerzita v Plzni

Markl: 3.3.Svazy /ras33.doc/ Strana 1

Cvičení 1. Úvod do teoretické informatiky(2014/2015) cvičení 1 1

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

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

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

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

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

Algebraické struktury s jednou binární operací

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

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

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

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

Jazyk matematiky Matematická logika Množinové operace Zobrazení Rozšířená číslená osa

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

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Relace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace

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.

UDL 2004/2005 Cvičení č.6 řešení Strana 1/5

3 Množiny, Relace a Funkce

OSTRAVSKÁ UNIVERZITA OSTRAVA PEDAGOGICKÁ FAKULTA MATEMATIKA. ve studiu učitelství 1. stupně základní školy. Vilma Novotná, Bohuslav Pisklák

ČÍSELNÉ OBORY. Jaroslav Beránek

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

MIDTERM D. Příjmení a jméno:

Matematika 6F fuzzy množiny

Fuzzy množiny, Fuzzy inference system. Libor Žák

I) Příklady (převeďte následující věty do formulí PL1 a ověřte jejich ekvivalenci pomocí de Morganových zákonů):

Aritmetika s didaktikou I.

Matematika IV - 3. přednáška Rozklady grup

2. Test 07/08 zimní semestr

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

Cvičení z diskrétní matematiky. Dana Hliněná, Martin Kovár

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

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

Aplikovaná matematika I, NMAF071

ZÁKLADY ARITMETIKY A ALGEBRY I

Algebra I Cvičení. 4) Množina všech matic s nulou v levém dolním rohu a s jedničkami na diagonále.

Matematika IV - 3. přednáška Rozklady grup

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

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

1. Základy matematiky

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

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

Přijímací zkouška - matematika

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

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2015

2.4. Relace typu uspořádání

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

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

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

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

(1) Dokažte, že biprodukt je součin (a tím pádem i součet). Splňují-li homomorfismy. A B je izomorfismus stejně jako A B i+j

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

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

Lineární algebra. Matice, operace s maticemi

Matematické symboly a značky

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

Transkript:

Obsah Množiny (opakování) Relace a zobrazení (opakování) Relace Binární relace na množině Zobrazení Rozklady, ekvivalence Uspořádání lgebry lgebry s jednou operací lgebry se dvěma operacemi Svazy 2

Teorie množin Jazyk: Speciální symboly: Binární predikáty: (je prvkem), (je vlastní podmnožinou), (je podmnožinou). Binární funkční symboly: (průnik), (sjednocení). Cantor naivní teorie (bez axiomatizace). Dnes poměrně mnoho formálních axiomatizací žádná z nich není úplná. Příklady: von Neumann-Bernays-Gödel, Zermelo- Fränkel + axiom výběru. 3

Zermelo-Fränkel settheory xiom of extensionality: Two sets are the same if and only if they have the same elements. xiom of empty set: There is a set with no elements. xiom of pairing: If x, y are sets, then so is {x,y}, a set containing x and y as its only elements. xiom of union: Every set has a union. That is, for any set x there is a set y whose elements are precisely the elements of the elements of x. xiom of infinity: There exists a set x such that {} is in x and whenever y is in x, so is the union y U {y}. xiom of separation(or subset axiom): Given any set and any proposition P(x), there is a subset of the original set containing precisely those elements x for which P(x) holds. xiom of replacement: Given any set and any mapping, formally defined as a proposition P(x,y) where P(x,y) and P(x,z) implies y = z, there is a set containing precisely the images of the original set's elements. xiom of power set: Every set has a power set. That is, for any set x there exists a set y, such that the elements of y are precisely the subsets of x. xiom of regularity (or axiom of foundation): Every non-empty set x contains some element y such that x and y are disjoint sets. xiom of choice: (Zermelo's version) Given a set x of mutually disjoint nonempty sets, there is a set y (a choice set for x) containing exactly one element from each member of x. 4

Množiny Ø prázdná množina Počet prvků množiny : Vztahy mezi množinami (axiomy): Rovnost B právě když ( x : x x B) Inkluze B právě když ( x : x x B) 5

Množiny množinové operace Průnik Sjednocení Rozdíl Symetrický rozdíl Doplněk vzhledem k univerzu U } a ; { B x x x B } nebo ; { B x x x B } a ; { B x x x B ) ( ) ( B B B U ' U B U B U B U B U ' 6

Množiny množinové operace Potenční množina Kartézský součin 2 { X ; X } Kartézská mocnina B {( a, b) : a, b B} n n 1 =, 0 ={Ø} 7

Relace n-ární relace mezi množinami 1, 2,..., n r 1 2 n Příklad: D = množina možných dnů M = množina místností VŠB Z = množina zaměstnanců VŠB Ternární relace schůze (kdy, Zkde, kdo): r D M 2 8

Binární relace Inverzí relace k r: Složení (kompozice) relací B r } ), ( : ), {( 1 r x y B y x r C B s B r, } ), ( a ), ( ) ( : ), {( s y z r z x B z C y x s r B r B C s C r o s 9

Binární relace Binární relace r na množina je: Reflexivní: x : (x,x) r Ireflexivní: x : (x,x) r Symetrická: x,y : (x,y) r (y,x) r ntisymetrická: x,y : (x,y) r a (y,x) r x=y symetrická: x,y : (x,y) r (y,x) r Tranzitivní: x,y,z : (x,y) r a (y,z) r (x,z) r Cyklická: x,y,z : (x,y) r a (y,z) r (z,x) r Souvislá: x,y : x=y nebo (x,y) r nebo (y,x) r 10

Binární relace Důležité typy binárních relací: Tolerance reflexivní, symetrická Kvaziuspořádání reflexivní, tranzitivní Ekvivalence reflexivní, symetrická, tranzitivní (částečné neostré) uspořádání reflexivní, antisymetrická, tranzitivní 11

Binární relace Příklady: Tolerance: být podobný na množině lidí, mít odlišný věk nejvýše o jeden rok na množině lidí,... Kvaziuspořádání: množiny X a Y jsou v relaci, pokud X Y na množině množin, relace dělitelnosti na množině celých čísel, nebýt starší na množině lidí,... Ekvivalence: být stejně starý na množině lidí, rovnost na množině přirozených čísel,... Uspořádání: relace inkluze, relace dělitelnosti na množině přirozených čísel,... 12

Zobrazení (funkce) f B se nazývá zobrazení Z množiny do množiny B (parciální zobrazení), jestliže platí: (x, y 1,y 2 B) ( (x,y 1 ) f a (x,y 2 ) f y 1 = y 2 ) f se nazývá zobrazení množiny do množiny B (totální zobrazení, značíme f: B), jestli platí: f je zobrazení z do B (x )(y ) ( (x,y) f) Je-li f zobrazení, (x,y) f píšeme jako f(x)=y 13

Zobrazení (funkce) Příklady: r B s B t B B B B u = {(x,y)zz; x=y 2 }, v = {(x,y)nn; x=y 2 }, w = {(x,y)zz; y=x 2 } r, u nejsou zobrazení s, v parciální zobrazení z do B, není totální t, w totální zobrazení 14

Zobrazení (funkce) Zobrazení f: B se nazývá: Injektivní (prosté), platí-li: x 1,x 2, y B: (x 1,y) f a (x 2,y) f x 1 = x 2 Surjektivní (zobrazení na), platí-li: y B x : (x,y) f Bijektivní (vzájemně jednoznačné), je-li současně injektivní i surjektivní. 15

Zobrazení (funkce) Příklady f : B g : B h : B i : B B B B B j: ZZ, j(n)=n 2, k: ZN, k(n)= n, l: NN, l(n)=n+1,m: RR, j(x)=x 3 f, j nejsou injektivní ani surjektivní h, k jsou surjektivní, nejsou injektivní g, l jsou injektivní, nejsou surjektivní I,m jsou injektivní i surjektivní bijekce 16

Rozklady a ekvivalence Rozklad na množině je systém: X = { X i ; i I } takový že: X i pro i I X i X j = Ø pro i,j I, i j U X = X i třídy rozkladu Zjemněním rozkladu X = { X i ; i I } je systém: Y = { Y j ; j J }, jestliže: j J, i I takové, že Y j X i 17

Rozklady a ekvivalence Nechť r je relace ekvivalence na množině, X je rozklad na, pak: X r = {[x] r ; x } rozklad na (rozklad indukovaný ekvivalencí r, faktorová množina množiny podle ekvivalence r). r X = {(x,y); x a y patří do stejné třídy rozkladu X} ekvivalence na (indukovaná rozkladem X). Příklad: r ZZ; r = {(x,y); 3 dělí x-y } X={X 1, X 2, X 3 } X 1 ={ -6, -3, 0, 3, 6, } X 2 ={ -5, -2, 1, 4, 7, } X 3 ={ -4, -1, 2, 5, 8, } 18

Uspořádání Je-li r relace uspořádání na, pak se dvojice (,r) nazývá uspořádaná množina. Značení (, ) Příklady: (N, ), (2 M, ) Relace pokrytí Nechť (, ) uspořádaná množina, (a,b) a < b ( b pokrývá a ) jestliže a < b a c : a c a c b Příklad: (N, ), < ={(n,n+1); n N} 19

Uspořádání Hasseovy diagramy grafické znázornění Příklad: (, ), ={a,b,c,d,e} r = {(a,b), (a,c), (a,d), (b,d)} id id ={(a,a): a} d b c e a 20

Uspořádání Prvek a uspořádané množiny (, ) se nazývá: Nejmenší: pro x: a x Největší: pro x: x a Minimální: pro x: (x a x = a) Maximální: pro x: (a x x = a) Příklad: d Nejmenší: neexistuje Největší: neexistuje Minimální: a, e b c e Maximální: d, c, e a 21

Uspořádání Uspořádané množiny (, ), (B, ) se nazývají izomorfní, existuje-li bijekce f: B tak, že: x,y: x y právě když f(x) f(y) Jsou-li (, ), (B, ) uspořádané množiny, nazývají se zobrazení f: B izotonní, platí-li: x,y: x y f(x) f(y) Příklad: f: NZ, f(x)=kx, k Z, k 0 je izotonní g: NZ, g(x)=kx, k Z, k 0 není izotonní 22

Uspořádání Nechť (, ) uspořádaná množina, M, pak L (M)={x ; mm: x m } Množina dolních závor (dolní kužel) U (M)={x ; mm: m x } Množina horních závor (horní kužel) Inf (M) největší prvek množiny L (M) Infimum množiny M Sup (M) nejmenší prvek množiny U (M) Supremum množiny M 23

Svaz - svazově uspořádaná množina Množina (, ) se nazývá svaz (svazově uspořádaná množina), platí-li: x,y s,i : s = sup({x,y}), i = inf({x,y}) Značení: x y = sup({x,y}) x y = inf({x,y}) Existuje-li sup(m) a inf(m) pro každou M, nazývá se (, ) úplný svaz. 24

lgebry lgebra (univerzální algebra) je dvojice: (, F ): Ø nosič algebry F = {f i : p(f) ; ii} množina operací na p(f i ) arita operace f i Příklady: (N, + 2, 2 ) množina přirozených čísel s operacemi sčítání a násobení (2 M,, ) množina všech podmnožin množiny M s operacemi průnik a sjednocení (F,, ) množina (F) formulí výrokové logiky s operacemi konjunkce a disjunkce 25

lgebry s jednou binární operací Grupoid G=(G,) : G G G Je-li množina G konečná, grupoid G se nazývá konečný. Řád grupoidu = G Příklady grupodů: G 1 =(R,+), G 2 =(R,), G 3 =(N,+)... 26

lgebry s jednou binární operací Konečný grupoid G=(G,) lze popisovat pomocí Cayleyovy tabulky. Příklad: G = {a,b,c} a b c a a b c b a c c c a a b Např.: a b = b, b a = a, c c = b... 27

lgebry s jednou binární operací Nechť G=(G,) je grupoid G se nazývá: Komutativní, platí-li v G: (a,bg)(a b = b a) sociativní, platí-li v G: (a,b,cg)((a b) c = a (b c)) S jednotkovým (neutrálním) prvkem, platí-li v G: (e G ag)(a e = a = e a) S nulovým (agresivním) prvkem, platí-li v G: (o G ag)(a o = o = o a) S inverzními prvky, platí-li v G: (ag b G)(a b = e = b a) 28

lgebry s jednou binární operací Příklady: (R,), (N,+) komutativní i asociativní. (R,), a b = (a+b) / 2 komutativní, není asociativní. (R,), a b = a b není komutativní ani asociativní. (R,) 1 = jednotkový prvek, 0 = nulový prvek. 29

lgebry s jednou binární operací Nechť G=(G, G ) je grupoid. HG se nazývá uzavřená (vzhledem k operaci G ), platí-li: (a,bh)(a G b H) Grupoid H=(H, H ) je podgrupoidem grupoidu G=(G, G ), platí-li: Ø H G je uzavřená a,bh: a H b = a G b Příklady: (N,+ N ) je podgrupoidem (Z,+ Z ) {0,1,2} není nosičem podgrupoidu (Z,+ Z ) 30

lgebry s jednou binární operací Nechť G 1 =(G 1, 1 ), G 2 =(G 2, 2 ). G 1 G 2 =(G 1 G 2, ) direktní součin G 1 a G 2, kde: (a 1, a 2 ) (b 1, b 2 ) = (a 1 1 b 1, a 2 2 b 2 ) Příklad: G 1 =(Z,+), G 2 =(Z,). G 1 G 2 =(Z Z, ), (a 1, a 2 ) (b 1, b 2 ) = (a 1 + b 1, a 2 b 2 ) (1,2)(3,4) = (1+3, 2 4) = (4,8) atd. 31

lgebry s jednou binární operací Nechť G =(G, G ), H =(H, H ) jsou grupoidy a h:gh zobrazení. h se nazývá homomorfismus grupoidu G do grupoidu H, platí-li: a,bg: h(a G b) = h(a) H h(b) Typy homomorfismů: Monomorfismus h je injektivní Epimorfismus h je surjektivní Izomorfismus h je bijektivní Endomorfismus H=G utomorfismus bijektivní a H=G 32

lgebry s jednou binární operací r je kongruence na grupoidu G=(G, G ), pokud: r je binární relace: θ GG r je ekvivalence (a 1, a 2 ), (b 1, b 2 ) r (a 1 G b 1, a 2 G b 2 ) r faktorový grupoid grupoidu G podle kongruence r: G/r=(G/r, G/r ), [a] r G/r [b] r = [a G b] r Příklad: [0] [1] [2] r ZZ; r = {(x,y); 3 dělí x-y [0] }[0] [1] [2] r je kongruence na (Z,+) [1] [1] [2] [0] [2] [2] [0] [1] 33

lgebry s jednou binární operací Typy grupoidů: Pologrupa asociativní grupoid. Monoid pologrupa s jednotkovým prvkem. Grupa monoid s inverzními prvky. belova grupa komutativní grupa. Příklady: (Z, ) grupoid, není pologrupou (N {0}, +) pologrupa, není monoidem. (N,) monoid, není grupou. (Z, +) belova grupa. 34

lgebry se dvěma binárními operacemi lgebra (,+, ) se nazývá Okruh, platí-li: (,+) je komutativní grupa (, ) je monoid pro a,b,c platí: a (b+c)=a b+a c, (b+c) a=b a + c a Je-li >1, nazývá se (,+, ) netriviální okruh. Nechť 0 je neutrální prvek grupy (,+). Pak 0 se nazývá nulou okruhu (,+, ). Nechť 1 je jednotkový prvek monoidu (, ). Pak 1 se nazývá jednotkou (jedničkou) okruhu (,+, ). 35

lgebry se dvěma binárními operacemi Okruh (,+, ) se nazývá těleso, platí-li: ( - {0}, ) je komutativní grupa Příklady: (Z,+, ) okruh, není těleso (R,+, ), (C,+, ) tělesa 36

Svaz algebraická struktura Svaz L = (L,, ) : L LL, x, y, z L platí: : L LL x x = x x x = x idempotence x y = y x x y = y x komutativita x (y z) = (x y) z x (y z) = (x y) z asociativita x (x y) = x x (x y) = x absorpce 37

Svaz algebraická struktura Nechť (,, ) je svaz, (B, ) je svazově uspořádaná množina: Definujme na relaci : a b právě když a b = b Definujme na B operace a Pak platí: a b = sup{a,b}, a b = inf{a,b}, (, ) je svazově uspořádaná množina, kde: sup{a,b}= a b, inf{a,b}= a b (B,, ) je svaz (,, ) = (,, ) 38

Svaz algebraická struktura Svaz (L,, ) je: Modulární, platí-li x, y, z L : x z x (y z) = (x y) z Distributivní, platí-li x, y, z L : x (y z) = (x y) (x z) x (y z) = (x y) (x z) Komplementární, platí-li: Existuje nejmenší prvek 0 L, největší prvek 1 L x L x L : x x = 0, x x = 1 x se nazývá doplňkem (komplementem) prvku x 39

Svaz algebraická struktura Každý distributivní svaz je modulární Příklad: M5 (diamant) modulární svaz, který není distributivní N5 (pětiúhelník) není modulární 1 c 1 a b c a b M5 0 N5 0 40

Svaz algebraická struktura Svaz (L,, ) se nazývá Booleův svaz, je-li: Komplementární, distributivní s nejmenším prvkem 0 L a největším prvkem 1 L Booleova algebra: (L,,,, 0, 1), : LL je operace komplementu v L Příklad: (2,, ), = {1,2,3,4,5,6,7} 41