Nicht die Decktransformation, sondern die Überlagerung ist regulär

cozyberry · Feb 19, 2014 · a903760 · a903760
1 parent adb3462
commit a903760
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/documents/GeoTopo/GeoTopo.pdf b/documents/GeoTopo/GeoTopo.pdf
diff --git a/documents/GeoTopo/Kapitel3.tex b/documents/GeoTopo/Kapitel3.tex
@@ -960,14 +960,13 @@ \section{Überlagerungen}\index{Ueberlagerung@""Uberlagerung|(}
     Widerspruch.
 \end{beweis}
 
-\begin{definition}\xindex{Decktransformation}\xindex{Decktransformation!reguläre}%In Vorlesung: Def+Bem 12.14
+\begin{definition}\xindex{Decktransformation}\xindex{Ueberlagerung@""Uberlagerung!reguläre}%In Vorlesung: Def+Bem 12.14
     Es sei $p:Y \rightarrow X$ eine Überlagerung und $f:Y \rightarrow Y$
     ein Homöomorphismus.
 
     \begin{defenum}
         \item $f$ heißt \textbf{Decktransformation} von $p :\gdw p \circ f = p$.
-        \item Ist $p$ eine Decktransformation und $|\Deck(Y/X)| = \deg{p}$,
-              so heißt $p$ \textbf{regulär}.
+        \item $p$ heißt \textbf{regulär}, wenn $|\Deck(Y/X)| = \deg{p}$ gilt.
     \end{defenum}
 \end{definition}
 
@@ -980,7 +979,7 @@ \section{Überlagerungen}\index{Ueberlagerung@""Uberlagerung|(}
         \item Ist $f \in \Deck(Y/X)$ und $f \neq \id$, dann hat
               $f$ keinen Fixpunkt.
         \item $|\Deck(Y/X)| \leq \deg{p}$\label{kor:12.14c}
-        \item Ist $f$ eine reguläre Decktransformation, dann gilt:
+        \item Ist $f$ eine reguläre Überlagerung, dann gilt:
               $\forall x \in X: \Deck(Y/X)$ operiert transitiv
               auf der Menge der Urbilder $f^{-1}(x)$.
     \end{bemenum}