Messbarkeit < Maßtheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 14:05 Di 14.04.2015 | | Autor: | Laura22 |
| Aufgabe | Sei X eine offene und beschränkte Teilmenge des [mm] \IR^n. [/mm] Für alle messbaren Mengen M [mm] \subset [/mm] X und eine [mm] L^2-Funktion [/mm] f gilt
[mm] \integral_M [/mm] f dx = 0
[mm] \gdw [/mm] f(x)=0 f.ü. |
Halli-Hallo :),
ich habe Probleme hier "auf den richtigen Dampfer zu steigen". Was ich bereits weiß, ist das Folgende: Eine Menge ist "messbar", wenn es eine Folge von Borelmengen gibt, die gegen M konvergiert (f.ü.). Weiterhin ist jede Menge, auf der f >0, f<0 oder f=0 ist, messbar (da f eine [mm] L^2-Funktion [/mm] ist) und jede [mm] L^2-konvergente [/mm] Folge hat eine f.ü. konvergente Teilfolge. Weiß jemand wie man bei diesem Beweis vorgehen sollte? Vielleicht schaut sich u auf den einzelnen Borelmengen an und erkennt, dass u da 0 ist und nach Grenzwertübergang auch auf der messbaren Menge...oder?
Viele Grüße und danke fürs Helfen!,
Laura
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 14:51 Di 14.04.2015 | | Autor: | fred97 |
> Sei X eine offene und beschränkte Teilmenge des [mm]\IR^n.[/mm]
> Für alle messbaren Mengen M [mm]\subset[/mm] X und eine
> [mm]L^2-Funktion[/mm] f gilt
> [mm]\integral_M[/mm] f dx = 0
> [mm]\gdw[/mm] f(x)=0 f.ü.
Das stimmt doch nicht ! Nehmen wir X=(-2,2), M=[-1,1] und f(x)=x.
Dann ist $ [mm] \integral_M [/mm] f dx = 0$, aber f veschwindet nicht f.ü.
Kann es sein, dass auch noch f [mm] \ge [/mm] 0 vorausgesetzt ist ?
FRED
> Halli-Hallo :),
>
> ich habe Probleme hier "auf den richtigen Dampfer zu
> steigen". Was ich bereits weiß, ist das Folgende: Eine
> Menge ist "messbar", wenn es eine Folge von Borelmengen
> gibt, die gegen M konvergiert (f.ü.). Weiterhin ist jede
> Menge, auf der f >0, f<0 oder f=0 ist, messbar (da f eine
> [mm]L^2-Funktion[/mm] ist) und jede [mm]L^2-konvergente[/mm] Folge hat eine
> f.ü. konvergente Teilfolge. Weiß jemand wie man bei
> diesem Beweis vorgehen sollte? Vielleicht schaut sich u auf
> den einzelnen Borelmengen an und erkennt, dass u da 0 ist
> und nach Grenzwertübergang auch auf der messbaren
> Menge...oder?
>
> Viele Grüße und danke fürs Helfen!,
> Laura
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:01 Di 14.04.2015 | | Autor: | Laura22 |
Du hast vollkommen Recht! Trotz allem steht die Aufgabe genau so da. Ich fürchte, da muss ich mal meinen Professor fragen, ob er bei der Aufgabe nicht aus Versehen eine Voraussetzung vergessen hat...danke aber für den wichtigen Hinweis!!!
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 15:25 Di 14.04.2015 | | Autor: | Laura22 |
Ok, jetzt weiß ich wie die Aufgabe zu verstehen ist. Für eine [mm] L^2-Funktion [/mm] f sind diejenigen Mengen messbar, auf denen f> 0, f= 0 oder f < 0 ist!
Nehmen wir uns eine beliebige messbare Menge M aus X, so ist f > 0 auf dieser Menge oder f < 0 oder f= 0 auf dieser Menge.
Aber dann ist die Hinrichtung ja eigentlich klar, oder? Dann bleibt ja nur noch der Fall, dass f=0 ist...
|
|
|
| |
|
| Status: |
(Antwort) fertig | | Datum: | 15:36 Di 14.04.2015 | | Autor: | fred97 |
> Ok, jetzt weiß ich wie die Aufgabe zu verstehen ist. Für
> eine [mm]L^2-Funktion[/mm] f sind diejenigen Mengen messbar, auf
> denen f> 0, f= 0 oder f < 0 ist!
>
> Nehmen wir uns eine beliebige messbare Menge M aus X, so
> ist f > 0 auf dieser Menge oder f < 0 oder f= 0 auf dieser
> Menge.
Das ist doch Quatsch ! X=(-2,2), M=[-1,1], f(x)=x
FRED
> Aber dann ist die Hinrichtung ja eigentlich klar, oder?
> Dann bleibt ja nur noch der Fall, dass f=0 ist...
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 15:48 Di 14.04.2015 | | Autor: | Laura22 |
Nein, denn für f(x)=x gilt
f(x) < 0 für x < 0 und
f(x) > 0 für x > 0,
M können wir also nicht als [-1,1] wählen, sondern z.B.
M=[-1, -0.5] oder M=[0.5, 1]. Es sind wahrscheinlich wirklich nur Mengen erlaubt, auf denen die Funktion f genau ein Vorzeichen annimmt.
|
|
|
| |
|
| Status: |
(Antwort) fertig | | Datum: | 16:00 Di 14.04.2015 | | Autor: | fred97 |
> Nein, denn für f(x)=x gilt
>
> f(x) < 0 für x < 0 und
> f(x) > 0 für x > 0,
>
> M können wir also nicht als [-1,1] wählen, sondern z.B.
> M=[-1, -0.5] oder M=[0.5, 1]. Es sind wahrscheinlich
> wirklich nur Mengen erlaubt, auf denen die Funktion f genau
> ein Vorzeichen annimmt.
Unfug !
FRED
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 16:13 Di 14.04.2015 | | Autor: | Laura22 |
Vergiss es! Da arbeite ich lieber alleine. Mit "Quatsch" und "Unfug" kann ich wirklich überhaupt gar nichts anfangen!
|
|
|
| |
|
Hiho,
auch wenn ich deinen Unmut über freds direkte Postings nachvollziehen kann, hat er inhaltlich doch recht.
Deine nachgereichten Postings wirken leider wie Flickschusterei und damit kann man aus einer verkorksten Aufgabe nunmal auch nichts sinnvolles zaubern.
Ich rate jetzt auch nochmal und vermute, es ist zu zeigen:
$ [mm] \integral_M [/mm] |f| dx = 0 [mm] \quad\gdw \quad [/mm] f(x)=0 $f.ü.
Hast du denn selbst eine korrigierte Version der Aufgabe?
Gruß,
Gono
|
|
|
|
