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

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

Definice

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

Vysvětlení definice

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 vlastnosti

Triviální prvoideál

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 ultrafiltrem

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 ultrafiltrech

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ánky

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.