diff --git a/ana8.pdf b/ana8.pdf index 550fede..0a5b05d 100644 Binary files a/ana8.pdf and b/ana8.pdf differ diff --git a/ana8.tex b/ana8.tex index 2273130..4dd29aa 100644 --- a/ana8.tex +++ b/ana8.tex @@ -15,20 +15,17 @@ \begin{proof} Sei $x \in \mathbb{K}^{n}$. Dann ist - \begin{salign} + \begin{salign*} \Vert (\mathbb{I} + B) x \Vert &= \Vert x + B x\Vert \\ &\stackrel{\text{Dreiecksungl.}}{\ge } \Vert x \Vert - \Vert Bx \Vert \\ &\stackrel{\Vert Bx \Vert \le \Vert B \Vert \Vert x \Vert}{\ge } \Vert x \Vert - \Vert B \Vert \cdot \Vert x \Vert \\ &= ( \underbrace{1 - \Vert B \Vert}_{> 0}) \Vert x \Vert - .\end{salign} - Also hat die Gleichung $(\mathbb{I} + B) x = 0$ nur die Lösung $x = 0$, also - ist $(\mathbb{I} + B)$ injektiv und mit \ref{lemma:linabb} regulär. - - Bleibt zu zeigen: $\Vert (\mathbb{I} + B)^{-1} \Vert \le \frac{1}{1 - \Vert B \Vert}$. - Es gilt - \begin{salign} + \intertext{Also hat die Gleichung $(\mathbb{I} + B) x = 0$ nur die Lösung $x = 0$, also + ist $(\mathbb{I} + B)$ injektiv und mit \ref{lemma:linabb} regulär. + Bleibt zu zeigen: $\Vert (\mathbb{I} + B)^{-1} \Vert \le \frac{1}{1 - \Vert B \Vert}$. + Es gilt} 1 &= \Vert \mathbb{I}\Vert \\ &= \Vert (\mathbb{I} + B) (\mathbb{I} + B)^{-1} \Vert \\ &= \Vert (\mathbb{I} + B)^{-1} + B (\mathbb{I} + B)^{-1} \Vert \\ @@ -36,7 +33,7 @@ - \Vert B (\mathbb{I} + B)^{-1} \Vert \\ &\ge \Vert (\mathbb{I} + B)^{-1} \Vert - \Vert B \Vert \cdot \Vert (\mathbb{I} + B)^{-1} \Vert \\ &= (1 - \Vert B \Vert) \Vert (\mathbb{I} + B)^{-1} \Vert - .\end{salign} + .\end{salign*} Damit folgt die Behauptung. \end{proof} diff --git a/analysisII.pdf b/analysisII.pdf index d4716bc..6c7d7e7 100644 Binary files a/analysisII.pdf and b/analysisII.pdf differ diff --git a/lecture.cls b/lecture.cls index 580d9a4..be17257 100644 --- a/lecture.cls +++ b/lecture.cls @@ -162,10 +162,17 @@ % uses regular expressions to calculate the widest stackrel % to put additional padding on both sides of relation symbols \NewEnviron{salign} +{ + \begin{align} + \lec_insert_padding:V \BODY + \end{align} +} +% starred version that does no equation numbering +\NewEnviron{salign*} { \begin{align*} \lec_insert_padding:V \BODY - .\end{align*} + \end{align*} } % some helper variables @@ -210,7 +217,7 @@ } % replace all relations with align characters (&) and add the needed padding \regex_replace_all:nnN - { (&=|&\c{le}|&\c{ge}|&\c{stackrel}{.*?}{.*?}|&\c{neq}) } + { (\c{approx}&|&\c{approx}|\c{equiv}&|&\c{equiv}|=&|&=|\c{le}&|&\c{le}|\c{ge}&|&\c{ge}|&\c{stackrel}{.*?}{.*?}|\c{stackrel}{.*?}{.*?}&|&\c{neq}|\c{neq}&) } { \c{kern} \u{l_tmp_dim_needed} \1 \c{kern} \u{l_tmp_dim_needed} } \l__lec_text_tl \l__lec_text_tl