Strona 1 z 1
Ultrafiltry i Filtry
: 24 sty 2023, o 21:43
autor: paulina-21
Mam do zrobienia zadanko jednak nie wiem jak się za nie zabrać. Bardzo proszę o rozwiązanie wraz z wytłumaczeniem
Pokaż, że jeśli \(\displaystyle{ U}\) jest ultrafiltrem, a \(\displaystyle{ F}\) jest filtrem i \(\displaystyle{ U\subseteq F}\), to \(\displaystyle{ U=F}\).
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 21:46
autor: Jan Kraszewski
A jaką masz definicję ultrafiltru?
JK
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 21:53
autor: paulina-21
Niestety jest to zadanie dodatkowe i żadnych definicji nie dostałam. Mam jedynie te które znalazłam w internecie, jednak nie wiem, z czego skorzystać żeby to wykazać.
1) Ultrafiltrem w zbiorze \(\displaystyle{ X}\) nazywamy każdy taki filtr \(\displaystyle{ U}\), którego jedynym rozszerzeniem jest \(\displaystyle{ U}\).
2) W odniesieniu do filtrów w algebrach Boole'a i filtrów podzbiorów danego zbioru - Filtry maksymalne są też często nazywane ultrafiltrami
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:00
autor: Jan Kraszewski
paulina-21 pisze: ↑24 sty 2023, o 21:53
Niestety jest to zadanie dodatkowe i żadnych definicji nie dostałam.
No to trochę bez sensu, bo jedną z równoważnych definicji ultrafiltru jest właśnie ta, że jest to filtr maksymalny. Wtedy Twoje zadanie jest "puste", bo wynika wprost z definicji.
JK
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:03
autor: paulina-21
A jak można to w prosty sposób pokazać na jakimś przykładzie?
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:11
autor: Jan Kraszewski
Ale co?
JK
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:13
autor: paulina-21
Jeżeli wezmę sobie niepusty zbiór \(\displaystyle{ X}\), który zawiera dwa różne elementy \(\displaystyle{ a, b\in X }\) i rozważymy sobie rodzinę zbiorów \(\displaystyle{ \mathcal{F} = \{F \in 2^{X}: a \in F \cap b \in F\}}\) to widać, że \(\displaystyle{ \mathcal{F}}\) jest filtrem. Ale nie jest ultrafiltrem bo ma rozszerzenie \(\displaystyle{ G=\{F\in 2^{X}: a \in F\}}\).
Jak to przekształcić, żeby \(\displaystyle{ F}\) było jednocześnie ultrafiltrem?
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:17
autor: Jan Kraszewski
paulina-21 pisze: ↑24 sty 2023, o 22:13Jak to przekształcić, żeby
\(\displaystyle{ F}\) było jednocześnie ultrafiltrem?
Nie rozumiem, co masz na myśli.
\(\displaystyle{ \mathcal{F}}\) jest filtrem, który nie jest ultrafiltrem, a
\(\displaystyle{ \mathcal{G}}\) jest ultrafiltrem. Co chcesz przekształcać?
JK
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:19
autor: paulina-21
Ja musze to zadanie jakoś wykazać na przykładzie pomimo, że jest ono "puste".
I w tym proszę o pomoc
Czy mógłbyś mi coś zasugerować?
Re: Ultrafiltry i Filtry
: 24 sty 2023, o 22:44
autor: Jan Kraszewski
Ale ja nie rozumiem, na czym miałoby to "rozwiązanie" polegać. Stwierdzenie "wykazać zadanie na przykładzie" jest wg mnie bezsensowne.
JK