|
@@ -602,13 +602,20 @@ Haben wir Häufungspunkt definiert?}
|
|
\label{fig:satz-seifert-van-kampen}
|
|
\label{fig:satz-seifert-van-kampen}
|
|
\end{figure}
|
|
\end{figure}
|
|
|
|
|
|
-\begin{korollar}
|
|
|
|
|
|
+\begin{korollar}\label{kor:12.5}%Bemerkung 12.5 aus Vorlesung
|
|
Sei $Z$ zusammenhängend und $f_0, \dots, f_1: Z \rightarrow Y$
|
|
Sei $Z$ zusammenhängend und $f_0, \dots, f_1: Z \rightarrow Y$
|
|
Liftungen von $f$.
|
|
Liftungen von $f$.
|
|
|
|
|
|
$\exists z_0 \in Z: f_0(z) = f_1(z) \Rightarrow f_0 = f_1$
|
|
$\exists z_0 \in Z: f_0(z) = f_1(z) \Rightarrow f_0 = f_1$
|
|
\end{korollar}
|
|
\end{korollar}
|
|
|
|
|
|
|
|
+\begin{figure}
|
|
|
|
+ \centering
|
|
|
|
+ \input{figures/commutative-diagram-2.tex}
|
|
|
|
+ \caption{Situation aus Korollar~\ref{kor:12.5}}
|
|
|
|
+ \label{fig:situation-kor-12.5}
|
|
|
|
+\end{figure}
|
|
|
|
+
|
|
\begin{beweis}
|
|
\begin{beweis}
|
|
Sei $T = \Set{z \in Z | f_0(z) = f_1(z)}$.
|
|
Sei $T = \Set{z \in Z | f_0(z) = f_1(z)}$.
|
|
|
|
|