Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Wie zeigen, dass diese Menge messbar ist...?

Wie zeigen, dass diese Menge messbar ist...?

Universität / Fachhochschule

Maßtheorie

Tags: Lebesgue, Lebesgue-Maß, Maßtheorie, MATH, Mathematik, Messbarkeit

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
hallomathehallo

hallomathehallo aktiv_icon

18:55 Uhr, 09.03.2021

Antworten
Hallo!

Es sei E2 messbar bezüglich des Lebesgue-Maßes im 2, beschränkt und in der rechten Halbebene enthalten, also: (r,z)Er>0. Der zu E gehörende Rotationskörper im 3 ist:

R(E):={(x,y,z)3|(x2+y2,z)E}.

Nun möchte ich gerne zeigen, dass R(E) messbar bezüglich des Lebesgue-Maßes im 3 ist.

Ich komme irgendwie zu keinem Ansatz... Also ich habe den Aufbau der Mengen E und R(E) verstanden und alles aber ich weiß nicht in welche Richtung ich mich nun bewegen soll um dies nun zu zeigen...

Meine Idee bis jetzt ist es vielleicht irgendwie diese Abbildung Φ:32:(x1,x2)(x12+x22,x3). Nun vielleicht irgendwie zeigen, dass diese messbar ist und dann sind Urbilder messbarer Mengen messbar. Das haut aber alles nicht so hin...

Ich hoffe ihr habt Tipps und Ansätze!

Danke 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
HAL9000

HAL9000

21:23 Uhr, 09.03.2021

Antworten
Es geht wirklich um das Lebesgue-Maß, d.h., die Vervollständigung des Borel-Maßes?

Für das Borel-Maß wäre die gleiche Aufgabenstellung kein Problem, da die stetige Abbildung Φ automatisch Borel-messbar ist, womit R(E)=Φ-1(E) für die Borelmenge E ebenfalls eine Borelmenge wäre.

hallomathehallo

hallomathehallo aktiv_icon

21:42 Uhr, 09.03.2021

Antworten
Hallo! Danke für die Antwort! Ja es geht um das lebesgue-Maß... Aber muss Φ nicht Bijektiv sein, damit sowas wie Φ-1 erst definiert ist...? Ich habe auch noch einen eher verwirrenden Hinweis bekommen... Er lautet:

Wenn man die Messbarkeit von R(E) in die der charakteristischen Funktion auf R(E)
übersetzt, kann der Transformationssatz mit einem schlau gewählten Diffeomorphismus helfen.

Macht das ganze aber eher komplizierter als es wirkt...
Antwort
HAL9000

HAL9000

06:50 Uhr, 10.03.2021

Antworten
> Aber muss Φ nicht Bijektiv sein, damit sowas wie Φ-1 erst definiert ist...?

Mit Φ-1 meine ich nicht die Umkehrfunktion, sondern (wie eigentlich immer in der Maßtheorie) selbstverständlich die Urbildfunktion. Und die ist für JEDE Funktion Φ definiert!!!


> kann der Transformationssatz mit einem schlau gewählten Diffeomorphismus helfen.

Damit ist womöglich die Zylinderkoordinatentransformation gemeint.
hallomathehallo

hallomathehallo aktiv_icon

12:59 Uhr, 10.03.2021

Antworten
Okay vielen Dank ich schaue es mir nochmal an
Frage beantwortet
hallomathehallo

hallomathehallo aktiv_icon

19:08 Uhr, 18.03.2021

Antworten
Geschafft :-)