Kurs:Analysis (Osnabrück 2013-2015)/Teil II/Arbeitsblatt 33/latex

\setcounter{section}{33}

\zwischenueberschrift{Übungsaufgaben}

\inputaufgabegibtloesung
{}
{

Es seien \mathkor {} {P=\left( \frac{3}{4} , \, -1 \right)} {und} {Q= \left( 2 , \, \frac{1}{5} \right)} {} zwei Punkte im $\R^2$. Bestimme den Abstand zwischen diesen beiden Punkten in

a) der euklidischen Metrik,

b) der Summenmetrik,

c) der Maximumsmetrik.

d) Vergleiche diese verschiedenen Abstände der Größe nach.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {Summenmetrik}{}{} im $\R^n$ eine \definitionsverweis {Metrik}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {Maximumsmetrik}{}{} im $\R^n$ eine \definitionsverweis {Metrik}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $M$ die Parabel, also der \definitionsverweis {Graph}{}{} der Quadratfunktion \maabbeledisp {} {\R} {\R } {x} {x^2 } {.} Entscheide, ob auf $M$ durch
\mavergleichskettedisp
{\vergleichskette
{d_1((x_1,y_1), (x_2,y_2)) }
{ \defeq} { \betrag { x_1 -x_2 } }
{ } { }
{ } { }
{ } { }
} {}{}{} bzw. durch
\mavergleichskettedisp
{\vergleichskette
{d_2((x_1,y_1), (x_2,y_2)) }
{ \defeq} { \betrag { y_1 -y_2 } }
{ } { }
{ } { }
{ } { }
} {}{}{} eine \definitionsverweis {Metrik}{}{} definiert wird.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mavergleichskettedisp
{\vergleichskette
{K }
{ =} { { \left\{ (x,y) \in \R^2 \mid x^2 +y^2 = 1 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} der Einheitskreis. Zeige, dass man auf $K$ eine Metrik definieren kann, indem man
\mathl{d(P,Q)}{} \zusatzklammer {\mathlk{P,Q \in K}{}} {} {} als den positiven Winkel zwischen den zugehörigen Strahlen durch den Nullpunkt
\mathl{(0,0)}{} ansetzt.

}
{} {}

\inputaufgabe
{}
{

Es sei \maabbdisp {f} {\R_{\geq 0} } {\R_{\geq 0} } {} eine \definitionsverweis {stetige}{}{} \definitionsverweis {konkave Funktion}{}{} mit
\mavergleichskette
{\vergleichskette
{f(0) }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{f(t) }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für
\mavergleichskette
{\vergleichskette
{t }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und sei \maabbdisp {d} {M \times M} {\R_{\geq 0} } {} eine \definitionsverweis {Metrik}{}{.} Zeige, dass dann auch
\mathl{f \circ d}{} eine Metrik ist.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{.} Zeige, dass folgende Eigenschaften gelten. \aufzaehlungdrei{Die \definitionsverweis {leere Menge}{}{} $\emptyset$ und die Gesamtmenge $M$ sind \definitionsverweis {offen}{}{.} }{Es sei $I$ eine beliebige Indexmenge und seien
\mathbed {U_i} {}
{i \in I} {}
{} {} {} {,} offene Mengen. Dann ist auch die \definitionsverweis {Vereinigung}{}{}
\mathdisp {\bigcup_{i \in I} U_i} { }
offen. }{Es sei $I$ eine endliche Indexmenge und seien
\mathbed {U_i} {}
{i \in I} {}
{} {} {} {,} offene Mengen. Dann ist auch der \definitionsverweis {Durchschnitt}{}{}
\mathdisp {\bigcap_{i \in I} U_i} { }
offen. }

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{.} Zeige, dass die \definitionsverweis {offenen Kugeln}{}{} $U { \left( x,\epsilon \right) }$ \definitionsverweis {offen}{}{} sind.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{.} Zeige, dass die \definitionsverweis {abgeschlossenen Kugeln}{}{} $B \left( x,\epsilon \right)$ \definitionsverweis {abgeschlossen}{}{} sind.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{.} Zeige, dass in $M$ die sogenannte \stichwort {Hausdorff} {-}Eigenschaft gilt, d.h. zu je zwei verschiedenen Punkten \mathkor {} {x} {und} {y} {} gibt es \definitionsverweis {offene Mengen}{}{} \mathkor {} {U} {und} {V} {} mit
\mathdisp {x \in U \text{ und } y \in V \text{ und } U \cap V = \emptyset} { . }

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{.} Zeige, dass jede endliche Teilmenge
\mavergleichskette
{\vergleichskette
{ T }
{ \subseteq }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \definitionsverweis {abgeschlossen}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die Menge der \definitionsverweis {reellen Zahlen}{}{} in ${\mathbb C}$ \definitionsverweis {abgeschlossen}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die Menge
\mathdisp {S= { \left\{ (x,y) \in \R^2 \mid x^2 +y^2 = 1 \right\} }} { }
in $\R^2$ \definitionsverweis {abgeschlossen}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass die Menge der \definitionsverweis {rationalen Zahlen}{}{} $\Q$ in $\R$ weder \definitionsverweis {offen}{}{} noch \definitionsverweis {abgeschlossen}{}{} ist.

}
{} {}

\inputaufgabegibtloesung
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{} und
\mavergleichskette
{\vergleichskette
{T }
{ \subseteq }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine Teilmenge mit der \definitionsverweis {induzierten Metrik}{}{.} Zeige, dass eine Teilmenge
\mavergleichskette
{\vergleichskette
{ Z }
{ \subseteq }{ T }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} genau dann \definitionsverweis {offen}{}{} in $T$ ist, wenn es eine in $M$ offene Menge $U$ mit
\mavergleichskette
{\vergleichskette
{ Z }
{ = }{ T \cap U }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass auf jeder Menge $M$ die \definitionsverweis {diskrete Metrik}{}{} in der Tat eine \definitionsverweis {Metrik}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Es sei $M$ eine Menge, die mit der \definitionsverweis {diskreten Metrik}{}{} versehen sei. Zeige, dass jede Teilmenge von $M$ sowohl \definitionsverweis {offen}{}{} als auch \definitionsverweis {abgeschlossen}{}{} ist.

}
{} {}

\inputaufgabe
{}
{

Zeige, dass eine \definitionsverweis {konvergente}{}{} \definitionsverweis {Folge}{}{} in einem \definitionsverweis {metrischen Raum}{}{} genau einen \definitionsverweis {Häufungspunkt}{}{} besitzt.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{} und sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine \definitionsverweis {Folge}{}{} in $M$. Zeige, dass die Menge aller \definitionsverweis {Häufungspunkte}{}{} dieser Folge \definitionsverweis {abgeschlossen}{}{} ist.

}
{} {}

\zwischenueberschrift{Aufgaben zum Abgeben}

\inputaufgabe
{}
{

Entscheide, ob für vier Punkte
\mathl{A,B,C,X}{} in der euklidischen Ebene $\R^2$ stets die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{d(A,B) +d(B,C) }
{ \leq} {d(A,X)+ d(B,X) +d(C,X) }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}
{} {}

\inputaufgabe
{}
{

a) Definiere auf der Einheitssphäre, also der Kugeloberfläche
\mathdisp {S= { \left\{ (x,y,z) \in \R^3 \mid x^2+y^2+z^2 = 1 \right\} }} { , }
die \anfuehrung{geodätische Metrik}{}, bei der der Abstand zweier Punkte
\mathl{P,Q \in S}{} durch die Länge der kürzesten Verbindung auf der Oberfläche gegeben ist.

b) Zeige, dass es sich um eine Metrik handelt.

c) Welchen Abstand besitzen die Punkte
\mathl{(0,0,1)}{} und
\mathl{(1,0,0)}{} in der euklidischen und in der geodätischen Metrik?

}
{} {Die kürzeste Verbindung liegt auf dem Großkreis, den man enthält, wenn man die Kugeloberfläche mit der durch
\mathl{P,Q, (0,0,0)}{} gegebenen Ebene schneidet \zusatzklammer {wann definieren diese drei Punkte keine Ebene?} {} {.} Die Formel für den Kreisumfang und die Tatsache, dass der Winkel proportional zur Bogenlänge ist, darf verwendet werden.}

\inputaufgabe
{}
{

Es seien \mathkor {} {P} {und} {Q} {} zwei verschiedene Punkte im $\R^2$ und $G$ die dadurch definierte Gerade. Zeige, dass $G$ \definitionsverweis {abgeschlossen}{}{} in $\R^2$ ist.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{} und sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine \definitionsverweis {Folge}{}{} in $M$. Zeige, dass ein Punkt $x \in M$ genau dann ein \definitionsverweis {Häufungspunkt}{}{} der Folge ist, wenn es eine gegen $x$ \definitionsverweis {konvergente}{}{} \definitionsverweis {Teilfolge}{}{} gibt.

}
{} {}

\inputaufgabe
{}
{

Es sei
\mathl{(M,d)}{} ein \definitionsverweis {metrischer Raum}{}{} und sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine \definitionsverweis {Folge}{}{} in $M$, die gegen $x \in M$ \definitionsverweis {konvergiere}{}{.} Es sei ${ \left( y_n \right) }_{n \in \N }$ eine weitere Folge derart, dass die Abstände $d { \left( x_n, y_n \right) }$ eine \definitionsverweis {Nullfolge}{}{} in $\R$ sei. Zeige, dass auch ${ \left( y_n \right) }_{n \in \N }$ gegen $x$ konvergiert.

}
{} {}