Die Mathe-Redaktion [Home] - Neues auf einen Blick 30.11.2023 15:26 [Neues] [Forum] [Suche] - Registrieren/Login
 
Matroids Matheplanet Forum Index
Moderiert von matroid
Analysis » Maßtheorie » Eine Partition bzgl. Dirac-Maß gleich trivialer Partition?
Autor
Universität/Hochschule J Eine Partition bzgl. Dirac-Maß gleich trivialer Partition?
math321
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 19.02.2021
Mitteilungen: 26
  Themenstart: 2021-03-26

\(\begingroup\)\(\newcommand{\lv}{\left\lvert} \newcommand{\rv}{\right\rvert} \newcommand{\lV}{\left\lVert} \newcommand{\rV}{\right\rVert} \newcommand{\R}{\mathbb{R}} \newcommand{\N}{\mathbb{N}}\) Guten Abend! Sei $(\Omega,A,\delta_x)$ ein Wahrscheinlichkeitsraum, wobei $x\in\Omega$ und $\delta_x$ das Dirac-Maß bezeichnet. Weiter sei $B=\{B_1,B_2,\ldots,B_k\}$ eine beliebige endliche, messbare Partition von $\Omega$, d.h. die $B_i$ sind disjunkt und ihre Vereinigung ergibt $\Omega$. Ich habe mich gefragt, ob in diesem Setup nicht gilt, dass die Partition $B$ bis auf Nullmengen mit der trivialen Partition $\{\Omega\}$ identisch ist. Zunächstmal gilt, dass es wegen der Disjunktheit der $B_i$ genau ein $B_j$ gibt mit $x\in B_j$ und dann gilt $\delta_x(B_j)=1$ und $\delta_x(B_i)=0$ für alle $i\neq j$. Daher gilt schonmal, dass $B=\{B_j\}$ bis auf Nullmengen. Nun ist ja aber $B_j$ eine echte Teilmenge von $\Omega$ und deswegen kann $\{B_j\}$ keine Partition von $\Omega$ sein. Folgt daraus nicht, dass $B$ bis auf Nullmengen mit $\{\Omega\}$ übereinstimmen muss? Ich bin mir wirklich nicht sicher... Schöne Grüße!\(\endgroup\)

   Profil
StefanVogel
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 26.11.2005
Mitteilungen: 4328
Wohnort: Raun
  Beitrag No.1, eingetragen 2021-03-27

Hallo math321, die \(B_i\) sind Nullmengen für alle \(i \ne j\) und du schließt daraus, \(\{B_1,B_2,\ldots,B_k\}\) und \(\{B_j\}\) sind gleich bis auf Nullmengen. Dieser Zusatz "bis auf Nullmengen" muss dann auch mit in die Folgerung aufgenommen werden: \(\{B_j\}\) ist keine Partition von \(\Omega\), aber \(\{B_j\}\) ist bis auf Nullmengen eine Partition von \(\Omega\). Viele Grüße, Stefan

   Profil
math321 hat die Antworten auf ihre/seine Frage gesehen.
math321 hat selbst das Ok-Häkchen gesetzt.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]