Množinové operace
Z Wikipedie, otevřené encyklopedie
Termínem množinové operace jsou označovány operace, jejichž operandy mohou být výhradně množiny - jedná se o sjednocení, průnik, rozdíl množin, doplněk množiny a kartézský součin.
Obsah |
[editovat] Množinové operace
[editovat] Sjednocení
Sjednocení množin a
je množina všech prvků, které patří alespoň do jedné z množin
a
.
Značí se .
[editovat] Průnik
Průnik množin a
je množina všech prvků, které patří do množiny
a zároveň do množiny
.
Značí se .
[editovat] Rozdíl
Rozdíl množin a
je množina, které patří množině
, ale nepatří množině
.
Značí se nebo
.
[editovat] Doplněk (komplement)
Doplněk (komplement) množiny je unární operace označující všechny prvky, které nepatří množině A. V případě doplňku by mělo být z kontextu jasné, do které množiny se doplněk počítá, pokud není uvedeno, myslí se doplněk do univerzální třídy.
Značí se nebo
.
[editovat] Kartézský součin
Kartézský součin množin a
je množina všech uspořádaných dvojic, jejichž první prvek patří do
a druhý prvek patří do
.
Značí se .
[editovat] Formální definice
Po slovní definici z předešlých kapitol uveďme ještě formální definice množinových operací v jazyce teorie množin:
[editovat] Příklad
Uvažujme o dvou množinách a
, za základní množinu (z hlediska doplňku) vezměme množinu
všech přirozených čísel.
[editovat] Užitečné vztahy
Kromě základních vlastností sjednocení a průniku existují další zajímavé vlastnosti množinových operací.
Velmi důležitou je možnost vyjádřit rozdíl množin pomocí doplňku
množiny
jako
Pro libovolné dvě množiny a jejich doplňky
platí
Pro množiny platí
S využitím de Morganových zákonů pak můžeme dostat vztahy
[editovat] Podívejte se také na
![]() |
Související články obsahuje: |