Ideál (teorie uspořádání)

Pojem ideál je v matematice, konkrétně v teorii uspořádání používán pro podmnožiny uspořádaných množin, jejichž prvky lze v jistém smyslu považovat za „malé“ podle daného uspořádání.

Obsah

1 Definice
2 Příklady
3 Dualita filtru a ideálu
4 Ideály na potenční množině
- 4.1 Příklad první - hlavní filtr
- 4.2 Příklad druhý - konečné množiny přirozených čísel
5 Související články

[editovat] Definice

Máme-li množinu $X \,\!$ uspořádanou relací $R \,\!$ , pak o její podmnožině $Y \subseteq X \,\!$ řekneme, že je ideál vzhledem k $R \,\!$ , pokud je $Y \,\!$ nahoru usměrněná dolní množina v $X \,\!$ .

Podrobněji:

aby byla $Y \subseteq X \,\!$ dolní, musí s každým svým prvkem obsahovat i všechny menší prvky: $a \isin Y \and b \leq_R a \implies b \isin Y \,\!$
aby byla $Y \subseteq X \,\!$ nahoru usměrněná, musí s každými dvěma prvky obsahovat nějaký prvek větší než oba: $a,b \isin Y \implies ( \exist c \isin Y)( a \leq_R c \and b \leq_R c ) \,\!$

[editovat] Příklady

Prázdná množina $\emptyset \subseteq X \,\!$ je ideál.
Pokud má množina $X \,\!$ největší prvek, pak je sama sobě ideálem - určitě je sama v sobě dolní a díky existenci největšího prvku navíc i nahoru usměrněná.

Prázdná množina a celá podkladová množina $X \,\!$ nejsou příliš zajímavé ideály, a jsou proto z uvažování o ideálech obvykle vylučovány. Je zaváděn pojem vlastní ideál jako každý ideál kromě prázdné množiny a celé množiny a mluví-li se o ideálech, rozumí se tím pouze vlastní ideály.

V množině $\mathbb{R} \,\!$ všech reálných čísel uspořádaných běžným způsobem podle velikosti je každý zdola neomezený interval (ať již shora otevřený nebo shora uzavřený) ideálem.
Obecněji: pokud je $R \,\!$ lineární uspořádání, pak je každá dolní množina ideál.

Pro lineární uspořádání se tedy ideály redukují na dolní množiny. Zajímavější je situace pro uspořádání, která nejsou lineární, viz následující oddíl Ideály na potenční množině.

[editovat] Dualita filtru a ideálu

Duálním pojmem k pojmu ideál je v teorii uspořádání filtr. Veškeré úvahy a poznatky o ideálech lze (v duální podobě) aplikovat na filtry a naopak. Dalo by se říci, že článek o filtrech je duální k tomuto článku.

[editovat] Ideály na potenční množině

Jako potenční algebra je obvykle označována potenční množina $\mathbb{P}(X) \,\!$ všech podmnožin množiny $X \,\!$ s operacemi sjednocení, průniku a doplňku a s uspořádáním relací „být podmnožinou“ $\subseteq \,\!$

Co musí splňovat nějaká množina podmnožin $A \subseteq \mathbb{P}(X) \,\!$ , aby byla ideál?

S každým svým prvkem musí $A \,\!$ obsahovat i všechny podmnožiny tohoto prvku.
Pro každé dva své prvky musí $A \,\!$ obsahovat i jejich sjednocení.
Nesmí to být ani prázdná množina, ani celá množina $\mathbb{P}(X) \,\!$ (jak již bylo řečeno, zajímavé jsou pouze vlastní ideály).

[editovat] Příklad první - hlavní filtr

Uvažujme pro množinu $A \subseteq X \,\!$ systém všech jejích podmnožin v $X \,\!$ :
$I(A) = \{ B \subseteq X : B \subseteq A \} \,\!$

Jedná se o ideál (to se dá ověřit jednoduchým použitím definice), který se nazývá hlavní ideál určený množinou $A \,\!$

Pokud je množina $A \,\!$ navíc jednoprvková, pak pro každé $B \subseteq X \,\!$ platí buď $B \isin I(A) \,\!$ , nebo $X - B \isin I(A) \,\!$ , ale nikdy ne zároveň - jedná se tedy o prvoideál, obvykle označovaný jako triviální prvoideál.

[editovat] Příklad druhý - konečné množiny přirozených čísel

Příkladem ideálu v potenční algebře na množině přirozených čísel $\mathbb{P}(\omega) \,\!$ je množina všech konečných podmnožin $\omega \,\!$ .

Tato množina obsahuje s každými dvěma prvky i jejich sjednocení (sjednocení dvou konečných množin je konečné) a s každým prvkem i jeho podmnožiny (podmnožiny konečné množiny jsou konečné), jedná se tedy o ideál. Přitom to ale není hlavní ideál - určitě existují dvě disjunktní konečné množiny přirozených čísel (například $\{1,5 \} \,\!$ a $\{3,4,7,11 \} \,\!$ ). Nejedná se také o prvoideál, který musí vždy obsahovat buď množinu, nebo její doplněk - budeme-li uvažovat o množině věech sudých čísel, pak ani tato množina, ani její doplněk (množina lichých čísel) nejsou konečné a nepatří tedy do našeho ideálu.

[editovat] Související články

Kategorie: Teorie uspořádání

Ideál (teorie uspořádání) v jiných jazycích: English, Polski, 中文

Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Ide%C3%A1l_(teorie_uspo%C5%99%C3%A1d%C3%A1n%C3%AD)“
Stránka byla naposledy upravena v Stránka byla naposledy editována 23. 12. 2007 v 09:37.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).