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

\setcounter{section}{70}

In diesem Arbeitsblatt geht es ausschließlich um das Lebesgue-Integral, es darf nicht mit dem Riemann-Integral argumentiert werden.

\zwischenueberschrift{Aufwärmaufgaben}

\inputaufgabe
{}
{

Es seien \mathkor {} {M} {und} {N} {} Mengen und es seien \maabbdisp {\varphi} {M} {N } {} und \maabbdisp {f} {N} {\R } {} \definitionsverweis {Abbildungen}{}{.} Zeige, dass für die \definitionsverweis {Subgraphen}{}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ (\varphi \times \operatorname{Id}_\R)^{-1} (S(f)) }
{ =} {S(f \circ \varphi) }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass das \definitionsverweis {Integral}{}{} einer \definitionsverweis {messbaren Funktion}{}{} über einer \definitionsverweis {Nullmenge}{}{} gleich $0$ ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass das \definitionsverweis {Integral}{}{} der Nullfunktion gleich $0$ ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $M$ eine \definitionsverweis {abzählbare Menge}{}{,} die mit dem \definitionsverweis {Zählmaß}{}{} versehen sei, und sei \maabbdisp {f} {M} {\R } {} eine \definitionsverweis {Funktion}{}{.} Zeige, dass $f$ genau dann \definitionsverweis {integrierbar}{}{} ist, wenn die Familie
\mathbed {f(m)} {}
{m \in M} {}
{} {} {} {,} \definitionsverweis {summierbar}{}{} ist, und dass in diesem Fall das \definitionsverweis {Integral}{}{} gleich der \definitionsverweis {Summe}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Bestimme den \definitionsverweis {Flächeninhalt}{}{} des \definitionsverweis {Subgraphen}{}{} zur \definitionsverweis {linearen Funktion}{}{} \maabbeledisp {f} {\R} {\R } {x} {cx } {,} über dem Intervall
\mathl{[a,b]}{} mit
\mathl{c \geq 0,\, b \geq a \geq 0}{.}

}
{} {}

\inputaufgabe
{}
{

Bestimme den \definitionsverweis {Flächeninhalt}{}{} des \definitionsverweis {Subgraphen}{}{} zur \definitionsverweis {Funktion}{}{} \maabbeledisp {f} {\R} {\R } {x} {1 + \sin x } {,} über dem Intervall
\mathl{[0, 2 \pi ]}{.}

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{3}
{

Es sei
\mavergleichskette
{\vergleichskette
{ T }
{ \subseteq }{ \R^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {kompakte Teilmenge}{}{} und sei \maabbdisp {f} {T} {\R } {} eine \definitionsverweis {stetige Funktion}{}{.} Zeige, dass $f$ \definitionsverweis {integrierbar}{}{} ist. Man gebe auch eine Abschätzung für das Integral
\mathl{\int_{ T } f \, d \lambda^n}{} an.

}
{} {}

\inputaufgabe
{4}
{

Es sei
\mathl{(M, {\mathcal A }, \mu)}{} ein $\sigma$-\definitionsverweis {endlicher}{}{} \definitionsverweis {Maßraum}{}{.} Zeige, dass für jedes
\mavergleichskette
{\vergleichskette
{ r }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Abbildung \maabbeledisp {} {M \times \R} {M \times \R } {(x,t)} {(x,t+r) } {,} \definitionsverweis {maßtreu}{}{} ist.

}
{} {}

\inputaufgabe
{4}
{

Bestimme das \definitionsverweis {Volumen}{}{} des \definitionsverweis {Subgraphen}{}{} zur \definitionsverweis {linearen Funktion}{}{} \maabbeledisp {f} {\R^2} {\R } {(x,y)} {cx+dy } {,} \zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ c,d }
{ \in }{ \R_{\geq 0} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} über dem Einheitsquadrat
\mathl{[0,1] \times [0,1]}{.}

}
{} {}

\inputaufgabe
{6}
{

Wir betrachten die Funktion \maabbeledisp {f} {[0,\pi]} {\R } {t} { \sin t } {.} Für welches
\mavergleichskette
{\vergleichskette
{ a }
{ \in }{ [0,1] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist die Tschebyschow-Abschätzung für diese Funktion am besten? Bestimme $a$ numerisch bis auf $5$ Nachkommastellen.

}
{} {}