Husté uspořádání: Porovnání verzí
m r2.7.1) (Robot: Přidávám de:Dichte Ordnung |
m Bot: Odstranění 7 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q194699) |
||
Řádek 25: | Řádek 25: | ||
{{Portály|Matematika}} |
{{Portály|Matematika}} |
||
[[Kategorie:Teorie uspořádání]] |
[[Kategorie:Teorie uspořádání]] |
||
[[de:Dichte Ordnung]] |
|||
[[en:Dense order]] |
|||
[[es:Orden denso]] |
|||
[[fr:Ordre dense]] |
|||
[[he:קבוצה סדורה צפופה]] |
|||
[[it:Ordine denso]] |
|||
[[sk:Husto usporiadaná množina]] |
Verze z 10. 3. 2013, 01:35
Husté uspořádání je matematický pojem z oboru teorie množin, konkrétněji z teorie uspořádání.
Motivací k zavedení tohoto pojmu je zobecnění vlastností množiny racionálních čísel při běžném uspořádání podle velikosti.
Definice
Řekneme, že ostré lineární uspořádání R na množině A je husté, pokud mezi každé dva různé prvky množiny A lze vložit jiný její prvek
Vlastnosti
Snadno se dá ověřit, že mezi každými dvěma různými prvky hustě uspořádané množiny leží nekonečně mnoho jejích prvků.
Budu-li uvažovat o běžném uspořádání čísel podle velikosti relací , pak
- množina všech reálných čísel je hustě uspořádaná
- každý interval na množině reálných čísel je hustě uspořádaný
- množina všech racionálních čísel je hustě uspořádaná, stejně jako každý její interval
- množina přirozených čísel není hustě uspořádaná podle velikosti - například mezi 1 a 2 neexistuje žádné další přirozené číslo
Zajímavé je, že pro spočetné množiny lze při zkoumání vlastností hustých uspořádání vystačit s , jak ukazuje následující věta, vyslovená a dokázaná Georgem Cantorem:
Každá hustě uspořádaná spočetná množina bez nejmenšího a největšího prvku je izomorfní s .