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}{}{?}
}
{} {}
<< | Kurs:Mathematik (Osnabrück 2009-2011)/Teil III | >> |
---|