Sei X eine beliebige Menge und
A :={A ⊂ X : A ist höchstens oder Ac ist höchstens abzählbar}
Zeigen Sie
i). X ∈ A
ii) Ist B ∈ A so folgt Bc ∈ A.
iii) Ist Bi ∈ A für jedes i Element N, so gilt ∪_(i ∈ N) Bic ∈ A.
EDIT: Achtung A ≠ A .
X und A kommen in der Frage in unterschiedlicher Bedeutung vor. Kannst du das klären?
Bitte die fragestellung berichtigen!
Hier ist die Aufgabe
EDIT: Achtung A ≠ A. Habe eines von den A oben nun fett gemacht.
A ist eine Menge von Mengen.
A ist eine Menge.
Hi,(1)X⊂X und Xc=∅ also abza¨hlbar ⇒X∈A (1) \quad X \subset X \text{ und } X^c = \emptyset \text{ also abzählbar } \Rightarrow X \in \mathcal{A} (1)X⊂X und Xc=∅ also abza¨hlbar ⇒X∈A(2)B∈A⇒B=(Bc)c oder Bc abza¨hlbar, damit gilt Bc∈A (2) \quad B \in \mathcal{A} \Rightarrow B=(B^c)^c \text{ oder } B^c \text{ abzählbar, damit gilt } B^c \in \mathcal{A} (2)B∈A⇒B=(Bc)c oder Bc abza¨hlbar, damit gilt Bc∈A(3)Fall 1 : Alle Bi sind abza¨hlbar ⇒⋃i∈NBi abza¨hlbar ⇒⋃i∈NBi∈A Fall 2 : mindestens ein Bi ist nicht abza¨hlbar ⇒(⋃i∈NBi)c=⋂i∈NBic abza¨hlbar ⇒⋃i∈NBi∈A weil das Koplement abza¨hlbar ist (3) \quad \text{Fall 1: Alle } B_i \text{ sind abzählbar } \Rightarrow \bigcup_{i \in \mathbb{N} } B_i \text{ abzählbar } \Rightarrow \bigcup_{i \in \mathbb{N} } B_i \in \mathcal{A} \\ \quad \quad\text{ Fall 2: mindestens ein } B_i \text{ ist nicht abzählbar } \Rightarrow \\ \quad \quad \left( \bigcup_{i \in \mathbb{N}} B_i \right)^c = \bigcap_{i \in \mathbb{N} } B_i^c \text{ abzählbar } \Rightarrow \\ \quad \quad \bigcup_{i \in \mathbb{N}} B_i \in \mathcal{A} \text{ weil das Koplement abzählbar ist } (3)Fall 1 : Alle Bi sind abza¨hlbar ⇒i∈N⋃Bi abza¨hlbar ⇒i∈N⋃Bi∈A Fall 2 : mindestens ein Bi ist nicht abza¨hlbar ⇒(i∈N⋃Bi)c=i∈N⋂Bic abza¨hlbar ⇒i∈N⋃Bi∈A weil das Koplement abza¨hlbar ist
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos