Filtr: Porovnání verzí

 
Řádek 21: Řádek 21:
  
 
== Zdroje ==
 
== Zdroje ==
<references/>Poznámky z přednášek Booleovy algebry na [http://logika.ff.cuni.cz/ Katedře Logiky].[[Kategorie:Struktury a algebry]]
+
<references/>
 +
 
 +
Poznámky z přednášek Booleovy algebry na [http://logika.ff.cuni.cz/ Katedře Logiky].
 +
 
 +
[[Kategorie:Struktury a algebry]]

Aktuální verze z 13. 11. 2014, 18:02

Množina je filtr, pokud platí:

  1. Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \emptyset \notin F, X \in F}
  2. Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A, B \in F \rightarrow A \wedge B \in F}
  3. Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A \subseteq B, A \in F \rightarrow B \in F}

Duál k filtru je ideál: Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle F^{*} = \{X\smallsetminus A: A \in F\}}

  • Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle F_{n}} je triviální filtr, pokud Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle F_{n} = \{X \subseteq \mathbb{N}: n \in F_{n}\}}

Je-li Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A \subseteq \mathbb{B}^{+}} , pak platí:

  1. A je ultrafiltr, pokud Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (\forall a \in B)(a \in A \vee -a \in A)}
  2. A je prvofiltr (primefilter), pokud Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle (a \vee b \in A \rightarrow (a \in A \vee b \in A)}
  3. A je maximální filtr, pokud Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \forall C \supset A} , Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle C} není filtr

Výše uvedené tři podmínky jsou ekvivalentní.
Důkaz:[1]

  1. Je-li U ultrafiltr, pak je prvofiltr.
  2. Je-li U prvofiltr, pak je maximální.
  3. Je-li U maximální, pak je ultra.

Je-li Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A \subseteq \mathbb{B}^{+}} filtr, pak Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \exists U \supseteq F} , Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle U} je ultrafiltr.

Zdroje

  1. Honzík Radek. Boolean algebras (Lecture notes). (2012).

Poznámky z přednášek Booleovy algebry na Katedře Logiky.