r 3 Množiny a 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, 2015 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, 2015 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ší množiny, c 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, 2015 3/21 Fl: IB000: Množiny, množinové operace ^Zápis množiny Značení množin a jejich prvků: • x G M „x je prvkem množiny M", • 0 je prázdná množina {}. c Některé vlastnosti vztahu „být prvkem" jsou • a£{a,6}, a0{{a,6}}, {a, b} £ {{a, 6}}, a 0 0, 0 G {0}, 0 0 0,c • rovnost množin dle prvků {a, b} = {b,a} = {a, b, a}, {a, 6} 7^ {{a, 6}}.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, 2015 4/21 Fl: IB000: Množiny, množinové operace Jednoduché srovnání množin Vztah „být prvkem množiny" nám přirozeně podává i způsob porovnávání množin mezi sebou. Jedná se o klíčovou část, čili hlavní nástroj 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, 2015 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. 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 Russelovu paradoxu vrátíme v závěru našeho předmětu v Lekci 12. Petr Hliněný, Fl MU Brno, 2015 6/21 Fl: IB000: Množiny, množinové operace 3.2 Množinové operace Sjednocení a průnik Definice 3.1. Sjednocení U a průnik n dvou množin A, B definujeme AUB = {x | x £ A nebo x G B}n . An B = {x \ x i} pro každé i G N. Pak P|ie]N #i = 0- Petr Hliněný, Fl MU Brno, 2015 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, «2, • • • , a«, aj+i) = {{ai,a2, ■■■ , ai),ai+1).n Fakt: Platí (ai, • • • , a^) = (6i, • • • , 6fc) právě když aj = 6j 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 A2 x • • • x Ak = {(ai, ti2) • • • > afc) I a« £ M Pro každé 1 < i < k} . • Například ŕ = ZxSxZ = k) \ i,j, k G • Co je A°?n {0}, neboť jediná uspořádaná 0-ticeje právě prázdná 0. Poznámka: Podle uvedené definice není kartézský součin asociativní, tj. obecně nemusí platit, že A x (B x C) = (A x B) x C.n 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, 2015 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, 2015 13/21 Fl: IB000: Množiny, množinové operace r 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 = A n B. c • AU B C ADB: n Pro x G m platí x G A U B, právě 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 G -b, z čehož vyplývá požadované • XlTb DÄnl: Pro x G m platí x G A n -b, právě když x G A a zároveň x G -b, neboli když zároveň xg'Aaxg'i?. c * To znamená x 0 A U B, z čehož vyplývá požadované x G A U -b. Důkaz v obou směrech rovnosti (viz ilustrační obrázek). □ Petr Hliněný, Fl MU Brno, 2015 14/21 Fl: IB000: Množiny, množinové operace Věta 3.7. Pro každé tři množiny A, B, C platí A\{BnC) = (A\B) U{A\C).n Důkaz (viz ilustrační obrázek).c • A\(BHC) C (A\B) U{A\C): * Je-li x G A \ (B n C), pak x G A a zároveň i^(Bn C), neboli x ^ B nebo x 0 C. * Pro první možnost máme x G (A \ B), pro druhou x G (A \ C).c • Naopak A\ (BnC) 5 (A \ 5) U(A\C): * Je-li x e(A\B) U(A\ C), pak xč(A\B) nebo x G (A \ C). * Pro první možnost máme x G A a zároveň x ^ B, z čehož plyne x G A a zároveň x 0 (i? n C), a tudíž 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, 2015 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, 2015 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 /(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, 2015 21/21 Fl: IB000: Množiny, množinové operace