4. fragen zur stochastik

fragen zur stochastik

  • F

    hallo

    ich hab so meine probleme mit gewissen dingen in der stochastik.

    problem 1:
    sei Ω\Omega die ergebnismenge und sei PP das wahrscheinlichkeitsmass (ist P: \mathcal P(\Omega) \rightarrow [0, 1]?):
    Ω={n∈N∣n≤6}\Omega = \left \{ n \in \mathbb{N} \mid n \leq 6 \right \}
    P:x↦∣x∣∣Ω∣P: x \mapsto \frac{\left | x \right |}{\left | \Omega \right |}
    ein gleichverteilter würfel also.
    nun kommt mein verständnisproblem:
    P(X=5)=16P(X = 5) = \frac{1}{6}
    wenn ich mir das anschaue macht es schon sinn usw., aber was für einen "typ" hat das argument X=5X = 5? ist das eine kurzschreibweise von:
    P({x∈Ω∣x=5})=16P(\left \{ x \in \Omega \mid x = 5 \right \}) = \frac{1}{6}
    mein problem ist vielleicht nicht so einfach nachzuvollziehen, ich verstehe einfach nicht wie man so einen vergleich an das wahrscheinlichkeitsmass übergeben kann (der vergleich ist doch nur ein prädikatenlogisches wahr / falsch...).

    problem 2:
    sei wieder Ω\Omega die ergebnismenge und sei PP das wahrscheinlichkeitsmass:
    Ω=R\Omega = \mathbb{R}
    dabei würde ich gerne die wahrscheinlichkeit von reellen intervallen auf die normalverteilung N(0,1)\mathcal N(0,1) abbilden. etwa so:
    P\left ( \left \{ x \in \mathbb{R} \mid 1.5 \leq x \leq 2 \right \} \right ) = P\left ( \left \{ x \in [1.5, 2] \right \} \right ) = \int_{1.5}^{2} \mathcal N (0,1) = \int_{1.5}^{2} \frac{e^{-\frac{x^2}{2}}}{\sqrt{(2 \pi)}} = \frac{1}{2} \, erf \! \left( \frac{2}{\sqrt{2}} \right ) - \frac{1}{2} \, erf \! \left( \frac{1.5}{\sqrt{2}} \right ) \approx 0.0441
    wie kann wird aber PP nun definiert? kann man in der mathematik auch funktionen überladen? etwa so:
    P: \mathbb{R} \rightarrow [0,1], x \mapsto 0
    P: \mathbb{R}^2 \rightarrow [0,1], (x, y) \mapsto \int_{x}^{y} \mathcal{N}(0, 1)

    problem 2.1:
    gilt P\left ( \left [ 0,1 \right ] \right )=P\left ( \, \left ( 0,1 \right ) \, \right )?

    edit: fehler korrigiert.

    0
  • B

    asfdlol schrieb:

    problem 1:
    sei Ω\Omega die ergebnismenge und sei PP das wahrscheinlichkeitsmass (ist P: \mathcal P(\Omega) \rightarrow [0, 1]?):

    Nicht unbedingt, Wahrscheinlichkeitsmaße bilden von einer σ-Algebra nach [0,1] ab. Die Potenzmenge ist eine sigma-Algebra, aber nicht die einzige, und bei stetigen Wahrscheinlichkeitsmaßen auch nicht die üblicherweise verwendete (siehe Frage 2)

    nun kommt mein verständnisproblem:
    P(X=5)=16P(X = 5) = \frac{1}{6}
    wenn ich mir das anschaue macht es schon sinn usw., aber was für einen "typ" hat das argument X=5X = 5? ist das eine kurzschreibweise von:
    P({x∈Ω∣x=5})=16P(\left \{ x \in \Omega \mid x = 5 \right \}) = \frac{1}{6}

    X ist eine Zufallsvariable, also eine messbare Funktion, und P(X = 5) steht für P({x∈Ω∣X(x)=5})=P(X−1({5}))P(\{x\in\Omega \mid X(x) = 5\}) = P(X^{-1}(\{5\})).

    Bei dir ist X jetzt vom Himmel gefallen, vielleicht soll das heißen, dass es die Identität ist, aber normalerweise muss man die Zufallsvariable auch definieren. Ansonsten könnte man auch einfach P({5})P(\{5\}) schreiben.

    problem 2:
    sei wieder Ω\Omega die ergebnismenge und sei PP das wahrscheinlichkeitsmass:
    Ω=R\Omega = \mathbb{R}

    Jetzt musst du aufpassen, die Potenzmenge ist zwar eine sigma-Algebra, aber auf dieser existiert kein translationsinvariantes Maß (dh der Inhalt einer Menge kann sich ändern, wenn man sie verschiebt, siehe Banach-Tarski-Paradoxon), deshalb benutzt man normalerweise die Borel'sche sigma-Algebra. Borel-Mengen sind erstmal alle Intervalle, dann alle Komplemente und abzählbare Vereinigungen von Borel-Mengen.

    dabei würde ich gerne die wahrscheinlichkeit von reellen intervallen auf die normalverteilung N(0,1)\mathcal N(0,1) abbilden. etwa so:
    P\left ( \left \{ x \in \mathbb{R} \mid 1.5 \leq x \leq 2 \right \} \right ) = P\left ( \left \{ x \in [1.5, 2] \right \} \right ) = \int_{1.5}^{2} \mathcal N (0,1) = \int_{1.5}^{2} \frac{e^{-\frac{x^2}{2}}}{\sqrt{(2 \pi)}} = \frac{1}{2} \, erf \! \left( \frac{2}{\sqrt{2}} \right ) - \frac{1}{2} \, erf \! \left( \frac{1.5}{\sqrt{2}} \right ) \approx 0.0441
    wie kann wird aber PP nun definiert?

    Bei B⊂P(R)\mathcal{B}\subset\mathcal{P}(\mathbb{R}) die Borelsche sigma-Algebra:
    P : \mathcal{B} \to [0,1]
    P : [a, b] \mapsto \int_a^b \mathcal{N}(0,1)(x) dx
    Aufgrund der Eigenschaften von sigma-Algebren und Maßen genügt es, das Maß für Intervalle zu definieren, z.B. P([0,1] \cup [2,3]) = P([0,1]) + P([2,3]) usw.

    kann man in der mathematik auch funktionen überladen? etwa so:
    P: \mathbb{R} \rightarrow [0,1], x \mapsto 0
    P: \mathbb{R}^2 \rightarrow [0,1], (x, y) \mapsto \int_{x}^{y} \mathcal{N}(0, 1)

    Du kannst eine Funktion auf R∪R2\mathbb{R}\cup\mathbb{R}^2 definieren, aber das führt hier wohl in die Irre.

    problem 2.1:
    gilt P\left ( \left [ 0,1 \right ] \right )=P\left ( \, \left ( 0,1 \right ) \, \right )?

    Bei deinem W-Maß ja, im Allgemeinen können die Punkte 0 und 1 positive Wahrscheinlichkeit haben, dann nicht.

    (Ich hab jetzt ein paar wesentliche Details weggelassen, z.B. Nullmengen, Lebesgue-Borel-Mengen, aber ich bin kein Stochastiker und habe keine Lust nachzuschlagen.)

    0
  • F

    danke schonmal dass du dir die zeit genommen hast zu antworten.

    Bashar schrieb:

    asfdlol schrieb:

    problem 1:
    sei Ω\Omega die ergebnismenge und sei PP das wahrscheinlichkeitsmass (ist P: \mathcal P(\Omega) \rightarrow [0, 1]?):

    Nicht unbedingt, Wahrscheinlichkeitsmaße bilden von einer σ-Algebra nach [0,1] ab. Die Potenzmenge ist eine sigma-Algebra, aber nicht die einzige, und bei stetigen Wahrscheinlichkeitsmaßen auch nicht die üblicherweise verwendete (siehe Frage 2)

    ahh, nun scheint ein karges licht in die dunkelheit meines unwissens. wenn ich mir sigma-algebren als mengensysteme mit drei zusätzlichen bedingungen vorstellen, so wird das ganze deutlich klarer.
    zur repetition (sei A\mathcal{A} die σ-algebra über Ω\Omega):
    ∀X∈A:X⊆Ω\forall X \in \mathcal{A} : X \subseteq \Omega (-> mengensystem)
    Ω∈A\Omega \in \mathcal{A} (bedingung 1)
    ∀X∈A:(Ω∖X)⊆A\forall X \in \mathcal{A} : \left (\Omega \setminus X \right ) \subseteq \mathcal{A} (bedingung 2)
    ∀n∈N:A_n∈A⇒(⋃_n∈NAn)∈A\forall n \in \mathbb{N}: A\_n \in \mathcal{A} \Rightarrow \left (\bigcup\_{n \in \mathbb{N}} A_n \right ) \in \mathcal{A} (bedingung 3)
    ich verstehe diese bedingungen zwar, nicht jedoch den sinn hinter der dritten bedingung. ein beispiel:
    Ω={x∈N∣x≤10}\Omega = \left \{ x \in \mathbb{N} \mid x \leq 10 \right \}

    \forall n \in \mathbb{N} : A_n = \begin{cases} \left \{ 1 \right \} & \mbox{wenn} \: n = 1 \\ \left \{ 2 \right \} & \mbox{wenn} \: n = 2 \\ \varnothing & \mbox{ansonsten} \end{cases}

    (wie nennt man diese schreibweise mit der grossen {-klammer eigentlich? 'ne fallunterscheidung ist ja 'was anderes...)
    ∀n∈N:An∈A\forall n \in \mathbb{N} : A_n \in \mathcal{A}

    ⇒∀n∈N:(Ω∖An)⇔(Ω∖{1}),(Ω∖{2})∈A\Rightarrow \forall n \in \mathbb{N}: \left ( \Omega \setminus A_n \right ) \Leftrightarrow \left ( \Omega \setminus \left \{ 1 \right \} \right ), \left ( \Omega \setminus \left \{ 2 \right \} \right ) \in \mathcal{A}

    aber wieso müssen nun {1,2}\left \{ 1,2 \right \} und Ω∖{1,2}\Omega \setminus \left \{ 1,2 \right \} auch in A\mathcal{A} sein? hat es etwas mit der σ-additivität zu tun?

    Bashar schrieb:

    nun kommt mein verständnisproblem:
    P(X=5)=16P(X = 5) = \frac{1}{6}
    wenn ich mir das anschaue macht es schon sinn usw., aber was für einen "typ" hat das argument X=5X = 5? ist das eine kurzschreibweise von:
    P({x∈Ω∣x=5})=16P(\left \{ x \in \Omega \mid x = 5 \right \}) = \frac{1}{6}

    X ist eine Zufallsvariable, also eine messbare Funktion, und P(X = 5) steht für P({x∈Ω∣X(x)=5})=P(X−1({5}))P(\{x\in\Omega \mid X(x) = 5\}) = P(X^{-1}(\{5\})).

    Bei dir ist X jetzt vom Himmel gefallen, vielleicht soll das heißen, dass es die Identität ist, aber normalerweise muss man die Zufallsvariable auch definieren. Ansonsten könnte man auch einfach P({5})P(\{5\}) schreiben.

    in eigenen worten:
    P(X=5)P\left ( X = 5 \right ) ergibt die wahrscheinlich mit welcher XX den wert xx annimmt, sodass X(x)=5X\left ( x \right ) = 5 gilt, wobei XX von einer anderen algebra (kann eine messbare funktion auch von einer algebra in dieselbe algebra abbilden?) nach A\mathcal{A} des messraums von Ω\Omega abbildet (bzw. A⊆Ω\mathcal{A} \subseteq \Omega).
    habe ich das richtig verstanden?

    und meinst du mit dem zweiten teil, dass ich für das wahrscheinlichkeitsmass gar keine zufallsvariable brauche sondern einfach ein beliebiges element A∈AA \in \mathcal{A} in das w-mass einsetzen (bzw. an das w-mass übergeben) kann?

    Bashar schrieb:

    problem 2:
    sei wieder Ω\Omega die ergebnismenge und sei PP das wahrscheinlichkeitsmass:
    Ω=R\Omega = \mathbb{R}

    Jetzt musst du aufpassen, die Potenzmenge ist zwar eine sigma-Algebra, aber auf dieser existiert kein translationsinvariantes Maß (dh der Inhalt einer Menge kann sich ändern, wenn man sie verschiebt, siehe Banach-Tarski-Paradoxon), deshalb benutzt man normalerweise die Borel'sche sigma-Algebra. Borel-Mengen sind erstmal alle Intervalle, dann alle Komplemente und abzählbare Vereinigungen von Borel-Mengen.

    dabei würde ich gerne die wahrscheinlichkeit von reellen intervallen auf die normalverteilung N(0,1)\mathcal N(0,1) abbilden. etwa so:
    P\left ( \left \{ x \in \mathbb{R} \mid 1.5 \leq x \leq 2 \right \} \right ) = P\left ( \left \{ x \in [1.5, 2] \right \} \right ) = \int_{1.5}^{2} \mathcal N (0,1) = \int_{1.5}^{2} \frac{e^{-\frac{x^2}{2}}}{\sqrt{(2 \pi)}} = \frac{1}{2} \, erf \! \left( \frac{2}{\sqrt{2}} \right ) - \frac{1}{2} \, erf \! \left( \frac{1.5}{\sqrt{2}} \right ) \approx 0.0441
    wie kann wird aber PP nun definiert?

    Bei B⊂P(R)\mathcal{B}\subset\mathcal{P}(\mathbb{R}) die Borelsche sigma-Algebra:
    P : \mathcal{B} \to [0,1]
    P : [a, b] \mapsto \int_a^b \mathcal{N}(0,1)(x) dx
    Aufgrund der Eigenschaften von sigma-Algebren und Maßen genügt es, das Maß für Intervalle zu definieren, z.B. P([0,1] \cup [2,3]) = P([0,1]) + P([2,3]) usw.

    jetzt bewegen wir uns leider an der kante meines verständnisses. ganz langsam:
    - es existiert kein translationsinvariantes mass auf A=P(R)\mathcal{A} = \mathcal{P}\left ( \mathbb{R} \right ). den grund hab ich leider nicht verstanden, kann man das mit einem einfachen indirekten beweis vorführen?
    - wieso ist die menge alle intervalle in R\mathbb{R} + alle komplemente und vereinigungen dieser intervalle nicht selbst wieder P(R)\mathcal{P}(\mathbb{R})? bzw. was ist P(R)∖B\mathcal{P}(\mathbb{R}) \setminus \mathcal{B}?

    noch allgemein: das hab ich gesehen als ich einen dazugehörigen artikel auf wiki gelesen habe:
    - \mu \colon \mathcal{A} \to [0,\infty] darf man das - wenn man ganz pedantisch ist - so schreiben? offene intervalle mit unendlich sind ja in ordnung aber auch abgeschlossene? es gilt ja: ∞∉R\infty \notin \mathbb{R}

    Bashar schrieb:

    kann man in der mathematik auch funktionen überladen? etwa so:
    P: \mathbb{R} \rightarrow [0,1], x \mapsto 0
    P: \mathbb{R}^2 \rightarrow [0,1], (x, y) \mapsto \int_{x}^{y} \mathcal{N}(0, 1)

    Du kannst eine Funktion auf R∪R2\mathbb{R}\cup\mathbb{R}^2 definieren, aber das führt hier wohl in die Irre.

    etwa so? (nicht dass ich das hier machen würde nachdem was du vorhin eben geschrieben hast aber rein aus neugier und interesse)

    f: \mathbb{R} \cup \mathbb{R}^2 \rightarrow \left \{ R,R_2 \right \}, x \mapsto \begin{cases} R & \mbox{wenn} \: x \in \mathbb{R} \\ R_2 & \mbox{ansonsten} \end{cases}

    clever, da wäre ich nicht drauf gekommen.

    Bashar schrieb:

    problem 2.1:
    gilt P\left ( \left [ 0,1 \right ] \right )=P\left ( \, \left ( 0,1 \right ) \, \right )?

    Bei deinem W-Maß ja, im Allgemeinen können die Punkte 0 und 1 positive Wahrscheinlichkeit haben, dann nicht.

    das widerspricht nun ein wenig der intuition, denn wie kann die wahrscheinlichkeit einer menge von punkten (deren wahrscheinlichkeit alleine je 0 ist) plötzlich ungleich 0 sein? vor allem ja weil die σ-additivität gilt, so muss sich die wahrscheinlichkeit ungleich 0 aus der summe unendlich vieler nullen ergeben. das hängt wohl mit der überabzählbarkeit von R\mathbb{R} zusammen.

    edit:
    erst jetzt den folgenden äusserst peinlichen fehler bemerkt:

    Bashar schrieb:

    wie kann wird aber PP nun definiert?

    natürlich sollte es entweder "wie kann aber PP nun definiert werden?" oder "wie wird aber PP nun definiert?" lauten...

    0
  • B

    asfdlol schrieb:

    ahh, nun scheint ein karges licht in die dunkelheit meines unwissens. wenn ich mir sigma-algebren als mengensysteme mit drei zusätzlichen bedingungen vorstellen, so wird das ganze deutlich klarer.
    zur repetition (sei A\mathcal{A} die σ-algebra über Ω\Omega):
    ∀X∈A:X⊆Ω\forall X \in \mathcal{A} : X \subseteq \Omega (-> mengensystem)
    Ω∈A\Omega \in \mathcal{A} (bedingung 1)
    ∀X∈A:(Ω∖X)⊆A\forall X \in \mathcal{A} : \left (\Omega \setminus X \right ) \subseteq \mathcal{A} (bedingung 2)
    ∀n∈N:A_n∈A⇒(⋃_n∈NAn)∈A\forall n \in \mathbb{N}: A\_n \in \mathcal{A} \Rightarrow \left (\bigcup\_{n \in \mathbb{N}} A_n \right ) \in \mathcal{A} (bedingung 3)
    ich verstehe diese bedingungen zwar, nicht jedoch den sinn hinter der dritten bedingung. ein beispiel:
    Ω={x∈N∣x≤10}\Omega = \left \{ x \in \mathbb{N} \mid x \leq 10 \right \}

    \forall n \in \mathbb{N} : A_n = \begin{cases} \left \{ 1 \right \} & \mbox{wenn} \: n = 1 \\ \left \{ 2 \right \} & \mbox{wenn} \: n = 2 \\ \varnothing & \mbox{ansonsten} \end{cases}

    (wie nennt man diese schreibweise mit der grossen {-klammer eigentlich? 'ne fallunterscheidung ist ja 'was anderes...)

    Fallunterscheidung finde ich gar nicht so schlecht, was ist das Problem daran?

    ∀n∈N:An∈A\forall n \in \mathbb{N} : A_n \in \mathcal{A}

    ⇒∀n∈N:(Ω∖An)⇔(Ω∖{1}),(Ω∖{2})∈A\Rightarrow \forall n \in \mathbb{N}: \left ( \Omega \setminus A_n \right ) \Leftrightarrow \left ( \Omega \setminus \left \{ 1 \right \} \right ), \left ( \Omega \setminus \left \{ 2 \right \} \right ) \in \mathcal{A}

    aber wieso müssen nun {1,2}\left \{ 1,2 \right \} und Ω∖{1,2}\Omega \setminus \left \{ 1,2 \right \} auch in A\mathcal{A} sein? hat es etwas mit der σ-additivität zu tun?

    {1,2} muss drin sein, weil (abzählbare) Vereinigungen drin sein sollen. Damit du "Wahrscheinlichkeit von A oder B" ausdrücken kannst. Und das Komplement, damit du "Wahrscheinlichkeit, dass A nicht eintritt" ausdrücken kannst.

    In deinem Beispiel braucht man nur endliche Vereinigungen, also nur eine (Mengen-)Algebra. Das sigma bezieht sich darauf, dass abzählbare Vereinigungen erlaubt sind. Überabzählbare nach wie vor nicht, denn damit könnte ma ja jede beliebige Teilmenge als Vereinigung von Punkten darstellen und hätte sich die ganze Struktur versaut.

    in eigenen worten:
    P(X=5)P\left ( X = 5 \right ) ergibt die wahrscheinlich mit welcher XX den wert xx annimmt, sodass X(x)=5X\left ( x \right ) = 5 gilt, wobei XX von einer anderen algebra (kann eine messbare funktion auch von einer algebra in dieselbe algebra abbilden?)

    Ja, natürlich.

    nach A\mathcal{A} des messraums von Ω\Omega abbildet (bzw. A⊆Ω\mathcal{A} \subseteq \Omega).
    habe ich das richtig verstanden?

    Ich glaube schon, so kompliziert ist das ja auch nicht, allerdings bildet X von unserem W-Raum in einen anderen (oder denselben) Messraum ab. Das P wird ja auf das Urbild angewendet.

    und meinst du mit dem zweiten teil, dass ich für das wahrscheinlichkeitsmass gar keine zufallsvariable brauche sondern einfach ein beliebiges element A∈AA \in \mathcal{A} in das w-mass einsetzen (bzw. an das w-mass übergeben) kann?

    Du hast doch P als Abbildung auf A\mathcal{A} definiert, also kannst du für jedes A∈AA\in\mathcal{A} das Bild P(A)P(A) bestimmen.

    jetzt bewegen wir uns leider an der kante meines verständnisses. ganz langsam:
    - es existiert kein translationsinvariantes mass auf A=P(R)\mathcal{A} = \mathcal{P}\left ( \mathbb{R} \right ). den grund hab ich leider nicht verstanden, kann man das mit einem einfachen indirekten beweis vorführen?

    Ich glaube, der Beweis ist relativ kompliziert.
    http://de.wikipedia.org/wiki/Maßproblem#Unl.C3.B6sbarkeit_des_Ma.C3.9Fproblems

    - wieso ist die menge alle intervalle in R\mathbb{R} + alle komplemente und vereinigungen dieser intervalle nicht selbst wieder P(R)\mathcal{P}(\mathbb{R})? bzw. was ist P(R)∖B\mathcal{P}(\mathbb{R}) \setminus \mathcal{B}?

    Ich glaube, das sollte aus dem obigen Link über das Maßproblem auch hervorgehen. Man kann solche nicht messbaren Mengen leider nicht explizit aufschreiben. Wobei das "leider" in dem Fall eher positiv zu werten ist, weil damit umgekehrt alle irgendwie praktisch vorkommenden Mengen messbar sind.

    noch allgemein: das hab ich gesehen als ich einen dazugehörigen artikel auf wiki gelesen habe:
    - \mu \colon \mathcal{A} \to [0,\infty] darf man das - wenn man ganz pedantisch ist - so schreiben? offene intervalle mit unendlich sind ja in ordnung aber auch abgeschlossene? es gilt ja: ∞∉R\infty \notin \mathbb{R}

    Du kannst auch [0,\infty)\cup\{\infty\} schreiben, wenn dich das glücklich macht 😉

    etwa so? (nicht dass ich das hier machen würde nachdem was du vorhin eben geschrieben hast aber rein aus neugier und interesse)

    f: \mathbb{R} \cup \mathbb{R}^2 \rightarrow \left \{ R,R_2 \right \}, x \mapsto \begin{cases} R & \mbox{wenn} \: x \in \mathbb{R} \\ R_2 & \mbox{ansonsten} \end{cases}

    clever, da wäre ich nicht drauf gekommen.

    Vielleicht weil dein Zugang zu formalen Strukturen durch Computer und Programmierung geprägt ist. Mathematisch ist das aber überhaupt kein Problem, Mengen kann man vereinigen, und eine Abbildung bildet eine Menge in eine andere ab.

    Wobei ich nicht weiß, ob man sowas oft benutzt.

    das widerspricht nun ein wenig der intuition, denn wie kann die wahrscheinlichkeit einer menge von punkten (deren wahrscheinlichkeit alleine je 0 ist) plötzlich ungleich 0 sein? vor allem ja weil die σ-additivität gilt, so muss sich die wahrscheinlichkeit ungleich 0 aus der summe unendlich vieler nullen ergeben. das hängt wohl mit der überabzählbarkeit von R\mathbb{R} zusammen.

    Ich verstehe die Nachfrage nicht. Ging es nicht ursprünglich darum, ob das Intervall mit und ohne Grenzen die gleiche Wahrscheinlichkeit hat? Gleichbedeutend damit ist, ob die Grenzpunkte Wahrscheinlichkeit ungleich 0 haben. Sowas gibt es natürlich, siehe z.B. Punktmaß/Diracmaß.

    Ich trenne die Frage mal ab:

    wie kann die wahrscheinlichkeit einer menge von punkten (deren wahrscheinlichkeit alleine je 0 ist) plötzlich ungleich 0 sein? vor allem ja weil die σ-additivität gilt, so muss sich die wahrscheinlichkeit ungleich 0 aus der summe unendlich vieler nullen ergeben. das hängt wohl mit der überabzählbarkeit von R\mathbb{R} zusammen.

    Ganz genau. Solange du abzählbar viele Punkte ansammelst (z.B. Q\mathbb{Q}) ist die Wahrscheinlichkeit Null.

    0
  • F

    Bashar schrieb:

    asfdlol schrieb:

    ahh, nun scheint ein karges licht in die dunkelheit meines unwissens.
    wenn ich mir sigma-algebren als mengensysteme mit drei zusätzlichen bedingungen vorstellen, so wird das ganze deutlich klarer.
    zur repetition (sei A\mathcal{A} die σ-algebra über Ω\Omega):
    ∀X∈A:X⊆Ω\forall X \in \mathcal{A} : X \subseteq \Omega (-> mengensystem) Ω∈A\Omega \in \mathcal{A} (bedingung 1) ∀X∈A:(Ω∖X)⊆A\forall X \in \mathcal{A} : \left (\Omega \setminus X \right ) \subseteq \mathcal{A} (bedingung 2) ∀n∈N:A_n∈A⇒(⋃_n∈NAn)∈A\forall n \in \mathbb{N}: A\_n \in \mathcal{A} \Rightarrow \left (\bigcup\_{n \in \mathbb{N}} A_n \right ) \in \mathcal{A} (bedingung 3) ich verstehe diese bedingungen zwar, nicht jedoch den sinn hinter der dritten bedingung. ein beispiel:
    Ω={x∈N∣x≤10}\Omega = \left \{ x \in \mathbb{N} \mid x \leq 10 \right \} \forall n \in \mathbb{N} : A_n = \begin{cases} \left \{ 1 \right \} & \mbox{wenn} \: n = 1 \\ \left \{ 2 \right \} & \mbox{wenn} \: n = 2 \\ \varnothing & \mbox{ansonsten} \end{cases} (wie nennt man diese schreibweise mit der grossen {-klammer eigentlich? 'ne fallunterscheidung ist ja 'was anderes...)

    Fallunterscheidung finde ich gar nicht so schlecht, was ist das Problem daran?

    ich finde diese bezeichnung selbst auch ganz okay, sonst hätte ich sie ja kaum vorgeschlagen. 😉 sie erinnert mich einfach ein wenig an das verfahren der fallunterscheidung beim auflösen von gleichungen mit z.b. der betragsfunktion.

    Bashar schrieb:

    ∀n∈N:An∈A\forall n \in \mathbb{N} : A_n \in \mathcal{A}

    ⇒∀n∈N:(Ω∖An)⇔(Ω∖{1}),(Ω∖{2})∈A\Rightarrow \forall n \in \mathbb{N}: \left ( \Omega \setminus A_n \right ) \Leftrightarrow \left ( \Omega \setminus \left \{ 1 \right \} \right ), \left ( \Omega \setminus \left \{ 2 \right \} \right ) \in \mathcal{A}

    aber wieso müssen nun {1,2}\left \{ 1,2 \right \} und Ω∖{1,2}\Omega \setminus \left \{ 1,2 \right \} auch in A\mathcal{A} sein? hat es etwas mit der σ-additivität zu tun?

    {1,2} muss drin sein, weil (abzählbare) Vereinigungen drin sein sollen. Damit du "Wahrscheinlichkeit von A oder B" ausdrücken kannst.
    Und das Komplement, damit du "Wahrscheinlichkeit, dass A nicht eintritt" ausdrücken kannst.

    In deinem Beispiel braucht man nur endliche Vereinigungen, also nur eine (Mengen-)Algebra. Das sigma bezieht sich darauf, dass abzählbare Vereinigungen erlaubt sind. Überabzählbare nach wie vor nicht, denn damit könnte ma ja jede beliebige Teilmenge als Vereinigung von Punkten darstellen und hätte sich die ganze Struktur versaut.

    achso, ja so etwas hab ich mir auch schon gedacht aber:
    Ω,(Ω∖Ω⇔∅)∈A\Omega, \left (\Omega \setminus \Omega \Leftrightarrow \varnothing \right ) \in \mathcal{A}
    \forall n \in \mathbb{N} : A_n = \begin{cases} \left \{ n \right \} & \mbox{wenn} \: n \leq 3 \\ \varnothing & \mbox{ansonsten} \end{cases}
    ∀n∈N:An∈A\forall n \in \mathbb{N} : A_n \in \mathcal{A}
    ⇒{1,2}∉A\Rightarrow \left \{ 1, 2 \right \} \notin \mathcal{A}
    es macht meiner meinung nach nur begrenzt sinn wenn man zwar die vereinigung aller ereignisse in die σ-algebra (per definition) tun muss, nicht aber:
    P(⋃n∈NA_n)∖(⋃_n∈NAn)\mathcal{P} \left ( \bigcup_{n \in \mathbb{N}} A\_n \right ) \setminus \left ( \bigcup\_{n \in \mathbb{N}} A_n \right )
    und laut der definition gilt das nur für mengenfamilien:
    Ω,(Ω∖Ω⇔∅)∈A\Omega, \left (\Omega \setminus \Omega \Leftrightarrow \varnothing \right ) \in \mathcal{A}
    A,B∈AA,B \in \mathcal{A}
    muss hier A∪BA \cup B gar nicht rein?

    das ist was ich an der dritten definition der σ-algebren nicht verstehe.

    Bashar schrieb:

    ...

    ok, das mit den zufallsvariablen dürfte mir nun klar sein.

    Bashar schrieb:

    jetzt bewegen wir uns leider an der kante meines verständnisses. ganz langsam:
    - es existiert kein translationsinvariantes mass auf A=P(R)\mathcal{A} = \mathcal{P}\left ( \mathbb{R} \right ). den grund hab ich leider nicht verstanden, kann man das mit einem einfachen indirekten beweis vorführen?

    Ich glaube, der Beweis ist relativ kompliziert.
    http://de.wikipedia.org/wiki/Maßproblem#Unl.C3.B6sbarkeit_des_Ma.C3.9Fproblems

    ich hab zwei mal versucht es zu verstehen, was ich leider nicht hinbekommen habe. dann nehme ich das aktuell mal einfach so hin. vielleicht verstehe ich es in ein paar jahren.

    Bashar schrieb:

    - wieso ist die menge alle intervalle in R\mathbb{R} + alle komplemente und vereinigungen dieser intervalle nicht selbst wieder P(R)\mathcal{P}(\mathbb{R})? bzw. was ist P(R)∖B\mathcal{P}(\mathbb{R}) \setminus \mathcal{B}?

    Ich glaube, das sollte aus dem obigen Link über das Maßproblem auch hervorgehen. Man kann solche nicht messbaren Mengen leider nicht explizit aufschreiben. Wobei das "leider" in dem Fall eher positiv zu werten ist, weil damit umgekehrt alle irgendwie praktisch vorkommenden Mengen messbar sind.

    interessant. aber zumindest dürfte die menge aller abgeschlossener intervalle gleich der menge aller zusammenhängenden teilmengen der trägermenge sein, oder? formal:
    \left \{ \left [ a, b \right ] \mid a,b\in \mathbb{R} \right \} = \left \{ X \subseteq \mathbb{R} \mid \forall x \in \mathbb{R}: min\left (X \right ) \leq x \leq max\left (X \right ) \Rightarrow x \in X \right \}

    Bashar schrieb:

    noch allgemein: das hab ich gesehen als ich einen dazugehörigen artikel auf wiki gelesen habe:
    - \mu \colon \mathcal{A} \to [0,\infty] darf man das - wenn man ganz pedantisch ist - so schreiben? offene intervalle mit unendlich sind ja in ordnung aber auch abgeschlossene? es gilt ja: ∞∉R\infty \notin \mathbb{R}

    Du kannst auch [0,\infty)\cup\{\infty\} schreiben, wenn dich das glücklich macht 😉

    ach, nimms mir nicht übel, ich bin ein wenig perfektionistisch und hinterfrage unnötig viel...

    Bashar schrieb:

    das widerspricht nun ein wenig der intuition, denn wie kann die wahrscheinlichkeit einer menge von punkten (deren wahrscheinlichkeit alleine je 0 ist) plötzlich ungleich 0 sein? vor allem ja weil die σ-additivität gilt, so muss sich die wahrscheinlichkeit ungleich 0 aus der summe unendlich vieler nullen ergeben. das hängt wohl mit der überabzählbarkeit von R\mathbb{R} zusammen.

    Ich verstehe die Nachfrage nicht. Ging es nicht ursprünglich darum, ob das Intervall mit und ohne Grenzen die gleiche Wahrscheinlichkeit hat? Gleichbedeutend damit ist, ob die Grenzpunkte Wahrscheinlichkeit ungleich 0 haben. Sowas gibt es natürlich, siehe z.B. Punktmaß/Diracmaß.

    ja, das war ursprünglich meine frage. der gedankengang führte sich einfach ein wenig fort, sodass ich dann darauf kam, dass man auch abzählbar unendlich viele punkte / elemente entfernen kann und die wahrscheinlichkeit noch immer gleich bleiben muss.

    Bashar schrieb:

    Ich trenne die Frage mal ab:

    wie kann die wahrscheinlichkeit einer menge von punkten (deren wahrscheinlichkeit alleine je 0 ist) plötzlich ungleich 0 sein? vor allem ja weil die σ-additivität gilt, so muss sich die wahrscheinlichkeit ungleich 0 aus der summe unendlich vieler nullen ergeben. das hängt wohl mit der überabzählbarkeit von R\mathbb{R} zusammen.

    Ganz genau. Solange du abzählbar viele Punkte ansammelst (z.B. Q\mathbb{Q}) ist die Wahrscheinlichkeit Null.

    und aus der σ-additivität folgt:
    ∀n∈N_0:A_n={X∣∣X∣=ℵn}\forall n \in \mathbb{N}\_0: A\_n = \left \{ X \mid \left | X \right | = \aleph_n \right \}
    \forall a,b \in \mathbb{R}: P\left ( \left [ a, b \right ] \right ) = P\left ( \left [ a, b \right ] \setminus \bigcup_{X \in A_0} X \right )
    stimmt das?

    edit:
    ich bin mir nun gerade ein wenig unsicher ob die definition der mengenfamilie (A_n)_n∈N\left ( A\_n \right )\_{n \in \mathbb{N}} unter der letzten quote korrekt ist (wegen der kontinuumshypothese). gemeint war aber eigentlich so etwas:
    A_0={X∣∣X∣=ℵ_0}A\_0 = \left \{ X \mid \left | X \right | = \aleph\_0 \right \}
    ∀n∈N:A_n={X∣∀Y∈A_n−1:∣X∣=ℶ∣Y∣}\forall n \in \mathbb{N}: A\_n = \left \{ X \mid \forall Y \in A\_{n-1} : \left | X \right | = \beth_{\left | Y \right |} \right \}

    ps.: wenn dir fehler an meinen formalisierungen auffallen, dann wäre ich dir sehr dankbar, wenn du das anmerken könntest (wenn du es nicht schon implizit dadurch tust, indem du die formeln nochmals korrekt schreibst wie vorhin beim fehlenden dx\mathrm{d} x und dem fehlenden parameter).

    0
  • B

    asfdlol schrieb:

    Ω,(Ω∖Ω⇔∅)∈A\Omega, \left (\Omega \setminus \Omega \Leftrightarrow \varnothing \right ) \in \mathcal{A}
    \forall n \in \mathbb{N} : A_n = \begin{cases} \left \{ n \right \} & \mbox{wenn} \: n \leq 3 \\ \varnothing & \mbox{ansonsten} \end{cases}
    ∀n∈N:An∈A\forall n \in \mathbb{N} : A_n \in \mathcal{A}
    ⇒{1,2}∉A\Rightarrow \left \{ 1, 2 \right \} \notin \mathcal{A}

    Das einzige, was daraus folgt ist {1,2,3}∈A\{1,2,3\}\in\mathcal{A}, nicht dass irgendwas anderes nicht drin ist. Wenn du {3} aus der Familie rauslässt, bekommst du {1,2}∈A\{1,2\}\in\mathcal{A}. Und die Bedingung muss für jede Mengenfamilie gelten, nicht nur für die Handvoll, die du dir explizit überlegt hast.

    es macht meiner meinung nach nur begrenzt sinn wenn man zwar die vereinigung aller ereignisse in die σ-algebra (per definition) tun muss, nicht aber:
    P(⋃n∈NA_n)∖(⋃_n∈NAn)\mathcal{P} \left ( \bigcup_{n \in \mathbb{N}} A\_n \right ) \setminus \left ( \bigcup\_{n \in \mathbb{N}} A_n \right )

    Dass beliebige Teilmengen kein sinnvolles Maß zulassen, hatten wir doch schon geklärt?

    und laut der definition gilt das nur für mengenfamilien:
    Ω,(Ω∖Ω⇔∅)∈A\Omega, \left (\Omega \setminus \Omega \Leftrightarrow \varnothing \right ) \in \mathcal{A}
    A,B∈AA,B \in \mathcal{A}
    muss hier A∪BA \cup B gar nicht rein?

    Wieso nicht?

    Bashar schrieb:

    Man kann solche nicht messbaren Mengen leider nicht explizit aufschreiben. Wobei das "leider" in dem Fall eher positiv zu werten ist, weil damit umgekehrt alle irgendwie praktisch vorkommenden Mengen messbar sind.

    interessant. aber zumindest dürfte die menge aller abgeschlossener intervalle gleich der menge aller zusammenhängenden teilmengen der trägermenge sein, oder? formal:
    \left \{ \left [ a, b \right ] \mid a,b\in \mathbb{R} \right \} = \left \{ X \subseteq \mathbb{R} \mid \forall x \in \mathbb{R}: min\left (X \right ) \leq x \leq max\left (X \right ) \Rightarrow x \in X \right \}

    Zusammenhängende Mengen müssen keine abgeschlossenen Intervalle sein und auch kein Minimum oder Maximum haben: min(0,1)\min (0,1)? \max [0,\infty)?

    ach, nimms mir nicht übel, ich bin ein wenig perfektionistisch und hinterfrage unnötig viel...

    Tu ich nicht, immer frag.

    Bashar schrieb:

    Solange du abzählbar viele Punkte ansammelst (z.B. Q\mathbb{Q}) ist die Wahrscheinlichkeit Null.

    und aus der σ-additivität folgt:
    ∀n∈N_0:A_n={X∣∣X∣=ℵn}\forall n \in \mathbb{N}\_0: A\_n = \left \{ X \mid \left | X \right | = \aleph_n \right \}

    Puh, das ist mir zu hoch 😉 Ist das überhaupt eine Menge?

    \forall a,b \in \mathbb{R}: P\left ( \left [ a, b \right ] \right ) = P\left ( \left [ a, b \right ] \setminus \bigcup_{X \in A_0} X \right )
    stimmt das?

    Hm, mal aufdröseln. Dein A0A_0 ist die Menge aller abzählbaren Mengen (unter der Voraussetzung, dass man die überhaupt bilden kann). Dann vereinigst du die alle und ziehst sie vom Intervall [a,b] ab und glaubst, dass dann immer noch die Wahrscheinlichkeit gleich bleibt. Naja, das ist offensichtlich falsch, z.B. enthält A0A_0 die Mengen M_y:={y}∪N∈A_0M\_y := \{y\} \cup \mathbb{N} \in A\_0 für jedes y\in[a,b], so dass \bigcup_{X\in A_0} X \supseteq [a,b] ist.

    edit:
    ich bin mir nun gerade ein wenig unsicher ob die definition der mengenfamilie (A_n)_n∈N\left ( A\_n \right )\_{n \in \mathbb{N}} unter der letzten quote korrekt ist (wegen der kontinuumshypothese).

    Die ist ja bekanntlich(?) unabhängig von ZFC, also kannst du sie annehmen oder ablehnen nach Gusto.

    gemeint war aber eigentlich so etwas:
    A_0={X∣∣X∣=ℵ_0}A\_0 = \left \{ X \mid \left | X \right | = \aleph\_0 \right \}
    ∀n∈N:A_n={X∣∀Y∈A_n−1:∣X∣=ℶ∣Y∣}\forall n \in \mathbb{N}: A\_n = \left \{ X \mid \forall Y \in A\_{n-1} : \left | X \right | = \beth_{\left | Y \right |} \right \}

    ℶ\beth 😕 Na von mir aus.

    ps.: wenn dir fehler an meinen formalisierungen auffallen, dann wäre ich dir sehr dankbar, wenn du das anmerken könntest (wenn du es nicht schon implizit dadurch tust, indem du die formeln nochmals korrekt schreibst wie vorhin beim fehlenden dx\mathrm{d} x und dem fehlenden parameter).

    OK. Ich bin eigentlich ziemlich tolerant in solchen Sachen, und dass einfach ∫f\int f geschrieben wird ist (an der Tafel zumindest) keine Seltenheit.

    0
  • F

    Bashar schrieb:

    asfdlol schrieb:

    Ω,(Ω∖Ω⇔∅)∈A\Omega, \left (\Omega \setminus \Omega \Leftrightarrow \varnothing \right ) \in \mathcal{A}
    \forall n \in \mathbb{N} : A_n = \begin{cases} \left \{ n \right \} & \mbox{wenn} \: n \leq 3 \\ \varnothing & \mbox{ansonsten} \end{cases}
    ∀n∈N:An∈A\forall n \in \mathbb{N} : A_n \in \mathcal{A}
    ⇒{1,2}∉A\Rightarrow \left \{ 1, 2 \right \} \notin \mathcal{A}

    Das einzige, was daraus folgt ist {1,2,3}∈A\{1,2,3\}\in\mathcal{A}, nicht dass irgendwas anderes nicht drin ist. Wenn du {3} aus der Familie rauslässt, bekommst du {1,2}∈A\{1,2\}\in\mathcal{A}. Und die Bedingung muss für jede Mengenfamilie gelten, nicht nur für die Handvoll, die du dir explizit überlegt hast.

    ja, der folgepfeil war schlecht. was ich meinte, ist ob nach den definitionen der σ-algebra {1,2}\left \{ 1, 2 \right \} per definition ∈A\in \mathcal{A} sein muss oder eben nicht. wobei ich eher ∉A\notin \mathcal{A} vermute, da ja die vereinigung aller mengen einer mengenfamilie als element gefordert wird.

    Bashar schrieb:

    es macht meiner meinung nach nur begrenzt sinn wenn man zwar die vereinigung aller ereignisse in die σ-algebra (per definition) tun muss, nicht aber:
    P(⋃n∈NA_n)∖(⋃_n∈NAn)\mathcal{P} \left ( \bigcup_{n \in \mathbb{N}} A\_n \right ) \setminus \left ( \bigcup\_{n \in \mathbb{N}} A_n \right )

    Dass beliebige Teilmengen kein sinnvolles Maß zulassen, hatten wir doch schon geklärt?

    ich dachte, dass das nur für überabzählbare Ω\Omega gilt. ein kleines beispiel (wieder so ein doofer langweiliger würfel):
    sei (Ω,A)\left ( \Omega , \mathcal{A} \right ) ein messraum und sei PP ein wahrscheinlichkeitsmass:
    Ω={n∈N∣n≤6}\Omega = \left \{ n \in \mathbb{N} \mid n \leq 6 \right \}
    \forall n \in \mathbb{N} : \mathcal{A} \ni A_n = \begin{cases} \left \{ n \right \} & \mbox{wenn} \: n \leq 4 \\ \varnothing & \mbox{ansonsten} \end{cases}
    (achtung! absichtlich nur bis 4)
    ⇒(⋃i=1∞Ai)∈A\Rightarrow \left ( \bigcup_{i=1}^{\infty} A_i \right ) \in \mathcal{A}
    ∀X∈A:Ω∖X∈A\forall X \in \mathcal{A}: \Omega \setminus X \in \mathcal{A}
    P: \mathcal{A} \rightarrow \left [ 0,1 \right ], X \mapsto \frac{\left | X \right |}{\left | \Omega \right |}

    folgendes geht nun:
    a=P({1,2,3,4})=46a = P\left ( \left \{ 1, 2, 3, 4 \right \} \right ) = \frac{4}{6}

    folgendes aber nicht (oder?):
    b=P({2,3})b = P\left ( \left \{ 2, 3 \right \} \right )

    denn die vereinigung aller mengen der mengenfamilie ist in A\mathcal{A}, nicht aber die potenzmenge der vereinigungsmenge.

    Bashar schrieb:

    und laut der definition gilt das nur für mengenfamilien:
    Ω,(Ω∖Ω⇔∅)∈A\Omega, \left (\Omega \setminus \Omega \Leftrightarrow \varnothing \right ) \in \mathcal{A}
    A,B∈AA,B \in \mathcal{A}
    muss hier A∪BA \cup B gar nicht rein?

    Wieso nicht?

    weil AA und BB keine mengenfamilie bilden.

    Bashar schrieb:

    Bashar schrieb:

    Man kann solche nicht messbaren Mengen leider nicht explizit aufschreiben. Wobei das "leider" in dem Fall eher positiv zu werten ist, weil damit umgekehrt alle irgendwie praktisch vorkommenden Mengen messbar sind.

    interessant. aber zumindest dürfte die menge aller abgeschlossener intervalle gleich der menge aller zusammenhängenden teilmengen der trägermenge sein, oder? formal:
    \left \{ \left [ a, b \right ] \mid a,b\in \mathbb{R} \right \} = \left \{ X \subseteq \mathbb{R} \mid \forall x \in \mathbb{R}: min\left (X \right ) \leq x \leq max\left (X \right ) \Rightarrow x \in X \right \}

    Zusammenhängende Mengen müssen keine abgeschlossenen Intervalle sein und auch kein Minimum oder Maximum haben: min(0,1)\min (0,1)? \max [0,\infty)?

    achso. doof, dass das nicht auch so dinge sind, die zwar sicher existieren, welche man aber nicht direkt aufschreiben kann. 😉

    Bashar schrieb:

    Bashar schrieb:

    Solange du abzählbar viele Punkte ansammelst (z.B. Q\mathbb{Q}) ist die Wahrscheinlichkeit Null.

    und aus der σ-additivität folgt:
    ∀n∈N_0:A_n={X∣∣X∣=ℵn}\forall n \in \mathbb{N}\_0: A\_n = \left \{ X \mid \left | X \right | = \aleph_n \right \}

    Puh, das ist mir zu hoch 😉 Ist das überhaupt eine Menge?

    oh, daran hab ich nicht gedacht. ich weiss es nicht. ist sie eine klasse? kann man diese "menge" auf eine antinomie zurückführen?

    Bashar schrieb:

    \forall a,b \in \mathbb{R}: P\left ( \left [ a, b \right ] \right ) = P\left ( \left [ a, b \right ] \setminus \bigcup_{X \in A_0} X \right )
    stimmt das?

    Hm, mal aufdröseln. Dein A0A_0 ist die Menge aller abzählbaren Mengen (unter der Voraussetzung, dass man die überhaupt bilden kann). Dann vereinigst du die alle und ziehst sie vom Intervall [a,b] ab und glaubst, dass dann immer noch die Wahrscheinlichkeit gleich bleibt. Naja, das ist offensichtlich falsch, z.B. enthält A0A_0 die Mengen M_y:={y}∪N∈A_0M\_y := \{y\} \cup \mathbb{N} \in A\_0 für jedes y\in[a,b], so dass \bigcup_{X\in A_0} X \supseteq [a,b] ist.

    ups, ja. ich hab mir überlegt, dass die vereinigung abzählbar unendlich vieler abzählbar unendlicher mengen selbst wieder abzählbar unendlich sein wird, wobei ich aber nicht bedacht habe dass es überabzählbar viele abzählbar unendliche mengen gibt. okay, ist klar nun...

    Bashar schrieb:

    edit:
    ich bin mir nun gerade ein wenig unsicher ob die definition der mengenfamilie (A_n)_n∈N\left ( A\_n \right )\_{n \in \mathbb{N}} unter der letzten quote korrekt ist (wegen der kontinuumshypothese).

    Die ist ja bekanntlich(?) unabhängig von ZFC, also kannst du sie annehmen oder ablehnen nach Gusto.

    achso. ja, ich wusste dass sie nach ZFC nicht entscheidbar ist, dass man sie aber annehmen oder ablehnen kann wie man sich gerade fühlt wusste ich nicht.

    Bashar schrieb:

    gemeint war aber eigentlich so etwas:
    A_0={X∣∣X∣=ℵ_0}A\_0 = \left \{ X \mid \left | X \right | = \aleph\_0 \right \}
    ∀n∈N:A_n={X∣∀Y∈A_n−1:∣X∣=ℶ∣Y∣}\forall n \in \mathbb{N}: A\_n = \left \{ X \mid \forall Y \in A\_{n-1} : \left | X \right | = \beth_{\left | Y \right |} \right \}

    ℶ\beth 😕 Na von mir aus.

    habe ich einen fehler gemacht? oder was meinst du?

    Bashar schrieb:

    ps.: wenn dir fehler an meinen formalisierungen auffallen, dann wäre ich dir sehr dankbar, wenn du das anmerken könntest (wenn du es nicht schon implizit dadurch tust, indem du die formeln nochmals korrekt schreibst wie vorhin beim fehlenden dx\mathrm{d} x und dem fehlenden parameter).

    OK. Ich bin eigentlich ziemlich tolerant in solchen Sachen, und dass einfach ∫f\int f geschrieben wird ist (an der Tafel zumindest) keine Seltenheit.

    die sache ist die, dass ich bis vor einigen woche noch nie zuvor solche formalisierungen geschrieben habe und ich es nun so "korrekt" wie möglich lernen möchte (sofern es so ein korrekt allgemein überhaupt gibt).

    edit: deswegen schreibe ich triviale dinge auch oft formal auf, um es zu üben.

    0
  • B

    asfdlol schrieb:

    wobei ich eher ∉A\notin \mathcal{A} vermute, da ja die vereinigung aller mengen einer mengenfamilie als element gefordert wird.

    Das stimmt, so steht es ja auch da. Der Kern deines Missverständnisses liegt darin, dass du irgendwie eine bestimmte Mengenfamilie als gegeben ansiehst und keine andere zulässt, z.B. hier:

    muss hier A∪BA \cup B gar nicht rein?

    Wieso nicht?

    weil AA und BB keine mengenfamilie bilden.

    Doch: {A,B,∅,∅,…}\{ A, B, \emptyset, \emptyset, \ldots \}.

    Die Vereinigung *jeder* abzählbaren Familie messbarer Mengen ist wieder messbar.

    achso. ja, ich wusste dass sie nach ZFC nicht entscheidbar ist, dass man sie aber annehmen oder ablehnen kann wie man sich gerade fühlt wusste ich nicht.

    Ich denke, dass das so ist 😉

    [ℶ\beth]
    habe ich einen fehler gemacht? oder was meinst du?

    Nö, das ist einfach ein bisschen esoterisch.

    die sache ist die, dass ich bis vor einigen woche noch nie zuvor solche formalisierungen geschrieben habe und ich es nun so "korrekt" wie möglich lernen möchte

    Mach das, aber nicht übertreiben.

    (sofern es so ein korrekt allgemein überhaupt gibt).

    Oft nur in Gedanken. Man muss immer wissen, wovon die Rede ist, aber manchmal kann man nicht alles korrekt aufschreiben.

    0
  • F

    Bashar schrieb:

    [...]

    achso. in eigenen worten:
    jede mengenfamilie in A\mathcal{A} muss ihre vereinigungsmenge auch in A\mathcal{A} haben. und das gilt für alle höchstens abzählbare mengenfamilien, die sich aus den elementen in A\mathcal{A} bilden lassen. höchstens abzählbar, weil jede endliche mengenfamilie in diesem kontext in eine abzählbar unendliche umgeformt werden kann (indem man abzählbar unendlich viele leere mengen anfügt).
    stimmt das?

    neue fragen:
    1. wenn man E(X)=2E(X) = 2 schreibt, muss man dann eigentlich zuerst
    E:Z→R,X↦∏y∈Ω(y×P(X−1(y)))E: Z \rightarrow \mathbb{R}, X \mapsto \prod_{y \in \Omega}\left ( y \times P\left ( X^{-1}\left ( y \right ) \right ) \right )
    definieren?
    wobei diese definition wahrscheinlich falsch ist. ZZ soll hier die menge aller abbildungen nach A⊆P(Ω)\mathcal{A} \subseteq \mathcal{P}(\Omega) sein. wie schreibt man das?

    2. wenn ich die folgenden magmen definiere (die hier auch halbgruppen sind):
    A=(A,∪)A = \left ( \mathcal{A}, \cup \right )
    B = \left ( \left [0, 1 \right ], + \right )
    ist dann das dazugehörige w-mass PP ein homomorphismus?

    edit zu 2.:
    das gilt allgemein nicht wie mir gerade eingefallen ist.
    so wie ich es aufgeschrieben habe gilt das aber für:
    - A={Ω,∅}\mathcal{A} = \left \{ \Omega, \emptyset \right \}
    - paarweise disjunkte teilmengen von A\mathcal{A}
    stimmt das?

    0
  • B

    asfdlol schrieb:

    jede mengenfamilie in A\mathcal{A} muss ihre vereinigungsmenge auch in A\mathcal{A} haben. und das gilt für alle höchstens abzählbare mengenfamilien, die sich aus den elementen in A\mathcal{A} bilden lassen. höchstens abzählbar, weil jede endliche mengenfamilie in diesem kontext in eine abzählbar unendliche umgeformt werden kann (indem man abzählbar unendlich viele leere mengen anfügt).
    stimmt das?

    Ja, allerdings ist die Formulierung ein bisschen verunglückt. Du sagst erst es gilt für jede Familie, und schränkst das im nächsten Satz erst wieder ein.

    neue fragen:
    1. wenn man E(X)=2E(X) = 2 schreibt, muss man dann eigentlich zuerst
    E:Z→R,X↦∏y∈Ω(y×P(X−1(y)))E: Z \rightarrow \mathbb{R}, X \mapsto \prod_{y \in \Omega}\left ( y \times P\left ( X^{-1}\left ( y \right ) \right ) \right )
    definieren?

    Ist das der Erwartungswert? Der ist eigentlich als Integral definiert; im endlichen Fall ist das eine Summe, kein Produkt. Und die Summe geht über den Wertebereich von X bzw. über die reellen Zahlen, nicht über Ω.

    wobei diese definition wahrscheinlich falsch ist. ZZ soll hier die menge aller abbildungen nach A⊆P(Ω)\mathcal{A} \subseteq \mathcal{P}(\Omega) sein. wie schreibt man das?

    Das soll sicher die Menge der messbaren Abbildungen von A\mathcal{A} nach R\mathbb{R} sein. Ich weiß nicht, ob es dafür Standardnotation gibt; ich hab auf die Schnelle überhaupt nichts derartiges gefunden.

    2. wenn ich die folgenden magmen definiere (die hier auch halbgruppen sind):
    A=(A,∪)A = \left ( \mathcal{A}, \cup \right )
    B = \left ( \left [0, 1 \right ], + \right )
    ist dann das dazugehörige w-mass PP ein homomorphismus?

    Das zweite ist keine Halbgruppe, weil die Verknüpfung nicht abgeschlossen ist.

    edit zu 2.:
    das gilt allgemein nicht wie mir gerade eingefallen ist.
    so wie ich es aufgeschrieben habe gilt das aber für:
    - A={Ω,∅}\mathcal{A} = \left \{ \Omega, \emptyset \right \}
    - paarweise disjunkte teilmengen von A\mathcal{A}
    stimmt das?

    Ich weiß nicht genau, was du meinst. Falls du A umdefinierst, ist es wahrscheinlich keine Halbgruppe mehr. Falls du P einschränkst, ist es kein Homomorphismus.

    0
  • ?

    Zwischenfrage: Wie ist das zu einem Magma gehörige W-Maß definiert?

    0
  • B

    Das W-Maß ist nach wie vor auf der sigma-Algebra definiert.

    0
  • F

    Bashar schrieb:

    Ist das der Erwartungswert?

    ja.

    Bashar schrieb:

    Der ist eigentlich als Integral definiert;

    ist der erwartungswert diskreter verteilungen auch als integral definiert? und wenn ja, wie geht das? die dichtefunktionen sind ja nicht stetig.

    Bashar schrieb:

    im endlichen Fall ist das eine Summe, kein Produkt.

    uups, das hätte eigentlich auch eine summe sein sollen in der formel... wie dumm...

    Bashar schrieb:

    Und die Summe geht über den Wertebereich von X bzw. über die reellen Zahlen, nicht über Ω.

    also allgemein über die definitionsmenge von X?

    Bashar schrieb:

    2. wenn ich die folgenden magmen definiere (die hier auch halbgruppen sind):
    A=(A,∪)A = \left ( \mathcal{A}, \cup \right )
    B = \left ( \left [0, 1 \right ], + \right )
    ist dann das dazugehörige w-mass PP ein homomorphismus?

    Das zweite ist keine Halbgruppe, weil die Verknüpfung nicht abgeschlossen ist.

    ist die abgeschlossenheit voraussetzung für eine halbgruppe?
    tatsache! okay, wieder was gelernt.

    Bashar schrieb:

    edit zu 2.:
    das gilt allgemein nicht wie mir gerade eingefallen ist.
    so wie ich es aufgeschrieben habe gilt das aber für:
    - A={Ω,∅}\mathcal{A} = \left \{ \Omega, \emptyset \right \}
    - paarweise disjunkte teilmengen von A\mathcal{A}
    stimmt das?

    Ich weiß nicht genau, was du meinst. Falls du A umdefinierst, ist es wahrscheinlich keine Halbgruppe mehr. Falls du P einschränkst, ist es kein Homomorphismus.

    ja, ich habe es nicht richtig durchdacht. was ich etwa meinte ist folgendes:

    sei KK die menge aller mengenpartitionen von Ω\Omega:
    ∀M∈K:(⋃x∈Mx)=Ω\forall M \in K: \left ( \bigcup_{x \in M}x \right ) = \Omega
    ∀M∈K∀x,y∈M:x△y=∅⇔∀M∈K∀x,y∈M:x≠y⇒x∩y=∅\forall M \in K \; \forall x, y \in M: x \triangle y = \emptyset \Leftrightarrow \forall M \in K \; \forall x, y \in M: x \neq y \Rightarrow x \cap y = \emptyset

    dann definieren wir das folgende quasi-w-mass:
    \forall M \in K: P_M: M \rightarrow [0,1]

    dann definieren wir wieder die magmen (nun sind beide nicht abgeschlossen):
    ∀M∈K:AM=(M,∪)\forall M \in K: A_M = \left (M, \cup \right )
    B = \left ( \left [0, 1 \right ], + \right )

    zwischenfrage: stimmt das folgende?
    ∀M∈K:∪:M×M→(⋃x∈Mx⇔Ω),(x,y)↦x∪y\forall M \in K: \cup : M \times M \rightarrow \left ( \bigcup_{x \in M}x \Leftrightarrow \Omega \right ), (x,y) \mapsto x \cup y (bedingt injektiv, je nach MM)
    +: [0,1]^2 \rightarrow [0,2], \left ( x,y \right ) \mapsto x + y (surjektiv)

    da nun alle elemente jeder menge aus KK paarweise disjunkt sind, folgt:
    ∀M∈K∀a,b∈M:P(a)+P(b)=P(a∪b)\forall M \in K \; \forall a,b \in M: P(a) + P(b) = P(a \cup b)
    oder allgemeiner:
    ∀M∈K∀D∈P(M):∑x∈MP_M(x)=P_M(⋃x∈Mx)\forall M \in K \; \forall D \in \mathcal{P} (M): \sum_{x \in M} P\_M(x) = P\_M \left (\bigcup_{x \in M} x \right )

    womit jedes PMP_M dann ein homomorphismus von AMA_M in BB ist. richtig?

    edit: fehler und unüberlegtheiten korrigiert.

    0
  • B

    asfdlol schrieb:

    Bashar schrieb:

    Der ist eigentlich als Integral definiert;

    ist der erwartungswert diskreter verteilungen auch als integral definiert? und wenn ja, wie geht das? die dichtefunktionen sind ja nicht stetig.

    Mit dem http://de.wikipedia.org/wiki/Lebesgue-Integral und dem W-Maß.

    Bashar schrieb:

    Und die Summe geht über den Wertebereich von X bzw. über die reellen Zahlen, nicht über Ω.

    also allgemein über die definitionsmenge von X?

    Nein, wie gesagt den Wertebereich.

    ist die abgeschlossenheit voraussetzung für eine halbgruppe?
    tatsache! okay, wieder was gelernt.

    Das ist implizit so, weil die Verküpfung eine Abbildung A×A→AA\times A\to A ist und somit jedem Paar (a,b) einen Wert aus A zuordnen muss.

    sei KK die menge aller mengenpartitionen von Ω\Omega:
    ∀M∈K:(⋃x∈Mx)=Ω\forall M \in K: \left ( \bigcup_{x \in M}x \right ) = \Omega
    ∀M∈K∀x,y∈M:x△y=∅⇔∀M∈K∀x,y∈M:x≠y⇒x∩y=∅\forall M \in K \; \forall x, y \in M: x \triangle y = \emptyset \Leftrightarrow \forall M \in K \; \forall x, y \in M: x \neq y \Rightarrow x \cap y = \emptyset

    △\triangle = symmetrische Differenz? Dann seh ich nicht, wie das stimmen kann. Wenn x,y Elemente einer Partition sind, dann sind sie entweder gleich oder disjunkt, aber nur im erstem Fall ist ihre symmetrische Differenz leer. Die rechte Seite gilt dagegen immer (per Definition einer Mengenpartition).

    dann definieren wir das folgende quasi-w-mass:
    \forall M \in K: P_M: M \rightarrow [0,1]

    Da fehlt die eigentliche Definition. Ich nehme an PM(x)=P(x)P_M(x) = P(x)?

    dann definieren wir wieder die magmen (nun sind beide nicht abgeschlossen):

    Dann sind es keine Magmen (da deine Verknüpfungen assoziativ sind, kannst du auch Halbgruppe sagen). Aber da mir das Wort Magma außerhalb von Wikipedia noch nicht über den Weg gelaufen ist, akzeptiere ich das einfach mal. Als hättest du Pseudomagma gesagt.

    ∀M∈K:AM=(M,∪)\forall M \in K: A_M = \left (M, \cup \right )
    B = \left ( \left [0, 1 \right ], + \right )

    Es gibt kein x,y∈Mx,y\in M mit x∪y∈Mx\cup y \in M. Die partielle Verknüpfung auf AMA_M hat also einen leeren Definitionsbereich.

    zwischenfrage: stimmt das folgende?
    ∀M∈K:∪:M×M→(⋃x∈Mx⇔Ω),(x,y)↦x∪y\forall M \in K: \cup : M \times M \rightarrow \left ( \bigcup_{x \in M}x \Leftrightarrow \Omega \right ), (x,y) \mapsto x \cup y (bedingt injektiv, je nach MM)

    ∪:M×M→P(Ω)\cup : M\times M \to \mathcal{P}(\Omega)

    +: [0,1]^2 \rightarrow [0,2], \left ( x,y \right ) \mapsto x + y (surjektiv)

    ja.

    da nun alle elemente jeder menge aus KK paarweise disjunkt sind, folgt:
    ∀M∈K∀a,b∈M:P(a)+P(b)=P(a∪b)\forall M \in K \; \forall a,b \in M: P(a) + P(b) = P(a \cup b)

    Stimmt nur für a≠ba\neq b.
    Außerdem würde das für PMP_M nicht gelten, weil das für a∪ba\cup b gar nicht definiert ist.

    oder allgemeiner:
    ∀M∈K∀D∈P(M):∑x∈MP_M(x)=P_M(⋃x∈Mx)\forall M \in K \; \forall D \in \mathcal{P} (M): \sum_{x \in M} P\_M(x) = P\_M \left (\bigcup_{x \in M} x \right )

    Vorsicht bei unendlichen Summen. So ganz allgemein geht das sicher nicht, abzählbar sollte M schon allein wegen der sigma-Additivität sein.

    womit jedes PMP_M dann ein homomorphismus von AMA_M in BB ist. richtig?

    Nein, leider nicht.

    0
  • ?

    Bezüglich Erwartungswert diskreter ZV und Lebesgueintegralen: Siehe auch Zählmaß.

    @Bashar (bzw eigentlich @asfdlol...): Mir ist klar, dass ein Maß auf einer Sigma-Algebra lebt.
    Aber was ist gemeint mit "zugehörigem W-Maß" (da ich mir bei [0,1] mit + partout nichts darunter vorstellen kann...)? Ist das nur eine Verwirrung?

    0
  • B

    JFB schrieb:

    @Bashar (bzw eigentlich @asfdlol...): Mir ist klar, dass ein Maß auf einer Sigma-Algebra lebt.
    Aber was ist gemeint mit "zugehörigem W-Maß" (da ich mir bei [0,1] mit + partout nichts darunter vorstellen kann...)? Ist das nur eine Verwirrung?

    Ich würd das nicht auf die Goldwaage legen. Gemeint ist das W-Maß P auf A\mathcal{A}, von dem schon die ganze Zeit die Rede ist. Und die Frage ist, ob das ein Halbgruppenhommorphismus von (A,∪)(\mathcal{A},\cup) nach ([0,1], +) ist. (Antwort: Nein, aus verschiedenen Gründen.)

    0
  • F

    Bashar schrieb:

    asfdlol schrieb:

    Bashar schrieb:

    Der ist eigentlich als Integral definiert;

    ist der erwartungswert diskreter verteilungen auch als integral definiert? und wenn ja, wie geht das? die dichtefunktionen sind ja nicht stetig.

    Mit dem http://de.wikipedia.org/wiki/Lebesgue-Integral und dem W-Maß.

    puh, das sieht schon recht tief und schwierig aus.

    fragen dazu:
    sei (Ω,A,μ)\left ( \Omega, \mathcal{A}, \mu \right ) ein massraum.
    - gilt μ:A→{x∈R∣x≥0}∪{∞}\mu: \mathcal{A} \rightarrow \left \{ x \in \mathbb{R} \mid x \geq 0 \right \} \cup \left \{ \infty \right \} ?
    - wenn das stimmt, wieso muss das mass unbedingt auf diese menge abbilden und kann nicht z.b. in die gesamten erweiterten reellen zahlen abbilden (bzw. was spricht gegen hypothetische negative masse?) oder in die natürlichen?
    - μ\mu aus einem solchen massraum ist für alle (Ω,A)\left ( \Omega, \mathcal{A} \right ) die einen korrekten messraum bilden lebesgue-integrierbar?
    - ist ein lebesgue-integral für alle masse eine approximation oder nur für solche mit überabzählbaren definitionsmengen?

    aber ehrlich gesagt verstehe ich nur sehr wenig vom wikipedia-artikel. ist masstheorie / messbarkeit / lebesgue-integrale thema von analysis II / III?

    Bashar schrieb:

    sei KK die menge aller mengenpartitionen von Ω\Omega:
    ∀M∈K:(⋃x∈Mx)=Ω\forall M \in K: \left ( \bigcup_{x \in M}x \right ) = \Omega
    ∀M∈K∀x,y∈M:x△y=∅⇔∀M∈K∀x,y∈M:x≠y⇒x∩y=∅\forall M \in K \; \forall x, y \in M: x \triangle y = \emptyset \Leftrightarrow \forall M \in K \; \forall x, y \in M: x \neq y \Rightarrow x \cap y = \emptyset

    △\triangle = symmetrische Differenz? Dann seh ich nicht, wie das stimmen kann. Wenn x,y Elemente einer Partition sind, dann sind sie entweder gleich oder disjunkt, aber nur im erstem Fall ist ihre symmetrische Differenz leer. Die rechte Seite gilt dagegen immer (per Definition einer Mengenpartition).

    ja, die symmetrische differenz ist gemeint. das war ein flüchtigkeitsfehler, ich meinte eigentlich:
    ∀M∈K∀x,y∈M:x≠y⇒x△y≠∅⇔∀M∈K∀x,y∈M:x≠y⇒x∩y=∅\forall M \in K \; \forall x, y \in M: x \neq y \Rightarrow x \triangle y \neq \emptyset \Leftrightarrow \forall M \in K \; \forall x, y \in M: x \neq y \Rightarrow x \cap y = \emptyset
    also auch im ersten teil x≠yx \neq y und ungleich der leeren menge. ich glaube, dies dürfte stimmen und gleich sein wie der ausdruck rechts vom äquivalenz-doppelpfeil.
    und ja, die beiden formeln sind beide nur die vorbedingungen dafür, dass es mengenpartitionen sind. ich wollte es nur kurz formalisieren.

    Bashar schrieb:

    dann definieren wir das folgende quasi-w-mass:
    \forall M \in K: P_M: M \rightarrow [0,1]

    Da fehlt die eigentliche Definition. Ich nehme an PM(x)=P(x)P_M(x) = P(x)?

    ich dachte, die braucht man gar nicht wissen um den homomorphismus zu zeigen (oder eben nicht), solange vorausgesetzt ist dass jedes PMP_M ein w-mass ist. ansonst gilt:
    \forall M \in K: P_M: M \rightarrow [0,1], x \mapsto P\left ( x \right )
    also so wie du es gesagt hast.

    Bashar schrieb:

    dann definieren wir wieder die magmen (nun sind beide nicht abgeschlossen):

    Dann sind es keine Magmen (da deine Verknüpfungen assoziativ sind, kannst du auch Halbgruppe sagen). Aber da mir das Wort Magma außerhalb von Wikipedia noch nicht über den Weg gelaufen ist, akzeptiere ich das einfach mal. Als hättest du Pseudomagma gesagt.

    hmm, ja stimmt, das wusste ich auch nicht, dass auch magmen eine abgeschlosse verknüpfung voraussetzen. kann man einfach sagen, dass für jede algebraische verknüpfung eine in der jeweiligen menge abgeschlosse verknüpfung vorausgesetzt ist?

    Bashar schrieb:

    da nun alle elemente jeder menge aus KK paarweise disjunkt sind, folgt:
    ∀M∈K∀a,b∈M:P(a)+P(b)=P(a∪b)\forall M \in K \; \forall a,b \in M: P(a) + P(b) = P(a \cup b)

    Stimmt nur für a≠ba\neq b.
    Außerdem würde das für PMP_M nicht gelten, weil das für a∪ba\cup b gar nicht definiert ist.

    gleich zwei sinnlose fehler:
    - ich wollte a≠ba\neq b voraussetzen.
    - ich wollte PMP_M statt PP schreiben, was natürlich kompletter blödsinn ist da ∪\cup natürlich für disjunkte argumente nicht abgeschlossen ist, womit das resultat dann auch nicht in PMP_M passt...

    schade, ich hatte schon für einen moment lang hoffnung, dass das hätte klappen können.

    JFB schrieb:

    Aber was ist gemeint mit "zugehörigem W-Maß" (da ich mir bei [0,1] mit + partout nichts darunter vorstellen kann...)? Ist das nur eine Verwirrung?

    ist das folgende hier gemeint?

    asfdlol schrieb:

    2. wenn ich die folgenden magmen definiere (die hier auch halbgruppen sind):
    A=(A,∪)A = \left ( \mathcal{A}, \cup \right )
    B = \left ( \left [0, 1 \right ], + \right )
    ist dann das dazugehörige w-mass PP ein homomorphismus?

    damit war einfach ein wahrscheinlichkeitsmass P: \mathcal{A} \rightarrow \left [ 0, 1 \right ] gemeint, sodass es zwischen den unter den pseudo-magmen liegenden mengen abbildet.

    0
  • B

    asfdlol schrieb:

    sei (Ω,A,μ)\left ( \Omega, \mathcal{A}, \mu \right ) ein massraum.
    - gilt μ:A→{x∈R∣x≥0}∪{∞}\mu: \mathcal{A} \rightarrow \left \{ x \in \mathbb{R} \mid x \geq 0 \right \} \cup \left \{ \infty \right \} ?

    Das ist keine Aussage.
    Falls du meinst, ob das Maß als eine Abbildung dieser Form definiert ist: Ja.

    - wenn das stimmt, wieso muss das mass unbedingt auf diese menge abbilden und kann nicht z.b. in die gesamten erweiterten reellen zahlen abbilden (bzw. was spricht gegen hypothetische negative masse?)

    Komische Frage. Falls das stimmt, dann ist die Antwort: Genau deswegen. Vielleicht wolltest du fragen, ob das unbedingt stimmen muss? Es gibt auch signierte Maße, das ist dann halt eine andere, allgemeinere Definition mit anderen Konsequenzen.

    oder in die natürlichen?

    Das ist durch die Definition ja nicht ausgeschlossen.

    - μ\mu aus einem solchen massraum ist für alle (Ω,A)\left ( \Omega, \mathcal{A} \right ) die einen korrekten messraum bilden lebesgue-integrierbar?
    - ist ein lebesgue-integral für alle masse eine approximation oder nur für solche mit überabzählbaren definitionsmengen?

    Ich verstehe die Fragen nicht. Was soll es z.B. heißen, ein Maß sei lebesgue-integrierbar? Das Maß ist überhaupt nicht Gegenstand dieses Begriffs, es geht um messbare Funktionen. Und was meinst du genau mit Approximation?

    aber ehrlich gesagt verstehe ich nur sehr wenig vom wikipedia-artikel. ist masstheorie / messbarkeit / lebesgue-integrale thema von analysis II / III?

    Ja so ungefähr. Kann auch eine eigene Vorlesung sein.

    ich wollte es nur kurz formalisieren.

    Formalisierungswut 🙂

    Bashar schrieb:

    dann definieren wir das folgende quasi-w-mass:
    \forall M \in K: P_M: M \rightarrow [0,1]

    Da fehlt die eigentliche Definition. Ich nehme an PM(x)=P(x)P_M(x) = P(x)?

    ich dachte, die braucht man gar nicht wissen um den homomorphismus zu zeigen (oder eben nicht), solange vorausgesetzt ist dass jedes PMP_M ein w-mass ist.

    Naja, du hattest gesagt, dass du da was definierst. Sonst solltest du sagen, dass es irgendwelche W-Maße sein sollen.

    hmm, ja stimmt, das wusste ich auch nicht, dass auch magmen eine abgeschlosse verknüpfung voraussetzen. kann man einfach sagen, dass für jede algebraische verknüpfung eine in der jeweiligen menge abgeschlosse verknüpfung vorausgesetzt ist?

    Ja, wie gesagt, das folgt schon daraus, dass die Verknüpfung eine Abbildung ist, bzw. daraus, dass man Abbildungen grundsätzlich als totale Abbildungen versteht.

    schade, ich hatte schon für einen moment lang hoffnung, dass das hätte klappen können.

    Du kannst es ja mal mit einer anderen Verknüpfung versuchen. Beispielsweise ist (A,△)(\mathcal{A},\triangle) wenn ich mich nicht irre in der Tat eine Halbgruppe (sogar eine Gruppe!)

    0
  • F

    Bashar schrieb:

    asfdlol schrieb:

    sei (Ω,A,μ)\left ( \Omega, \mathcal{A}, \mu \right ) ein massraum.
    - gilt μ:A→{x∈R∣x≥0}∪{∞}\mu: \mathcal{A} \rightarrow \left \{ x \in \mathbb{R} \mid x \geq 0 \right \} \cup \left \{ \infty \right \} ?

    Das ist keine Aussage.
    Falls du meinst, ob das Maß als eine Abbildung dieser Form definiert ist: Ja.

    - wenn das stimmt, wieso muss das mass unbedingt auf diese menge abbilden und kann nicht z.b. in die gesamten erweiterten reellen zahlen abbilden (bzw. was spricht gegen hypothetische negative masse?)

    Komische Frage. Falls das stimmt, dann ist die Antwort: Genau deswegen. Vielleicht wolltest du fragen, ob das unbedingt stimmen muss? Es gibt auch signierte Maße, das ist dann halt eine andere, allgemeinere Definition mit anderen Konsequenzen.

    ja, beide male richtig angenommen.

    Bashar schrieb:

    oder in die natürlichen?

    Das ist durch die Definition ja nicht ausgeschlossen.

    achja, klar, wie dumm von mir...

    angenommen, man möchte einem messraum ein mass geben, dass den elementen der σ-algebra werte aus C\mathbb{C} oder aus z.b. R3\mathbb{R}^3 zuordnet. ist auch so ein mass erlaubt?

    Bashar schrieb:

    Was soll es z.B. heißen, ein Maß sei lebesgue-integrierbar? Das Maß ist überhaupt nicht Gegenstand dieses Begriffs, es geht um messbare Funktionen.

    dann hab ich es falsch verstanden.

    Bashar schrieb:

    Und was meinst du genau mit Approximation?

    auch ein missvertändnis meinerseits.

    das lebesgue-integral ist im moment noch zu hoch für mich. ich hab den wikipedia-artikel nun mehrfach versucht zu verstehen, es scheint aber hoffnungslos.

    Bashar schrieb:

    schade, ich hatte schon für einen moment lang hoffnung, dass das hätte klappen können.

    Du kannst es ja mal mit einer anderen Verknüpfung versuchen. Beispielsweise ist (A,△)(\mathcal{A},\triangle) wenn ich mich nicht irre in der Tat eine Halbgruppe (sogar eine Gruppe!)

    ohh, das sieht nach spass aus. (könntest du bitte sagen ob meine "beweise" auch tatsächlich welche sind? 🙂 )
    A=(A,△)A = \left ( \mathcal{A}, \triangle \right )

    ∀a,b,c∈A:a△(b△c)=(a△b)△c={x∣(x∈a)⊻((x∈b)⊻(x∈c))}={x∣((x∈a)⊻(x∈b))⊻(x∈c)}\forall a,b,c \in \mathcal{A}: a \triangle (b \triangle c) = (a \triangle b) \triangle c = \left \{ x \mid (x \in a ) \veebar ((x \in b ) \veebar (x \in c)) \right \} = \left \{ x \mid ((x \in a) \veebar (x \in b)) \veebar (x \in c) \right \}
    wobei dann die assoziativität von xor mit einer wahrheitstafel aufzeigbar ist.

    e∈A=∅e \in \mathcal{A} = \emptyset
    ∀a∈A:a△e=a△∅={x∣(x∈a)⊻(x∈∅)}={x∣(x∈a)⊻0}={x∣x∈a}={x∈a}=a\forall a \in \mathcal{A}: a \triangle e = a \triangle \emptyset = \left \{ x \mid (x \in a) \veebar (x \in \emptyset) \right \} = \left \{ x \mid (x \in a) \veebar 0 \right \} = \left \{ x \mid x \in a \right \} = \left \{ x \in a \right \} = a
    wobei die kontingenz x⊻0=xx \veebar 0 = x mit der wahrheitstafel aufzeigbar ist.

    ∀a∈A:a−1=a⇒a−1△a=a△a=e=∅\forall a \in \mathcal{A}: a^{-1} = a \Rightarrow a^{-1} \triangle a = a \triangle a = e = \emptyset
    ∀a∈A:a△a={x∣(x∈a)⊻(x∈a)}={}=∅\forall a \in \mathcal{A}: a \triangle a = \left \{ x \mid (x \in a) \veebar (x \in a) \right \} = \left \{ \right \} = \emptyset
    wobei die fehlende idempotenz mit einer wahrheitstafel aufzeigbar ist.

    damit ist AA eine gruppe.

    das problem ist nun, dass \left ( \left [ 0,1 \right ], + \right ) keine algebraische struktur ist da die abgeschlossenheit nicht erfüllt ist.

    alternativen:
    B = \left ( \left [ 0,1 \right ], \star \right )
    \star: \left [ 0,1 \right ]^2 \rightarrow \left [ 0,1 \right ], \left ( x,y \right ) \mapsto \min(x+y,1)

    m:R→R,x↦x−⌊x⌋m: \mathbb{R} \rightarrow \mathbb{R}, x \mapsto x - \left \lfloor x \right \rfloor

    C = \left ( \left [ 0,1 \right ], \ast \right )
    \ast: \left [ 0,1 \right ]^2 \rightarrow \left [ 0,1 \right ], \left ( x,y \right ) \mapsto m\left ( x+y \right )

    wobei BB eine halbgruppe mit einem neutralen element und CC sogar eine gruppe ist.

    kann ich nun von AA nach BB oder CC einen homomorphismus erklären? oder brauche ich nochmals eine andere ziel-(halb)gruppe? aber ich vermute, dass ich eine menge disjunkter teilmengen benötige, was von der σ-algebra meistens nicht gegeben ist. was meinst du dazu?

    0
  • C

    asfdlol schrieb:

    angenommen, man möchte einem messraum ein mass geben, dass den elementen der σ-algebra werte aus C\mathbb{C} oder aus z.b. R3\mathbb{R}^3 zuordnet. ist auch so ein mass erlaubt?

    Nein, das ist streng verboten und kann mit bis zu 10 Jahren schriftlichem Dividieren bestraft werden! 🤡
    Spass beiseite:
    Du kannst definieren was du willst. Es gelten eben dann andere Sätze dafür.
    Signierte Maße, komplexe Maße und sogar operatorwertige Maße (http://en.wikipedia.org/wiki/Projection-valued_measure) spielen alle eine Rolle in der Mathematik/Physik.

    0
Anmelden zum Antworten