0
Ich denke mal, dass ein Inhalt gemeint ist und kein Maß.
Die Idee ist zu zeigen, dass $\mu_F$ ein Inhalt auf $\mathcal{F}=\{[a,b): a,b \in \mathbb{R}, a\leq b\}$ ist, denn dann gibt es auch ein Inhalt auf $Q(\mathbb{R})$.
Daher genügt es, wenn man das Ganze für Intervalle aus $\mathcal{F}$ zeigt.
Die Idee ist zu zeigen, dass $\mu_F$ ein Inhalt auf $\mathcal{F}=\{[a,b): a,b \in \mathbb{R}, a\leq b\}$ ist, denn dann gibt es auch ein Inhalt auf $Q(\mathbb{R})$.
Daher genügt es, wenn man das Ganze für Intervalle aus $\mathcal{F}$ zeigt.
Diese Antwort melden
Link
geantwortet
orbit
Sonstiger Berufsstatus, Punkte: 690
Sonstiger Berufsstatus, Punkte: 690
aber wenn du zwei disjunkte Intervalle betrachtest und deren Vereinigung anschaust, so sagt dir ja \(\mu_F\) noch nichts, wie du damit rechnen kannst.
─
karate
28.09.2021 um 13:22
Doch klar. Guck dir die Definition von endlich additiv mal genau an.
─
orbit
28.09.2021 um 13:35
aber wir müssen ja zeigen dass es endlich additiv ist, nicht einfach annehmen. Oder sehe ich das falsch?
─
karate
28.09.2021 um 13:44
Ne das ist schon richtig. Aber ein Funktion $\mu:\mathcal{C}\rightarrow [0,\infty]$ ist endlich additiv, wenn für pw. disj. $A_i\in \mathcal{C}$ mit $\bigcup_{i=1}^{n}A_i \in \mathcal{C}$ gilt $$\mu\left(\bigcup_{i=1}^{n}A_i\right)=\sum_{i=1}^{n}\mu(A_i).$$
Wenn du jetzt nur zwei disjunkte Intervalle aus $\mathcal{F}$ betrachtest, wie sehen dann die Grenzen aus, damit die Vereinigung wieder in $\mathcal{F}$ liegt? ─ orbit 28.09.2021 um 13:59
Wenn du jetzt nur zwei disjunkte Intervalle aus $\mathcal{F}$ betrachtest, wie sehen dann die Grenzen aus, damit die Vereinigung wieder in $\mathcal{F}$ liegt? ─ orbit 28.09.2021 um 13:59
Ja sie müssen links abgeschlossen und rechts offen sein. Aber z.B. kann ich die Vereinigung \([1,2)\cup [4,5)\) gar nicht mehr zusammenfassen da es ja einen mittleren Teil gibt der nicht eingeschlossen ist.
─
karate
28.09.2021 um 14:15
Ja richtig, aber deine betrachteten Intervalle erfüllen damit auch nicht die Voraussetzungen die bei der endlichen Additivität gelten müssen.
Nochmal, es werden pw. disj. $A_i\in \mathcal{C} \textbf{ mit } \bigcup_{i=1}^{n}A_i \in \mathcal{C}$ betrachtet. Letzteres ist, wie du richtig sagst, bei deinem Beispiel nicht gegeben. Die obige Gleichheit wird aber nur für Mengen gefordert, die beide Voraussetzungen erfüllen. ─ orbit 28.09.2021 um 14:27
Nochmal, es werden pw. disj. $A_i\in \mathcal{C} \textbf{ mit } \bigcup_{i=1}^{n}A_i \in \mathcal{C}$ betrachtet. Letzteres ist, wie du richtig sagst, bei deinem Beispiel nicht gegeben. Die obige Gleichheit wird aber nur für Mengen gefordert, die beide Voraussetzungen erfüllen. ─ orbit 28.09.2021 um 14:27
aha okei super danke!
─
karate
28.09.2021 um 14:34