Filtr (matematika)

Pojem filtr je v matematice, konkrétně v teorii uspořádání používán pro podmnožiny uspořádaných množin, jejichž prvky lze v jistém smyslu považovat za „velké“ podle daného uspořádání.

Definice

Máme-li množinu X \,\. uspořádanou relací R \,\. +more , pak o její podmnožině Y \subseteq X \,\. řekneme, že je filtr vzhledem k R \,\. , pokud je Y \,\. dolů usměrněná horní množina v X \,\. .

Podrobněji:

* aby byla Y \subseteq X \,\. horní, musí s každým svým prvkem obsahovat i všechny větší prvky: a \isin Y \land a \leq_R b \implies b \isin Y \,\. +more * aby byla Y \subseteq X \,\. dolů usměrněná, musí s každými dvěma prvky obsahovat nějaký prvek menší než oba: a,b \isin Y \implies ( \exist c \isin Y)( c \leq_R a \land c \leq_R b ) \,\.

Příklady

Prázdná množina \emptyset \subseteq X \,\. je filtr. +more * Pokud má množina X \,\. nejmenší prvek, pak je sama sobě filtrem - určitě je sama v sobě horní a díky existenci nejmenšího prvku navíc i dolů usměrněná.

Prázdná množina a celá podkladová množina X \,\. nejsou příliš zajímavé filtry, a jsou proto z uvažování o filtrech obvykle vylučovány. +more Je zaváděn pojem vlastní filtr jako každý filtr kromě prázdné množiny a celé množiny a mluví-li se o filtrech, rozumí se tím pouze vlastní filtry.

* V množině \mathbb{R} \,\. všech reálných čísel uspořádaných běžným způsobem podle velikosti je každý shora neomezený interval (ať již zdola otevřený nebo zdola uzavřený) filtrem. +more * Obecněji: pokud je R \,\. lineární uspořádání, pak je každá horní množina filtr.

Pro lineární uspořádání se tedy filtry redukují na horní množiny. Zajímavější je situace pro uspořádání, která nejsou lineární, viz následující oddíl Filtry na potenční množině.

Dualita filtru a ideálu

Duálním pojmem k pojmu filtr je v teorii uspořádání ideál. Veškeré úvahy a poznatky o filtrech lze (v duální podobě) aplikovat na ideály a naopak. +more Dalo by se říci, že článek o ideálech je duální k tomuto článku.

V případě filtrů a ideálů na potenční algebře množiny X \,\. lze dokonce definovat pro filtr F \,\. +more a ideál I \,\. : * duální ideál k filtru F \,\. je definován jako F^* = \{ X - a : a \isin F \} \,\. * duální filtr k ideálu I \,\. je definován jako I^* = \{ X - a : a \isin I \} \,\. .

Platí, že * (F^*)^* = F \,\. * (I^*)^* = I \,\. +more * pokud je F \,\. ultrafiltr, pak je F^* \,\. prvoideál * pokud je I \,\. prvoideál, pak je I^* \,\. ultrafiltr.

Filtry na potenční množině

Jako potenční algebra je obvykle označována potenční množina \mathbb{P}(X) \,\. všech podmnožin množiny X \,\. +more s operacemi sjednocení, průniku a doplňku a s uspořádáním relací „být podmnožinou“ \subseteq \,\. .

Co musí splňovat množinový systém A \subseteq \mathbb{P}(X) \,\. , aby byl vlastním filtrem. +more * S každým svým prvkem musí A \,\. obsahovat i všechny nadmnožiny tohoto prvku. * Pro každé dva své prvky musí A \,\. obsahovat i jejich průnik. * Nesmí to být ani prázdná množina, ani celá množina \mathbb{P}(X) \,\. .

Příklad první - hlavní filtr

Uvažujme pro množinu A \subseteq X \,\! systém všech jejích nadmnožin v X \,\! :

F(A) = \{ B \subseteq X : A \subseteq B \} \,\!

Jedná se o filtr (to se dá ověřit jednoduchým použitím definice), který se nazývá hlavní filtr určený množinou A \,\! .

Pokud je množina A \,\. navíc jednoprvková, pak pro každé B \subseteq X \,\. +more platí buď B \isin F(A) \,\. , a nebo X - B \isin F(A) \,\. , ale nikdy ne zároveň - jedná se tedy o ultrafiltr, obvykle označovaný jako triviální ultrafiltr.

Příklad druhý - Fréchetův filtr

Fréchetův filtr je filtr všech doplňků konečných množin na množině všech množin přirozených čísel \mathbb{P}(\omega) \,\. . +more Doporučuji si vyzkoušet, že se jedná o filtr, ale nikoliv o ultrafiltr, protože neobsahuje ani množinu všech sudých čísel, ani její doplněk - množinu všech lichých čísel.

Pokud se vrátíme k motivaci filtru jako určitého rozdělení na prvky, které jsou považovány za „velké“ (prvky filtru) a na ty ostatní, pak pro Fréchetův filtr toto platí beze zbytku - obsahuje množiny, pro které existuje největší přirozené číslo, které v něm neleží.

Podle tohoto filtru je postavena běžná definice limity posloupnosti:

Je-li \,\. posloupnost, pak její limitou je bod a \,\. +more , pokud pro každé okolí V \,\. bodu a \,\. leží množina a(V) = \{i : a_i \isin V \} \,\. ve Fréchetově filtru.

Pojem limity lze zobecnit (výše popsaným způsobem) na pojem F-limity podle filtru F.

Související články

Ultrafiltr * Ideál * Základní věta o ultrafiltrech * Princip kompaktnosti * Fréchetův filtr

Kategorie:Teorie uspořádání