Autor |
Widerspruch mit Lebesgue-Maß |
|
Math_user
Wenig Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 637
Wohnort: Deutschland
 | Themenstart: 2020-09-25
|
Guten Nachmittag zusammen
In einem Buch über Masstheorie wurde das Lebesgue-Maß besprochen. Dabei bin ich auf folgendes gestossen: Es existiert kein Menge $E \subset \Bbb R$ s.d. $\lambda (E \cap [a,b])= \frac{1}{2}(b-a)$, wobei gilt $a
|
Profil
|
ochen
Senior  Dabei seit: 09.03.2015 Mitteilungen: 3646
Wohnort: der Nähe von Schwerin
 | Beitrag No.1, eingetragen 2020-09-25
|
Hallo,
magst du die Aufgabe mal im Originalwortlaut widergeben?
Was spricht gegen $E=(\frac 12a+\frac 12 b,\infty)$?
|
Profil
|
Math_user
Wenig Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 637
Wohnort: Deutschland
 | Beitrag No.2, vom Themenstarter, eingetragen 2020-09-25
|
https://www.matheplanet.com/matheplanet/nuke/html/uploads/b/51558_Bildschirmfoto_2020-09-25_um_17.39.45.png
Hier wäre die Originalversion... Sagt leider nicht viel mehr aus...
|
Profil
|
tactac
Senior  Dabei seit: 15.10.2014 Mitteilungen: 2796
 | Beitrag No.3, eingetragen 2020-09-25
|
\quoteon(2020-09-25 17:41 - Math_user in Beitrag No. 2)
Hier wäre die Originalversion... Sagt leider nicht viel mehr aus...
\quoteoff
Doch. Das ‚for all‘ ist schon wichtig.
|
Profil
|
Math_user
Wenig Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 637
Wohnort: Deutschland
 | Beitrag No.4, vom Themenstarter, eingetragen 2020-09-26
|
Du hast natürlich komplett recht, tut mir leid. Jedoch sehe ich noch nicht, wie ich am Besten einen Widerspruch finden soll.
|
Profil
|
zippy
Senior  Dabei seit: 24.10.2018 Mitteilungen: 4624
 | Beitrag No.5, eingetragen 2020-09-26
|
Da $E\cap[a,b]$ für alle $-\infty
|
Profil
|
Math_user
Wenig Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 637
Wohnort: Deutschland
 | Beitrag No.6, vom Themenstarter, eingetragen 2020-09-26
|
Vielen Dank für deine schnelle Antwort. Ich sehe grad noch nicht, weshalb $E\cap[a,b]$ für alle $-\infty
|
Profil
|
zippy
Senior  Dabei seit: 24.10.2018 Mitteilungen: 4624
 | Beitrag No.7, eingetragen 2020-09-26
|
\quoteon(2020-09-26 13:43 - Math_user in Beitrag No. 6)
Ich sehe grad noch nicht, weshalb $E\cap[a,b]$ für alle $-\infty
|
Profil
|
Math_user
Wenig Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 637
Wohnort: Deutschland
 | Beitrag No.8, vom Themenstarter, eingetragen 2020-09-26
|
Ja klar! Vielen Dank. Nun nehmen wir die Masse, welche du definierst hast:
$\mu(A):=2\lambda(E\cap A)$, mit $\mu([a,b])=b-a$ definieren. Jedoch inwiefern bringt mich dies bei meinem Problem weiter. Ich nehmen, dass wir zeigen wollen, dass in diesem Fall $\mu([a,b])=\lambda([a,b])$ gilt. Was ja ein Widerspruch wäre aber ich blicke noch nicht durch.
|
Profil
|
zippy
Senior  Dabei seit: 24.10.2018 Mitteilungen: 4624
 | Beitrag No.9, eingetragen 2020-09-26
|
\quoteon(2020-09-26 14:15 - Math_user in Beitrag No. 8)
Nun nehmen wir die Masse, welche du definierst hast:
\quoteoff
Ich habe nur eines definiert (nämlich $\mu$). Und das Ding ist ein Maß, kein Mass.
\quoteon(2020-09-26 14:15 - Math_user in Beitrag No. 8)
Ich nehmen, dass wir zeigen wollen, dass in diesem Fall $\mu([a,b])=\lambda([a,b])$ gilt.
\quoteoff
Das müssen wir nicht mehr zeigen, das ist aufgrund der Definition von $\mu$ klar.
Was wir zeigen müssen ist $\mu=\lambda$, also $\mu(A)=\lambda(A)$ für beliebige messbare Mengen $A$. Und hier kommt das erwähnte Eindeutigkeitsargument ins Spiel.
\quoteon(2020-09-26 14:15 - Math_user in Beitrag No. 8)
Was ja ein Widerspruch wäre aber ich blicke noch nicht durch.
\quoteoff
Ein Widerspruch ist das noch nicht sofort. Es wird aber einer, wenn wir z.B. $A=E\cap[a,b]$ betrachten.
|
Profil
|
Math_user
Wenig Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 637
Wohnort: Deutschland
 | Beitrag No.10, vom Themenstarter, eingetragen 2020-09-27
|
Vielen Dank für deine Ausführung. Also wir haben ja $\mu([a,b])=\lambda([a,b])$ und somit erhalten wir mit der Eindeutig des Lebesgue-Maßes das $\mu(A)=\lambda(A)$ gilt für alle messbaren $A$. Nehmen wir nun, wie du sagst $B:=E \cap [a,b]$ so folgt, dass $B$ messbar ist und $\mu (B)=b-a \neq \frac{1}{2}(b-a)=\lambda(B)$. Dies ist aber ein Widerspruch. Stimmt meine Argumentation?
|
Profil
|
zippy
Senior  Dabei seit: 24.10.2018 Mitteilungen: 4624
 | Beitrag No.11, eingetragen 2020-09-27
|
\quoteon(2020-09-27 15:29 - Math_user in Beitrag No. 10)
Stimmt meine Argumentation?
\quoteoff
Ja.
|
Profil
|