Kedy nič nemôže byť niečo? Vyzerá to ako hlúpa otázka a je celkom paradoxná. V matematickej oblasti teórie množín je bežné, že nič nie je nič iné ako nič. Ako to môže byť?
Keď vytvoríme súpravu bez prvkov, už nemáme nič. Máme súbor s ničím v ňom. Pre množinu je špeciálny názov, ktorý neobsahuje žiadne prvky. Toto sa nazýva prázdna alebo nulová množina.
Jemný rozdiel
Definícia prázdneho súboru je dosť jemná a vyžaduje trochu premýšľania. Je dôležité si uvedomiť, že myslíme na sada ako zbierka prvkov. Samotná súprava sa líši od prvkov, ktoré obsahuje.
Napríklad sa pozrieme na {5}, čo je množina obsahujúca prvok 5. Súbor {5} nie je číslo. Je to množina s číslom 5 ako prvkom, zatiaľ čo 5 je číslo.
Podobne prázdna súprava nie je ničím. Namiesto toho je to sada bez prvkov. Pomáha myslieť na súpravy ako na nádoby a prvkami sú tie veci, ktoré do nich vkladáme. Prázdny kontajner je stále kontajnerom a je analogický s prázdnym súborom.
Jedinečnosť prázdnej sady
Prázdna súprava je jedinečná, preto je o čom hovoriť
prázdna súprava skôr ako prázdna súprava. Takto sa prázdna množina líši od ostatných súprav. Existuje nekonečne veľa sád s jedným prvkom. Sady {a}, {1}, {b} a {123} majú každý jeden prvok, a preto sú navzájom rovnocenné. Pretože samotné prvky sa navzájom líšia, množiny nie sú rovnaké.Na príkladoch uvedených vyššie, ktoré majú jeden prvok, nie je nič zvláštne. Až na jednu výnimku pre ľubovoľné počítacie číslo alebo nekonečno existuje nekonečne veľa sád tejto veľkosti. Výnimkou je číslo nula. Existuje iba jedna súprava, prázdna súprava, bez prvkov.
Matematický dôkaz tejto skutočnosti nie je zložitý. Najprv predpokladáme, že prázdna množina nie je jedinečná, že sú v nej dve množiny bez prvkov a potom pomocou niekoľkých vlastností z teórie množín ukážeme, že tento predpoklad implikuje rozpor.
Zápis a terminológia pre prázdnu množinu
Prázdny súbor je označený symbolom ∅, ktorý pochádza z podobného symbolu v dánskej abecede. Niektoré knihy označujú prázdnu množinu svojím alternatívnym názvom nulová množina.
Vlastnosti prázdnej sady
Pretože existuje iba jedna prázdna množina, je užitočné zistiť, čo sa stane, keď operácie množín križovatka, spojenie a doplnok sa používajú s prázdnou množinou a všeobecnou množinou, ktorú označíme podľa X. Je tiež zaujímavé zvážiť podmnožinu prázdnej množiny a kedy je prázdna množina podmnožiny. Tieto fakty sú zhrnuté nižšie:
- križovatka akejkoľvek sady s prázdnou sadou je prázdna množina. Je to preto, že v prázdnej množine nie sú žiadne prvky, a preto tieto dve sady nemajú spoločné prvky. V symboloch píšeme X ∩ ∅ = ∅.
- zväz akejkoľvek sady s prázdnou sadou je množina, s ktorou sme začali. Je to preto, že v prázdnej množine nie sú žiadne prvky, a preto nepridávame žiadne prvky k druhej množine, keď vytvárame spojenie. V symboloch píšeme X U ∅ = X.
- dopĺňať prázdnej množiny je univerzálna súprava pre nastavenie, v ktorom pracujeme. Je to preto, že množina všetkých prvkov, ktoré nie sú v prázdnej množine, je iba množina všetkých prvkov.
- Prázdna súprava je podmnožinou ktorejkoľvek súpravy. Je to preto, že vytvárame podmnožiny množiny X výberom (alebo nevyberaním) prvkov z X. Jednou z možností pre podmnožinu je nepoužívať vôbec žiadne prvky X. Toto nám dáva prázdny súbor.