Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Lebesgue-Nullmenge, Bild

Lebesgue-Nullmenge, Bild

Universität / Fachhochschule

Maßtheorie

Tags: Maßtheorie

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Fabienne-

Fabienne- aktiv_icon

19:47 Uhr, 03.11.2015

Antworten
Sei d, sei Ud offen und sei f:Ud+1 stetig differenzierbar.

Zeigen Sie, dass im Fall d=1 für jedes kompakte Intervall [a,b]U das Bild
f([a,b])2 eine Lebesgue-Nullmenge ist.


Hallo,

ich habe ein Problem mit dieser Aufgabe.
Wir haben bereits gezeigt, dass {(x,0):x}2
eine Lebesgue-Nullmenge ist.

Für diese Aufgabe habe ich zwei Ansätze.
Mein erster wäre, dass ich etwa eine Funktion angebe, welche mir den Graph von f auf eine Konstante abbildet.
Damit wäre ich dann wieder in dem bereits gezeigten Fall.
Leider weiß ich nicht, ob ich allgemein so eine Funktion angeben kann. Ich befürchte, dass f dazu bijektiv sein muss.

Was hier anschaulich passiert ist ja im Grunde klar, ich nehme das Bild der Funktion f auf dem kompakten Intervall [a,b]. Da die Funktion stetig ist, wird Maximum und Minimum angenommen. Und nun "ziehe ich die Funktion lang".

Ich könnte mir vorstellen, dass es etwas mit der Bogenlänge zutun hat, bzw. ich die Abbildung so angeben kann, wie man die Bogenlänge berechnen würde.

Versteht ihr was ich meine? Lohnt es sich den Ansatz weiter zu verfolgen?


Der zweite Ansatz wäre es den Graph eben mit Würfeln zu überdecken und dann zu zeigen, dass das Maß in der Summe Null ist.
Leider weiß ich nicht wie ich die Würfel wählen kann, damit es klappt.


Über Hilfe würde ich mich sehr freuen.
Vielen Dank im voraus.

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
DrBoogie

DrBoogie aktiv_icon

20:22 Uhr, 03.11.2015

Antworten
Sei C:=maxx[a,b]fʹ(x).
Teile [a,b] in n gleich lange Intervalle: x0=a<x1<...<xn=b.
Dann gilt für alle x aus [xi,xi+1]: f(x)-f(xi)C(x-xi)C(a-b)/n.
Damit liegt der Graph von f(x) in der Vereinigung der Rechtecke [xi,xi+1]×[f(xi)-C(a-b)/n,f(xi)+C(a-b)/n]. Diese haben eine beliebig kleine Gesamtfläche, wenn man n groß genug wählt.
Fabienne-

Fabienne- aktiv_icon

20:33 Uhr, 03.11.2015

Antworten
Vielen Dank für deine Rückmeldung.

Kann man den Beweis so anpassen, dass man am Ende Würfel hat und keine Rechtecke?
Die Seitenlängen also gleich sind.

Wir haben bisher nämlich alles nur für Würfel gezeigt.
Antwort
DrBoogie

DrBoogie aktiv_icon

20:43 Uhr, 03.11.2015

Antworten
Du kannst jeden Rechteck durch Würfel "approximieren", mit beliebiger Genauigkeit.


Fabienne-

Fabienne- aktiv_icon

20:48 Uhr, 03.11.2015

Antworten
Ja, ich habe mich auch gefragt als wir es für Würfel gezeigt haben, warum wir es dann nicht auch automatisch für Rechtecke gezeigt haben, weil ich nun mal ein Rechteck durch Würfel "ausschöpfen" kann.

Deshalb habe ich etwas Bauchschmerzen dabei es nun doch mit Rechtecken zu tun...
Antwort
DrBoogie

DrBoogie aktiv_icon

06:15 Uhr, 04.11.2015

Antworten
"Deshalb habe ich etwas Bauchschmerzen dabei es nun doch mit Rechtecken zu tun."

Und ich habe Bauchschmerzen, weil Du Bauchschmerzen hast. :-)
Mathe ist kein "Dienst nach Vorschrift", und wenn ich höre "wir hatten das nur so gezeigt", kriege ich echt eine Krise. Mathe endet nicht dort, wo eine Vorlesung endet! Man darf mit Sicherheit alles nutzen, was man auch begründen kann, sonst ist es keine Mathe, sondern weiß ich nicht was.
Fabienne-

Fabienne- aktiv_icon

17:59 Uhr, 04.11.2015

Antworten
Darum geht es mir auch gar nicht und ich teile deine Meinung.

Nur müsste ich dann nun begründen, weshalb sich meine Rechtecke auch durch Quadrate überdecken lassen.
Und da sagt mir meine weibliche Intuition (und die Tatsache, dass wir es in der Vorlesung bisher nicht gezeigt haben), dass das nicht so trivial ist wie ich denke.
Antwort
DrBoogie

DrBoogie aktiv_icon

18:29 Uhr, 04.11.2015

Antworten
Das ist absolut trivial. Sei ein Rechteck mit den Seiten a und b gegeben, wobei die Seite a die "waagerechte" ist. Bilde ein quadratisches Gitter mit der Länge a/N, ausgehend von der unteren Seite und von der linken Seite des Rechtecks. Dann hast Du höchstens N Quadrate, die den Rechteck "überlappen", und zwar die obere Reihe. Also ist die Gesamtfläche der Würfel um höchstens Na2N2=a2N größer als die Fläche des Rechtecks. Da Du N beliebig machen kannst, kannst Du immer Rechtecke durch Quadrate mit beliebiger Genauigkeit überdecken.
Unten das Bild (leider ziemlich krumm), die "überflüssige" Fläche ist rot. Quadratisches Gitter ist blau.

Quad
Frage beantwortet
Fabienne-

Fabienne- aktiv_icon

18:35 Uhr, 04.11.2015

Antworten
Vielen Dank.