3 Množiny, množinové operace V přehledu matematických formalismů informatiky se v této lekci zaměříme na první základní „datový typ" matematiky, tj. na množiny. O množinách jste sice 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. * Uspořádané fc-tice a kartézský součin. * Porovnávania určení množin. Princip inkluze a exkluze. * Posloupnosti a rekurentní vztahy. Petr Hliněný, Fl MU Brno, 2013 1/21 Fl: IB000: Množiny, množinové operace 3.1 Pojem množiny Co je vlastně množinaľc Na tuto otázku bohužel není zcela jednoduchá odpoveď. .. • Naivní pohled: „Množina je soubor prvků a je svými prvky plně určena, "c • Příklady zápisu množin 0, {a, b}, {b, a}, {a, b, a}, {{a, b}}, {0, {0}, {{0}}}, {x | x je liché přirozené číslo}. Petr Hliněný, Fl MU Brno, 2013 2/21 Fl: IB000: Množiny, množinové operace Co je ale pak prvek? Tady pozor, pojem prvku sám o sobě nemá matematický význam, svého významu totiž nabývá pouze ve spojení „být prvkem množiny". Prvky množiny tak může být cokoliv, mimo jiné i dalším množiny. Relativitu významu vztahu „prvek-množina" si můžeme přiblížit třeba na vztahu „podřízený-nadřízený" z běžného pracovního života. Tam také nemá smysl jen říkat, že je někdo podřízeným, aniž řekneme také jeho nadřízeného. Přitom i vedoucí je někomu ještě podřízený a naopak i ten poslední podřízený pracovník může být pánem třeba svého psa. Podobně je tomu s množinou jako „nadřízenou" svých prvků, c Ale přece jenom. .. v dobře definovaném kontextu lze (omezeně) mluvit o prvcích jako samostatných entitách. Formálně se například jedná o prvky pevně dané nosné množiny. Petr Hliněný, Fl MU Brno, 2013 3/21 Fl: IB000: Množiny, množinové operace Značení množin a jejich prvků: • x G M „x je prvkem množiny M", • 0 je prázdni množina {}. c Některé vlastnosti vztahu „být prvkem" jsou • a£{a,6}, a0{{a,6}}, {a, 6} G {{a, 6}}, a 0 0, 0 G {0}, 0 0 0,c • rovnost množin dle prvků {a, 6} = {6, a} = {a, 6, a}, {a, b} ^ {{a,b}}.c Značení: Počet prvků (mohutnost) množiny A zapisujeme \A\. • |0| = 0, |{0}| = 1, \{a, b, c}\ = 3, \{{a, b}, c}\ = 2. Petr Hliněný, Fl MU Brno, 2013 4/21 Fl: IB000: Množiny, množinové operace Jednoduché srovnání množin Vztah „být prvkem množiny" přirozeně nám podává i způsob porovnávání množin mezi sebou. Jedná se o klíčovou část teorie množin. Definice: Množina A je podmnožinou množiny B, právě když každý prvek je prvkem B. Píšeme A C B nebo obráceně B ~D A. Říkáme také, že se jedná o inkluzi. c • Platí {a} C {a} C {a, b} £ {{a, b}}, 0 C {0}, • A C B právě když A C B a A ^ B (A je vlastní podmnožinou B).c Z naivní definice množiny pak přímo vyplývá následující: Definice: Dvě množiny jsou si rovny A = B právě když A C B a B C A. • Podle naivní definice jsou totiž množiny A a B stejné, mají-li stejné prvkyx • Důkaz rovnosti množin A = B má obvykle dvě části: Odděleně se dokáží inkluze A C B a B C A. Petr Hliněný, Fl MU Brno, 2013 5/21 Fl: IB000: Množiny, množinové operace Ukázky nekonečných množin Značení: Běžné číselné množiny v matematice jsou následující * N = {0,1, 2, 3,... } je množina přirozených čísel, * 7L = {..., —2, — 1, 0,1, 2, 3,... } je množina celých čísel, * = {1,2,3,...} je množina celých kladných čísel, * Q je množina racionálních čísel (zlomků). * R je množina reálných čísel. Tyto uvedené číselné množiny jsou vesměs nekonečné, na rozdíl od konečných množin uvažovaných v předchozím „naivním" pohledu, c 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 v Lekci 12. Petr Hliněný, Fl MU Brno, 2013 6/21 Fl: IB000: Množiny, množinové operace 3.2 Množinové operace Základní operace Definice 3.1. Sjednocení U a průnik n dvou množin A, B definujeme AU B = {x I x G A nebo x G B}n . A H B = {x | x G A a současně x G B} . • Příklady {a, b, c} U {a, d} = {a, b, c, d}, {a, b, c} D {a, d} = {a}, c • Vždy platí „distributivita" A n (B U C) = (A n B) U (A n C) a A u (s n C) = (A U B) n (A U C) Petr Hliněný, Fl MU Brno, 2013 7/21 Fl: IB000: Množiny, množinové operace • a také „asociativita" A n (B n C) = (A n 5) n C (stejně pro U) a „komutativita" A n -B = i? n A (stejně pro U). Definice: Pro libovolný počet množin indexovaných pomocí / rozšířeně [^J j Ai = {x | x G Ai pro nějaké i G /}□ . |^| ^ Ai = {x | x G Aj pro každé i e /}.c • Nechť Ai = {2- i} pro každé i G N. Pak Uíe]N Ai je množina všech sudých přirozených čísel.c • Nechť Bi = {x | x G N, x > i} pro každé i G N. Pak f]ieM B,t = 0. Petr Hliněný, Fl MU Brno, 2013 8/21 Fl: IB000: Množiny, množinové operace Množinový rozdíl Definice 3.2. Rozdíl \ a symetrický rozdíl A dvou množin A, B definujeme A\B = {x \ x 0 definujeme uspořádanou k-tici (ai, • • • , a k) ind. - (ai) = ai, - (ai,-- - ,aj,ai+i) = ((ai,-- - , a^), ai+i)x Fakt: Platí (ai, • • • , ak) = (&i, • • • , 6fc) právě když a\ = 6« pro každé 1 < i < kz Definice kartézského součinu více množin: Pro každé A: G N definujeme A\ x • • • x Ak = {(cii, • • • > čík) | cii £ M pro každé 1 < i < k} x • Například ŕ = ZxSxZ = {(i, j, fc) | i, j, G Z}. • Co je A°?n {0}, neboť jediná uspořádaná 0-ticeje právě prázdná 0. Poznámka: Podle uvedené definice není součin asociativní, tj. obecně nemusí platit, že A x (B x C) — (A x B) x Cx V matematické praxi je někdy výhodnější uvažovat upravenou definici, podle níž součin asociativní je. Pro účely této přednášky není podstatné, k jaké definici se přikloníme. Prezentované definice a věty „fungují" pro obě varianty. Petr Hliněný, Fl MU Brno, 2013 12/21 Fl: IB000: Množiny, množinové operace Potenční množina Definice 3.4. Potenční množina množiny A, neboli množina všech podmnožin, je definovaná vztahem 2A = {B | B C A} . c • Platí například 2^ = {0, {a}, {b}, {a, b}}, . 20 = {0}, 2Í0'Í0» = {0, {0}, {{0}}, {0, {0}}}, • 2W*{a,6} = {0, {(a, a)}, {(a, b)}, {(a, a), (a, &)}}.□ Věta 3.5. Počet prvků potenční množiny splňuje \2A\ = 2^.n Důkaz: Stručně indukcí podle \A\: Pro A = 0 platí \2A\ = |{0}| = 1. Pro každý další prvek b 0 A rozdělíme všechny podmnožiny Au{6} „napolovic" na ty neobsahující b a na ty obsahující b, tudíž 2^u{ř>}| _ 2 . \2A\ = 2lAl+1 = 2lj4uíř'^ □ Petr Hliněný, Fl MU Brno, 2013 13/21 Fl: IB000: Množiny, množinové operace 3.3 Porovnávání a určení množin Věta 3.6. Pro každé dvě množiny A, B C M platí A U B =ÄnB. Důkaz v obou směrech rovnosti. • AU B CÄnŠ: c * Pro x G M platí x G A U B, pravě když x 0 A U B, neboli když zároveň x 0 A a x 0 B. * To znamená x G A a zároveň x 0. c * Pokud chceme stejnou posloupnost 1, —1, 1, —1,... zadat jako qi, í > 1, tak ji určíme vzorcem qi — (— Petr Hliněný, Fl MU Brno, 2013 19/21 Fl: IB000: Množiny, množinové operace Rekurentní definice posloupnosti Slovem rekurentní označujeme takové definice (či popisy), které se v jistých bodech odvolávají samy na sebe. (Už jste se setkali s „rekurzí" při programování? A víte, co znamená?) c Ukázky rekurentních vztahů: • Zadáme-li posloupnost pn vztahy po = 1 a pn = 2pn_i pro n > 0, pak platí pn = 2n pro všechna n. c • Obdobně můžeme zadat posloupnost qn vztahy q\ = 1 a qn = qn-i + n pro n > 1. Potom platí qn = ^n(n + 1) pro všechna n. Uměli byste toto dokázat indukcí? c • Známá Fibonacciho posloupnost je zadaná vztahy f1 = f2 = lafn = fn-i + fn-2 pro n > 2. Petr Hliněný, Fl MU Brno, 2013 20/21 Fl: IB000: Množiny, množinové operace Příklad 3.10. Posloupnost f je zadaná rekurentní definicí /(O) = 3 a /(n+l) = 2-/(n) + l pro všechna přirozená n. Určete hodnotu f(n) vzorcem v závislosti na n. Řešení: V první fázi řešení takového příkladu musíme nějak „uhodnout" hledaný vzorec pro f(n). Jak? Zkusíme vypočítat několik prvních hodnot a uvidíme... /(I) = 2-/(0) + l = 2-3+1 = 7 f(2) = 2-/(1) +1 = 2-7+1 = 15 /(3) = 2-/(2) +1 = 2-15+1 = 31 /(4) = 2 • /(3) + 1 = 2 • 31 + 1 = 63 Nepřipomínají nám tato čísla něco? Co třeba posloupnost 8 — 1, 16 — 1, 32—1, 64—1.. . ? Bystrému čtenáři se již asi podařilo uhodnout, že půjde o mocniny dvou snížené o 1. Přesněji, f(n) - 2n+2 - 1. □ Ve druhé nesmíme ale zapomenout správnost našeho „věštění" dokázat, nejlépe matematickou indukcí podle n. C Petr Hliněný, Fl MU Brno, 2013 21/21 Fl: IB000: Množiny, množinové operace