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

Prvoideál je matematický pojem z oboru teorie množin.

Definice editovat

Je-li $X\,\!$ množina a $\mathbb {P} (X)\,\!$ její potenční množina (tj. množina všech jejích podmnožin), pak řekneme, že neprázdná množina $I\subseteq \mathbb {P} (X)\,\!$ je prvoideál, pokud platí:

$I\,\!$ neobsahuje celou množinu $X\,\!$
$A,B\in I\implies A\cup B\in I\,\!$
$(A\in I\land B\subseteq A)\implies B\in I\,\!$
$(\forall A\in \mathbb {P} (X))(A\in I\vee X-A\in I)\,\!$

Vysvětlení definice editovat

Podle bodu 2 je prvoideál nahoru usměrněná množina, podle bodu 3 je to dolní množina - jedná se tedy o ideál v potenční algebře.
Bod 1 a podmínka, podle které je prvoideál neprázdná množina, zaručují, že se jedná o vlastní ideál - prvoideál tedy není žádný z triviálních případů, kterými jsou prázdná množina a celá potenční množina $\mathbb {P} (X)\,\!$

Podle bodu 4 je v prvoideálu obsažena podmnožina $A\subseteq X\,\!$ nebo její doplněk $(X-A)\subseteq X\,\!$ . Pokud by pro některou množinu $A\subseteq X\,\!$ obsahoval prvoideál tuto množinu, i její doplněk, pak by musel podle bodu 2 obsahovat i $A\cup (X-A)=X\,\!$ , a podle bodu 1 by se již nejednalo o prvoideál. Prvoideál tedy vždy obsahuje buď množinu, nebo její doplněk, ale nikdy ne obojí zároveň.
Tato vlastnost tedy zaručuje, že prvoideál je mezi ostatními vlastními ideály na potenční množině v jistém smyslu maximální - jakmile bychom se pokusili přidat k němu další množinu, pak výsledkem již nebude prvoideál, výsledkem již dokonce nebude ani ideál.

Příklady a vlastnosti editovat

Triviální prvoideál editovat

Za hlavní ideál považujeme ideál všech podmnožin nějaké množiny $A\subseteq X\,\!$ , hlavní ideál určený množinou $A\,\!$ tedy lze zapsat jako
$I(A)=\{B\subseteq X:B\subseteq A\}\,\!$
Mezi hlavními ideály existují prvoideály - jsou to hlavní ideály určené doplňkem jednoprvkvé množiny, neboli $A=X\setminus \{a\}\,\!$ , kde $a\in X\,\!$ . Tyto prvoideály jsou nazývány triviální prvoideály.

Na konečné množině je každý prvoideál triviální - celkový počet prvoideálů tedy odpovídá počtu prvků množiny $X\,\!$ .
Na nekonečné množině odpovídá počet triviálních prvoideálů mohutnosti množiny $X\,\!$ .

Dualita s ultrafiltrem editovat

Stejně jako u většiny pojmů z teorie uspořádání, má i prvoideál svůj duální pojem - ultrafiltr. Ke každému prvoideálu $I\,\!$ existuje duální ultrafiltr - množina všech doplňků z $I\,\!$ :
$I^{*}=\{X-A:A\in I\}\,\!$

Vztah platí i opačně - množina doplňků k ultrafiltru je prvoideál - duální prvoideál. Navíc je každý prvoideál duálním prvoideálem svého duálního ultrafiltru, tj. platí
$(I^{*})^{*}=I\,\!$

Základní věta o ultrafiltrech editovat

Nabízí se otázka, zda na nekonečné množině existují nějaké netriviální prvoideály. Kladnou odpověď dává základní věta o ultrafiltrech:
Každý centrovaný systém lze rozšířit (přidáním dalších podmnožin) do ultrafiltru.

Protože filtr je speciálním případem centrovaného systému, lze podle této věty každý filtr rozšířit (přidáním nějakých dalších podmnožin) na ultrafiltr. Vezmeme-li v úvahu například Fréchetův filtr a aplikujeme na něj tuto větu, získáváme důkaz o existenci ultrafiltru, který určitě není triviální.

S ohledem na dualitu ultrafiltr-prvoideál to znamená, že Fréchetův ideál lze rozšířit na netriviální prvoideál.