Matroids Matheplanet Forum Index
Moderiert von nzimme10
Analysis » Maßtheorie » Widerspruch mit Lebesgue-Maß
Autor
Universität/Hochschule Widerspruch mit Lebesgue-Maß
Math_user
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
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 Letzter Besuch: in der letzten Woche
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 Letzter Besuch: vor mehr als 3 Monaten
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 Letzter Besuch: in der letzten Woche
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 Letzter Besuch: vor mehr als 3 Monaten
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 Letzter Besuch: in der letzten Woche
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 Letzter Besuch: vor mehr als 3 Monaten
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 Letzter Besuch: in der letzten Woche
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 Letzter Besuch: vor mehr als 3 Monaten
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 Letzter Besuch: in der letzten Woche
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 Letzter Besuch: vor mehr als 3 Monaten
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 Letzter Besuch: in der letzten Woche
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
Math_user hat die Antworten auf ihre/seine Frage gesehen.

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]