Kurs:Funktionentheorie (Osnabrück 2023-2024)/Arbeitsblatt 20/latex

\setcounter{section}{20}






\zwischenueberschrift{Übungsaufgaben}




\inputaufgabe
{}
{

In einer Wand befinden sich zwei Nägel, an denen eine Halskette aufgehängt werden soll. Wie kann man die Kette aufhängen, dass, sobald man nur einen der Nägel herauszieht, die Kette herrunterfällt?

}
{} {}




\inputaufgabe
{}
{

Zeige, dass der obere Halbkreisweg \maabbeledisp {f} {[-1,1]} { \R^2 } {t} {(t, \sqrt{1-t^2}) } {,} zum Weg \maabbeledisp {} {[-1,1]} { \R^2 } {t} { (t,0) } {,} \definitionsverweis {homotop}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Zeige, dass die \definitionsverweis {trigonometrische Parametrisierung}{}{} \maabbeledisp {f} {[0,2 \pi ]} { \R^2 \setminus \{ (0,0) \} } {t} { \left( \cos t , \, \sin t \right) } {,} zum Weg \maabbeledisp {} {[0,2 \pi]} { \R^2 \setminus \{ (0,0) \} } {t} { Q(t) } {,} \definitionsverweis {homotop}{}{} ist, wobei der Weg $Q(t)$ das Quadrat mit Mittelpunkt
\mathl{(0,0)}{} und Seitenlänge $2$ gleichmäßig beginnend in
\mathl{(1,0)}{} durchläuft.

}
{} {}




\inputaufgabe
{}
{






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {P1S2all.jpg} }
\end{center}
\bildtext {} }

\bildlizenz { P1S2all.jpg } {} {Salix alba} {eo.wikipedia} {CC-by-sa 3.0} {}

Zeige, dass der Äquator auf der $2$-\definitionsverweis {Sphäre}{}{} \definitionsverweis {homotop}{}{} zum Nordpol ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und
\mavergleichskette
{\vergleichskette
{ x,y }
{ \in }{X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die \definitionsverweis {Homotopie von Wegen}{}{} eine \definitionsverweis {Äquivalenzrelation}{}{} auf der Menge der \definitionsverweis {stetigen Wege}{}{} von $x$ nach $y$ ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{.} Zeige, dass die Verknüpfung von stetigen Wegen \maabbdisp {\gamma,\delta} {[0,1] } {X } {} durch Hintereinanderlegung zu einer wohldefinierten Verknüpfung auf den \definitionsverweis {Homotopieklassen von Wegen}{}{} führt.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die Verknüpfung eines stetigen geschlossenen Weges $\gamma$ mit Aufpunkt $x$ mit dem konstanten Weg $x$ \definitionsverweis {homotop}{}{} zu $\gamma$ ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und
\mavergleichskette
{\vergleichskette
{ x,y }
{ \in }{X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei \maabbdisp {\gamma} {[0,1]} {X } {} ein \definitionsverweis {stetiger Weg}{}{} von \mathkor {} {x} {nach} {y} {} und sei
\mathl{\gamma^{-1}}{} der umgekehrt durchlaufene Weg, also
\mavergleichskette
{\vergleichskette
{ \gamma^{-1}(t) }
{ \defeq }{ \gamma(1-t) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die \definitionsverweis {Verknüpfung}{}{}
\mathl{\gamma \gamma^{-1}}{} \definitionsverweis {homotop}{}{} zum konstanten Weg $x$ ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und seien
\mavergleichskette
{\vergleichskette
{ x,y }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} Punkte. Es seien $\gamma_1$ und $\gamma_2$ \definitionsverweis {homotope Wege}{}{} von $x$ nach $y$. Zeige, dass auch die Rückwege $\gamma_1^{-1}$ und $\gamma_2^{-1}$ zueinander homotop sind.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und
\mathl{x \in X}{.} Zeige, dass die \definitionsverweis {Verknüpfung}{}{} von \definitionsverweis {Homotopieklassen}{}{} \definitionsverweis {geschlossener Wege}{}{} mit Aufpunkt $x$ \definitionsverweis {assoziativ}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und \maabbdisp {\gamma} {S^1} {X } {} ein \definitionsverweis {stetiger}{}{} \definitionsverweis {geschlossener Weg}{}{.} Zeige, dass $\gamma$ genau dann \definitionsverweis {nullhomotop}{}{} ist, wenn es eine stetige Fortsetzung von $\gamma$ auf die \definitionsverweis {abgeschlossene Kreisscheibe}{}{} gibt.

}
{} {}




\inputaufgabe
{}
{

Zeige explizit, dass der \definitionsverweis {stetige Weg}{}{} \maabbeledisp {} { [0,2 \pi] } { {\mathbb C}^2 \setminus \{(0,0) \} } {s} { \left( e^{ { \mathrm i} s} , \, 1 \right) } {,} \definitionsverweis {nullhomotop}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {wegzusammenhängender}{}{} \definitionsverweis {topologischer Raum}{}{} und seien
\mavergleichskette
{\vergleichskette
{ x,y }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} Punkte. Zeige, dass die \definitionsverweis {Fundamentalgruppen}{}{} und \mathkor {} {\pi_1(X,x)} {und} {\pi_1(X,y)} {} zueinander \definitionsverweis {isomorph}{}{} sind.

}
{} {}


Es sei $G$ eine \definitionsverweis {Gruppe}{}{} und
\mavergleichskette
{\vergleichskette
{ g }
{ \in }{ G }
{ }{}
{ }{}
{ }{}
} {}{}{} fixiert. Die durch $g$ definierte Abbildung \maabbeledisp {\kappa_g} {G} {G } {x} {gxg^{-1} } {,} heißt \definitionswort {innerer Automorphismus}{.}





\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {wegzusammenhängender}{}{} \definitionsverweis {topologischer Raum}{}{,} sei
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Punkt und sei
\mavergleichskette
{\vergleichskette
{ \delta }
{ \in }{ \pi_1(X,x) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein fixierter stetiger Weg mit Aufpunkt $x$. Zeige, dass durch \maabbeledisp {} { \pi_1(X,x)} {\pi_1(X,x) } {\gamma} { \delta \gamma \delta^{-1} } {,} ein \definitionsverweis {innerer Automorphismus}{}{} der \definitionsverweis {Fundamentalgruppe}{}{} in sich selbst gegeben ist.

}
{} {}




\inputaufgabe
{}
{

Zeige, dass der $\R^n$ \definitionsverweis {kontrahierbar}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Man gebe ein Beispiel für eine \definitionsverweis {kontrahierbare}{}{} Teilmenge
\mavergleichskette
{\vergleichskette
{ X }
{ \subseteq }{ \R^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} die nicht \definitionsverweis {sternförmig}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei $X$ ein \definitionsverweis {einfach zusammenhängender}{}{} \definitionsverweis {topologischer Raum}{}{} und seien \maabbdisp {\gamma_1, \gamma_2} {[0,1]} {X } {} \definitionsverweis {stetige Wege}{}{} mit
\mavergleichskette
{\vergleichskette
{ \gamma_1(0) }
{ = }{ \gamma_2(0) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ \gamma_1(1) }
{ = }{ \gamma_2(1) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass \mathkor {} {\gamma_1} {und} {\gamma_2} {} zueinander \definitionsverweis {homotop}{}{} sind.

}
{} {}





\inputaufgabe
{}
{

Zeige, dass bei
\mathl{n \geq 3}{} der
\mathl{\R^n \setminus \{P\}}{} \definitionsverweis {einfach zusammenhängend}{}{} ist.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabb {\varphi} {X} {Y } {} eine \definitionsverweis {stetige Abbildung}{}{} zwischen \definitionsverweis {topologischen Räumen}{}{} und
\mathl{x \in X}{} mit
\mathl{\varphi(x)=y}{.} Zeige, dass die Zuordnung
\mathdisp {\gamma \mapsto \varphi \circ \gamma} { }
eine wohldefinierte Abbildung auf der Menge der \definitionsverweis {Homotopieklassen}{}{} \definitionsverweis {geschlossener Wege}{}{} \zusatzklammer {mit Aufpunkt $x$ bzw. $y$} {} {} induziert.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabb {\varphi} {X} {Y } {} eine \definitionsverweis {stetige Abbildung}{}{} zwischen \definitionsverweis {topologischen Räumen}{}{} und
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ \varphi(x) }
{ = }{ y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die Zuordnung
\mathdisp {\gamma \mapsto \varphi \circ \gamma} { }
zu einem \definitionsverweis {Gruppenhomomorphismus}{}{} \maabbdisp {} {\pi_1(X,x)} {\pi_1(Y,y) } {} führt.

}
{} {}




\inputaufgabe
{}
{

Es sei \maabb {\varphi} {X} {Y } {} eine \definitionsverweis {stetige Abbildung}{}{} zwischen \definitionsverweis {topologischen Räumen}{}{.} Es seien
\mavergleichskette
{\vergleichskette
{ x,x' }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} Punkte, die durch einen stetigen Weg $\delta$ miteinander verbunden seien und sei
\mavergleichskette
{\vergleichskette
{ \varphi(x) }
{ = }{ y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ \varphi(x') }
{ = }{ y' }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass ein kommutatives Diagramm
\mathdisp {\begin{matrix} \pi_1(X,x) & \stackrel{ \pi(\varphi) }{\longrightarrow} & \pi_1(Y,y) & \\ \!\!\!\!\! \cong \downarrow & & \downarrow \cong \!\!\!\!\! & \\ \pi_1(X,x') & \stackrel{ \pi(\varphi) }{\longrightarrow} & \pi_1(Y,y') & \!\!\!\!\! \\ \end{matrix}} { }
vorliegt, wobei in den Vertikalen die Isomorphismen zu \mathkor {} {\delta} {bzw. zu} {\varphi \circ \delta} {.}

}
{} {}




\inputaufgabe
{}
{

Es sei \mathkor {} {X} {und} {Y} {} \definitionsverweis {topologische Räume}{}{} und
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{ y }
{ \in }{ Y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige
\mavergleichskettedisp
{\vergleichskette
{ \pi_1(X \times Y, (x,y)) }
{ \cong} { \pi_1(X,x) \times \pi_1(Y,y) }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{} {}




\inputaufgabe
{}
{

Zeige, dass ein \definitionsverweis {topologischer Raum}{}{} $X$ genau dann \definitionsverweis {kontrahierbar}{}{} ist, wenn er einen Punkt enthält, der ein \definitionsverweis {Deformationsretrakt}{}{} von $X$ ist.

}
{} {}






\zwischenueberschrift{Aufgaben zum Abgeben}




\inputaufgabe
{4}
{

Es sei $[a,b]$ ein \definitionsverweis {Intervall}{}{} und sei \maabbdisp {f} {[a,b]} { \R } {} eine \definitionsverweis {stetige Funktion}{}{} mit
\mavergleichskette
{\vergleichskette
{ f(a) }
{ = }{ f(b) }
{ = }{ 0 }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass der Graphweg \maabbeledisp {\gamma} {[a,b]} { \R^2 } {t} { (t,f(t)) } {,} zum Weg \maabbeledisp {} {[a,b]} { \R^2 } {t} { (t,0) } {,} \definitionsverweis {homotop}{}{} ist.

}
{} {}




\inputaufgabe
{4}
{

Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{} und \maabb {\gamma} {[0,1]} {X } {} ein \definitionsverweis {stetiger Weg}{}{.} Es sei \maabbdisp {\theta} {[0,1]} {[0,1] } {} stetig mit
\mavergleichskette
{\vergleichskette
{ \theta(0) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ \theta(1) }
{ = }{ 1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass \mathkor {} {\gamma} {und} {\theta \circ \gamma} {} zueinander \definitionsverweis {homotop}{}{} sind.

}
{} {}




\inputaufgabe
{2}
{

Zeige, dass ein \definitionsverweis {kontrahierbarer Raum}{}{} \definitionsverweis {wegzusammenhängend}{}{} ist.

}
{} {}




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

Es seien
\mathl{X,Y,Z}{} \definitionsverweis {topologische Räume}{}{,} es seien \maabb {\varphi} {X} {Y } {} und \maabbdisp {\psi} {Y} {Z } {} \definitionsverweis {stetige Abbildungen}{}{} und
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ \varphi(x) }
{ = }{ y }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ z }
{ = }{ \psi(y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Zeige, dass die zugehörigen \definitionsverweis {Gruppenhomomorphismen}{}{} zwischen den \definitionsverweis {Fundamentalgruppen}{}{} die folgenden Eigenschaften erfüllen. \aufzaehlungdrei{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \pi( \psi \circ \varphi) }
{ =} { \pi(\psi) \circ \pi( \varphi) }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{Wenn \mathkor {} {\varphi} {und} {\psi} {} invers zueinander sind \zusatzklammer {was
\mavergleichskette
{\vergleichskette
{ X }
{ = }{ Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} voraussetzt} {} {,} so sind \mathkor {} {\pi(\psi)} {und} {\pi(\varphi)} {} invers zueinander. }{Wenn $\varphi$ ein \definitionsverweis {Homöomorphismus}{}{} ist, dann ist $\pi( \varphi)$ ein \definitionsverweis {Isomorphismus}{}{.} }

}
{} {}




\inputaufgabe
{3}
{

Zeige, dass ein \definitionsverweis {Kreisring}{}{} eine $1$-\definitionsverweis {Sphäre}{}{} als \definitionsverweis {Deformationsretrakt}{}{} enthält.

}
{} {}