Prokážeme tvrzení o končetině rozdílu dvou konečných množin. Ať máme dvě koncové množiny: A A B.zvažte jejich rozdíl A \ B. abychom dokázali, že rozdíl je konečný, musíme ukázat, že množina A \ B obsahuje pouze konečný počet prvků.
Předpokládejme, že množina A obsahuje n prvků a množina B obsahuje m prvků.
Chceme najít počet prvků v rozdílu A \ B. pokud Množina A obsahuje pouze prvky, které nejsou v množině B, pak rozdíl A \ B bude obsahovat všechny n prvků množiny A. V tomto případě bude počet prvků v rozdílu přesně n.
Pokud však Množina A obsahuje prvky, které jsou také přítomny v množině B, pak musíme tyto prvky vyloučit z rozdílu. Počet prvků v rozdílu tedy bude menší než n. Nicméně, jak A, tak B jsou konečné, počet takových prvků bude omezen. V důsledku toho bude konečný také počet prvků v rozdílu a \ B.
Dokažte, že rozdíl dvou konečných množin je samozřejmě
Důkaz, že rozdíl dvou konečných množin lze samozřejmě provést následovně:
Ať máme dvě koncové množiny A A B. Definujme rozdíl těchto množin jako množinu C složenou z prvků, které jsou obsaženy v množině A, ale nejsou obsaženy v množině B.
Chcete-li dokázat, že mnoho C samozřejmě lze použít metodu indukčního důkazu.
Základní krok: nechte nás mít dvě množiny A A B s jedním prvkem. Pak by C byla prázdná množina, protože nemáme prvky, které jsou přítomny pouze v jedné z množin.
Indukční krok: Předpokládejme, že pro nějaké přirozené číslo k obsahuje rozdíl množin A A B prvky k. Přidáme nový prvek do množiny a. pak se nový rozdíl množin C' bude skládat z K+1 prvků, protože jeden prvek bude přidán do C kvůli přidání prvku do A. Tímto způsobem jsme prokázali, že pokud je pro některé k rozdíl množin Konečný, bude konečný i pro k+1.
Pomocí principu matematické indukce lze tedy tvrdit, že rozdíl dvou konečných množin je také konečná množina.
Pojem konečné množiny
Koncové množiny lze představit jako tabulku, kde je každý prvek množiny zastoupen v samostatné buňce. Tato tabulka se nazývá tabulka množiny nebo mnoha bodů. Pro lepší přehlednost a organizaci, tabulka množin obvykle uvádí čísla prvků a zadává jednotlivé sloupce pro každou charakteristiku prvků množiny.
| № | Prvek | Charakteristika 1 | Charakteristika 2 | Charakteristika 3 |
|---|---|---|---|---|
| 1 | element1 | význam1 | význam2 | významy3 |
| 2 | element2 | význam1 | význam2 | významy3 |
| 3 | Element3 | význam1 | význam2 | významy3 |
K určení velikosti, tedy počtu prvků v konečné množině, lze použít jeden z následujících vzorců:
- Shrnout počet položek v tabulce množiny: velikost = (počet položek ve sloupci prvek)
- První vzorec počítá počet položek pomocí seznamu položek v množině: velikost = (počet položek v seznamu)
- Druhý vzorec počítá počet prvků pomocí charakteristik prvků v množině: velikost = (počet různých hodnot charakteristik)
Pojem konečné množiny v matematice je tedy důležitý pro definování a práci s koncovými skupinami prvků. A koncové množiny mají vlastnost, že rozdíl dvou konečných množin je také konečná množina, to znamená, že obsahuje konečný počet prvků.
Operace multiplikačního rozdílu
Formálně je rozdíl dvou množin A A B označen jako A \ B a je definován následovně:
To znamená, že rozdíl množin A A B obsahuje všechny prvky, které patří do množiny A, ale nepatří do množiny B.
Operace multiplikačního rozdílu má několik důležitých vlastností:
1. Komutativnost: A \ B = B \ a. to znamená, že pořadí množin neovlivňuje výsledek operace rozdílu.
2. Asociativita: (A \ B) \ C = A \ (B ∪ C). To znamená, že při provádění více operací rozdílu pořadí jejich provádění neovlivňuje výsledek.
3. Idempotence: A \ A = ∅. To znamená, že rozdíl množiny samotné se vždy rovná prázdné množině.
Důkaz, že rozdíl dvou konečných množin je konečná množina, je založen na definici operace rozdílu a vlastností komutativity a asociativity. Intuitivně si lze představit, že při provádění operace rozdílu "odečteme" od množiny B všechny prvky, které se s ní protínají, a ponecháme pouze prvky, které patří pouze množině a.
Operace násobení je tedy důležitým nástrojem pro práci s množinami a umožňuje nám získat nové množiny na základě již existujících. Je důležité si uvědomit, že operaci násobení lze provést pouze nad koncovými množinami.
Vlastnosti rozdílu množin
Vlastnost 1: Pokud jsou A A B koncové množiny, pak je rozdíl A\B také konečná množina. K prokázání této vlastnosti stačí uvést všechny prvky množiny A a vyloučit z nich prvky patřící do množiny B.
Vlastnost 2: Pokud jsou A A B koncové množiny, pak rozdíl A\B neobsahuje duplicitní prvky. Tato vlastnost vyplývá z definice rozdílu množin-prvky patřící k A I B jsou vyloučeny z rozdílu.
Vlastnost 3: Pokud je a konečná množina, pak je rozdíl A\a prázdná množina. Tato vlastnost je zřejmá, protože rozdíl dvou stejných množin neobsahuje žádný prvek.
Vlastnost 4: Rozdíl množin není komutativní operace, to znamená, že obecně A\B ≠ B\a. tato vlastnost vyplývá z definice rozdílu-nezohledňuje pořadí množin a vylučuje prvky pouze z první množiny.
Pomocí těchto vlastností lze prokázat, že rozdíl dvou konečných množin bude vždy konečnou množinou.
Důkaz končetiny rozdílu dvou konečných množin
Předpokládejme, že máme dvě koncové množiny A A B a chceme dokázat, že jejich rozdíl A\B je konečný. Rozdíl množin jsou prvky, které jsou přítomny pouze v jedné z množin, ale ne v obou současně.
Pro důkaz končetiny rozdílu A\B řekněme, že množina A obsahuje n prvků a množina B obsahuje m prvků. Pak si můžeme představit množinu A jako a = 1, a2, . an> a množina B ve formě B = 1, b2, . bm>.
Nyní se podíváme na prvky rozdílu A\B.Předpokládejme, že v rozdílu je nekonečný počet prvků. Každý prvek rozdílu by pak měl být jedinečný a chybět v množině B.
Protože však množina B obsahuje pouze m prvků, pak počet možných prvků rozdílu nemůže překročit m. pokud je počet prvků rozdílu vyšší než m, znamená to, že některé prvky musí být přítomny v množině B, což je v rozporu s definicí rozdílu množin.
Počet prvků rozdílu A\B je tedy omezen shora m, a tedy samozřejmě. Je prokázáno, že rozdíl dvou konečných množin je konečný.