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

Podobné dokumenty
Úvod do informatiky. Miroslav Kolařík

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

Množiny, relace, zobrazení

Množiny a operace s nimi

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

Úvod do informatiky. Miroslav Kolařík

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

Úvod do informatiky. Miroslav Kolařík

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.

Množiny. Množina je soubor objektů, o kterých můžeme rozhodnout, zda do množiny patří nebo ne. Tyto objekty nazýváme prvky.

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

Matematická analýza 1

3 Množiny, Relace a Funkce

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

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

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

Množiny. množinové operace jsou mírně odlišné od

Matematická logika. Miroslav Kolařík

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

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

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

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

Úvod do informatiky. Miroslav Kolařík

2. přednáška - PRAVDĚPODOBNOST

Booleova algebra. 1. kapitola. Množiny a Vennovy diagramy

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

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

1 Základní pojmy. 1.1 Množiny

Pravděpodobnost a statistika

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

Základy matematiky pro FEK

Matematická logika. Miroslav Kolařík

Matematika B101MA1, B101MA2

Úvod do informatiky. Miroslav Kolařík

ZÁKLADNÍ PLANIMETRICKÉ POJMY

Matematika III. 27. září Vysoká škola báňská - Technická univerzita Ostrava. Matematika III

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 α

Matematika I (KMI/5MAT1)

Marie Duží

FUNKCE POJEM, VLASTNOSTI, GRAF

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

Matematická logika. Miroslav Kolařík

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

1 Báze a dimenze vektorového prostoru 1

Teorie pravěpodobnosti 1

Intuitivní pojem pravděpodobnosti

Sada 1 Matematika. 01. Množiny - úvod

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

Aplikovaná matematika I, NMAF071

Logika, výroky, množiny

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

1.1 Základní pojmy prostorové geometrie. Předmětem studia prostorové geometrie je prostor, jehož prvky jsou body. Další

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

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

Základy teorie množin

Aritmetika s didaktikou I.

Vybrané přístupy řešení neurčitosti

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, ),

Lineární algebra : Lineární prostor

Matematická analýza pro informatiky I.

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.

3. Podmíněná pravděpodobnost a Bayesův vzorec

M - Příprava na 2. zápočtový test - třídy 1DP, 1DVK

2. Definice pravděpodobnosti

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

PŘEDNÁŠKA 2 POSLOUPNOSTI

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

Modely Herbrandovské interpretace

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

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

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Turingovy stroje. Teoretická informatika Tomáš Foltýnek

Bakalářská matematika I

Základy teorie množin

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

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

Funkce. Definiční obor a obor hodnot

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

Náhodný pokus Náhodným pokusem (stručněji pokusem) rozumíme každé uskutečnění určitého systému podmínek resp. pravidel.

Výroková logika. Teoretická informatika Tomáš Foltýnek

Projekty - Úvod do funkcionální analýzy

Drsná matematika III 9. přednáška Rovinné grafy: Stromy, konvexní mnohoúhelníky v prostoru a Platónská tělesa

Drsná matematika III 1. přednáška Funkce více proměnných: křivky, směrové derivace, diferenciál

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.

Naivní teorie množin. Naivní pojem množiny Funkce jako nálepkovací schéma Konečnost, nekonečnost Spočetnost, nespočetnost

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

S T E R E O M E T R I E ( P R O S T O R O V Á G E O M E T R I E ) Z Á K L A D N Í G E O M E T R I C K É Ú T VA R Y A J E J I C H O Z N A

Pravděpodobnost a její vlastnosti

CZ.1.07/1.5.00/

Náhodné jevy. Teorie pravděpodobnosti. Náhodné jevy. Operace s náhodnými jevy

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

MNOŽINY. x A. Jeho varianty paradox mostu se šibenicí, paradox holiče.

Přednáška 1: Reálná funkce jedné reálné proměnné

doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je

1. 1 P Ř I R O Z E N Á Č Í S L A

RELACE, OPERACE. Relace

Základy teorie grupoidů a grup

1 Množiny, výroky a číselné obory

Matematická analýza III.

Matematická analýza pro informatiky I. Limita posloupnosti (I)

Transkript:

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

Množiny, relace a funkce úvod Množiny, relace a funkce jsou matematickými protějšky jevů, se kterými se setkáváme v každodenním životě. Množina je protějškem souboru (seskupení). Relace je protějškem vztahu. Funkce je protějškem přiřazení. umožňují přesné, srozumitelné a jednoduché vyjadřování. se používají v matematice (bez jejich znalostí nemůžeme číst žádný matematický text) a v řadě aplikovaných oborů včetně informatiky (funkcionální programování, relační databáze, informační systémy, znalostní inženýrství a další).

Množina je objekt, který se skládá z jiných objektů, tzv. prvků té množiny. Množiny zpravidla označujeme velkými písmeny (A,B,...,Z), jejich prvky pak malými písmeny (a,b,...,z). Fakt, že x je prvkem množiny A označujeme x A. Není-li x prvkem A píšeme x / A. Množina je jednoznačně dána svými prvky, tj. tím, které prvky do ní patří a které ne. Nemá tedy smysl hovořit o pořadí prvků v množině a nemá smysl uvažovat, kolikrát je daný prvek v dané množině. Speciální množinou je tzv. prázdná množina; označuje se /0. Tato množina neobsahuje žádný prvek, tj. pro každý prvek x platí x / /0.

Množiny se dělí na konečné a nekonečné. Množina A se nazývá konečná, právě když existuje přirozené číslo n tak, že prvky této množiny lze jednoznačně očíslovat čísly 1,2,...,n. Číslo n se přitom nazývá počet prvků množiny A a značíme ho A, tj. A = n. Množina A se nazývá nekonečná, není-li konečná. Pak píšeme, že A = a říkáme, že A má nekonečně mnoho prvků. Například množina A = {11,13,15,21} je konečná a A = 4. Množina všech přirozených čísel N je nekonečná a N =. Pro prázdnou množinu je zřejmě /0 = 0.

Množiny se dělí na konečné a nekonečné. Množina A se nazývá konečná, právě když existuje přirozené číslo n tak, že prvky této množiny lze jednoznačně očíslovat čísly 1,2,...,n. Číslo n se přitom nazývá počet prvků množiny A a značíme ho A, tj. A = n. Množina A se nazývá nekonečná, není-li konečná. Pak píšeme, že A = a říkáme, že A má nekonečně mnoho prvků. Například množina A = {11,13,15,21} je konečná a A = 4. Množina všech přirozených čísel N je nekonečná a N =. Pro prázdnou množinu je zřejmě /0 = 0.

Zapisování množin Množiny zapisujeme: výčtem prvků. Množina sestávající právě z prvků a 1,...,a n se označuje {a 1,...,a n } udáním tzv. charakteristické vlastnosti. Množina sestávající právě z prvků, které splňují vlastnost ϕ(x), se označuje {x ϕ(x)}. Vlastnost ϕ(x) může být popsána i v přirozeném jazyce, musí ale mít jednoznačný smysl. Poznámka: Zápis {x A ϕ(x)} označuje množinu {x x A a ϕ(x)}. Poznámka: Často se používá zápis {a i i I}. Přitom I je množina (říká se jí indexová) a pro každý (index) i I je a i nějaký prvek. Pak {a i i I} je množina {x i I tak, že x = a i }.

Zapisování množin Množiny zapisujeme: výčtem prvků. Množina sestávající právě z prvků a 1,...,a n se označuje {a 1,...,a n } udáním tzv. charakteristické vlastnosti. Množina sestávající právě z prvků, které splňují vlastnost ϕ(x), se označuje {x ϕ(x)}. Vlastnost ϕ(x) může být popsána i v přirozeném jazyce, musí ale mít jednoznačný smysl. Poznámka: Zápis {x A ϕ(x)} označuje množinu {x x A a ϕ(x)}. Poznámka: Často se používá zápis {a i i I}. Přitom I je množina (říká se jí indexová) a pro každý (index) i I je a i nějaký prvek. Pak {a i i I} je množina {x i I tak, že x = a i }.

Poznámka: Pokud mluvíme o množině, jejíž prvky jsou opět množinami, říkáme někdy místo "množina množin" spíše "systém množin". Poznámka: Přístup k množinám, který zde představujeme, je tzv. naivní (popř. intuitivní). Může totiž vést k paradoxům. Začátkem 20. století na ně upozornil Bertrand Russel. Přístup, ve kterém se paradoxy nevyskytují nabízí tzv. axiomatická teorie množin. Pro naše účely ale zůstaneme u naivního přístupu, je jednodušší a stačí nám.

Vztahy mezi množinami Základními vztahy mezi množinami jsou rovnost (označujeme ji =) a inkluze (označujeme ji ). Jsou-li A a B množiny, pak A = B čteme "(množina) A se rovná (množině) B" a A B čteme "(množina) A je podmnožinou (množiny) B". Přitom A = B znamená, že pro každý x : x A, právě když x B A B znamená, že pro každý x : jestliže x A, pak x B A B znamená, že neplatí A = B A B znamená, že neplatí A B. Poznámka: Všimněme si, že A = B platí, právě když je zároveň A B a B A.

Množina, jejímiž prvky jsou právě všechny podmnožiny dané množiny X, se nazývá potenční množina množiny X; značí se P(X) nebo také 2 X. Tedy 2 X = {A A X}. Zřejmě vždy /0 a množina X jsou prvky množiny 2 X. Poznamenejme, že 2 X = 2 X. Například pro tříprvkovou množinu B = {a,b,c} je 2 B = 2 3 = 8, přičemž 2 B = {/0,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}.

Množina, jejímiž prvky jsou právě všechny podmnožiny dané množiny X, se nazývá potenční množina množiny X; značí se P(X) nebo také 2 X. Tedy 2 X = {A A X}. Zřejmě vždy /0 a množina X jsou prvky množiny 2 X. Poznamenejme, že 2 X = 2 X. Například pro tříprvkovou množinu B = {a,b,c} je 2 B = 2 3 = 8, přičemž 2 B = {/0,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}.

Operace s množinami Mezi základní operace s množinami patří průnik (značí se ), sjednocení (značí se ) a rozdíl (značí se \ nebo také ). Jsou-li A,B množiny, definujeme množiny A B, A B a A \ B předpisy A B = {x x A a x B}, A B = {x x A nebo x B}, A \ B = {x x A a x / B}. Množiny A a B nazýváme (navzájem) disjunktní, právě když A B = /0.

Operace s množinami Mezi základní operace s množinami patří průnik (značí se ), sjednocení (značí se ) a rozdíl (značí se \ nebo také ). Jsou-li A,B množiny, definujeme množiny A B, A B a A \ B předpisy A B = {x x A a x B}, A B = {x x A nebo x B}, A \ B = {x x A a x / B}. Množiny A a B nazýváme (navzájem) disjunktní, právě když A B = /0.

Často uvažujeme jednu množinu X, které říkáme univerzum (obor našich úvah) a pracujeme jen s množinami, které jsou podmnožinami X. Je-li dáno nějaké univerzum X a množina A X, pak doplněk množiny A je množina X \ A (značíme ji A). Například pro X = {1,2,3,4,5} je {3,4} = {1,2,5}. Je-li A = {B i i I} množina, jejíž prvky jsou opět množiny (systém množin), definujeme A = {x i I : x B i }, tedy x A, právě když x patří do nějaké množiny, která je prvkem A. Např. {{p,q,r,s},{1,2},{q,2,3}} = {p,q,r,s,1,2,3}. Poznámka: Operace a základní vztahy mezi množinami můžeme ilustrovat pomocí tzv. Vennových diagramů. Množiny jsou znázorňovány ohraničenými uzavřenými křivkami v rovině, prvky jako body v rovině.

Často uvažujeme jednu množinu X, které říkáme univerzum (obor našich úvah) a pracujeme jen s množinami, které jsou podmnožinami X. Je-li dáno nějaké univerzum X a množina A X, pak doplněk množiny A je množina X \ A (značíme ji A). Například pro X = {1,2,3,4,5} je {3,4} = {1,2,5}. Je-li A = {B i i I} množina, jejíž prvky jsou opět množiny (systém množin), definujeme A = {x i I : x B i }, tedy x A, právě když x patří do nějaké množiny, která je prvkem A. Např. {{p,q,r,s},{1,2},{q,2,3}} = {p,q,r,s,1,2,3}. Poznámka: Operace a základní vztahy mezi množinami můžeme ilustrovat pomocí tzv. Vennových diagramů. Množiny jsou znázorňovány ohraničenými uzavřenými křivkami v rovině, prvky jako body v rovině.

Často uvažujeme jednu množinu X, které říkáme univerzum (obor našich úvah) a pracujeme jen s množinami, které jsou podmnožinami X. Je-li dáno nějaké univerzum X a množina A X, pak doplněk množiny A je množina X \ A (značíme ji A). Například pro X = {1,2,3,4,5} je {3,4} = {1,2,5}. Je-li A = {B i i I} množina, jejíž prvky jsou opět množiny (systém množin), definujeme A = {x i I : x B i }, tedy x A, právě když x patří do nějaké množiny, která je prvkem A. Např. {{p,q,r,s},{1,2},{q,2,3}} = {p,q,r,s,1,2,3}. Poznámka: Operace a základní vztahy mezi množinami můžeme ilustrovat pomocí tzv. Vennových diagramů. Množiny jsou znázorňovány ohraničenými uzavřenými křivkami v rovině, prvky jako body v rovině.

základní vlastnosti, Věta Pro množiny A, B, C platí: A /0 = /0, A /0 = A, A A = A, A A = A A B = B A, A B = B A (A B) C = A (B C), (A B) C = A (B C) A (B C) = (A B) (A C), A (B C) = (A B) (A C) A (A B) = A, A (A B) = A.

Příklad Pomocí Vennového diagramu zjistěte jaké prvky patří do množin C, C A a C B, je-li: univerzum X = {1,2,3,4,5,6,7,8,9,10,11} A B C = {5,6} X (A B C) = {9,10} B C = {5,6,7} A C = {4,5,6} A B = {2,3,5,6} A = {1,2,3,4,5,6} B = {2,3,5,6,7,8}. Řešení: jednoduché.