Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
259 kez görüntülendi
$X\neq\emptyset$ küme ve $\mathcal{F}, X$'de filtre olmak üzere $$\mathcal{F}, \text{ ultrafiltre}\Leftrightarrow \left(\forall A\in 2^X\right)(A\in\mathcal{F}\vee A^c\in\mathcal{F})$$ olduğunu gösteriniz.
Lisans Matematik kategorisinde (11.5k puan) tarafından  | 259 kez görüntülendi

1 cevap

1 beğenilme 0 beğenilmeme

$(\Rightarrow):$ $\mathcal{F},$ $X$'de ultrafiltre ve $A\in 2^X$ olsun.

$\left.\begin{array}{r} \mathcal{F}, \ X\text{'de filtre}\Rightarrow X\in\mathcal{F}  \\ \\ A\in 2^X\Rightarrow A\cup A^c=X \end{array}\right\}\Rightarrow \begin{array}{c}\mbox{} \\ \mbox{} \\ \left.\begin{array}{c} A\cup A^c\in\mathcal{F} \\ \mbox{} \\ \mathcal{F}, \ X\text{'de ultrafiltre}\end{array}\right\}\overset{?}{\Rightarrow} A\in\mathcal{F}\vee A^c\in\mathcal{F}.\!\!\!\!\!\end{array}$

 Son adımdaki $(?)$ işaretinin gerekçesi bu linkte.

$(\Leftarrow):$ $\mathcal{F}, \ X$'de filtre ve $\mathcal{F}\subseteq \mathcal{F}'$ olsun. Amacımız $\mathcal{F}=\mathcal{F}'$ olduğunu göstermek. $\mathcal{F}\subseteq \mathcal{F}'$ olduğundan $\mathcal{F}'\subseteq \mathcal{F}$ olduğunu göstermek yeterli olacaktır. $A\in\mathcal{F}'$ alalım. Bu durumda $A\in\mathcal{F}$ olduğunu gösterirsek ispat biter.
$\left.\begin{array}{r} \mathcal{F}, X\text{'de filtre}\Rightarrow X\in\mathcal{F} \\ \\ X=A^c\cup A \end{array} \right\}\Rightarrow \begin{array}{l} \\ \\ \!\! \left. \begin{array}{rr} A^c\cup A\in\mathcal{F} \\ \\ \text{Hipotez} \end{array} \right\} \Rightarrow  \end{array}$

$\left.\begin{array}{r} \Rightarrow A^c\in\mathcal{F}\vee A\in\mathcal{F} \\ \\ \mathcal{F}\subseteq \mathcal{F}' \end{array} \right\}\Rightarrow \begin{array}{l} \\ \\ \!\! \left. \begin{array}{rr} A^c\in\mathcal{F}'\vee A\in\mathcal{F} \\ \\ A\in\mathcal{F}' \end{array} \right\}\Rightarrow \end{array}$

$\Rightarrow (A^c\in\mathcal{F}'\vee A\in\mathcal{F})\wedge A\in\mathcal{F}'$

$\Rightarrow (A^c\in\mathcal{F}'\wedge A\in\mathcal{F}')  \vee (A\in\mathcal{F}\wedge A\in\mathcal{F}')$

$\Rightarrow A^c\cap A\in\mathcal{F}'\vee A\in\mathcal{F}$

$\Rightarrow \underset{0}{\underbrace{\emptyset\in\mathcal{F}'}}\vee A\in\mathcal{F}$

$\Rightarrow A\in\mathcal{F}.$

(11.5k puan) tarafından 
20,280 soru
21,811 cevap
73,492 yorum
2,476,424 kullanıcı