Obsah přednášky Teorie množin Množiny Množinové operace O oo ooo Obsah přednášky Množinové operace o oo ooo Obsah přednášky Základy matematiky a statistiky pro humanitní obory 1 Q Teorie množin Pavel Rychlý Vojtěch Kovář B Množiny Fakulta informatiky, Masarykova univerzita Botanická 68a, 602 00 Brno, Czech Republic {pary, xkovar3}@fi.muni.cz B Množinové operace část 3 Pavel Rychlý, Vojtěch Kovář Fl IV PLIN004 U Brno Pavel Rychlý, Vojtěch Kovář Fl MU Brno PLIN004 Obsah přednášky Teorie množin Množinové operace • OOO Teorie množin Obsah přednášky Množiny Množinové operace o »o OOO Množina Množina ■ Teorie množin ■ spolu s logikou základní pilíř matematiky ■ všechny matematické objekty jsou množiny ■ různé formální teorie (nekonečno, axiom výběru) ■ Náš cíl ■ pochopit pojem množina ■ naučit se pracovat se zápisy množin ■ nepouštět se do sporných aspektů teorií množin ■ Množina ■ skupina objektů (čísel, aut, myší, množin) ■ ne nutně stejného typu ■ neobsahuje duplicity ■ není uspořádaná ■ Základní fakta ■ existuje prázdná množina - 0 ■ množina může obsahovat jiné množiny ■ Zápis množin ■ výčtem prvků: {1,2,3}, {0, {0}} ■ výrokem: {x x e N A x > 5} Pavel Rychlý, Vojtěch Kovář Fl IV PLIN004 U Brno Pavel Rychlý, Vojtěch Kovář Fl MU Brno PLIN004 Obsah přednášky Množiny Množinové operace O O* OOO Nekonečné množiny Nekonečné množiny Obsah přednášky Množinové operace o oo »oo Množinové operace Množinové operace (1) ■ Nekonečné množiny ■ existují ve většině teorií množin ■ různě velká nekonečna ■ např. přirozená čísla (racionální čísla) vs. reálná čísla ■ více v dalších přednáškách ■ Operátor e ■ = prvek patří do množiny ■ tzn. na levé straně je vždy prvek, na pravé vždy množina ■ platí Vx(x ^ 0) ■ platí 0 e {0} ■ platí 0^{{0}} Pavel Rychlý, Vojtěch Kovář Fl IV PLIN004 U Brno Pavel Rychlý, Vojtěch Kovář Fl MU Brno PLIN004 Obsah přednášky Množinové operace o oo o»o Podmnožiny Podmnožiny Obsah přednášky Množinové operace OO* Množinové operace(2) Množinové operace (2) ■ Podmnožina c i^cb» Vx(x e A => x e B) u zkrácený zápis Vx e A (x e 6) ■ Potenční množina ■ množina všech podmnožin dané množiny ■ zápis: V(A) nebo 2A ■ p (A) = {x | x c A} ■ platí: = {0} ■ platí: -p({0}) = {0,{0}} ■ platí: Vx(0 e -p(x) A x e V {x)) ■ Rovnost množin u A = B o (AC B A B Q A) u Sjednocení U uAUB = {x\xeA V x e B} u Průnik n uAľ\B = {x\xeA A x e B} Pavel Rychlý, Vojtěch Kovář Fl IV PLIN004 U Brno Pavel Rychlý, Vojtěch Kovář Fl MU Brno PLIN004