Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Arbeitsblatt 69/latex

\setcounter{section}{69}

\zwischenueberschrift{Aufwärmaufgaben}

\inputaufgabe
{}
{

Wir definieren auf $\overline{ \R }$ eine \definitionsverweis {Topologie}{}{,} indem wir die Mengen
\mathdisp {]a,b [ \, \, (\text{mit } a,b \in \R),\, [- \infty, a[ \, \, (\text{mit } a \in \R) \text{ und } ]a, \infty] \, \,(\text{mit }a \in \R)} { }
als \definitionsverweis {Basis der Topologie}{}{} nehmen. Zeige, dass $\R$ \definitionsverweis {offen}{}{} in dieser Topologie ist und die \definitionsverweis {Unterraumtopologie}{}{} zu dieser Topologie trägt.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {Borelmengen}{}{} auf $\overline{ \R }$ zu der in Aufgabe 69.1 eingeführten \definitionsverweis {Topologie}{}{} mit den in der Vorlesung direkt eingeführten Borel-Mengen übereinstimmen.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass $\overline{ \R }$ mit der in Aufgabe 69.1 eingeführten Topologie \definitionsverweis {homöomorph}{}{} zum \definitionsverweis {abgeschlossenen Intervall}{}{}
\mathl{[0,1]}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {Hausdorff-Raum}{}{.} Zeige, dass die \definitionsverweis {Diagonale}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \triangle }
{ =} {{ \left\{ (x,y) \in X \times X \mid x = y \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} eine \definitionsverweis {messbare Teilmenge}{}{} im \definitionsverweis {Produktraum}{}{}
\mathl{X \times X}{} ist.

}
{} {}

\inputaufgabe
{}
{

Beschreibe eine beliebige \definitionsverweis {einfache Funktion}{}{} mit Hilfe von \definitionsverweis {Indikatorfunktionen}{}{.}

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die Summe und das Produkt von zwei \definitionsverweis {einfachen Funktionen}{}{} auf einem \definitionsverweis {Messraum}{}{} wieder einfach ist.

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{2}
{

Es sei
\mathl{(M, {\mathcal A })}{} ein \definitionsverweis {Messraum}{}{} und es seien \maabbdisp {f,g} {M} {\R } {} \definitionsverweis {messbare Funktionen}{}{.} Zeige, dass die Menge
\mathdisp {{ \left\{ x \in M \mid f(x) = g(x) \right\} }} { }
\definitionsverweis {messbar}{}{} ist.

}
{} {}

\inputaufgabe
{2}
{

Zeige, dass die Summe und das Produkt von zwei $\sigma$-\definitionsverweis {einfachen Funktionen}{}{} auf einem \definitionsverweis {Messraum}{}{} wieder $\sigma$-einfach ist.

}
{} {}

Eine \definitionsverweis {Funktion}{}{} \maabb {f} {\R} {\R } {} heißt \definitionswort {periodisch}{} mit \definitionswort {Periode}{}
\mavergleichskette
{\vergleichskette
{L }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ f(x) }
{ =} { f(x+L) }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

\inputaufgabe
{5 (3+2)}
{

Es sei \maabbdisp {f} {\R} {\R } {} eine \definitionsverweis {periodische Funktion}{}{} mit der Periode $L>0$.

a) Zeige, dass folgende Aussagen äquivalent sind. \aufzaehlungdrei{$f$ ist \definitionsverweis {messbar}{}{.} }{Die \definitionsverweis {Einschränkung}{}{} von $f$ auf das Intervall
\mathl{[0,L[}{} ist \definitionsverweis {messbar}{}{.} }{Die \definitionsverweis {Einschränkung}{}{} von $f$ auf jedes Intervall der Form
\mathl{[a,a+L[}{} ist \definitionsverweis {messbar}{}{.} }

b) Zeige, dass diese Äquivalenz für die \definitionsverweis {Stetigkeit}{}{} nicht gelten muss.

}
{} {}

\inputaufgabe
{4}
{

Bestimme die approximierenden Funktionen
\mathl{f_0,f_1 , \ldots , f_5}{} für die Funktion \maabbeledisp {f} {\R} {\R } {x} {x^2 } {,} gemäß dem Beweis zu Lemma 69.11.

}
{} {}

\inputaufgabe
{6 (1+2+2+1)}
{

Es sei \maabbdisp {f} {\R} {\R } {} eine \definitionsverweis {Funktion}{}{.} Zu
\mathl{n \in \N_+}{} sei die Funktion $f_n$ durch
\mavergleichskettedisp
{\vergleichskette
{f_n(x) }
{ =} { { \frac{ \left \lfloor nf(x) \right \rfloor }{ n } } }
{ } { }
{ } { }
{ } { }
} {}{}{} definiert.

a) Zeige, dass die $f_n$ $\sigma$-\definitionsverweis {einfach}{}{} sind.

b) Zeige, dass die \definitionsverweis {Funktionenfolge}{}{}
\mathbed {f_n} {}
{n \in \N} {}
{} {} {} {,} punktweise gegen $f$ \definitionsverweis {konvergiert}{}{.}

c) Zeige, dass diese Funktionenfolge nicht \definitionsverweis {wachsend}{}{} sein muss.

d) Sind die $f_n$ \definitionsverweis {messbar}{}{?}

}
{} {}