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í.

Definice

Máme-li množinu X \,\. uspořádanou relací R \,\. +more , 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 \land b \leq_R a \implies b \isin Y \,\. +more * 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 \land b \leq_R c ) \,\.

Příklady

Prázdná množina \emptyset \subseteq X \,\. je ideál. +more * 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. +more 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. +more * 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ě.

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. +more Dalo by se říci, že článek o filtrech je duální k tomuto článku.

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 \,\. +more s operacemi sjednocení, průniku a doplňku a s uspořádáním relací „být podmnožinou“ \subseteq \,\. .

Co musí splňovat množinový systém A \subseteq \mathbb{P}(X) \,\. , aby byl vlastním ideálem. +more * 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) \,\. .

Příklad první - hlavní ideál

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 \,\. doplňkem nějakého prvku a \in X , neboli A=X \setminus \{a\} , pak pro každé B \subseteq X \,\. +more 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.

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čující množina by totiž musela být sjednocením všech konečných podmnožin \omega \,\. +more, což však není konečná množina (dokonce je to přímo \omega \,\. , takže by se jednalo o triviální ideál). 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.

Související články

Prvoideál * Filtr * Základní věta o ultrafiltrech * Ideál (algebra)

Kategorie:Teorie uspořádání