Prvoideál (teorie uspořádání)
Prvoideál je matematický pojem z oboru teorie množin.
Definice
editovatJe-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í:
- neobsahuje celou množinu
Vysvětlení definice
editovatPodle 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 vlastnosti
editovatTriviální prvoideál
editovatZa 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 ultrafiltrem
editovatStejně 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 ultrafiltrech
editovatNabí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.