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

Pokud je X \,\. libovolná nekonečná množina a \kappa = |X| \,\. +more její mohutnost, pak * \mathbb{I}_F(X) = [X]^{ je Fréchetův ideál na množině X \,\. . * \mathbb{F}_F(X) = \{ Y \subseteq X : (X - Y) \isin \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 \,\. +more , ale jejichž doplněk je „malý“ - má mohutnost menší než X \,\.

Vlastnosti a příklady

Konečné množiny

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. +more 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

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) \,\. +more . 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 \} \isin \mathbb{I}_F(\omega) \,\. - konečné množiny patří do Fréchetova ideálu. +more * \omega - \{ 1,2,5 \} = \{0,3,4,6,7,8,\ldots \} \isin \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

Pro nespočetné X \,\. patří do Fréchetova ideálu nejen konečné množiny, ale i nekonečné s mohutností menší, než |X| \,\. +more . 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} \,\. +more 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ů

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. +more 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) \,\. .

Související články

Filtr * Ultrafiltr * Potenční algebra * Princip maximality * Princip kompaktnosti

Kategorie:Teorie uspořádání