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

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

DefiniceEditovat

Je-li   množina a   její potenční množina (tj. množina všech jejích podmnožin), pak řekneme, že neprázdná množina   je prvoideál, pokud platí:

  1.   neobsahuje celou množinu  
  2.  
  3.  
  4.  

Vysvětlení definiceEditovat

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  

Podle bodu 4 je v prvoideálu obsažena podmnožina   nebo její doplněk  . Pokud by pro některou množinu   obsahoval prvoideál tuto množinu, i její doplněk, pak by musel podle bodu 2 obsahovat i   , 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 vlastnostiEditovat

Triviální prvoideálEditovat

Za hlavní ideál považujeme ideál všech podmnožin nějaké množiny  , hlavní ideál určený množinou   tedy lze zapsat jako
 
Mezi hlavními ideály existují prvoideály - jsou to hlavní ideály určené doplňkem jednoprvkvé množiny, neboli  , kde  . 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  .
Na nekonečné množině odpovídá počet triviálních prvoideálů mohutnosti množiny  .

Dualita s ultrafiltremEditovat

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   existuje duální ultrafiltr - množina všech doplňků z  :
 

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í
 

Základní věta o ultrafiltrechEditovat

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.

Související článkyEditovat