3 Množiny, Relace a Funkce

Podobné dokumenty
3 Množiny, Relace a Funkce

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

Množiny, relace, zobrazení

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

Úvod do informatiky. Miroslav Kolařík

* Induktivní definice množin a funkcí.

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

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

Matematická analýza 1

Diskrétní matematika. DiM /01, zimní semestr 2017/2018

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.

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

Marie Duží

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

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

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

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

4 Binární relace, Ekvivalence

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

PŘEDNÁŠKA 2 POSLOUPNOSTI

Základy teorie množin

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

Co je to univerzální algebra?

PŘEDNÁŠKA 7 Kongruence svazů

Lineární algebra Operace s vektory a maticemi

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

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

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

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

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

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.

Aplikovaná matematika I, NMAF071

Matematická logika. Miroslav Kolařík

Princip inkluze a exkluze

Úvod do informatiky. Miroslav Kolařík

2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se

1 Základní pojmy. 1.1 Množiny

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

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

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

Součin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j.

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

Základy teorie množin

4 Pojem grafu, ve zkratce

Patří-li do množiny A právě prvky a, b, c, d, budeme zapisovat A = {a, b, c, d}.

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

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

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

Matematická analýza pro informatiky I.

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

Komplexní čísla, Kombinatorika, pravděpodobnost a statistika, Posloupnosti a řady

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

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

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

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

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

Základy logiky a teorie množin

Paradoxy nekonečna. Co analyzuje Matematická analýza? Nekonečné procesy. n(n + 1) + = n 2 + = π2 6

Množiny a operace s nimi

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

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:

Teorie množin Pavel Podbrdský

Naproti tomu gramatika je vlastně soupis pravidel, jak

Úvod do informatiky. Miroslav Kolařík

autorovu srdci... Petr Hliněný, FI MU Brno 1 FI: MA010: Průnikové grafy

1 Báze a dimenze vektorového prostoru 1

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

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

Kategorie. Od množin ke kategorii. Pepa Svoboda

Lineární algebra : Lineární prostor

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

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 α

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

4. Kombinatorika a matice

Matice. a m1 a m2... a mn

Pravděpodobnost a její vlastnosti

Matematické Základy Informatiky (FI: IB000)

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

3. Matice a determinanty

Booleova algebra Luboš Štěpánek

I. Úvodní pojmy. Obsah

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

METRICKÉ A NORMOVANÉ PROSTORY

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

IB112 Základy matematiky

MATURITNÍ TÉMATA Z MATEMATIKY

ZÁKLADY ARITMETIKY A ALGEBRY I

Algebraické struktury s jednou binární operací

Přijímací zkouška - matematika

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

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

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

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

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

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

Maturitní okruhy z matematiky - školní rok 2007/2008

Pravděpodobnost a statistika

Teorie grup 1 Příklad axiomatické teorie

1 Kardinální čísla. množin. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ),

Bakalářská matematika I

Transkript:

3 Množiny, Relace a Funkce V přehledu matematických formalismů informatiky se v této lekci zaměříme na základní datovétypy matematiky,tj.namnožiny,relaceafunkce.omnožináchjstesice zajisté slyšeli už na základní škole, ale podstatou našeho předmětu je uvést povětšinou neformálně známé pojmy na patřičnou formální úroveň nutnou pro teoretické základy informatiky. Stručný přehled lekce * Uvedení množin a operací množinového kalkulu. * Některé vlastnosti množin, princip inkluze a exkluze. * Relace a definice funkcí, základní vlastnosti. * Posloupnosti a rekurentní vztahy. Petr Hliněný, FI MU Brno 1 FI: IB000: Množiny, Relace a Funkce

3.1 Pojem množiny * Cojevlastněmnožina? Na tuto otázku bohužel není zcela jednoduchá odpověď... Naivnípohled: Množinajesouborprvkůajesvýmiprvkyplněurčena. Pozor,nenískutečnéhorozdílumezi množinami a prvky. Množiny mohou být prvky jiných množin! Příklady:, {a,b}, {b,a}, {a,b,a}, {{a,b}}, {, { }, {{ }}}, {x x je liché přirozené číslo} Značení: Počet prvků(mohutnost) množiny A zapisujeme A. =0, { } =1, {a,b,c} =3, {{a,b},c} =2 Značení množin a jejich prvků: x M xjeprvkemmnožiny M. některévlastnosti a {a,b}, a {{a,b}}, {a,b} {{a,b}}, prázdnámnožina, a, { },, rovnostmnožin {a,b}={b,a}={a,b,a}, {a,b} {{a,b}}. Petr Hliněný, FI MU Brno 2 FI: IB000: Množiny, Relace a Funkce

Definice: Množina A je podmnožinou množiny B, právě když každý prvek A jeprvkem B.Píšeme A Bnebotaké B A;říkámetaké,žesejednáo inkluzi. Platí {a} {a} {a,b} {{a,b}}, { }, A Bprávěkdyž A Ba A B (Ajevlastnípodmnožinou B). Definice:Dvěmnožinyjsousirovny A=Bprávěkdyž A Ba B A. Podle definice jsou množiny A a B stejné, mají-li stejné prvky. Důkazrovnostimnožin A=Bmáobvykledvěčásti: Odděleněsedokážíinkluze A Ba B A. Petr Hliněný, FI MU Brno 3 FI: IB000: Množiny, Relace a Funkce

Značení: Některé běžné množiny v matematice se značí Æ={0,1,2,3,...}jemnožinapřirozenýchčísel, ={..., 2, 1,0,1,2,3,...}jemnožinacelýchčísel, + = {1,2,3,...}jemnožinacelýchkladnýchčísel, É je množina racionálních čísel(zlomků). Ê je množina reálných čísel. Poznámka: Tyto uvedené číselné množiny jsou vesměs nekonečné, na rozdíl od konečnýchmnožinuvažovanýchvpředchozím naivním pohledu. Pojem nekonečné množiny se přímo v matematice objevil až teprve v 19. století a bylo s ním spojeno několik paradoxů ukazujících, že naivní pohled na teorii množin pro nekonečné množiny nedostačuje. My se k problematice nekonečných množin, Kantorově větě a Russelově paradoxu vrátíme v závěru našeho předmětu. Petr Hliněný, FI MU Brno 4 FI: IB000: Množiny, Relace a Funkce

3.2 Množinové operace Definice:Sjednocení aprůnik dvoumnožin A,Bdefinujeme A B = {x x Anebo x B}, A B = {x x Aasoučasně x B}. Příklady {a,b,c} {a,d}={a,b,c,d}, {a,b,c} {a,d}={a}. Vždyplatí distributivita A (B C)=(A B) (A C) a A (B C)=(A B) (A C). Definice: Pro libovolný počet množin indexovaných pomocí I rozšířeně A i = {x x A i pronějaké i I}, i I = {x x A i prokaždé i I}. i I A i Nechť A i = {2.i}prokaždé i Æ.Pak i Æ A ijemnožinavšechsudých přirozených čísel. Nechť B i = {x x Æ,x i}prokaždé i Æ.Pak i Æ B i =. Petr Hliněný, FI MU Brno 5 FI: IB000: Množiny, Relace a Funkce

Definice:Rozdíl \asymetrickýrozdíl dvoumnožin A,Bdefinujeme A \ B = {x x Aasoučasně x B}, A B = (A \ B) (B \ A). Příklady {a,b,c} \ {a,b,d}={c}, {a,b,c} {a,b,d}= {c,d}. Vždyplatínapříklad A \(B C)=(A \ B) (A \ C)apod. Definice:Nechť A M.Doplněk AvzhledemkMjemnožina A=M \ A. Jedná se o poněkud specifickou operaci, která musí být vztažena vzhledem knosnémnožině M! Je-li M= {a,b,c},pak {a,b}={c}.je-li M= {a,b},pak {a,b}=. Vždypro A Mplatí A=A( dvojí doplněk). Vždypro A,B Mplatí A B= A Ba A B= A B. (Viz Vennovy diagramy.) Petr Hliněný, FI MU Brno 6 FI: IB000: Množiny, Relace a Funkce

Uspořádané dvojice a kartézský součin Definice: Uspořádaná dvojice(a, b) je zadána množinou {{a}, {a, b}}. Fakt:Platí(a,b)=(c,d)právěkdyž a=casoučasně b=d. Příklad3.1.Cojepodledefinice(a,a)? (a,a)={{a}, {a,a}}= {{a}, {a}}={{a}}. Definice 3.2. Kartézský součin dvou množin A, B definujeme jako množinu všech uspořádaných dvojic ze složek z A a B A B= {(a,b) a A,b B}. Příklady {a,b} {a}={(a,a),(b,a)}, {c} {a,b}={(c,a),(c,b)}. Platí X= prokaždoumnožinu X. Mnemotechnická pomůcka A B = A B. Petr Hliněný, FI MU Brno 7 FI: IB000: Množiny, Relace a Funkce

Skládání součinu Definice:Prokaždé k Æ,k >0definujemeuspořádanou k-tici(a 1,,a k ) induktivně takto (a 1 )=a 1, (a 1,,a i,a i+1 )=((a 1,,a i ),a i+1 ). Fakt:Platí(a 1,,a k )=(b 1,,b k )právěkdyž a i = b i prokaždé1 i k. Definice kartézského součinu více množin: Pro každé k Æ definujeme A 1 A k = {(a 1,,a k ) a i A i prokaždé1 i k}. Příklad 3 = ={(i,j,k) i,j,k }. Coje A 0? { },neboťjedináuspořádaná0-ticejeprávěprázdná. Poznámka: Podle uvedené definice není součin asociativní, tj. obecně nemusí platit, že A (B C)=(A B) C. Vmatematicképraxijeněkdyvýhodnějšíuvažovat upravenou definici,podlenížsoučin asociativní je. Pro účely této přednášky není podstatné, k jaké definici se přikloníme. Prezentovanédefiniceavěty fungují prooběvarianty. Petr Hliněný, FI MU Brno 8 FI: IB000: Množiny, Relace a Funkce

Potenční množina Definice 3.3. Potenční množina množiny A, neboli množina všech podmnožin, je definovaná vztahem 2 A = {B B A}. Platínapříklad2 {a,b} = {, {a}, {b}, {a,b}}, 2 = { },2 {,{ }} = {, { }, {{ }}, {, { }}}, 2 {a} {a,b} = {, {(a,a)}, {(a,b)}, {(a,a),(a, b)}}. Věta3.4.Početprvkůpotenčnímnožinysplňuje 2 A =2 A. Důkaz:Stručněindukcípodle A :Pro A= platí 2 A = { } =1. Prokaždýdalšíprvek b Arozdělímevšechnypodmnožiny A {b} napolovic natyneobsahující banatyobsahující b,tudíž 2 A {b} =2 2 A =2 A +1. Petr Hliněný, FI MU Brno 9 FI: IB000: Množiny, Relace a Funkce

3.3 Porovnávání a určení množin Věta3.5.Prokaždédvěmnožiny A,B Mplatí A B= A B. Důkaz v obou směrech rovnosti. A B A B: Pro x Mplatí x A B,právěkdyž x A B,nebolikdyžzároveň x Aax B. Toznamená x Aazároveň x B,zčehožvyplývápožadované x A B. A B A B: Pro x Mplatí x A B,právěkdyž x Aazároveň x B,neboli kdyžzároveň x Aax B. Toznamená x A B,zčehožvyplývápožadované x A B. Petr Hliněný, FI MU Brno 10 FI: IB000: Množiny, Relace a Funkce

Věta3.6.Prokaždétřimnožiny A,B,Cplatí A \(B C)=(A \ B) (A \ C). Důkaz. A \(B C) (A \ B) (A \ C): Je-li x A \(B C),pak x Aazároveň x (B C), neboli x Bnebo x C. Proprvnímožnostmáme x (A \ B),prodruhou x (A \ C). Naopak A \(B C) (A \ B) (A \ C): Je-li x (A \ B) (A \ C),pak x (A \ B)nebo x (A \ C). Proprvnímožnostmáme x Aazároveň x B, zčehožplyne x Aazároveň x (B C),atudíž x A \(B C). Druhá možnost je analogická. Petr Hliněný, FI MU Brno 11 FI: IB000: Množiny, Relace a Funkce

Charakteristický vektor(pod)množiny V případech, kdy všechny uvažované množiny jsou podmnožinami nějaké nosné množiny X, což není neobvyklé v programátorských aplikacích, s výhodou využijeme následující reprezentaci množin. Definice:Mějmenosnoumnožinu X= {x 1,x 2,...,x n }.Pro A Xdefinujemecharakteristickývektor χ A jako χ A =(c 1,c 2,...,c n ),kde c i =1pro x i Aac i =0jinak. Platí A=Bprávěkdyž χ A = χ B. Množinovéoperacejsourealizovány bitovýmifunkcemi sjednocení OR, průnik AND, symetrický rozdíl XOR. Petr Hliněný, FI MU Brno 12 FI: IB000: Množiny, Relace a Funkce

Princip inkluze a exkluze Tento důležitý a zajímavý kombinatorický princip je někdy také nazýván princip zapojeníavypojení. Věta 3.7. Počet prvků ve sjednocení dvou či tří množin spočítáme: A B = A + B A B A B C = A + B + C A B A C B C + A B C Všimnětesi,ževětulzestejnětakvyužítkvýpočtupočtuprvkůvprůnikumnožin... Petr Hliněný, FI MU Brno 13 FI: IB000: Množiny, Relace a Funkce

Příklad3.8.Z1000televizíjichpřiprvníkontrolenavýrobnílincemá5vadnou obrazovku, 10 je poškrábaných a 12 má jinou závadu. Přitom 3 televize mají současněvšechnytřivadya4jinéjsoupoškrábanéamajíjinouvadu. Kolik televizí je celkem vadných? Řešení: Dosazením do Věty 3.7 zjistíme výsledek 17. Poznámka. Jen stručně, bez důkazu a bližšího vysvětlení, si uvedeme obecnou formu principu inkluze a exkluze: n A j = ( 1) I 1 A i j=1 =I {1,...,n} (Jeho znalost nebude v předmětu vyžadována.) i I Petr Hliněný, FI MU Brno 14 FI: IB000: Množiny, Relace a Funkce

3.4 Relace a funkce mezi(nad) množinami Dalšímdůležitýmzákladním datovýmtypem matematikyjsourelace,kterým vzhledem k jejich rozsáhlému použití v informatice věnujeme zvýšenou pozornost. Definice3.9.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írelaci Rna 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 Æ. {3.i i Æ}jeunárnírelacena Æ. Jaký význam vlastně mají unární a nulární relace na A? Petr Hliněný, FI MU Brno 15 FI: IB000: Množiny, Relace a Funkce

Funkce mezi množinami Definice 3.10.(Totální) funkce z množiny A do množiny B jerelace fmezi AaBtaková,žeprokaždé x Aexistujeprávějedno y B takové,že(x,y) f. Množina Asenazývádefiničníoboramnožina Boborhodnotfunkce f. Neformálněřečeno,vefunkci fjekaždé vstupní hodnotě xpřiřazenajednoznačně výstupní hodnota y. (Vobecnérelacipočty přiřazených dvojicneomezujeme...) Značení:Místo(x,y) fpíšemeobvykle f(x)=y. Zápis f: A Bříká,že fjefunkcesdef.oborem Aaoboremhodnot B. Funkcím se také říká zobrazení. Definujemefunkci f: Æ Æpředpisem f(x)=x+8.tj. f= {(x,x+8) x Æ}. Definujemefunkciplus: Æ Æ Æpředpisemplus(i,j)=i+j. Tj.plus= {(i,j,i+ j) i,j Æ}. Petr Hliněný, FI MU Brno 16 FI: IB000: Množiny, Relace a Funkce

Definice: Pokud naší definici funkce upravíme tak, že požadujeme pro každé x Anejvýšejedno y Btakové,že(x,y) f,obdržímedefiniciparciální funkcezado B. Vparciálnífunkci pnemusíbýtproněkteré vstupní hodnoty xfunkčníhodnota definována. Pro nedefinovanou hodnotu používáme znak. Další příklady funkcí. Definujemeparciálnífunkci f: Æpředpisem { 3+x jestliže x 0, f(x)= jinak. Tj. f= {(x,3+x) x Æ}. Takéfunkce f: Ê Êdanáběžnýmanalytickýmpředpisem f(x)= x jejenparciální nenídefinovánapro x <0. Co je relace, přiřazující lidem v ČR jejich rodná čísla? Petr Hliněný, FI MU Brno 17 FI: IB000: Množiny, Relace a Funkce

3.5 Posloupnosti a rekurentní vztahy Definice:Funkce p:æ Êsenazýváposloupnost. Mimo funkčního zápisu p(n)častopoužíváme indexovou formuzápisu p n. Poznámka: Obor hodnot posloupnosti může být i jiný než reálná čísla. Na posloupnostsetakédívámejakona seřazení vybranýchprvkůzoboruhodnot,spovoleným opakováním hodnot(nemusí být prostá). Takédef.oborposl.můžezačínatodnulyneboiodjedničky,jakjevaplikacíchpotřeba. Příklady posloupností: p 0 =0, p 1 =2,..., p i =2i,...jeposloupnostsudýchnezápornýchčísel. 3, 3.1, 3.14, 3.141,... je posloupnost postupných dekadických rozvojů π. 1, 1,1, 1,...jeposloupnosturčenávztahem p i =( 1) i, i 0. Pokudchcemestejnouposloupnost1, 1,1, 1,...zadatjako q i, i 1,tak jiurčímevzorcem q i =( 1) i 1. Posloupnostjerostoucíčiklesající,pokud p n+1 > p n či p n+1 < p n pro všechna n. Petr Hliněný, FI MU Brno 18 FI: IB000: Množiny, Relace a Funkce

Rekurentní definice posloupnosti Slovem rekurentní označujeme takové definice(či popisy), které se v jistých bodech odvolávají samy na sebe. (Užjstesesetkalis rekurzí připrogramování?avíte,coznamená?) Ukázky rekurentních vztahů: Zadáme-liposloupnost p n vztahy p 0 =1ap n =2p n 1 pro n >0,pak platí p n =2 n provšechna n. Obdobněmůžemezadatposloupnost q n vztahy q 1 =1aq n = q n 1 + n pro n >1.Potomplatí q n = 1 2n(n+1)provšechna n. Uměli byste toto dokázat indukcí? ZnámáFibonaccihoposloupnostjezadanávztahy f 1 = f 2 =1af n = f n 1 + f n 2 pro n >2. Petr Hliněný, FI MU Brno 19 FI: IB000: Množiny, Relace a Funkce