Fréchetův filtr

Fréchetův filtr (stejně jako k němu duální Fréchetův ideál) matematický pojem z oboru teorie množin. Motivací pro jeho zavedení, je rozlišení podmnožin (tj. prvků potenční množiny) na „malé“ a „velké“.

Definice editovat

Pokud je $X\,\!$ libovolná nekonečná množina a $\kappa =|X|\,\!$ její mohutnost, pak

$\mathbb {I} _{F}(X)=[X]^{<\kappa }=\{Y\subseteq X:|Y|<\kappa \}\,\!$ je Fréchetův ideál na množině $X\,\!$ .
$\mathbb {F} _{F}(X)=\{Y\subseteq X:(X-Y)\in \mathbb {I} _{F}(X)\}\,\!$ je Fréchetův filtr na množině $X\,\!$ .

Lidsky řečeno:

Fréchetův ideál je ideál všech „malých“ množin - množin, která mají menší mohutnost, než $X\,\!$
Fréchetův filtr je filtr všech „velkých“ množin - množin, které nejen že mají stejnou mohutnost, jako $X\,\!$ , ale jejichž doplněk je „malý“ - má mohutnost menší než $X\,\!$

Vlastnosti a příklady editovat

Konečné množiny editovat

Pro konečnou množinu $X\,\!$ by definice neměla příliš dobrý smysl - v takovém případě by totiž Fréchetův ideál neodpovídal definici ideálu a Fréchetův filtr definici filtru. Navíc by pro konečnou množinu $X\,\!$ platilo, že $\mathbb {I} _{F}(X)\cup \mathbb {F} _{F}(X)=X\,\!$ . Půvab Fréchetova filtru ale spočívá v tom, že vymezuje na jedné straně malé množiny, na druhé straně velké množiny - a mezi nimi je ještě mnoho „prostředních“, které nepatří tam ani tam. Hezky to bude vidět v následujícím příkladu.

Fréchetův filtr na přirozených číslech editovat

Uvažujme nyní o množině všech podmnožin množiny přirozených čísel $\mathbb {P} (\omega )\,\!$ a Fréchetově filtru $\mathbb {F} _{F}(\omega )\,\!$ . Jedná se o množinu všech doplňků k množinám přirozených čísel s mohutností menší než $\omega \,\!$ - a tedy o doplňky konečných množin přirozených čísel.

Příklad:

$\{1,2,5\}\in \mathbb {I} _{F}(\omega )\,\!$ - konečné množiny patří do Fréchetova ideálu.
$\omega -\{1,2,5\}=\{0,3,4,6,7,8,\ldots \}\in \mathbb {F} _{F}(\omega )\,\!$ - doplňky konečných množin patří do Fréchetova filtru.
množina všech prvočísel je příkladem množiny, která nepatří ani do Fréchetova filtru, ani do Fréchetova ideálu - ona i její doplněk mají mohutnost $\omega \,\!$ .

Fréchetův filtr na nespočetných množinách editovat

Pro nespočetné $X\,\!$ patří do Fréchetova ideálu nejen konečné množiny, ale i nekonečné s mohutností menší, než $|X|\,\!$ . Ve Fréchetově filtru se pak vyskytují nejen doplňky konečných podmnožin $X\,\!$ , ale i doplňky spočetných podmnožin $X\,\!$ a doplňky nespočetných podmnožin $X\,\!$ s mohutností menší než $|X|\,\!$

Příklad:
Uvažujme o množině $\mathbb {R} \,\!$ všech reálných čísel a o množinách $\mathbb {I} _{F}(\mathbb {R} )\,\!$ a $\mathbb {F} _{F}(\mathbb {R} )\,\!$ .

Množina všech racionálních čísel je spočetná, a patří tedy do Fréchetova ideálu.
Její doplněk - množina všech iracionálních čísel - patří vzhledem k tomu, že celá $\mathbb {R} \,\!$ je nespočetná, do Fréchetova filtru.
Interval $(0,1)\,\!$ je sice nespočetná množina s mohutností $|\mathbb {R} |\,\!$ , ale její doplněk má rovněž mohutnost $|\mathbb {R} |\,\!$ - nepatří tedy ani do Fréchetova filtru, ani do Fréchetova ideálu. Zatímco množinu iracionálních čísel jsme z pohledu Fréchetova filtru zařadili mezi „velké“ množiny na $\mathbb {R} \,\!$ , otevřené intervaly, které jsou alespoň z jedné strany omezené, jsou ve smyslu náležení do Fréchetova filtru „někde uprostřed - ani velké, ani malé“.

Existence netriviálních ultrafiltrů editovat

Z principu maximality vyplývá Základní věta o ultrafiltrech, jejímž důsledkem je, že každý filtr lze (přidáním dalších podmnožin základní množiny $X\,\!$ ) rozšířit na ultrafiltr.

Pokud aplikujeme tuto větu na Fréchetův filtr, získáme takovým rozšířením určitě netriviální ultrafiltr. Stejně jako u mnoha jiných tvrzení vyplývajících z axiomu výběru nedává ale základní věta o ultrafiltrech žádný návod, jak takový netriviální ultrafiltr sestrojit. Tento návod by pro všechny množiny, které nepatří ani do Fréchetova filtru, ani do Fréchetova ideálu, musel jasně rozhodnout, zda do výsledného ultrafiltru má patřit daná množina, anebo její doplněk (tj. například množina sudých, anebo množina lichých čísel v případě ultrafiltru rozšiřujícího $\mathbb {F} _{F}(\omega )\,\!$ .