www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Maßtheorie" - Maßkonstruieren
Maßkonstruieren < Maßtheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Maßkonstruieren: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 14:29 Mo 28.05.2007
Autor: cutter

Aufgabe
Sei [mm] \lambda [/mm] das Lebesgue-Maß auf ([0; 1]; [mm] \mathcal{B}). [/mm] Konstruieren Sie ein Maß [mm] \mu [/mm] auf ([0; 1]; [mm] \mathcal{B}) [/mm] mit
[mm] \mu \perp \lambda [/mm] und [mm] \mu [/mm] (I) > 0 für jedes nicht-leere Intervall I [mm] \subset [/mm] [0; 1].

Also ich haette hier das Dirac Maß genommen und damit gezeigt,
dass [mm] \mu \perp \lambda [/mm] , wobei [mm] \mu [/mm] das Diracmaß ist.
Nur bin ich mir nicht ganz sicher ob die zweite Bedingung

[mm] \mu [/mm] (I) > 0 für jedes nicht-leere Intervall I [mm] \subset [/mm] [0; 1].

auch erfuellt ist. Ich denke schon wollte nur eine Rueckmeldung erhalten.

LG

        
Bezug
Maßkonstruieren: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 01:23 Di 29.05.2007
Autor: Marc

Hallo cutter,

> Sei [mm]\lambda[/mm] das Lebesgue-Maß auf ([0; 1]; [mm]\mathcal{B}).[/mm]
> Konstruieren Sie ein Maß [mm]\mu[/mm] auf ([0; 1]; [mm]\mathcal{B})[/mm] mit
>  [mm]\mu \perp \lambda[/mm] und [mm]\mu[/mm] (I) > 0 für jedes nicht-leere

> Intervall I [mm]\subset[/mm] [0; 1].
>  Also ich haette hier das Dirac Maß genommen und damit
> gezeigt,
>  dass [mm]\mu \perp \lambda[/mm] , wobei [mm]\mu[/mm] das Diracmaß ist.
>  Nur bin ich mir nicht ganz sicher ob die zweite Bedingung
>
> [mm]\mu[/mm] (I) > 0 für jedes nicht-leere Intervall I [mm]\subset[/mm] [0;
> 1].
>
> auch erfuellt ist. Ich denke schon wollte nur eine
> Rueckmeldung erhalten.

Es stimmt, dass das Lebesgue-Maß und jedes Dirac-Maß zueinander singulär sind. Aber das Dirac-Maß erfüllt die zusätzliche Bedingung nicht.

Das Dirac-Maß wird doch zu einem Punkt gebildet, hier zu einem [mm] $z\in[0;1]$ [/mm] und ist so definiert:

[mm] $\delta_z(A)=\begin{cases} 1, \mbox{ falls } z\in A \\ 0, \mbox{ sonst }\end{cases}$ [/mm]

Für alle [mm] $z\in[0;1]$ [/mm] gibt es aber [mm] $0\le a
[mm] $\delta_z([a,b])=0$ [/mm]

Ein alternatives Maß kann ich Dir aber z.Zt. auch nicht anbieten.

Viele Grüße,
Marc

Bezug
        
Bezug
Maßkonstruieren: Antwort
Status: (Antwort) fertig Status 
Datum: 10:08 Di 29.05.2007
Autor: banachella

Hallo cutter,

wie Marc ja schon bemerkt hat erfüllt das Dirac-Maß die zweite Bedingung nicht. Aus der Geschichte kommst du mit folgendem Trick raus: Sei [mm] $\{q_n\colon n\in\IN\}=\IQ\cap[0;1]$ [/mm] eine "Abzählung" der rationalen Zahlen in $[0;1]$. Definiere die nun dein Maß durch [mm] $\mu(A):=\sum_{n\colon q_n\in A} \frac 1{n^2}$. [/mm] Genau genommen ist [mm] $\mu$ [/mm] also die Summe von abzählbar vielen Dirac-Maßen mit Gewicht [mm] $\frac 1{n^2}$: $\mu=\sum_{n=1}^\infty \frac 1{n^2}*\delta_{q_n}$. $\mu$ [/mm] ist ein endliches Maß, da [mm] $\mu([0;1])=\sum_{n=1}^\infty \frac 1{n^2}<\infty$. [/mm]
[mm] $\mu\bot\lambda$, [/mm] da [mm] $\mu$ [/mm] nur auf [mm] $\IQ$ [/mm] Masse hat, was eine Lebesgue-Nullmenge ist. Aber in jedem Intervall [mm] $I\subseteq[0;1]$ [/mm] liegt eine rationale Zahl, und somit ist [mm] $\mu(I)>0$. [/mm]

Ist dir das Beispiel klar?

Gruß, banachella

Bezug
                
Bezug
Maßkonstruieren: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:31 Di 29.05.2007
Autor: Marc

Hallo banachella,

nett, wieder was gelernt :-)

Ich hatte an etwas ähnliches gedacht, nämlich sozusagen das Zählmaß der rationalen Zahlen:

[mm] $\mu(A)=\begin{cases} |A\cap\IQ\cap[0;1]|, & \mbox{ falls } A\cap\IQ\cap[0;1] \mbox{ endlich } \\ \infty, & \mbox{ sonst }\end{cases}$ [/mm]

Das ist allerdings nicht endlich, aber ist das eigentlich schlimm? Weil Du die Endlichkeit Deines Maßes ja auch erwähnst. En solches ist natürlich viel schöner :-)

Viele Grüße,
Marc

Bezug
                        
Bezug
Maßkonstruieren: Antwort
Status: (Antwort) fertig Status 
Datum: 12:04 Di 29.05.2007
Autor: kornfeld

Das kannst du auch so machen wie du geschrieben hast. Das Lebesguemass auf [mm] $\IR$ [/mm] ist ja auch nicht endlich. Du kannst uebrigens als Traegermenge auch jede Cantormenge $C$ der Dimension [mm] $0\leq [/mm] h<1$ hinzufuegen. Dann ist das Mass formal [mm] $\sum_{i\in I}d_{x_i}$ [/mm] mit einer ueberabzaehlbaren Indexmenge $I$. Es gibt viele Dinge, die man sich ausdenken kann

LG Kornfeld

Bezug
                
Bezug
Maßkonstruieren: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:13 Di 29.05.2007
Autor: cutter

Hi..
danke an euch alle.Bin dein Maß gerade am nachvollziehen.Falls ich noch fragen habe komme ich auf dich zurueck.
Besten Dank vom cutter :)

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Maßtheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]