Remove \leavevmode because ntheorem handles it

LinAlg2.tex

@@ -230,7 +230,6 @@ $\pi = (2 3 1), f(X_1, X_2, X_3) = X_1-X_2+X_1X_3 \implies \pi f(X_1, X_2, X_3)
 \end{proof}
 
 \begin{defin}
-	\leavevmode
 	\begin{itemize}
 		\item Die durch Lemma \ref{theo:1.1.5} bestimmte Größe $s(\pi)$ heißt \underline{Signum} von $\pi \in S_n$.
 		      Wir schreiben $\sgn(\pi)$.
@@ -258,8 +257,6 @@ $\pi = (2 3 1), f(X_1, X_2, X_3) = X_1-X_2+X_1X_3 \implies \pi f(X_1, X_2, X_3)
 \end{proof}
 
 \begin{satz}
-
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\sgn(\pi)=1\iff\pi$ ist Produkt gerader Anzahl Transpositionen
 		\item $\pi$ Produkt von k Transpositionen $\implies \sgn(\pi)=(-1)^k$
@@ -821,7 +818,6 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
 \end{itemize}
 
 \begin{defin}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\alpha \in \homkv, \dim(V)<\infty$ heißt \underline{diagonalisierbar} (bzgl. $B$)
 		      wenn eine geordnete Basis $B$ existiert mit ${}_B M(\alpha)_B$ Diagonalmatrix
@@ -854,7 +850,6 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
 
 \begin{lemma}
 	\label{theo:2.1.4}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\alpha \in \homkv$ ist diagonalisierbar genau wenn es eine Basis
 		      $B=(b_1, \dots, b_n)$ und $\lambda_1, \dots, \lambda_n\in\K$ gibt mit
@@ -873,7 +868,6 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
 \section{Eigenwerte und Eigenvektoren}
 
 \begin{defin} \label{theo:2.2.1}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item Sei $\alpha \in \homkv$. $\lambda\in\K$ heißt \underline{Eigenwert} von $\alpha$ wenn es einen Vektor
 		      $v\in V\setminus\{0\}$ gibt mit $\alpha(v)=\lambda v$. $v$ heißt \underline{Eigenvektor} zu $\lambda$.\\
@@ -886,7 +880,6 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
 
 \begin{lemma}
 	\label{theo:2.2.2}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\alpha \in \homkv$ diagonalisierbar $\iff \exists$ Basis aus Eigenvektoren.
 		\item $A \in \K^{n\times n}$ diagonalisierbar $\iff \exists$ Basis aus Eigenvektoren.
@@ -897,7 +890,6 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
 \end{proof}
 
 \begin{defin}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item Sei $\alpha \in \homkv$ und $\lambda \in \spec(\alpha)$.
 		      Dann heißt $\eig_\alpha(\lambda):=\{v\in V: \alpha(v) = \lambda v \}$ der zugehörige \underline{Eigenraum}.
@@ -940,7 +932,6 @@ da obige Matrix aus $M_{ij}$ durch Spaltenadditionen hervorgeht.
 \end{proof}
 
 \begin{defin}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item Sei $\alpha \in \homkv, \dim(V)<\infty$ und $B$ Basis. Dann heißt die Funktion
 		      \[
@@ -969,7 +960,6 @@ $\le\genfrac{}{}{0pt}{0}{\dim(V)}{n}$, da
 
 \begin{lemma}
 	\label{theo:2.2.7}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\chi_\alpha$ ist unabhängig von der Wahl der Basis.
 		\item $\chi_A = \chi_B$ wenn $A, B$ ähnlich (das heißt $\exists P \in \K^{n \times n}: B = P^{-1}AP$)
@@ -995,8 +985,6 @@ $\le\genfrac{}{}{0pt}{0}{\dim(V)}{n}$, da
 \end{proof}
 
 \begin{lemma}
-
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item Sei $\alpha\in\homkv$. Dann gilt \[\spec(\alpha) = \{\lambda \in \K: \chi_\alpha(\lambda)=0\}\]
 		\item Sei $A\in \K^{\nxn}$. Dann gilt \[\spec(A) = \{\lambda \in \K: \chi_A(\lambda)=0\}\]
@@ -1300,8 +1288,6 @@ $A = \begin{pmatrix}
 \]
 
 \begin{korollar}
-
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $A\sim B \implies \spur(A)=\spur(B)$
 		\item A diagonalisierbar $\implies \spur(A)=\lambda_1 + \cdots + \lambda_n$ mit
@@ -1446,7 +1432,6 @@ $\underset{\mathrlap{\text{\dq fast alle Matrizen sind diagonalisierbar\dq}}}
 \subsubsection{Triangulierbarkeit von Matrizen}
 
 \begin{defin}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\alpha \in \homkv, \dim(V)=n$ heißt \underline{triangulierbar} wenn es eine Basis $B$ gibt,
 		      sodass ${}_B M(\alpha)_B$ obere Dreiecksgestalt hat.
@@ -2139,8 +2124,6 @@ Wir zeigen nun, dass jeder euklidische Vektorraum in einen unitären Vektorraum
 \]
 
 \begin{lemma}
-
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $V$ ist durch die Einbettung $v \overset{\iota_V}{\mapsto} (v, 0)$ \dq in $V_\C$ enthalten\dq, das heißt
 		      $\iota_V$ ist injektiv.
@@ -2427,7 +2410,6 @@ $V = \R^4, a_1 = \begin{pmatrix} 4 \\ 2 \\ -2 \\ -1 \end{pmatrix},
 \end{proof}
 
 \begin{defin}
-	\leavevmode
 	\begin{itemize}
 		\item $M, N \subseteq V$ heißen \underline{orthogonal} wenn $\forall v \in M, w \in N:
 			      \underset{\inner vw = 0}{v \bot w}$ \\
@@ -2592,8 +2574,6 @@ Behauptung: $\inner fp > 0$
 \end{proof}
 
 \begin{lemma}
-
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $(\alpha^*)^{{}^*} = \alpha$
 		\item $(\alpha + \beta)^* = \alpha^* + \beta^*$
@@ -2707,7 +2687,6 @@ Behauptung: $\inner fp > 0$
 	\]
 \end{satz}
 \begin{proof}
-	\leavevmode
 	\begin{itemize}
 		\item[$\impliedby$:] $\alpha$ normal
 			\begin{itemize}
@@ -2918,7 +2897,6 @@ Im Reellen/Euklidischen Fall gilt dieser Satz genau dann, wenn $\alpha$ diagonal
 	Eigenwerte von $\alpha_\C$. $\gamma = \Re(\lambda), \delta = \Im(\lambda)$
 \end{satz}
 \begin{proof}
-	\leavevmode
 	\begin{itemize}
 		\item[$n=1$:] \checkmark
 		\item[$n-1 \to n$:] Wenn $\alpha$ reellen Eigenwert besitzt, kann man wie im Beweis von Satz \ref{theo:3.2.10}
@@ -3026,7 +3004,6 @@ Das sind genau die Längen- und Winkelerhaltenden Abbildungen.
 	\end{enumerate}
 \end{satz}
 \begin{proof}
-	\leavevmode
 	\begin{itemize}
 		\item[a) $\implies$ b):] \checkmark
 		\item[b) $\implies$ c):] Es gilt für $v \in V\setminus \{0\}:$
@@ -3078,9 +3055,7 @@ Das sind genau die Längen- und Winkelerhaltenden Abbildungen.
 \end{proof}
 
 \begin{korollar}
-
 	\label{theo:3.3.3}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $\alpha$ orthogonal $\implies \alpha_\C$ unitär
 		\item $\alpha$ orthogonal/unitär $\implies \alpha$ injektiv.
@@ -3099,7 +3074,6 @@ Das sind genau die Längen- und Winkelerhaltenden Abbildungen.
 \end{proof}
 
 \begin{defin}
-	\leavevmode
 	\begin{itemize}
 		\item $A \in \R^{\nxn}$ heißt \underline{orthogonal} wenn $A^{-1} = A^T$.
 		\item $A \in \C^{\nxn}$ heißt \underline{unitär} wenn $A^{-1} = A^* = \overline{A}^T$.
@@ -3120,7 +3094,6 @@ Das sind genau die Längen- und Winkelerhaltenden Abbildungen.
 \]
 
 \begin{satz}
-
 	Es sind äquivalent für $A \in \K^{\nxn}, \K \in \{\R, \C\}$:
 	\begin{enumerate}[label=\alph*)]
 		\item $A$ ist orthogonal/unitär.
@@ -3129,7 +3102,6 @@ Das sind genau die Längen- und Winkelerhaltenden Abbildungen.
 	\end{enumerate}
 \end{satz}
 \begin{proof}
-	\leavevmode
 	\begin{itemize}
 		\item[a) $\iff$ b):] heißt, dass $\inner{a_{i\_}}{a_{j\_}}_{\K^n} = \delta_{ij}$.\\
 			Gleichzeitig gilt $(\inner{a_{i\_}}{a_{j\_}}_{\K^n})_{i,j=1,\dots,n} = A A^*$ \\
@@ -3177,8 +3149,6 @@ Das sind genau die Längen- und Winkelerhaltenden Abbildungen.
 \end{proof}
 
 \begin{satz}
-
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item $O(n, \R)$ ist Untergruppe von $\GL(n, \R)$.
 		\item $U(n, \C)$ ist Untergruppe von $\GL(n, \C)$.
@@ -3569,7 +3539,6 @@ reellen Nullstellen.
 \section{Bilinearformen und Sesquilinearformen}
 
 \begin{defin}
-	\leavevmode
 	\begin{itemize}
 		\item $\sigma: V\times V \to \K$ mit $\forall u,v,w \in V, \lambda \in \K$:
 		      \begin{align}
@@ -3602,7 +3571,6 @@ Sei $ B= (b_1, \dots, b_n)$ Basis, so ist $M_B(\sigma) := (\sigma(b_i, b_j))_{i,
 
 \begin{lemma}
 	\label{theo:3.5.2}
-	\leavevmode
 	\begin{enumerate}[label=\alph*)]
 		\item Es gilt für $\sigma$ Bilinearform und $B$ Basis, dass
 		      \[
@@ -3774,7 +3742,6 @@ $ \implies q(\tilde x_1, \tilde x_2) = \lambda_1 \tilde x_1^2 + \lambda_2 \tilde
 	Hermitesche Formen und hermitesche Sesquilinearformen entsprechen einander eineindeutig
 \end{lemma}
 \begin{proof}
-	\leavevmode
 	\begin{itemize}
 		\item $\rho$ hermitesche Form, $\sigma$ wie oben in c) $\implies \sigma$ hermitesche Sesquilinearform.
 		\item $\sigma$ hermitesche Sesquilinearform, $\rho(v) := \frac 12 \sigma(v, v) \overset{\text{\tl UE\br}}