4 Binární relace, Ekvivalence

Podobné dokumenty
Aritmetika s didaktikou I.

Úvod do informatiky. Miroslav Kolařík

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

Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5

Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.

3 Množiny, Relace a Funkce

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

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

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

5 Orientované grafy, Toky v sítích

Matematická analýza 1

Úvod do informatiky. Miroslav Kolařík

UDBS Cvičení 10 Funkční závislosti

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

PŘEDNÁŠKA 7 Kongruence svazů

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární 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.

Relace a kongruence modulo

RELACE, OPERACE. Relace

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

Relace a kongruence modulo

Teoretická informatika - Úkol č.1

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

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 jara 2017

Kongruence na množině celých čísel

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

3 Množiny, Relace a Funkce

Přijímací zkouška - matematika

Úvod do informatiky. Miroslav Kolařík

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 jara 2016

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.

Vlastnosti regulárních jazyků

text ke studiu matematiky v oboru učitelství pro první stupeň základní školy zejména jako opora pro kombinované studium

Relační datový model. Integritní omezení. Normální formy Návrh IS. funkční závislosti multizávislosti inkluzní závislosti

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

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

Marie Duží

Množiny, relace, zobrazení

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 2016

Obsah přednášky. Databázové systémy. Normalizace relací. Normalizace relací. Normalizace relací. Normalizace relací

Databázové systémy. Cvičení 2

Základy teorie množin

* Induktivní definice množin a funkcí.

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

4 Pojem grafu, ve zkratce

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

Lineární algebra Eva Ondráčková

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 jara 2014

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

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

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

Databázové systémy Tomáš Skopal

)(x 2 + 3x + 4),

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

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

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

Notice:Jagran Infotech Ltd. Printed by Fontographer 4.1 on 6/3/2003 at 7:12 PM

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

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

3. Algebraické systémy

Formální jazyky a gramatiky Teorie programovacích jazyků

Lineární algebra. Matice, operace s maticemi

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

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.

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 2014

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

10 Důkazové postupy pro algoritmy

Jan Pavĺık. FSI VUT v Brně

{ } B =. Rozhodni, které z následujících. - je relace z A do B

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

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

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

3. série. Nerovnosti. Téma: Termínodeslání:

Bakalářská matematika I

Matematická logika. Miroslav Kolařík

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

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ů):

Matematika 6F fuzzy množiny

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

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

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

1 Báze a dimenze vektorového prostoru 1

B A B A B A B A A B A B B

Základy teorie grupoidů a grup

Matematická analýza pro informatiky I.

Zadání semestrálního projektu Algoritmy II. letní semestr 2017/2018

4. Napjatost v bodě tělesa

Grafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.

VEKTOROVÁ POLE Otázky

1. Množiny, zobrazení, relace

8 Podobná (ekviformní) zobrazení v rovině

TGH02 - teorie grafů, základní pojmy

11 Vzdálenost podprostorů

Funkce zadané implicitně

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

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

4. Diferenciál a Taylorova věta

Cvičení z Lineární algebry 1

Transkript:

4 Binární relace, Ekvivalence Na pojem relace velmi brzo narazí(snad) každý informatik při studiu relačních databází. Nenítovšakjentatooblast,aleijinámístainformatiky,kdeserelaceskrývajíčipřímo explicitně objevují. Nejčastěji se takto setkáme s binárními relacemi, například vždy, kdyžrozdělujemeobjektypodle shodných znaků(relaceekvivalence),nebokdyž objektymezisebou srovnáváme (relaceuspořádání). Stručný přehled lekce * Reprezentace relací, tabulkou a grafem. * Základní vlastnosti binárních relací. * Relace ekvivalence, neboli rozklady množin. Petr Hliněný, FI MU Brno 1 FI: IB000: Binární Relace

Zopakování pojmu relace Definice4.1.Relace mezimnožinami A 1,,A k,pro k Æ, je libovolná podmnožina kartézského součinu R A 1 A k. Pokud A 1 = =A k = A,hovořímeok-árnírelacina A. Takžebinárnírelace R(pro k=2)je R A A. Příklady relací. {(1,a),(2,a)}jerelacemezi {1,2,3}a{a,b}. {(i,2.i) i Æ}jebinárnírelacena Æ. {(i,j,i+ j) i,j Æ}jeternárnírelacena Æ. Relace mítrychlejšípočítač jebinárnírelacímezistudentyfi. Petr Hliněný, FI MU Brno 2 FI: IB000: Binární Relace

4.1 Reprezentace konečných relací Příklad 4.2. Tabulky relační databáze. Definujmenásledujícímnožiny( elementárnítypy ) ZNAK={a,,z, A,,Z, mezera}, CISLICE={0,1,2,3,4,5,6,7,8,9}. Dáledefinujemetytomnožiny( odvozenétypy ) JMENO=ZNAK 15, PRIJMENI=ZNAK 20, VEK=CISLICE 3, ZAMESTNANEC JMENO PRIJMENI VEK. Relaci typu ZAMESTNANECpaklzereprezentovattabulkou: JMENO PRIJMENI VEK Jan Novák 42 Petr Vichr 28 Pavel Zíma 26 Relační datábáze je konečná množina tabulek. Schéma databáze je(zjednodušeněřečeno)množina typů jednotlivýchtabulek. Petr Hliněný, FI MU Brno 3 FI: IB000: Binární Relace

Reprezentace binárních relací na množině Značení: Binární relaci R M M lze jednoznačně znázornit jejím grafem. Prvky M znázorníme jako body v rovině. Prvek(a,b) Rznázornímejakoorientovanouhranu( šipku )zado b. Je-li a=b,pakjetoutohranou smyčka na a. Pozor,nejednáseo grafyfunkcí známézanalýzy. Napříkladmějme M= {a, b, c, d, e, f}ar={(a, b),(b, c),(b, d),(b, e),(b, f),(d, c), (e, c),(f, c),(e, d),(e, f),(f, b)},pak: f e a b d c Vpřípadě,že Rjenekonečnánebo velká,můžebýtreprezentace Rjejím grafemnepraktická(záležípaknamíře pravidelnosti R). Petr Hliněný, FI MU Brno 4 FI: IB000: Binární Relace

4.2 Vlastnosti binárních relací Definice4.3. Nechť R M M.Binárnírelace Rje reflexivní,právěkdyžprokaždé a Mplatí(a,a) R; ireflexivní,právěkdyžprokaždé a Mplatí(a,a) R; X X symetrická,právěkdyžprokaždé a,b M platí,žejestliže(a,b) R, paktaké(b,a) R; antisymetrická, právě když pro každé a, b (a,b),(b,a) R,pak a=b; X M platí, že jestliže Petr Hliněný, FI MU Brno 5 FI: IB000: Binární Relace

tranzitivní,právěkdyžprokaždé a,b,c Mplatí,žejestliže(a,b),(b,c) R,paktaké(a,c) R. a b c Následují dva základní typy binárních relací, R je relace ekvivalence, právě když je R reflexivní, symetrická a tranzitivní; částečné uspořádání, právě když je R reflexivní, antisymetrická a tranzitivní (často říkáme jen uspořádání). Poznámka: Pozor, může být relace symetrická i antisymetrická zároveň? Ano! Petr Hliněný, FI MU Brno 6 FI: IB000: Binární Relace

Příklad 4.4. Několik příkladů relací definovaných v přirozeném jazyce. Buď Mmnožinavšechstudentů1.ročníkuFI.Uvažmepostupněrelace R M M definované takto (x, y) Rprávěkdyž xaymajístejnérodnéčíslo; (x, y) Rprávěkdyž xmástejnouvýškujako y(dejmetomunacelémm); (x, y) Rprávěkdyžvýška xaysenelišívícejako2mm; (x, y) Rprávěkdyž xmáalespoňtakovouvýškujako y; (x, y) Rprávěkdyž xmájinouvýškunež y(dejmetomunacelémm); (x, y) Rprávěkdyž xjezamilován(a)do y. Příklad 4.5. Jaké vlastnosti mají následující relace? Buď R Æ Æ definovaná takto (x,y) R právě když x dělí y. (Částečné uspořádání, ale ne každá dvě čísla jsou porovnatelná.) Buď R Æ Ædefinovanátakto(x,y) Rprávěkdyž xaymajístejný zbytek po dělení číslem 5. (Ekvivalence.) Nechť F= {f f: Æ Æ}jemnožinafunkcí.Buď R F Fdefinovaná takto(f,g) Rprávěkdyž f(x) < g(x)provšechna x. (Antisymetrická a tranzitivní, ale ne reflexivní není uspořádání.) Petr Hliněný, FI MU Brno 7 FI: IB000: Binární Relace

4.3 Relace ekvivalence Relace R M Mjeekvivalenceprávěkdyž Rjereflexivní,symetrickáa tranzitivní. Tyto tři vlastnosti je tedy třeba ověřit k důkazu toho, že daná relace R je ekvivalence. Jak vypadá graf ekvivalence? Neformálněřečeno:ekvivalencejerelace R M M,taková,že(x,y) R právěkdyž xayjsouvnějakémsmyslu stejné. Petr Hliněný, FI MU Brno 8 FI: IB000: Binární Relace

Buď Mmnožinavšechstudentů1.ročníkuFI.Uvažmepostupněrelace R M Mdefinovanétakto (x,y) Rprávěkdyž xmástejnouvýškujako y; (x,y) Rprávěkdyž xmástejnoubarvuvlasůjako y; (x,y) Rprávěkdyž x,ymajístejnouvýškuastejnoubarvuvlasů; (x,y) Rprávěkdyž x,ymajístejnouvýškunebostejnoubarvuvlasů. (Tato relace obecně není ekvivalence! Proč?) Příklad4.6.Buď R Æ Æbinárnírelacedefinovanátakto:(x,y) Rprávě když x y jedělitelnétřemi. Vjakémsmyslujsouzde xay stejné? Dávajístejnýzbytekpodělenítřemi. Příklad 4.7. Buď R binární relace mezi všemi studenty na přednášce FI: IB000 definovanátakto:(x,y) Rprávěkdyž xiysedívprvnílavici. Proč se v tomto případě nejedná o relaci ekvivalence? Protože není reflexivní pro studenty sedící v dalších lavicích.(takže si dávejte dobrý pozor na správné pochopení definic.) Petr Hliněný, FI MU Brno 9 FI: IB000: Binární Relace

4.4 Rozklady a jejich vztah k ekvivalencím Definice 4.8. Rozklad. Buď M množina. Rozklad(na) Mjemnožinapodmnožin N 2 M splňujícínásl.třipodmínky: N(tj.každýprvek Njeneprázdnápodmnožina M); pokud A,B N,pakbuď A=Bnebo A B= ; A N A=M. Prvkům N se také říká třídy rozkladu. Buď M= {a,b,c,d}.pak N= {{a}, {b,c}, {d}}jerozkladna M. Nechť A 0 = {k Æ kmod3=0}, A 1 = {k Æ kmod3=1}, A 2 = {k Æ kmod3=2}. Pak N= {A 0,A 1,A 2 }jerozkladvšechpřirozenýchčísel Æpodlezbytkových tříd. Každýrozklad Nna Mjednoznačněurčujejistouekvivalenci R N na M. Petr Hliněný, FI MU Brno 10 FI: IB000: Binární Relace

Věta4.9.Buď MmnožinaaNrozkladna M.Nechť R N M Mjerelace na M definovaná takto (x,y) R N právěkdyžexistuje A Ntaková,že x,y A. Pak R N jeekvivalencena M. Důkaz:Dokážeme,že R N jereflexivní,symetrickáatranzitivní(def.4.3). Reflexivita:Buď x Mlibovolné.Jelikož Njerozkladna M,musíexistovat A N takové,že x A(jinaksporsetřetípodmínkouzDefinice4.8). Proto(x,x) R N,tedy R N jereflexivní. Symetrie:Nechť(x,y) R N.Podledefinice R N pakexistuje A N taková,že x,y A.Toaleznamená,žetaké(y,x) R N podledefinice R N,tedy R N jesymetrická. Tranzitivita:Nechť(x,y),(y,z) R N.Podledefinice R N existují A,B Ntakové,že x,y Aay,z B.Jelikož A B,podledruhépodmínky zdefinice4.8platí A=B.Tedy x,z A=B,proto(x,z) R N podle definice R N. Petr Hliněný, FI MU Brno 11 FI: IB000: Binární Relace

Každá ekvivalence R na M jednoznačně určuje jistý rozklad M/R na M. Věta4.10.Buď MmnožinaaRekvivalencena M.Prokaždé x Mdefinujeme množinu [x]={y M (x,y) R}. Pak {[x] x M}jerozkladna M,kterýznačíme M/R. [c] [d] [h] [g] M [a] [b] [e] [f] Důkaz: Dokážeme, že M/R splňuje podmínky Definice 4.8. Petr Hliněný, FI MU Brno 12 FI: IB000: Binární Relace

[c] [d] [h] [g] [b] [e] [f] M [a] Prokaždé[x] M/Rplatí[x],neboť x [x]. Nechť[x],[y] M/R.Ukážeme,žepokud[x] [y],pak[x]=[y]. Jestliže[x] [y],existuje z Mtakové,že z [x]az [y].podle definice[x]a[y]toznamená,že(x,z),(y,z) R.Jelikož Rjesymetrickáa (y,z) R,platí(z,y) R.Jelikož(x,z),(z,y) RaRjetranzitivní,platí (x,y) R.Prototaké(y,x) R(opětzesymetrie R). Nynídokážeme, že[y]=[x]: [x] [y]: Nechť v [x].pak(x, v) Rpodledefinice[x].Dále(y, x) R(vizvýše),tedy(y, v) Rneboť Rjetranzitivní.Topodledefinice[y] znamená,že v [y]. [y] [x]: Nechť v [y].pak(y, v) Rpodledefinice[y].Dále(x, y) R(vizvýše),tedy(x, v) Rneboť Rjetranzitivní.Topodledefinice[x] znamená,že v [x]. Platí [x] M/R[x]=M,neboť x [x]prokaždé x M. Petr Hliněný, FI MU Brno 13 FI: IB000: Binární Relace