Filtr (matematyka)

Z Wikipedii

(Przekierowano z Ultrafiltr)

Filtr to pojęcie używane w matematyce, głównie w teorii porządków częściowych, teorii algebr Boole'a, topologii i teorii mnogości.

Spis treści

1 Intuicje
2 Definicje
3 Przykłady
- 3.1 Filtry w algebrach Boole'a
- 3.2 Filtry podzbiorów danego zbioru
4 Własności i zastosowania
5 Zobacz też

[edytuj] Intuicje

Wśród realizacji najogólniejszej definicji filtru (formułowanej dla porządków częściowych) są filtry jako rodziny zbiorów. Odpowiednią intuicją wtedy jest, że filtr to rodzina zbiorów w jakimś sensie dużych. Wydaje się naturalnym, że pojęcie dużych zbiorów powinno spełniać pewne podstawowe własności:

zbiór większy od dużego zbioru powinien być duży,
zbiór pusty nie powinien być duży ale cała przestrzeń (uniwersum) powinna być duża,
część wspólna dwóch dużych zbiorów powinna być duża.

Rodzina zbiorów spełniająca powyższe wymagania (jako rodzina zbiorów dużych) jest właśnie filtrem zbiorów, patrz poniżej.

[edytuj] Definicje

[edytuj] Filtry w porządkach

Niech $(P,\leq)$ będzie porządkiem częściowym. Powiemy, że zbiór $F\subseteq P$ jest filtrem w zbiorze uporządkowanym $P$ jeśli następujące warunki są spełnione:

(i) $F\neq \emptyset$ ,

(ii) jeśli $p,q\in P$ , $p\leq q$ oraz $p\in F$ , to również $q\in F$ ,

(iii) jeśli $p,q\in F$ , to można znaleźć $r\in F$ taki że $r\leq p$ oraz $r\leq q$ .

Filtr $F$ jest właściwy jeśli dodatkowo

(iv) $F\neq P$ .

Jeśli porządek $(P,\leq)$ jest półkratą dolną (dla każdych $p$ , $q$ istnieje kres dolny $p \wedge q$ ), to warunki (ii)+(iii) są równoważne z warunkiem

(v) dla każdych $p, q \in P$ : $p \wedge q \in F$ wtedy i tylko wtedy, gdy ( $p \in F$ i $q \in F$ ).

[edytuj] Filtry w algebrach Boole'a

Ponieważ algebra Boole'a jest także zbiorem częściowo uporządkowanym, to definicja filtru na porządkach częściowych może być przeniesiona bez zmian na algebry Boole'a. Możemy jednak wykorzystać fakt, że porządek boole'owski jest związany z operacjami algebry i możemy sformułować definicję filtru trochę inaczej.

Niech $({\mathbb B},+,\cdot,\sim,{\bold 0},{\bold 1})$ będzie algebrą Boole'a. Powiemy, że zbiór $F$ jest filtrem w algebrze Boole'a ${\mathbb B}$ jeśli następujące warunki są spełnione:

(i) ${\bold 1}\in F$ ,

(ii) jeśli $a,b\in {\mathbb B}$ , $a\leq b$ (tzn $a\cdot b=a$ ) oraz $a\in F$ , to również $b\in F$ ,

(iii) jeśli $a,b\in F$ , to $a\cdot b\in F$ .

Filtr $F$ jest właściwy jeśli dodatkowo

(iv) ${\bold 0}\notin F$ .

Należy podkreślić, że powyższa definicja i ta przeniesiona z porządków częściowych są równoważne.

[edytuj] Filtry podzbiorów danego zbioru

Szczególnym przypadkiem algebry Boole'a jest rodzina wszystkich podzbiorów ustalonego zbioru $S$ (z operacjami sumy, przekroju i dopełnienia zbiorów). Zatem sformułowana powyżej definicja filtru w algebrze Boole'a może być powtórzona bez zmian dla podzbiorów zbioru $S$ . Sformułujemy tę definicję jeszcze raz dla podkreślenia znaczenia intuicji, że filtr to rodzina dużych podzbiorów $S$ .

Niech $S$ będzie niepustym zbiorem. Powiemy, że rodzina $F$ podzbiorów zbioru $S$ jest filtrem podzbiorów zbioru $S$ jeśli następujące warunki są spełnione:

(i) $S\in F$ ,

(ii) jeśli $A\subseteq B\subseteq S$ i $A\in F$ , to również $B\in F$ ,

(iii) jeśli $A,B\in F$ , to $A\cap B\in F$ .

Filtr $F$ jest właściwy jeśli dodatkowo

(iv) $\emptyset\notin F$ .

[edytuj] Filtry maksymalne

Filtr właściwy $F$ w porządku częściowym $(P,\leq)$ jest filtrem maksymalnym jeśli jedynym filtrem właściwym zawierającym $F$ jest samo $F$ .

Filtry maksymalne są też często nazywane ultrafiltrami, szczególnie w odniesieniu do filtrów w algebrach Boole'a i filtrów podzbiorów danego zbioru.

[edytuj] Filtry pierwszy

Filtr właściwy $F$ w górnym pólkracie $(P,\vee)$ jest filtrem pierwszym jeśli następujący warunek jest spełniony:

dla każdych $p, q \in P$ : $p \vee q \in F \; \Leftrightarrow \;$ ( $p \in F$ albo $q \in F$ ).

Innymi słowy, filtr $F$ jest filtrem pierwszym wtedy i tylko wtedy, gdy zbior $P \setminus F$ jest ideałem.

Jeśli P jest porządkiem liniowym, to każdy filtr jest filtrem pierwszym. Jeśli P jest kratą rozdzielną, to każdy filtr maksymalny jest filtrem pierwszym.

Jeśli F jest właściwym filtrem w algebrze Boole'a B, następujące warunki są równoważne:

F jest filtrem maksymalnym
F jest filtrem pierwszym
dla każdego b w algebrze B: $\lnot ( b\in F) \; \Leftrightarrow \; \sim b \in F$ .

[edytuj] Przykłady

[edytuj] Filtry w algebrach Boole'a

Rodzina tych borelowskich podzbiorów odcinka $[0,1]$ , które mają miarę Lebesgue'a równą 1 jest filtrem w algebrze borelowskich podzbiorów odcinka.

[edytuj] Filtry podzbiorów danego zbioru

Niech $S$ będzie zbiorem nieskończonym. Rodzina ${\mathcal F}_S$ tych podzbiorów $S$ które mają dopełnienie skończone jest filtrem podzbiorów $S$ . Jest on często nazywany filtrem Frécheta.
Rodzina tych podzbiorów odcinka $[0,1]$ które mają miarę Lebesgue'a 1 jest filtrem podzbiorów $[0,1]$ .
Jeśli ${\mathcal A}$ jest rodziną podzbiorów zbioru $X$ z własnością skończonych przekrojów, to zbiór

${\mathcal F}=\big\{A\subseteq X:A_0\cap\ldots \cap A_n\subseteq A$ dla pewnych $A_0,\ldots, A_n\in {\mathcal A}$ , $n\in {\mathbb N}\ \}$

jest filtrem podzbiorów

X

.

Niech $\emptyset\neq A\subseteq X$ . Wówczas $F_A=\{B\subseteq X:A\subseteq B\}$ jest filtrem podzbiorów $X$ . Filtry tej postaci są nazywane filtrami głównymi i zwykle nie są one obiektem rozważań (tzn typowym założeniem o rozważanych filtrach jest że są one niegłówne).
Niech $κ$ będzie nieprzeliczalną regularną liczbą kardynalną. Rozważmy rodzinę ${\mathcal C}_\kappa$ domkniętych nieograniczonych podzbiorów $κ$ : jest ona zamknięta na przekroje mocy mniejszej niż $κ$ . Zatem ${\mathcal D}_\kappa=\{A\subseteq\kappa: (\exists B\in {\mathcal C}_\kappa)(B\subseteq A)\}$ jest filtrem (właściwym) podzbiorów $κ$ .

[edytuj] Własności i zastosowania

Każdy właściwy filtr w algebrze Boole'a jest zawarty w pewnym filtrze maksymalnym (ultrafiltrze). (To twierdzenie, udowodnione przez Tarskiego, wymaga pewnej formy AC.)
Twierdzenie Stone'a mówi, że każda algebra Boole'a jest izomorficzna z ciałem otwarto-domkniętych podzbiorów swojej przestrzeni ultrafiltrów.
Jeśli $F$ jest filtrem w algebrze Boole'a ${\mathbb B}$ , to $\{\sim a:a\in F\}$ jest ideałem tej algebry.
Filtry w częściowych porządkach są używane w teorii forsingu. Są one również kluczowe w sformułowaniach aksjomatów takich jak Aksjomat Martina.
Ultrafiltry są używane w teorii modeli przy tworzeniu ultraproduktów modeli i jako takie mają duże znaczenie w tej dziedzinie matematyki. Okazały się one też być bardzo ważnymi w topologii, gdzie są używane do opisu uzwarceń przestrzeni topologicznych. W tym ostatnim kontekście ultrafiltry na zbiorze liczb naturalnych były intensywnie badane w drugiej polowie XX wieku jako elementy uzwarcenia Čecha-Stone'a $\beta{\mathbb N}$ zbioru liczb naturalnych ${\mathbb N}$ .
Zupełne ultrafiltry są podstawą w rozważaniach dużych liczb kardynalnych. Filtr $F$ podzbiorów zbioru $S$ jest $κ$ -zupełny jeśli przekrój mniej niż $κ$ zbiorów z $F$ należy do $F$ . Liczba kardynalna $κ$ jest mierzalna jeśli istnieje $κ$ -zupełny niegłówny ultrafiltr podzbiorów $κ$ . Liczby mierzalne są punktem wyjściowym dla hierarchii dużych liczb kardynalnych.

[edytuj] Zobacz też

Zysk netto grupy PZU w I poł. '08 spadł o 49,2 proc.

Zysk netto grupy PZU w pierwszym półroczu 2008 roku spadł r/r o 49,2 proc., do 1,33 mld zł - poinformowała spółka w czwartkowym komunikacie.

Indeks Philadelphia Fed w sierpniu minus 12,7 pkt

Indeks Philadelphia Fed w sierpniu wzrósł do minus 12,7 pkt z minus 16,3 pkt w lipcu - podał Fed z Filadelfii w czwartek w komunikacie.

Ustawa o pomostówkach trafi do Sejmu po 10 września

Ustawa o emeryturach pomostowych zostanie skierowana do Sejmu po 10 września - powiedziała PAP Agnieszka Chłoń-Domińczak, wiceminister pracy i polityki społecznej.

Spadł indeks wyprzedzający koniunktury w USA

Amerykański indeks wyprzedzający koniunktury spadł w lipcu o 0,7 proc., po spadku w czerwcu o 0,1 proc. - podała w czwartek Conference Board.

IBM: centrum operacji biznesowych w Warszawie

Amerykański koncern informatyczny IBM zdecydował o otwarciu w tym roku 13 centrów zapewnienia ciągłości operacji biznesowych kosztem 300 mln USD.

Linki: Strona g��wna

Encyklopedia

Filtr (matematyka)

Z Wikipedii

Spis treści

[edytuj] Intuicje

[edytuj] Definicje

[edytuj] Filtry w porządkach

[edytuj] Filtry w algebrach Boole'a

[edytuj] Filtry podzbiorów danego zbioru

[edytuj] Filtry maksymalne

[edytuj] Filtry pierwszy

[edytuj] Przykłady

[edytuj] Filtry w algebrach Boole'a

[edytuj] Filtry podzbiorów danego zbioru

[edytuj] Własności i zastosowania

[edytuj] Zobacz też