Idee: meine Idee wäre jetzt die axiome für einen diskreten W-Raum.
Die Idee ist gut. So würde ich das auch machen.
Aber da dies allgemein folgen soll, weiß ich nicht wie ich das beweisen kann
Ich weiß ehrlich gesagt nicht, in welcher Weise dir deine Idee nicht allgemein genug erscheint.
Zeige:
- Ω ist höchstens abzählbar
- PB(∅) = 0
- PB(Ω) = 1
- PB(∪i∈IAi) = ∑i∈I PB(Ai) falls I eine höchstens abzählbare Indexmenge und (Ai)i∈I eine Familie von paarweise disjunkten Ereignissen ist.
Punkt 1 sollte klar sein.
Die Punkte 2 und 3 bekommst du aus der Definition der bedingten Wahrscheinlichkeit und der Tatsache, dass (Ω, P) ein diskreter W-Raum ist (also dessen Axiome erfüllt).
Punkt 4 ist im wesentlichen auch eine einfache Anwendung der Definition der bedingten Wahrscheinlichkeit und der Tatsache, dass (Ω, P) ein diskreter W-Raum ist. Wenn (Ai)i∈I eine Familie von paarweise disjunkten Ereignissen ist, was weißt du dann über (Ai∩B)i∈I?