added homotopie figure

ana1.tex

@@ -33,7 +33,7 @@
             $0 < x \le 2$: $\forall n \ge \frac{2}{x}$, $f_n(x) = 0 = f(x)$
         \item $f_n(x) = x^{n}$, $f_n\colon [0,1] \to \R$.
             \begin{figure}[ht!]
-                \begin{tikzpicture}[scale = 0.97]
+                \begin{tikzpicture}[scale = 0.95]
                     \begin{axis}%
                         [grid=both,
                          minor tick num=4,
@@ -50,7 +50,7 @@
                         \addplot[domain=0:1,samples=50,smooth,red] {x^4};
                       \end{axis}
                 \end{tikzpicture}
-                \begin{tikzpicture}[scale = 0.97]
+                \begin{tikzpicture}[scale = 0.95]
                     \begin{axis}%
                         [grid=both,
                          minor tick num=4,
@@ -61,7 +61,7 @@
                          ymax=1,
                          ymin=0
                         ]
-                        \addplot[domain=0:1.1,samples=1000,smooth,red] {(and(x>=0  , x<1)   * 0 + (and(x>=1, x< 10) * 1};
+                        \addplot[domain=0:1.001,samples=1000,red] {(and(x>=0  , x<1)   * 0 + (and(x>=1, x< 10) * 1};
                       \end{axis}
                 \end{tikzpicture}
                 \caption{$f_n(x) = x^{n}$ und ihre Grenzfunktion}
@@ -96,7 +96,7 @@
         \coloneqq \{ (x, y) \in D \times \R  \mid | y - f(x)| < \epsilon\} 
     .\] 
     \begin{figure}[ht!]
-        \begin{tikzpicture}[scale = 0.97]
+        \begin{tikzpicture}[scale = 0.95]
             \begin{axis}%
                 [grid=both,
                  minor tick num=4,
@@ -113,7 +113,7 @@
                 \addplot[domain=0:1,samples=50,smooth,dashed, blue] {0.3*sin(deg(8*x)) + 0.2*x + 0.3};
               \end{axis}
         \end{tikzpicture}
-        \begin{tikzpicture}[scale = 0.97]
+        \begin{tikzpicture}[scale = 0.95]
             \begin{axis}%
                 [grid=both,
                  minor tick num=4,
@@ -124,10 +124,10 @@
                  ymax=1,
                  ymin=-0.4,
                 ]
-                \addplot[domain=0:1.1,samples=50,smooth,dashed, blue] {0.3};
+                \addplot[domain=0:1.001,samples=1000,red] {(and(x>=0  , x<1)   * 0 + (and(x>=1, x< 10) * 1};
-                \addplot[domain=0:1.001,samples=1000,smooth,red] {(and(x>=0  , x<1)   * 0 + (and(x>=1, x< 10) * 1};
                 \addplot[domain=0:1,samples=50,smooth,blue] {x^8};
-                \addplot[domain=0:1.1,samples=50,smooth,dashed, blue] {-0.3};
+                \addplot[domain=0:1,samples=50,smooth,dashed, blue] {0.3};
+                \addplot[domain=0:1,samples=50,smooth,dashed, blue] {-0.3};
               \end{axis}
         \end{tikzpicture}
         \caption{Links: ,,$\epsilon$-Schlauch``, Rechts: \ref{bsp:punktweisekonvergenz} (b) nicht gleichmäßig konvergent}
@@ -141,7 +141,7 @@
     $f_n\colon [0,2] \to \R$, $f_n(x) \coloneqq \frac{1}{n} \sin \left( 2\pi n \cdot x \right) $ konvergiert
     gleichmäßig gegen $f(x) = 0$.
     \[
-        | \sin(2 \pi n \cdot x) | \le 1 \quad \forall x \in R \implies
+        | \sin(2 \pi n \cdot x) | \le 1 \quad \forall x \in \R \implies
         f_n(x) \xrightarrow{n \to \infty} 0 \quad \forall x \in [0,2] \implies \text{punktweise Konvergenz}
     .\] Sei nun $\epsilon > 0$, dann $\exists N \in \N$ mit $\frac{1}{N} < \epsilon$. Damit folgt
     \[
@@ -197,10 +197,10 @@
     Es sei $D = [a,b]$ und $f\colon [a,b] \to \R$ stetig. Dann gilt
     \begin{enumerate}[(i)]
         \item $(f_n)_{n\in\N}$ konvergiert gleichmäßig gegen $f \colon [a,b] \to \R
-            \iff \Vert f_n - f \Vert_\infty \to 0$, $n \to \infty$
+            \iff \Vert f_n - f \Vert_\infty \xrightarrow{n \to \infty} 0$.
         \item Cauchy-Kriterium: $(f_n)_{n\in\N}$ konvergiert gleichmäßig auf $[a,b]
             \iff \forall \epsilon > 0$ $\exists N_0 \in \N$, s.d. $\forall n, m \ge N_0$ gilt
-            $\Vert f_n - f_m \Vert_{\infty} < \epsilon$
+            $\Vert f_n - f_m \Vert_{\infty} < \epsilon$.
     \end{enumerate}
 \end{satz}
 
@@ -280,7 +280,7 @@
 Wichtige Frage: Wenn $f_n \to f$, gilt dann auch $\int_{a}^{b} f_n \to \int_{a}^{b} f$?
 
 \begin{satz}
-    Seien $f_n \colon [a,b] \to R$ stetige Riemann-integrierbare Funktionen und $f\colon [a,b] \to \R$
+    Seien $f_n \colon [a,b] \to \R$ stetige Riemann-integrierbare Funktionen und $f\colon [a,b] \to \R$
     mit $\Vert f_n - f \Vert_\infty \xrightarrow{n \to \infty} 0$ (gleichmäßige Konvergenz). Dann gilt
     $f$ stetig und Riemann-integrierbar und
     \[
@@ -296,7 +296,7 @@ Wichtige Frage: Wenn $f_n \to f$, gilt dann auch $\int_{a}^{b} f_n \to \int_{a}^
     \begin{align*}
         \left| \int_{a}^{b} f_n(x) dx - \int_{a}^{b} f(x) dx\right| &= \left| \int_{a}^{b} (f_n(x) - f(x))dx\right|\\
         &\le \int_{a}^{b} |f_n(x) - f(x)| dx\\
-        &\le \max_{x \in [a,b]} |f_n(x) - f(x)| \cdot (a-b)\\
+        &\le \max_{x \in [a,b]} |f_n(x) - f(x)| \cdot (b-a)\\
         &=\underbrace{\norm{f_n - f}_\infty}_{\xrightarrow{n \to \infty} 0}\underbrace{(b-a)}_{\text{beschränkt}}.
     \end{align*}
 \end{proof}
@@ -304,32 +304,32 @@ Wichtige Frage: Wenn $f_n \to f$, gilt dann auch $\int_{a}^{b} f_n \to \int_{a}^
 \begin{satz}\label{permutesumint}
     Seien $f_n \colon [a,b] \to \R$ stetige Funktionen $(n \in \N)$ und die Reihe
     $\sum_{n=0}^{\infty} f_n$ konvergiere gleichmäßig auf $[a,b]$, d.h. die Folge der Partialsummen
-    $(\sum_{n=0}^{N} f_n)_{n\in\N}$ sei gleichmäßig konvergent. Dann gilt:
+    $(\sum_{k=0}^{n} f_k)_{n\in\N}$ sei gleichmäßig konvergent. Dann gilt:
     \[
         f(x) \coloneqq \sum_{n=0}^{\infty} f_n(x) \quad \forall x \in [a,b]
     .\] ist stetig und Riemann-integrierbar und
     \begin{align*}
-        \int_{a}^{b} f(x) dx &= \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) dx \\
+        \int_{a}^{b} f(x) \d x &= \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) \d x \\
-        \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) dx &= \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) dx  
+        \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) \d x &= \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) \d x
     ,\end{align*} d.h. die Reihe wird gliedweise integriert.
 \end{satz}
 
 \begin{proof}
-    $f_n$ sind stetig $\implies \sum_{n=0}^{N} f_n(x)$ stetig und Riemann-integrierbar.
+    $f_n$ sind stetig $\implies \sum_{k=0}^{n} f_k(x)$ stetig und Riemann-integrierbar.
 
-    Die Folge der Partialsummen $(\sum_{n=0}^{N} f_n)_{n\in\N}$ konvergiert gleichmäßig, d.h.
+    Die Folge der Partialsummen $(\sum_{k=0}^{n} f_k)_{n\in\N}$ konvergiert gleichmäßig, d.h.
     \[
-        f(x) = \sum_{n=0}^{\infty} f_n(x) \text{ stetig } = \lim_{n \to \infty} \left( \sum_{n=0}^{N} f_n(x) \right) \text{ gleichmäßiger Limes}
+        f(x) = \sum_{n=0}^{\infty} f_n(x) \text{ stetig } = \lim_{n \to \infty} \left( \sum_{k=0}^{n} f_k(x) \right) \text{ gleichmäßiger Limes}
     .\] Es gilt
     \[
-        \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) dx =
+        \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) \d x =
-        \sum_{n=0}^{N} \int_{a}^{b} f_n(x) dx + \int_{a}^{b} \sum_{n=N+1}^{\infty} f_n(x) dx
+        \sum_{n=0}^{N} \int_{a}^{b} f_n(x) \d x + \int_{a}^{b} \sum_{n=N+1}^{\infty} f_n(x) \d x
     .\] Die Reihe konvergiert gleichmäßig, d.h. $\forall \epsilon > 0$ $\exists N_{\epsilon} \in \N$, s.d.
     $\forall N \ge N_{\epsilon}$ gilt
     \begin{align*}
-        &\left| \int_{a}^{b} \sum_{n=N+1}^{\infty} f_n(x) dx \right| \le \epsilon \cdot (b-a)  \\
+        &\left| \int_{a}^{b} \sum_{n=N+1}^{\infty} f_n(x) \d x \right| \le \epsilon \cdot (b-a)  \\
-        \implies &\left| \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) dx - \sum_{n=0}^{N} \int_{a}^{b} f_n(x) dx \right| \le \epsilon \\
+        \implies &\left| \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) \d x - \sum_{n=0}^{N} \int_{a}^{b} f_n(x) \d x \right| \le \epsilon \cdot (b-a)\\
-        \implies& \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) dx = \lim_{N \to \infty} \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) dx = \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) dx   
+        \implies& \int_{a}^{b} \sum_{n=0}^{\infty} f_n(x) \d x = \lim_{N \to \infty} \sum_{n=0}^{N} \int_{a}^{b} f_n(x) \d x = \sum_{n=0}^{\infty} \int_{a}^{b} f_n(x) \d x   
     .\end{align*}
 \end{proof}
 
@@ -338,7 +338,7 @@ Wichtige Frage: Wenn $f_n \to f$, gilt dann auch $\int_{a}^{b} f_n \to \int_{a}^
     Dann konvergiert $\sum_{n=0}^{\infty} a_n (x - x_0)^{n}$ in jedem Intervall
     $[x_0 - r, x_0 + r]$ für $0 < r < \rho$ gleichmäßig und für $[a,b] \subset \;]x_0 - \rho, x_0 + \rho[$ gilt
     \[
-        \int_{a}^{b} \sum_{n=0}^{\infty} a_n(x - x_0)^{n} dx = \sum_{n=0}^{\infty} \frac{a_n}{n+1}(x-x_0)^{n+1}
+        \int_{a}^{b} \sum_{n=0}^{\infty} a_n(x - x_0)^{n} \d x = \sum_{n=0}^{\infty} \frac{a_n}{n+1}(x-x_0)^{n+1}
         \Big|_{a}^{b}
     .\] 
 \end{korollar}

ana14.tex

@@ -150,13 +150,12 @@ Gesucht: Abbildung $f$, s.d. $y = f(x)$ mit $(x,f(x))$ löst \eqref{doublestar}
 
     \begin{minipage}[c]{0.35\textwidth}
         \begin{tikzpicture}[scale=0.8]
-            \draw[->] (0,-1.5) -- node[right,pos=.9] {$(x_0,y_0)$} (0,1.5);
+            \draw[->] (0,-1.5) -- node[right,pos=.9] {} (0,1.5);
             \draw[->] (-1.5,0) -- node[below,pos=1.3] {$F(x,y) = 0$} (1.5,0);
             \draw (0,0) circle (1cm);
-            \draw[fill] (0,1) circle (2pt);
+            \draw[fill=red,draw=red] (0,1) circle (2pt);
-            \draw[fill=red,draw=red] (0,0) circle (2pt);
+            \node[color=red] at (.3,1) {)};
-            \node[color=red] at (.3,0) {)};
+            \node[color=red] at (-.3,1) {(};
-            \node[color=red] at (-.3,0) {(};
             \draw[fill=blue,draw=blue] (1,0) circle (2pt);
             \node[color=blue] at (1.3,0) {)};
             \node[color=blue] at (.7,0) {(};
@@ -172,7 +171,7 @@ Für $\mathunderline{blue}{x_0 =1,\; y_0 = 0}$ hingegen gibt es keine Umgebung v
 \end{bsp}
 \begin{satz}[Satz über implizite Funktionen]
     \label{satz:sif}
-    Sei $D^x \subset \R^n$ offen, $D^y \subset \R^m$ offen, $F^1 \in C^1 (D^x\times D^y,\R^m)$ (stetig differenzierbar) und $(\hat{x}, \hat{y})\in D^x\times D^y$ mit $F(\hat x, \hat y) = 0$. Die $m\times m$ Matrix 
+    Sei $D^x \subset \R^n$ offen, $D^y \subset \R^m$ offen, $F \in C^1 (D^x\times D^y,\R^m)$ (stetig differenzierbar) und $(\hat{x}, \hat{y})\in D^x\times D^y$ mit $F(\hat x, \hat y) = 0$. Die $m\times m$ Matrix 
     \[
         D_yF(x,y) =\begin{pmatrix}
             \pdv{F_1}{y_1} &\dots &\pdv{F_1}{y_m}\\

ana17.tex

@@ -43,7 +43,7 @@
     Sei $f(t,x)$ stetig auf $D \subseteq \R \times \R^{n}$, $D$ abgeschlossen und $(t_0, y_0) \in D$.
     Sei weiter $y(t)$ Lösung der AWA für $t \in [t_0 - T, t_0 + T]$.
 
-    Dann ist $y$ nach rechts und links auf ein maximales Existenzintervall $I_{\text{max}} = (t_0 - T^{*}, t_0 + T^{*})$
+    Dann ist $y$ nach rechts und links auf ein maximales Existenzintervall $I_{\text{max}} = (t_0 - T_{*}, t_0 + T^{*})$
     bis zum Rand von $D$ (stetig diff'bar) fortsetzbar.
 \end{satz}
 

ana2.tex

@@ -7,7 +7,7 @@ Jetzt: Fourier Analysis!
 \section{Der Funktionen-Raum \texorpdfstring{$R[a,b]$}{\textit{R[a,b]}}}
 
 \begin{definition}
-    Eine $f\colon [a,b] \to \mathbb{C}$, $[a,b] \subset \R$ heißt
+    Eine Funktion $f\colon [a,b] \to \mathbb{C}$, $[a,b] \subset \R$ heißt
     Riemann-integrierbar auf $[a,b]$, falls $\text{Re}(f)$ und
     $\text{Im}(f)$ Riemann-integrierbar sind.
     Man setzt
@@ -21,7 +21,7 @@ Jetzt: Fourier Analysis!
     \begin{enumerate}
         \item Analog: Definitionen von uneigentlichen Riemann-integralen für
             komplexwertige Funktionen
-        \item Die Rechenregeln f+r das reelle Riemann-integral übertragen sich auf komplexwertige
+        \item Die Rechenregeln für das reelle Riemann-integral übertragen sich auf komplexwertige
             Integrale, insbesondere gilt:
             \begin{align*}
                 \int_{a}^{b} \overline{f(x)} \d x &= \int_{a}^{b} \left( \text{Re}f(x) - i \cdot \text{Im}f(x) \right)  \d x \\
@@ -62,7 +62,7 @@ Jetzt: Fourier Analysis!
 \end{definition}
 
 \begin{definition}[Skalarprodukt]
-    Sei $V$ Vektorraum über $\mathbb{K}$. Die Abbildung $<\cdot, \cdot >\colon V \times V \to \mathbb{K}$
+    Sei $V$ Vektorraum über $\mathbb{K}$. Die Abbildung $\langle\cdot, \cdot \rangle\colon V \times V \to \mathbb{K}$
     heißt Skalarprodukt auf $V$, falls $\forall u, v, w \in V$ und $\alpha \in \mathbb{K}$ gilt:
     \begin{enumerate}[(S1)]
         \item $\langle v, u\rangle = \overline{\langle u, v\rangle}$ (Symmetrie,
@@ -150,7 +150,7 @@ Jetzt: Fourier Analysis!
 
 \begin{definition}[Konvergenz im Quadratischen Mittel ($L^2$-Konvergenz)]
     Seien $f_n \in R[a,b], n \in \N, f \in R[a,b]$. $f_n$ konvergiert gegen $f$ im Quadratischen
-    Mittel $f_n \xrightarrow[L^2]{n \to \infty}$, wenn gilt
+    Mittel $f_n \xrightarrow[L^2]{n \to \infty}f$, wenn gilt
     \[
         \Vert f_n - f \Vert_{L^2} \xrightarrow{n \to \infty} 0
     .\] Das heißt, dass die quadratische Abweichung zwischen $f_n$ und $f$ gegen Null konvergiert:

ana20.tex

@@ -4,7 +4,7 @@
     \chapter{Kurven im \texorpdfstring{$\R^{n}$}{R\unichar{"207F}}}
     \section{Kurven}
     \begin{definition}[Kurve]
-        Eine Kurve $\gamma$ im $\R^n$ ist eine stetige Abbildung $\gamma\colon I\to \R^n$, $I$ Intervall (z.B. $I = [a,b]$ oder $I = \R$.) Schreibweise: \[\gamma(t) = \begin{pmatrix}
+        Eine Kurve $\gamma$ im $\R^n$ ist eine stetige Abbildung $\gamma\colon I\to \R^n$, $I$ Intervall (z.B. $I = [a,b]$ oder $I = \R$). Schreibweise: \[\gamma(t) = \begin{pmatrix}
             \gamma_1(t)\\
             \vdots\\
             \gamma_n(t)
@@ -12,8 +12,44 @@
         Dabei gilt $\gamma$ stetig $\Leftrightarrow$ $\gamma_i$ stetig $\forall i = 1,\dots, n$.
     \end{definition}
     \begin{bsp}
+        \begin{figure}[h]
+            \centering
+            \captionsetup[subfigure]{justification=justified,singlelinecheck=false}
+            \begin{subfigure}[b]{0.3\textwidth}
+                \begin{tikzpicture}
+                    \draw[color=white] (-.5,-.5) -- (0,0);
+                    \draw[->,color=blue, thick] (0.5,0.5) -- node[above left] {$v$} (1.5,1.5);
+                    \draw (0,0) -- (2,2);
+                    \node at (0.5,0.5) {\textbullet};
+                    \node[below right] at (0.5,0.5) {$a$};
+                \end{tikzpicture}
+                \subcaption{Beispiel 1, Gerade}
+            \end{subfigure}
+            \begin{subfigure}[b]{0.3\textwidth}
+                \begin{tikzpicture}
+                    \draw (0,0) circle (1.5cm);
+                    \node at (0,0) {\textbullet};
+                    \node[below right] at (0,0) {$a$};
+                    \draw[->, thick] (0,0) -- node[pos=.5, above left] {$r$} (1.05,1.05);
+                \end{tikzpicture}
+                \subcaption{Beispiel 2, Kreis}
+            \end{subfigure}
+            \begin{subfigure}[b]{0.35\textwidth}
+                \begin{tikzpicture}[scale=0.6]
+                    \begin{axis}[
+                        grid = major
+                        ]
+                        \addplot3[variable=t,mesh,samples=70,domain=0:2] (cos(360*t), { sin(360* t) }, 0.5*t);
+                    \end{axis}
+                \end{tikzpicture}
+                \subcaption{Beispiel 3, Helix}
+            \end{subfigure}
+        \end{figure}
         \begin{enumerate}
-            \item Gerade in $\R^n$ durch einen Punkt $a\in \R^n$ in Richtung $v \in \R^n\setminus\{0\}: \gamma(t) = a + tv,\; I = \R$.
+            \item Gerade in $\R^n$ durch einen Punkt $a\in \R^n$ in Richtung $v \in \R^n\setminus\{0\}$:
+            \[
+                \gamma(t) = a + tv,\; I = \R.
+            \]
             \item Kreis in $\R^2$ um $a\in \R^2$ mit Radius $r > 0$
             \[
                 \gamma(t) = a + r\begin{pmatrix}
@@ -24,7 +60,7 @@
             \item Helix in $\R^3$ mit $r > 0, c \neq 0$.
             \[
                 \gamma(t) = \begin{pmatrix}
-                    r\cos(T)\\
+                    r\cos(t)\\
                     r\sin(t)\\
                     c\cdot t
                 \end{pmatrix}
@@ -47,6 +83,27 @@
             \]
         \end{enumerate}
     \end{definition}
+    \begin{figure}
+        \centering
+        \begin{subfigure}[b]{0.4\textwidth}
+            \begin{tikzpicture}[scale=0.7]
+                \begin{axis}[axis lines=middle]
+                    \addplot [domain=-2:2,samples=40]({x^2-1},{x^3-x}); 
+                    \node[color=red] (a) at (0,0) {\textbullet};
+                \end{axis}
+            \end{tikzpicture}
+            \subcaption{Beispiel 4: nicht injektive Kurve,\\ \textcolor{red}{\textbullet} liegt bei $t = \pm 1$.}
+        \end{subfigure}
+        \begin{subfigure}[b]{0.4\textwidth}
+            \begin{tikzpicture}[scale=0.7]
+                \begin{axis}[axis lines=middle]
+                    \addplot [domain=-2:2,samples=40]({x^2},{x^3}); 
+                    \node[color=red] (a) at (0,0) {\textbullet};
+                \end{axis}
+            \end{tikzpicture}
+            \subcaption{Beispiel 5: Neilsche Parabel, \textcolor{red}{\textbullet} liegt bei $t = 0$ und ist ein singulärer Punkt.}
+        \end{subfigure}
+    \end{figure}
     \begin{bsp}
         \begin{enumerate}
             \item Gerade: $\gamma(t) = a + v\cdot t$.
@@ -109,7 +166,7 @@
     \begin{definition}[Tangente]
         Sei $\gamma\in C^1(I;\R^n)$. Sei ein $t_0\in I$ regulär (d.h. $\gamma'(t_0) \neq 0$). Dann ist die Tangente an $\gamma(t_0)$ eine Gerade durch $\gamma(t_0)$ in Richtung $\gamma'(t_0)$
         \[
-            \gamma(t_0) + s\gamma'(t_0) \mid s\in \R\}.  
+            \{\gamma(t_0) + s\gamma'(t_0) \mid s\in \R\}.  
         \]
     \end{definition}
     \section{Die Bogenlänge}
@@ -124,7 +181,7 @@
     \]
     Seien $\mathcal{Z}_1$ und $\mathcal{Z}_2$ zwei Zerlegungen und $\mathcal{Z}^*$ eine gemeinsame Verfeinerung. Dann gilt $S(\mathcal{Z}^*) \geq \max(S(\mathcal{Z}_1), S(\mathcal{Z}_2))$
     \begin{definition}[Rektifizierbarkeit]
-        Eine stetige Kurve $\gamma\in C^0(I;\R^n)$ heißt rektifizierbar, wenn die Menge aller Längen $S(\mathcal{Z})$ von Polygonen zu Partitionen $\mathcal{Z}$ von $I$ beschränkt ist. In diesem Fall heißt $S(\gamma) \colon \sup\{S(\mathcal{Z})\mid \mathcal{Z} \text{ Partition von } I\}$ die Länge von $\gamma$, in anderen Worten $\forall\epsilon > 0,\; \exists \delta > 0, \;\forall$ Partitionen von $I$ gilt:
+        Eine stetige Kurve $\gamma\in C^0(I;\R^n)$ heißt rektifizierbar, wenn die Menge aller Längen $S(\mathcal{Z})$ von Polygonen zu Partitionen $\mathcal{Z}$ von $I$ beschränkt ist. In diesem Fall heißt $S(\gamma) \coloneqq \sup\{S(\mathcal{Z})\mid \mathcal{Z} \text{ Partition von } I\}$ die Länge von $\gamma$, in anderen Worten $\forall\epsilon > 0,\; \exists \delta > 0, \;\forall$ Partitionen von $I$ gilt:
         \[
             \max_i |t_{i-1} - t_i| < \delta \implies |S(\mathcal{Z}) - S(\gamma)| < \epsilon
         \]
@@ -142,7 +199,7 @@
             \left.\gamma\right|_{[s_{i-1}, s_i]} \in C^1([s_{i-1},s_i], \R^n),\quad \forall i = 1, \dots, M.  
         \]
         Dann ist $\gamma$ rektifizierbar und hat die Länge \[S(\gamma) = \int_a^b \norm{\gamma'(t)}_2\d t = \sum_{i = 1}^{M}\int_{s_{i-1}}^{s_i} \norm{\gamma'(t)}_2 \d t.\]
-        Insbesondere hat der Graph einer $C_1$-Funktion $f\in C^1([a,b], \R), \quad \gamma_f(t)\colon (t, f(t))^T$ die Länge \[S(\gamma_f) = \int_a^b \sqrt{1 + f'(t)^2} \d t.\]
+        Insbesondere hat der Graph einer $C^1$-Funktion $f\in C^1([a,b], \R), \ \gamma_f(t)\coloneqq (t, f(t))^T$ die Länge \[S(\gamma_f) = \int_a^b \sqrt{1 + f'(t)^2} \d t.\]
      \end{satz}
      \begin{proof}
          Sei $\mathcal{Z} = \{t_0, \dots, t_N\}$ eine Partition, betrachte $\mathcal{Z}^* = \mathcal{Z} \cup \{s_0,\dots, s_M\} = \{x_0,\dots, x_K\}$. Dann gilt
@@ -158,7 +215,7 @@
         \[
             S(\mathcal{Z}) \geq \int_a^b \norm{\gamma'(t)} \d t - \epsilon.  
         \]
-        Fixiere dazu ein $\epsilon > 0$. Wähle dann eine Treppenfunktion $\varphi$ auf $[a,b]$ mit \[\norm{\gamma'(t) - \varphi(t)} \le \frac{\epsilon}{2(b-a)} \forall t\in [a,b]\setminus\{s_0,\dots, s_M\}\]
+        Fixiere dazu ein $\epsilon > 0$. Wähle dann eine Treppenfunktion $\varphi$ auf $[a,b]$ mit \[\norm{\gamma'(t) - \varphi(t)} \le \frac{\epsilon}{2(b-a)} \quad \forall t\in [a,b]\setminus\{s_0,\dots, s_M\}\]
         ($\varphi$ existiert, weil $\gamma'(t)$ stückweise stetig ist). Wähle ferner eine (feine) Partition $a = t_0< t_1< \dots < t_N = b$, s.d. $\varphi\big|_{[t_{i-1}, t_i]}$ konstant ist $\forall i = 1,\dots, N$. Dann gilt nämlich 
         \begin{salign*}
             S(Z) &= \sum_{i = 1}^{N}\norm{\int_{t_{i-1}}^{t_i} \gamma'(t) \d t}\\
@@ -168,11 +225,35 @@
             &\geq \sum_{i = 1}^{N}\norm{\int_{t_{i-1}}^{t_i} \varphi(t) \d t} - \sum_{i = 1}^{N}\frac{\epsilon}{2(b-a)}|t_i-t_{i-1}|\\
             &= \sum_{i = 1}^{N}\norm{\int_{t_{i-1}}^{t_i} \varphi(t) \d t} - \frac{\epsilon}{2}\\
             &\stackrel{\varphi(t) = \mathrm{const}}{=} \sum_{i = 1}^{N}\int_{t_{i-1}}^{t_i} \norm{\varphi(t)} \d t - \frac{\epsilon}{2}\\
-            &= \sum_{i = 1}^{N}\norm{\gamma'(t) + (\varphi(t) - \gamma'(t))} \d t - \frac{\epsilon}{2}\\
+            &= \sum_{i = 1}^{N}\int_{t_{i-1}}^{t_i}\norm{\gamma'(t) + (\varphi(t) - \gamma'(t))} \d t - \frac{\epsilon}{2}\\
             &\stackrel{\text{analog}}{\geq} \sum_{i = 1}^{N}\int_{t_{i-1}}^{t_i} \norm{\gamma'(t)} \d t - \epsilon = \int_a^b\norm{\gamma'(t)} \d t - \epsilon
         \end{salign*}
         Also existiert für ein beliebiges $\epsilon > 0$ eine Zerlegung $\mathcal{Z}$ mit $S(\mathcal{Z}) \geq \int_a^b\norm{\gamma'(t)}\d t - \epsilon$. Zusammen mit $S(y) \leq \int_a^b\norm{\gamma'(t)}\d t$ folgt $S(\gamma) = \int_a^b \norm{\gamma'(t)} \d t$.
      \end{proof}
+     \begin{figure}[h]
+        \centering
+        \captionsetup[subfigure]{justification=justified,singlelinecheck=false}
+        \begin{subfigure}[b]{0.3\textwidth}
+            \begin{tikzpicture}
+                \draw[color=white] (-.5,-.5) -- (0,0);
+                \draw[color=black] (1.5,0) -- node[below] {$r$} (0,0) -- node[below] {$r$} (200:1.5);
+                \draw[color=black] (.4,0) arc [start angle=0, end angle=200, radius=.4] node[pos=0.45, below] {$\varphi$};
+                \draw[color=blue] (1.5,0) arc [start angle=0, end angle=200, radius=1.5] node[near start, right] {$\gamma$};
+            \end{tikzpicture}
+            \subcaption{Beispiel 1: Kreisbogen}
+        \end{subfigure}
+        \begin{subfigure}[b]{0.6\textwidth}
+            \begin{tikzpicture}
+                \begin{axis}[axis equal image, axis lines=middle, xticklabels={0, $\pi$, $2\pi$}, xtick={0,3.14,6.28}, ymin=0,ymax=2.2, xmax=6.5, smooth]
+                    \addplot[blue, domain=0:6.28] ({x-sin(180/3.14 * x)},{1-cos(180/3.14 * x)});
+                    \node[blue] at (5.9,1) {$\gamma$};
+                    \draw (3.14,1) circle [radius=1];
+                    \node at (3.14,2) {\textbullet};
+                \end{axis}
+            \end{tikzpicture}
+            \subcaption{Beispiel 2: Zykloide}
+        \end{subfigure}
+     \end{figure}
      \begin{bsp}
          \begin{enumerate}
              \item Kreisbogen: $\gamma(t) = \begin{pmatrix}
@@ -187,15 +268,16 @@
              Wir erhalten $\gamma'(t) = \begin{pmatrix}
                  1 - \cos(t)\\\sin(t)
              \end{pmatrix}$ und daher
-             $\norm{\gamma'(t)}_2^2 = 1 - 2 \cos(t) + \cos^2(t) + \sin^2(t) = 2 - 2\cos(t) = 4 \sin^2(\frac{t}{2})$. Insgesamt gilt also
+             $\norm{\gamma'(t)}_2^2 = 1 - 2 \cos(t) + \cos^2(t) + \sin^2(t) = 2 - 2\cos(t) = 4 \sin^2\!\left(\frac{t}{2}\right)$. Insgesamt gilt also
              \[
-                S(\gamma) = \int_0^{2\pi} \underbrace{\left|2\sin\left(\frac{t}{2}\right)\right|}_{\geq 0} \d t \oldstackrel{x = \frac{t}{2}}{=} 4\int_0^\pi \sin(x) \d x = 8\]
+                S(\gamma) = \int_0^{2\pi} \left|\smash[b]{\underbrace{2\sin\left(\frac{t}{2}\right)}_{\geq 0}}\right| \d t \oldstackrel{x = \frac{t}{2}}{=} 4\int_0^\pi \sin(x) \d x = 8
+                \vphantom{\underbrace{2\sin\left(\frac{t}{2}\right)}_{\geq 0}}\]
          \end{enumerate}
      \end{bsp}
      \section{Parametertransformationen}
      \begin{definition}[Parametertransformation]
         \begin{enumerate}
-            \item Sei $\varphi\colon [\alpha, \beta]\! \to\! [a,b]$ eine $C^k$-Abbildung $(k\in \N_0 \cup \infty_+)$ zwischen den Intervallen $[\alpha,\beta]$ und $[a,b]$, 
+            \item Sei $\varphi\colon [\alpha, \beta]\! \to\! [a,b]$ eine $C^k$-Abbildung $(k\in \N_0 \cup +\infty)$ zwischen den Intervallen $[\alpha,\beta]$ und $[a,b]$, 
             sei außerdem $\varphi$ bijektiv und $\varphi^{-1} \in C^k([a,b],\;[\alpha, \beta])$.
             Dann heißt $\varphi$ eine $C^k$-Parametertransformation. 
             \item Sei weiter $\gamma\colon [a,b]\to\R^n$ eine Kurve. Dann heißt die Kurve $\delta:[\alpha, \beta] \to \R^n,\;\delta \coloneqq \gamma\circ \varphi$ die Umparametrisierung von $\gamma$ (mittels $\varphi$).
@@ -210,8 +292,8 @@
                 S(\gamma\circ \varphi) &= \int_\alpha^\beta \norm{(\gamma\circ \varphi)'(\tau)} \d \tau\\
                 &\stackrel{\text{Kettenregel}}{=} \int_\alpha^\beta\norm{\gamma'(\varphi(\tau)) \cdot \varphi'(\tau)} \d \tau\\
                 &= \begin{cases}
-                    \int_\alpha^\beta \norm{\gamma'(\varphi(\tau))}\cdot \varphi'(\tau) \d \tau&\varphi'(\tau) > 0, \tau \in [a,b]\\
+                    \int_\alpha^\beta \norm{\gamma'(\varphi(\tau))}\cdot \varphi'(\tau) \d \tau&\varphi'(\tau) > 0, \tau \in [\alpha, \beta]\\
-                    -\int_\alpha^\beta \norm{\gamma'(\varphi(\tau))}\cdot \varphi'(\tau) \d \tau&\varphi'(\tau) < 0, \tau \in [a,b]\\
+                    -\int_\alpha^\beta \norm{\gamma'(\varphi(\tau))}\cdot \varphi'(\tau) \d \tau&\varphi'(\tau) < 0, \tau \in [\alpha, \beta]\\
                 \end{cases}\\
                 &\stackrel{\substack{t=\varphi(\tau)\\\d t = \varphi'(\tau)\d \tau}}{=}
                 \begin{cases}
@@ -221,9 +303,9 @@
                 &= \int_a^b\norm{\gamma'(t)} \d t\\
                 &= S(\gamma)
             \end{salign*}
-            \item Umparametrisierung auf Bogenlänge. Sei $\gamma\colon [a,b] \to \R^n$ eine reguläre $C^1$-Kurve, d.h. $\gamma'(t) \neq 0\forall t\in [a,b]$. Definiere die Abbildung $\sigma\colon [a,b] \to [0, S(\gamma)]$ durch 
+            \item Umparametrisierung auf Bogenlänge. Sei $\gamma\colon [a,b] \to \R^n$ eine reguläre $C^1$-Kurve, d.h. $\gamma'(t) \neq 0 \ \forall t\in [a,b]$. Definiere die Abbildung $\sigma\colon [a,b] \to [0, S(\gamma)]$ durch 
             \[
-                \sigma(t) \coloneqq \int_a^t\norm{\gamma'(\tau)} \d \tau \left(= S(\gamma(t))\bigg|_{[a,t]}\right).
+                \sigma(t) \coloneqq \int_a^t\norm{\gamma'(\tau)} \d \tau \left(= S\left(\gamma(t)\big|_{[a,t]}\right)\right).
             \]
             Wir können zeigen, dass $\varphi\coloneqq \sigma^{-1}$ eine orientierungstreue $C^1$-Parametertransformation ist und für die (\glqq auf Bogenlänge\grqq) umparametrisierte Kurve $\beta\colon [0,S(\gamma)]\to \R^n$ gilt \[S\left(\beta\big|_{[0,x]}\right) = x,\; \norm{\beta'(x)} = 1,\; \forall x\in [0,S(\gamma)].\]
             \begin{proof}
@@ -235,4 +317,33 @@
             \end{proof}
         \end{enumerate}
     \end{bem}
+
+    \begin{bsp}
+        Umparametrisierung auf Bogenlänge einer Zykloide: Es gilt $\gamma(t) = (t-\sin t, 1-\cos t)^T$ und damit
+        \begin{align*}
+            \norm{\gamma'(t)} &= 2\sin\left(\frac{t}{2}\right), \qquad 0\le t \le 2\pi\\
+            \implies \norm{\gamma'(t)} &> 0 \qquad \text{für }  2\varepsilon \le t \le 2\pi-2\varepsilon, \ \varepsilon > 0
+        \end{align*}
+        Betrachte also $\gamma \colon [2\varepsilon, 2\pi-2\varepsilon] \to \R^2$. Wir definieren
+        \begin{salign*}
+            \sigma(t) &= S\left(\gamma\big|_{[2\varepsilon,t]}\right)\\
+            &= \int_{2\varepsilon}^t \norm{\gamma'(\tau)} \d \tau \\
+            &= 2\int_{2\varepsilon}^t \sin\left(\frac{\tau}{2}\right) \d \tau \\
+            &\stackrel{\substack{s=\tau/2\\\mathrm{d} s=\mathrm{d}\tau/2}}{=} 4\int_{\varepsilon}^{t/2} \sin s \d s\\
+            &= -4\cos s\big|_{\varepsilon}^{t/2}
+             = 4\left(\cos\varepsilon - \cos\frac{t}{2}\right)
+        \end{salign*}
+        Somit gilt $\sigma \colon [2\varepsilon,2\pi-2\varepsilon] \to [0,8\cos\varepsilon]$. Ziel:
+        \begin{align*}
+            \varphi \colon [0,8\cos\varepsilon] &\to [2\varepsilon,2\pi-2\varepsilon]\\
+            s &\mapsto \varphi(s)=t
+        \end{align*}
+        Dazu setzen wir $\varphi = \sigma^{-1}$ und bestimmen die Umkehrfunktion von $\sigma$
+        \begin{align*}
+            s &= 4\left(\cos\varepsilon - \cos\frac{t}{2}\right)\\
+            \implies \cos\frac{t}{2} &= \cos\varepsilon - \frac{s}{4}\\
+            \implies t &= \underbrace{2 \arccos\left(\cos\varepsilon-\frac{s}{4}\right)}_{\varphi\mathrlap{(s), \ s \in [0,8\cos\varepsilon]}}
+        \end{align*}
+        Insgesamt erhalten wir $\beta(s) = \gamma(\varphi(s))$.
+    \end{bsp}
 \end{document}

ana21.tex

@@ -0,0 +1,263 @@
+\documentclass{lecture}
+
+\begin{document}
+
+\section{Kurvenintegrale}
+
+\begin{definition}[Integrationsweg]
+    Eine Kurve $\gamma \in C^0([a,b],\R^n)$ heißt Integrationsweg, falls $\gamma$ stetig und stückweise eine $C^1$-Abbildung ist.
+\end{definition}
+
+\begin{definition}[Skalares Kurvenintegral]
+    Sei $D \subset \R^n, \ \gamma \colon [a,b] \to D$ ein Integrationsweg und $f\colon D \to \R$ stetig. Dann heißt
+    \[\int_\gamma f \d s \coloneqq \int_a^b f(\gamma(t)) \cdot \norm{\gamma'(t)} \d t\]
+    das skalare Kurvenintegral von $f$ längs $\gamma$. Dabei heißt $\d s = \norm{\gamma'(t)} \d t$ das skalare Bogenelement von $\gamma$ und $f$ wird \underline{Skalarfeld} genannt.
+\end{definition}
+
+\begin{bsp}
+    \begin{enumerate}
+        \item $f \equiv 1$: Das Kurvenintegral $\int_\gamma \d s = \int_a^b \norm{\gamma'(t)} \d t = S(\gamma)$ entspricht der Länge von $\gamma$.
+        \item Dichtefunktion $\rho(s)$:
+        \begin{align*}
+            \rho(\gamma(t)) &: \text{ Dichte verteilt auf } \gamma(t)\\
+            \int_\gamma \rho(s) \d s \eqqcolon \mu(\gamma) &: \text{ Gesamtmasse von } \gamma
+        \end{align*}
+    \end{enumerate}
+\end{bsp}
+
+\begin{bem}
+    \begin{enumerate}
+        \item Das Kurvenintegral ist linear:
+        \[\int_\gamma (\lambda_1 f_1 + \lambda_2 f_2) \d s = \lambda_1 \int_\gamma f_1\d s + \lambda_2 \int_\gamma f_2 \d s\]
+        \item Es gilt die Abschätzung
+        \begin{align*}
+            \left|\int_\gamma f \d s\right| &= \left|\int_a^b f(\gamma(t)) \norm{\gamma'(t)} \d t\right| \\
+            &\le \sup_{s\in [a,b]} \left|f(\gamma(s))\right| \cdot \int_a^b \norm{\gamma'(t)} \d t \\
+            &= \sup_{s\in [a,b]} \left|f(\gamma(s))\right| \cdot S(\gamma).
+        \end{align*}
+        \item Das Kurvenintegral ist invariant unter $C^1$-Parametertransformation. Sei $\varphi \colon [\alpha, \beta] \to [a,b]$ eine $C^1$ Parametertransformation. Dann gilt
+        \begin{salign*}
+            \int_{\gamma\circ\varphi}f \d s &= \int_\alpha^\beta f(\gamma(\varphi(s))) \norm{\frac{\mathrm{d}}{\mathrm{d}s}\gamma(\varphi(s))} \d s \\
+            &\stackrel{\text{Kettenregel}}{=} \int_\alpha^\beta f(\gamma(\varphi(s))) \norm{\gamma'(\varphi(s)) \cdot \frac{\mathrm{d}}{\mathrm{d}s} \varphi(s)} \d s \\
+            &= \begin{cases}
+                \int_\alpha^\beta f(\gamma(\varphi(s))) \norm{\gamma'(\varphi(s))} \left(\frac{\mathrm{d}}{\mathrm{d}s} \varphi(s)\right) \d s, & \frac{\mathrm{d}}{\mathrm{d}s}\varphi(s) > 0 \\
+                \int_\alpha^\beta f(\gamma(\varphi(s))) \norm{\gamma'(\varphi(s))} \left(-\frac{\mathrm{d}}{\mathrm{d}s} \varphi(s)\right) \d s, & \frac{\mathrm{d}}{\mathrm{d}s}\varphi(s) < 0
+            \end{cases} \\
+            &\stackrel{\substack{t=\varphi(s)\\\d t = \varphi'(s)\d s}}{=}
+            \begin{cases}
+                 \int_a^b f(\gamma(t)) \norm{\gamma'(t)} \d t, & \varphi'(s) > 0 \\
+                -\int_b^a f(\gamma(t)) \norm{\gamma'(t)} \d t, & \varphi'(s) < 0
+            \end{cases} \\
+            &= \int_a^b f(\gamma(t)) \norm{\gamma'(t)} \d t\\
+            &= \int_\gamma f \d s
+        \end{salign*}
+    \end{enumerate}
+\end{bem}
+
+\begin{definition}[Vektorfeld]
+    Ein Vektorfeld $F$ auf $D\subset \R^n$ ist eine Abbildung von $D$ nach $\R^n$, d.h. jedem $x\in D$ wird ein Vektor $F(x) \in \R^n$ zugeordnet.
+\end{definition}
+
+\begin{bsp}
+    \begin{enumerate}
+        \item Windungsfeld
+        \[W\colon \R^2\setminus \{0\} \to \R^2, \quad W(x,y) \coloneqq \frac{1}{\norm{(x,y)}_2^2}\begin{pmatrix} -y \\ x \end{pmatrix}\]
+        \item Gravitationsfeld
+        \[G\colon \R^3\setminus \{0\} \to \R^3, \quad G(x,y,z) \coloneqq -\frac{1}{\norm{(x,y,z)}_2^2}\begin{pmatrix} x \\ y \\ z\end{pmatrix}\]
+    \end{enumerate}
+\end{bsp}
+
+\begin{figure}[h]
+    \centering
+    \begin{subfigure}[b]{0.4\textwidth}
+        \begin{tikzpicture}[scale=1]
+            \begin{axis}
+                [axis lines=middle,
+                 axis lines=middle,
+                 axis equal image, % Unit vectors for both axes have the same length
+                 xmin=-1, xmax=1.1, % Axis limits
+                 ymin=-1, ymax=1.1,
+                 ticks=none,
+                 xlabel=$x$,
+                 ylabel=$y$
+                ]
+                \foreach \r in {0.4, 0.6, 0.8}
+                \addplot[domain=0:360*(1-1/(20*\r)),
+                    blue, samples=20*\r,
+                    quiver={u={-y/(x^2+y^2)}, v={x/(x^2+y^2)}, scale arrows=0.1, every arrow/.append style={-latex} }] ({\r*sin(x)},{\r*cos(x)}); % polar coordinates
+            \end{axis}
+        \end{tikzpicture}
+        \subcaption{Beispiel 1: Windungsfeld}
+    \end{subfigure}
+    \begin{subfigure}[b]{0.4\textwidth}
+        \begin{tikzpicture}[scale=1]
+            \begin{axis}
+                [axis lines=middle,
+                 axis lines=middle,
+                 axis equal image, % Unit vectors for both axes have the same length
+                 xmin=-1, xmax=1.1, % Axis limits
+                 ymin=-1, ymax=1.1,
+                 ticks=none,
+                 xlabel=$x$,
+                 ylabel=$y$
+                ]
+                \foreach \r in {0.4, 0.6, 0.8}
+                \addplot[domain=0:360*(1-1/(20*\r)), 
+                    red, samples=20*\r,
+                    quiver={u={-x/(x^2+y^2)}, v={-y/(x^2+y^2)}, scale arrows=0.1, every arrow/.append style={-latex} }] ({\r*sin(x+180/(20*\r))},{\r*cos(x+180/(20*\r))}); %polar coordinates
+            \end{axis}
+        \end{tikzpicture}
+        \subcaption{Beispiel 2: Gravitationsfeld bei $z=0$.}
+    \end{subfigure}
+\end{figure}
+
+\begin{definition}[Vektorielles Kurvenintegral]
+    Sei $\gamma\colon [a,b] \to D\subset \R^n$ ein Integrationsweg und $F\colon D\to \R^n$ ein stetiges Vektorfeld. Dann ist das (vektorielle) Kurvenintegral von $F$ längs $\gamma$ definiert durch
+    \[\int_\gamma F = \int_\gamma F\d{\vec s} \coloneqq \int_a^b \underbrace{\left(F(\gamma(t)), \gamma'(t)\right)}_{\text{Skalarprodukt}} \d t = \int_a^b \sum_{i=1}^n F_i(\gamma(t)) \cdot \gamma'_i(t) \d t\]
+    Alternative Schreibweise: $\int_\gamma F = \int_\gamma F_1\d{x_1} + \dots + F_n\d{x_n} $
+\end{definition}
+
+\begin{bsp}
+    Kurvenintegral des Windungsfelds $W\colon \R^2\setminus \{0\} \to \R^2, \ W(x,y) = \frac{1}{x^2+y^2} \begin{pmatrix} -y \\ x  \end{pmatrix}$ längs $\gamma(t) \coloneqq \begin{pmatrix} \cos(t) \\ \sin(t) \end{pmatrix}, \ \gamma \colon [0,2\pi] \to \R^2 \setminus \{0\}$.
+    \begin{align*}
+        \int_\gamma W &= \int_\gamma -\frac{y}{x^2+y^2}\d x + \frac{x}{x^+y^2}\d y\\
+        &= \int_0^{2\pi} \left(-\frac{\sin t}{\cos^2t+\sin^2t}(-\sin t) + \frac{\cos t}{\cos^2t+\sin^2t}\cos t\right) \d t \\
+        &= \int_0^{2\pi} \left(\sin^2t+\cos^2t\right) \d t = 2\pi
+    \end{align*}
+\end{bsp}
+
+\begin{bem}
+    \begin{enumerate}
+        \item 
+        Das Kurvenintegral ist linear: $$\int_\gamma (\lambda_1F_1+\lambda_2F_2)=\lambda_1\int_\gamma F_1+\lambda_2\int_\gamma F_2$$
+        \item
+        Standard-Abschätzung: $$\left|\int_\gamma F \right|=\left|\int_a^b\bigl(F(\gamma(t)),\gamma'(t)\bigr)\, \d t \right|\leq \sup_{t\in [a,b]}\norm{F(\gamma(t))}\cdot S(\gamma)$$
+        \item
+        Invarianz unter orientierungstreuen $C^1$-Parametertransformationen. Sei $\varphi \colon [\alpha,\beta]\to [a,b]$ eine $C^1$-Parametertransformation mit $\varphi'(s)>0,\ \forall s\in [\alpha,\beta]$ ($\Longleftrightarrow$ orientierungstreu). Dann gilt \begin{salign*}
+            \int_{\gamma \circ \varphi}F&=\int_\alpha^\beta \left(F(\gamma(\varphi(s))),\frac{\d}{\d s}\gamma(\varphi(s)) \right) \d s\\
+            &=\int_\alpha^\beta \left(F(\gamma(\varphi(s))),\gamma'(\varphi(s))\cdot \frac{\d \varphi}{\d s}(s) \right) \d s\\
+            &=\int_\alpha^\beta \left(F(\gamma(\varphi(s))),\gamma'(\varphi(s)) \right)\frac{\d \varphi}{\d s}(s) \d s\\
+            &\stackrel{\substack{t=\varphi(s)\\ \d t=\varphi'(s)\d s}}{=}\int_a^b\bigl(F(t),\gamma'(t)\bigr)\d t\\
+            &=\int_\gamma F.
+        \end{salign*}
+    \end{enumerate}
+\end{bem}
+
+\begin{definition}[Gebiet]
+    $U\subset \R^n$ heißt Gebiet, falls $U$ offen ist und wegzusammenhängend, d.h. $\forall \,x,y\in U$ existiert $\gamma \in C^0([a,b],U)$ mit $\gamma(a)=x$ und $\gamma(b)=y$.
+\end{definition}
+
+\begin{satz}
+    Sei $U\subset \R^n$ offen. Dann sind folgende Aussagen äquivalent: \begin{enumerate}
+        \item 
+        $\forall \,x,y\in U$ existiert ein Integrationsweg $\gamma \colon [a,b]\to U$ mit $\gamma(a)=x$ und $\gamma(b)=y$.
+        \item
+        $U$ ist wegzusammenhängend.
+    \end{enumerate}
+\end{satz}
+
+\begin{proof}
+    Ohne Beweis.
+\end{proof}
+
+\begin{bsp}
+    \begin{enumerate}
+        \item 
+        Sei $U=K_1 \begin{pmatrix} 0 \\ 0\end{pmatrix}\, \cup \, K_1\begin{pmatrix} 3 \\ 0\end{pmatrix}$. $U$ ist kein Gebiet, denn es existiert kein stetiger Weg von $\begin{pmatrix} 0 \\ 0 \end{pmatrix}$ nach $\begin{pmatrix} 3 \\ 0 \end{pmatrix}$ in $U$.
+        \item
+        $U\subset \R$ Gebiet $\Longleftrightarrow$ $U$ offenes Intervall
+    \end{enumerate} 
+\end{bsp}
+
+\section{Potential}
+
+\begin{definition}[Geschlossene Kurve]
+    Eine Kurve $\gamma \in C^0([a,b],\R^n)$ heißt \underline{geschlossen}, falls $\gamma(a)=\gamma(b)$.
+\end{definition}
+
+\begin{definition}[Potential]
+    Sei $D\subset \R^n$ und $F\in C^0(D,\R^n)$ ein stetiges Vektorfeld. $\varphi \in C^1(D,\R)$ heißt \underline{Potential} oder \underline{Stammfunktion} von $F$ in $D$, falls $\nabla \varphi=F$ gilt. $F$ heißt in diesem Fall \underline{konservativ} auf $D$.
+\end{definition}
+
+\begin{satz}[Erster Hauptsatz über Kurvenintegrale]
+    Sei $D\subset \R^n$ ein Gebiet und $F\in C^0(D,\R^n)$. Dann sind folgend Aussagen äquivalent:
+    \begin{enumerate}[(i)]
+        \item F ist konservativ.
+        \item
+        $\int_\gamma F=0$ für alle geschlossenen Integrationswege $\gamma$ in $D$.
+        \item
+        Das Kurvenintegral von $F$ in $D$ ist wegunabhängig, d.h. für beliebige Integrationswege $\gamma_1\colon [a,b]\to D,\ \gamma_2\colon [\alpha,\beta]\to D$ mit $\gamma_1(a)=\gamma_2(\alpha)$ und $\gamma_1(b)=\gamma_2(\beta)$ gilt $$\int_{\gamma_1}F=\int_{\gamma_2}F.$$
+    \end{enumerate}
+    In diesem Fall erhalten wir eine Stammfunktion $\varphi_0\in C^1(D,\R)$ durch $\varphi_0(x)\coloneqq \int_\gamma F$, wobei $\gamma$ ein Integrationsweg von einem gewählten Punkt $x_0\in D$ zu $x\in D$ ist. Die Menge aller Potentiale von $F$ ist gegeben durch $\{\varphi_0+c\,|\,c\in \R\}$.
+    \label{satz:hauptsatz-1-kurven}
+\end{satz}
+
+\begin{proof}
+    (i)$\implies$(ii): Sei $F = \nabla \varphi$, $\varphi \in C^{1}(D, \R)$ und $\gamma\colon [a,b] \to D$
+    geschlossener Integrationsweg. Dann folgt
+    \begin{salign*}
+        \int_{\gamma} F &\stackrel{\text{Def.}}{=} \int_{a}^{b} (F(\gamma(t)), \gamma'(t)) \d t \\
+        &= \int_{a}^{b} (\nabla \varphi(\gamma(t)), \gamma'(t)) \d t \\
+        &\stackrel{\gamma \text{ stückweise } C^{1}}{=}
+        \sum_{i=1}^{M} \int_{s_{i-1}}^{s_i} (\nabla \varphi(\gamma(t)), \gamma'(t)) \d t \\
+        &\stackrel{\text{Kettenregel}}{=} \sum_{i=1}^{M} \int_{s_{i-1}}^{s_i} \frac{\d}{\d t} (\varphi \circ \gamma) \d t \\
+        &\stackrel{\text{HDI}}{=} \sum_{i=1}^{M} \left( \varphi(\gamma(s_i)) - \varphi(\gamma(s_{i-1})) \right) \\
+        &= \varphi(\gamma(b)) - \varphi(\gamma(a)) \\
+        &\stackrel{\gamma(b) = \gamma(a)}{=} 0
+    .\end{salign*}
+
+    (ii)$\implies$(iii): Nach Umparametrisierung gelte o.E. $[a,b] = [-1, 0] = [\alpha, \beta]$. Seien
+    $\gamma_1, \gamma_2\colon [-1,0] \to D$ Integrationswege mit gleichem Anfangs und Endpunkt, d.h.
+    $\gamma_1(-1) = \gamma_2(-1)$ und $\gamma_1(0) = \gamma_2(0)$. Dann betrachte
+    \begin{align*}
+        \gamma &\colon [-1, 1] \to D \\
+               t& \mapsto \begin{cases}
+                   \gamma_1(t) & t \in [-1, 0] \\
+                   \gamma_2(-t) & t \in [0, 1]
+               \end{cases}
+    .\end{align*}
+    Dann ist $\gamma$ ein geschlossener Integrationsweg, also folgt
+    \begin{salign*}
+        0 &= \int_{\gamma}^{} F \\
+        &= \int_{-1}^{0} (F(\gamma_1(t)), \gamma_1'(t)) \d t + \int_{0}^{1} (F(\gamma_2(-t)), - \gamma_2'(-t)) \d t \\
+        &\stackrel{s \coloneqq -t}{=} \int_{\gamma_1}^{} F + \int_{0}^{-1} (F(\gamma_2(s)), \gamma_2'(s)) \d s \\
+        &= \int_{\gamma_1}^{} F - \int_{\gamma_2}^{} F  
+    .\end{salign*}
+
+    (iii) $\implies$ (i): Fixiere $x_0 \in D$ und definiere $\varphi_0\colon D \to \R$ durch
+    $\varphi_0(x) \coloneqq \int_{\gamma}^{} F$, wobei
+    $\gamma$ irgendein Integrationsweg von $x_0$ nach $x$ ist. Zu $x \in D$ betrachte
+    $x + h e_i \in D$ für $|h| \ll 1$. Nach Umparametrisierung gelte o.E.
+    \begin{align*}
+        &\gamma_x \colon [-1, 0] \to D \\
+        &\gamma_{x + h e_i}\colon [-1, 1] \to D \\
+        &\gamma_{x + h e_i} \coloneqq \begin{cases}
+            \gamma_x(t) & t \in [-1, 0] \\
+            x + t h e_i & t \in [0,1]
+        \end{cases}
+    .\end{align*}
+    Dann folgt
+    \begin{salign*}
+        \frac{\partial \varphi_0(x)}{\partial x_i} &= \lim_{h \to 0} \frac{\varphi_0(x + h e_i) - \varphi_0(x)}{h} \\
+        &= \lim_{h \to 0} \frac{1}{h} \left( \int_{\gamma_{x + h e_i}} F - \int_{\gamma_x}^{} F \right) \\
+        &= \lim_{h \to 0} \frac{1}{h} \int_{0}^{1} \left( F(x + t h e_i), \gamma'_{x + h e_i}(t) \right)  \d t \\
+        &= \lim_{h \to 0} \frac{1}{h} \int_{0}^{1} ( F(\underbrace{x + t h e_i}_{\xrightarrow{h \to 0} F(x)}), h e_i )  \d t \\
+        &= \int_{0}^{1} (F(x), e_i) \d t \\
+        &= F_i(x)
+    .\end{salign*}
+    Damit ist $\varphi_0 \in C^{1}(D, \R)$ und $\nabla \varphi_0 = F$. Das zeigt (i).
+
+    Sei $\gamma$ ein Integrationsweg von $x_0 \in D$ nach $x \in D$. Dann definiere
+    \[
+        \varphi_0(x) \coloneqq \int_{\gamma} F
+    .\]
+    Sei weiter $\varphi \in C^{1}(D, \R)$ mit $\nabla \varphi = F$. Dann gilt wegen (i) und (ii):
+    \[
+        \int_{\gamma} F = \varphi(x) - \varphi(x_0)
+    .\] Damit folgt
+    \[
+        \varphi(x) - \varphi(x_0) = \varphi_0(x) \implies \varphi(x) = \varphi_0(x) + \underbrace{\varphi(x_0)}_{\text{konst.}} = \varphi_0(x) + c
+    .\] 
+\end{proof}
+
+\end{document}

ana22.tex

@@ -0,0 +1,269 @@
+\documentclass{lecture}
+
+\begin{document}
+
+\begin{bsp}
+    \label{bsp:windungsfeld}
+    \begin{enumerate}
+        \item Windungsfeld:
+            \[
+                W(x,y) \coloneqq \frac{1}{x^2 + y^2} \begin{pmatrix} -y \\ x \end{pmatrix} 
+            .\] $D \coloneqq \R^2 \setminus \left\{\begin{pmatrix} 0 \\ 0 \end{pmatrix} \right\} $. $W$ ist
+            nicht konservativ auf $D$ weil mit $\gamma\colon [0, 2\pi] \to \R^2$,
+            $\gamma(t) \coloneqq \begin{pmatrix} \cos(t) \\ \sin(t) \end{pmatrix} $ ist
+            \[
+            \int_{\gamma} W = 2 \pi \neq 0
+            .\] Aber mit $D \coloneqq \left\{ \begin{pmatrix} x \\ y \end{pmatrix}   \mid y > 0\right\} $
+            ist
+            \[
+                \varphi(x,y) \coloneqq - \arctan\left( \frac{x}{y} \right) 
+            \] ein Potential von $W$ auf $D$, denn
+            \begin{align*}
+                \frac{\partial \varphi(x,y)}{\partial x} &= -\frac{1}{1 + \frac{x^2}{y^2}} \frac{1}{y} = - \frac{y}{x^2 + y^2} \\
+                \frac{\partial \varphi(x,y)}{\partial y} &= \frac{x}{x^2 + y^2}
+            .\end{align*}
+            Die Existenz eines Potentials hängt also auch von $D$ ab.
+        \item Suche nach einem Potential:
+            $F\colon \R^2 \to \R^2$, $F(x,y) \coloneqq \begin{pmatrix} y \\ x \end{pmatrix} $.
+            Falls Potential existiert, dann gilt
+            \[
+                \varphi_0(x,y) \coloneqq \int_{\gamma} F
+            .\] mit z.B. $\gamma(t) \coloneqq t \begin{pmatrix} x \\ y \end{pmatrix} $, $t \in [0,1]$.
+            Dann gilt
+            \begin{salign*}
+                \int_{\gamma} F &= \int_{0}^{1} \left( F(\gamma(t)), \gamma'(t) \right)  \d t \\
+                &= \int_{0}^{1} \left( \begin{pmatrix} ty \\ tx \end{pmatrix} , \begin{pmatrix} x \\ y \end{pmatrix}  \right)  \d t \\
+                &= \int_{0}^{1} \left( t y x + tx y \right) \d t \\
+                &= \int_{0}^{1} 2 t x y  \d t \\
+                &= xy
+            .\end{salign*}
+            Definiere $\varphi = xy$. Dann ist $\frac{\partial \varphi}{\partial x} = y = F_1(x,y)$
+            und $\frac{\partial \varphi}{\partial y} x = F_2(x,y)$. Also $\nabla \varphi = F$.
+    \end{enumerate}
+\end{bsp}
+
+\section{Existenz von Potentialen}
+
+Sei $D \subseteq \R^{n}$ offen und $F \in C^{1}(D, \R^{n})$ ein konservatives Vektorfeld. Dann existiert
+ein $\varphi \in C^2(D, \R)$ mit $\nabla \varphi = F$, d.h. $\frac{\partial \varphi}{\partial x_i} = F_i$
+für $i = 1, \ldots, n$. Da $\varphi$ zweimal stetig differenzierbar, folgt
+\begin{align*}
+\frac{\partial F_i}{ \partial x_j} = \frac{\partial^2 \varphi}{\partial x_j \partial x_i}
+= \frac{\partial^2 \varphi}{\partial x_i \partial x_j} = \frac{\partial F_j}{\partial x_i}
+.\end{align*}
+
+Ist also $F \in C^{1}(D, \R^{n})$ konservativ, dann gelten notwendig die \underline{Integrabilitätsbedingungen}
+\[
+\frac{\partial F_i}{\partial x_j} - \frac{\partial F_j}{\partial x_i} \equiv 0 \qquad \forall i, j = 1,\ldots,n
+.\]
+Speziell für $n = 2$:
+\[
+\frac{\partial F_2}{\partial x_1} = \frac{\partial F_1}{\partial x_2}
+.\] Für $n = 3$:
+\[
+    \text{rot}(F) \coloneqq \begin{pmatrix} \frac{\partial F_3}{\partial x_2} - \frac{\partial F_2}{\partial x_3} \\
+    \frac{\partial F_1}{\partial x_3} - \frac{\partial F_3}{\partial x_1} \\
+\frac{\partial F_2}{\partial x_1} - \frac{\partial F_1}{\partial x_2}\end{pmatrix}  = 0
+.\]
+
+Die Integrabilitätsbedingungen sind nicht hinreichend.
+
+\begin{bsp}[Windungsfeld]
+    \[
+        W(x,y) \coloneqq \frac{1}{x^2 + y^2} \begin{pmatrix} -y \\ x \end{pmatrix} 
+    .\] Dann gilt
+    \begin{align*}
+        \frac{\partial W_y}{\partial x}(x,y) = \frac{\partial}{\partial x} \left( \frac{x}{x^2 + y^2} \right)
+        = \frac{y^2 - x^2}{(x^2 + y^2)^2} \\
+        \frac{\partial W_x}{\partial y} = \frac{\partial}{\partial y} \left( - \frac{y}{x^2 + y^2} \right)
+        = \frac{y^2 - x^2}{(x^2 + y^2)^2}
+    .\end{align*}
+    Also gilt $\frac{\partial W_y}{\partial x} = \frac{\partial W_x}{\partial y}$ auf $D \coloneqq \R^2 \setminus \left\{ \begin{pmatrix} 0 \\ 0 \end{pmatrix}  \right\} $, aber auf $D$ existiert kein Potential
+    (vgl. \ref{bsp:windungsfeld}).
+\end{bsp}
+
+\begin{definition}[Homotopie]
+    Sei $D \subseteq \R^{n}$ und $\gamma_0, \gamma_1 \in C\left( [a,b], D \right) $ stetige
+    Kurven.
+    \begin{enumerate}[(i)]
+        \item Es gelte $\gamma_0(a) = A = \gamma_1(a)$ und
+            $\gamma_0(b) = B = \gamma_1(b)$. $\gamma_0$ und $\gamma_1$ heißen \underline{homotop} in $D$, falls
+            eine stetige Abbildung $H\colon [a,b] \times [0,1] \to D$ (Homotopie) existiert, s.d.
+            $H(t, 0) = \gamma_0(t)$ und $H(t,1) = \gamma_1(t)$, $\forall t \in [a,b]$ sowie
+            $H(a, s) = A$ und $H(b,s) = B$, $\forall s \in [0,1]$.
+
+            Für $s \in [0,1]$ sind
+            $\gamma_s(t) \coloneqq H(t,s)$, $t \in [a,b]$ mit $\gamma_s(a) = A$ und $\gamma_s(b) = B$
+            stetige Kurven von $A$ nach $B$ in $D$. $H$ heißt stetige Deformation von $\gamma_0$ nach
+            $\gamma_1$.
+        \item $\gamma_0$ und $\gamma_1$ seien geschlossen. $\gamma_0$ und $\gamma_1$ heißen
+            \underline{frei homotop} in $D$, falls eine stetige Abbildung
+            $H\colon [a,b] \times [0,1] \to D$ existiert mit $H(t,0) = \gamma_0(t)$ und $H(t,1) = \gamma_1(t)$, $\forall t \in [a,b]$ und
+            $H(a,s) = H(b,s)$, $\forall s \in [0,1]$, d.h. für $s \in [0,1]$ ist $\gamma_s(t) \coloneqq H(t,s)$
+            eine geschlossene Kurve in $D$.
+
+            $H$ heißt stetige Deformation innerhalb von $D$ der
+            geschlossenen Kurve $\gamma_0$ nach der geschlossenen Kurve $\gamma_1$.
+        \item Eine geschlossene Kurve heißt \underline{zusammenziehbar} in $D$, wenn sie frei homotop zu
+            einer konstanten Kurve ist, d.h. sie sich in $D$ zu einem Punkt zusammenziehen lässt.
+    \end{enumerate}
+\end{definition}
+
+
+\begin{figure}[ht!]
+    \centering
+    \begin{tikzpicture}
+        \draw (0,0) -- node[left] {$s$} (0,2);
+        \draw (3,0) -- (3,2);
+        \draw[red] (0,0) -- node[below, black] {$t$} (3,0);
+        \draw[blue] (0,2) -- (3,2);
+        \draw[densely dashed] (0,0.67) -- (3,0.67);
+        \draw[densely dotted] (0,1.33) -- (3,1.33);
+        \node[below] at (0.1,0) {$a$};
+        \node[below] at (2.9,0) {$b$};
+        \node[left] at (0,0.15) {$0$};
+        \node[left] at (0,1.85) {$1$};
+
+        \draw[->] (4,1) -- node[above] {$H$} (6,1);
+
+        \draw[blue] (7,0) node[below left, black] {$A$} .. controls (8,2) .. node[sloped] {\tiny $\blacktriangleright$} (10,2) node[above right, black] {$B$};
+        \draw[red] (7,0) .. controls (9,0) .. node[sloped] {\tiny $\blacktriangleright$} (10,2);
+        \draw[densely dashed] (7,0) .. controls (8.7,0.6) .. node[sloped] {\tiny $\blacktriangleright$} (10,2);
+        \draw[densely dotted] (7,0) .. controls (8.3,1.4) .. node[sloped] {\tiny $\blacktriangleright$} (10,2);
+
+        \node[red ] at (9.5,0.5) {$\gamma_0$};
+        \node[blue] at (7.5,1.5) {$\gamma_1$};
+    \end{tikzpicture}
+    \caption{Stetige Deformation von $\gamma_0$ nach $\gamma_1$}
+\end{figure}
+
+
+\begin{bsp}
+    \label{bsp:ellipse-und-kreis}
+    Ellipse: Seien $a, b > 0$.
+    \[
+        \epsilon(t) \coloneqq \begin{pmatrix} a \cos(t)\\ b \sin(t)\end{pmatrix}, \quad t \in [0, 2\pi]
+    \] ist frei homotop zum Kreis
+    \[
+        K(t) \coloneqq \begin{pmatrix} \cos(t) \\ \sin(t) \end{pmatrix} 
+    \] via der Homotopie
+    \begin{align*}
+        &H\colon [0, 2\pi] \times [0,1] \to \R^2 \setminus \left\{ \begin{pmatrix} 0 \\ 0 \end{pmatrix}  \right\} \\
+        &H(t, s) \coloneqq s K(t) + (1 - s) \epsilon(t)
+    .\end{align*}
+    Es gilt
+    \begin{align*}
+        \Vert H(t,s) \Vert^2 &= (s + a(1-s))^2 \cos^2(t) + (s + b (1-s))^2 \sin^2(t) \\
+                             &\ge \min(1, a^2, b^2) (\cos^2(t) + \sin^2(t)) \\
+                             &= \min(1, a^2, b^2) \\
+                             &> 0
+    .\end{align*}
+    Also $H(t,s) \neq 0$ $\forall t, s$.
+\end{bsp}
+
+\begin{satz}[Zweiter Hauptsatz der Kurvenintegrale: Homotopieinvarianz]
+    Sei $D \subseteq \R^{n}$ offen, $F \in C^{1}(D, \R^{n})$ erfülle
+    die Integrabilitätsbedingungen und seien $\gamma_0, \gamma_1 \colon [a,b] \to D$ Integrationswege.
+
+    Sind $\gamma_0$ und $\gamma_1$ homotop in $D$ mit gemeinsamem Anfangs- und Endpunkt oder
+    geschlossen und frei homotop in $D$, dann gilt
+    \[
+    \int_{\gamma_1}^{} F = \int_{\gamma_0}^{} F
+    .\]
+    \label{satz:hauptsatz-2-kurven}
+\end{satz}
+
+\begin{proof}
+    ohne Beweis
+\end{proof}
+
+\begin{bsp}[Windungsfeld]
+    \begin{enumerate}
+        \item Für Ellipse $\epsilon(t)$ und Kreis $K(t)$ (vgl. Beispiele \ref{bsp:ellipse-und-kreis} und
+            \ref{bsp:windungsfeld}) gilt
+            \[
+                \int_{K} W = 2 \pi \stackrel{\ref{satz:hauptsatz-2-kurven}}{=} 
+                \int_{\epsilon}^{} W = \int_{0}^{2 \pi} \frac{ab}{a^2 \cos^2 t + b^2 \sin^2 t} \d t
+            .\] 
+            Also folgt
+            \[
+            \int_{0}^{2\pi} \frac{\d t}{a^2 \cos^2t + b^2 \sin^2 t} = \frac{2 \pi}{ab}
+            .\] 
+        \item Kurven $\gamma_0, \gamma_1\colon [0, 2\pi] \to \R^2 \setminus \{0\} $:
+            \[
+                \gamma_0 \coloneqq \begin{pmatrix} \cos(t) \\ \sin(t) \end{pmatrix}
+                \qquad
+                \gamma_1(t) \coloneqq \begin{pmatrix} \cos(t) \\ - \sin(t) \end{pmatrix} 
+            .\] $\gamma_0$ und $\gamma_1$ sind nicht frei homotop in $\R^2 \setminus \{0\} $, weil
+            \[
+            \int_{\gamma_0} W = 2 \pi \neq - 2\pi = \int_{\gamma_1}^{} W
+            .\] 
+        \item Kurven $\gamma_0, \gamma_1\colon [0, \pi] \to \R^2 \setminus \{0\}$
+            \[
+                \gamma_0 \coloneqq \begin{pmatrix} \cos(t) \\ \sin(t) \end{pmatrix}
+                \qquad
+                \gamma_1(t) \coloneqq \begin{pmatrix} \cos(t) \\ - \sin(t) \end{pmatrix} 
+            .\] $\gamma_0$, $\gamma_1$ sind nicht homotop in $\R^2 \setminus \{0\} $, weil
+            \[
+            \int_{\gamma_0}^{} W = \int_{0}^{\pi} 1 \d t \neq \int_{0}^{\pi} -1 \d t = \int_{\gamma_1}^{} W \d t  
+            .\] 
+    \end{enumerate}
+\end{bsp}
+
+\begin{definition}[Einfach zusammenhängend]
+    Sei $D \subseteq \R^{n}$ ein Gebiet. $D$ heißt einfach zusammenhängend, wenn jede geschlossene
+    Kurve in $D$ frei homotop zu einer konstanten Kurve ist, d.h. jede geschlossene Kurve in $D$
+    zusammenziehbar ist.
+\end{definition}
+
+\begin{definition}[Sternförmig]
+    Ein Gebiet $D \subseteq \R^{n}$ heißt sternförmig,
+    wenn ein $x_1 \in D$ existiert, s.d. $\forall x \in D$ gilt:
+    \[
+        x_1 + t(x - x_1) \in D \quad \forall t \in [0,1]
+    .\] D.h. $\forall x \in D$ liegt die Verbindungsstrecke von $x_1$ nach $x$ in $D$.
+\end{definition}
+
+\begin{bem}
+    Jedes Sterngebiet ist einfach zusammenhängend.
+\end{bem}
+
+\begin{proof}
+    $H(t,s) \coloneqq x_1 + s(\gamma(t) - x_1) \in D$, $\forall t$, $\forall s \in [0,1]$.
+\end{proof}
+
+\begin{bsp}
+    \begin{enumerate}[]
+        \item Jede Kugel $K_r(a)$ ist sternförmig bezüglich $a$, also auch einfach zusammenhängend.
+        \item Eine gelochte Kreisscheibe $K_1(0) \setminus \{0\} $, $K_1(0) \subseteq \R^2$
+            ist kein Sterngebiet und nicht einfach zusammenhängend.
+        \item Geschlitzte Scheibe $K_1(0) \setminus \{x \in \R^2  \mid x_1 \le 0, x_2= 0\} \subseteq \R^2$
+            ist sternförmig, also einfach zusammenhängend.
+        \item Jede geschlitzte Ebene $\R^2 \setminus S_v$ mit
+            $S_v \coloneqq \{ t v | t \ge 0, \Vert v \Vert = 1\} $ ist sternförmig mit
+            Mittelpunkt $(-v)$, also auch einfach zusammenhängend.
+        \item $R^{n} \setminus \{0\} $ ist kein Sterngebiet, weil $0 \in$ Strecke von $-a$ nach $a$,
+            aber einfach zusammenhängend für $n \ge 3$.
+    \end{enumerate}
+\end{bsp}
+
+\begin{satz}[Lemma von Poincaré]
+    Sei $D \subseteq \R^{n}$ ein einfach zusammenhängendes Gebiet und
+    $F \in C^{1}(D, \R^{n})$ erfülle die Integrabilitätsbedingunen. Dann
+    ist $F$ konservativ.
+\end{satz}
+
+\begin{proof}
+    Sei $\gamma$ geschlossener Integrationsweg in $D$. Da $D$ einfach zusammenhängend, ist
+    $\gamma$ frei homotop zu einem konstanten Weg $\gamma_C$. Damit folgt
+    \[
+        \int_{\gamma} F
+        \; \stackrel{\ref{satz:hauptsatz-2-kurven}}{=} \; \int_{\gamma_C} F
+        \; \stackrel{\text{Def.}}{=} \;
+        \int_{a}^{b} (F(\gamma_C(t)), \gamma_C'(t)) \d t = 0
+    .\] Damit folgt mit \ref{satz:hauptsatz-1-kurven}, dass $F$ konservativ.
+\end{proof}
+
+\begin{proof}[Ende]\end{proof}
+
+\end{document}

ana3.tex

@@ -93,7 +93,7 @@ Frage: Hat jede $2\pi$-periodische Funktion die Form $\sum_{k = -n}^{n}c_ke^{ixk
         &= \qnorm{f} - 2\pi \sum_{k = -n}^{n}|c_k|^2
     \end{align*}
 \end{proof}
-\begin{satz}[Besselsche Umgebung]\label{bessel}
+\begin{satz}[Besselsche Ungleichung]\label{bessel}
     Sei $f \in R[0, 2\pi]$ eine $2\pi$-periodische Funktion mit Fourier-Koeffizienten $c_k,\; k\in \Z$. Dann $$\exists \lim\limits_{n\to\infty}\sum_{k = -n}^{n}|c_k|^2$$ und $$\sum_{k = -\infty}^{\infty} |c_k|^2 = \lim\limits_{n\to\infty}\sum_{k = -n}^{n}|c_k|^2 \leq \frac{\qnorm{f}}{2\pi}$$
 \end{satz}
 \begin{proof}

ana4.tex

@@ -74,7 +74,7 @@
 		\item 	beschränkt, falls $\forall k\in \N:\; x^{(k)} \in K_{R}(0)$, $K_{R}(0)$ eine Kugelumgebung von $0$ mit Radius $R$. 
 				$$K_{r}(a) \coloneqq \{ x \in \K^{n} \ | \ \norm{x-a}_{\infty} < r\}.$$
 		\item 	Cauchy-Folge, wenn $\forall \varepsilon > 0, \exists N_{\varepsilon} \in \N$ sodass $\forall k,l \geq N_{\varepsilon}$ gilt: $\norm{x^{(k)} - x^{(l)}}_{\infty} < \varepsilon$.
-		\item 	konvergent gegen ein $x \in \K^{n}$, wenn $\norm{x^{(k)} - x}_{\infty} \to 0$ für $k \to \infty$. \\
+        \item 	konvergent gegen ein $x \in \K^{n}$, wenn $\norm{x^{(k)} - x}_{\infty} \xrightarrow{k \to \infty} 0$. \\
 				geometrisch: jede Kugelumgebung $K_{\varepsilon}(x)$ enthält fast alle Folgenelemente $x^{(k)}$ (d.h. alle bis auf endlich viele).
 	\end{enumerate}
 \end{definition}
@@ -154,7 +154,7 @@ Bezeichnung: $\norm{\cdot}$ irgendeine Norm.
 \end{definition}
 
 \begin{definition}[offene Menge]
-	Eine Menge $O \in \K^{n}$ heißt offen, falls $O$ eine Umgebung jedes Punktes aus $O$ ($ x \in O$) ist, das heißt $\forall x \in O, \exists \varepsilon > 0$ mit $K_{\varepsilon}(x) \subseteq O$.
+	Eine Menge $O \subseteq \K^{n}$ heißt offen, falls $O$ eine Umgebung jedes Punktes aus $O$ ($ x \in O$) ist, das heißt $\forall x \in O, \exists \varepsilon > 0$ mit $K_{\varepsilon}(x) \subseteq O$.
 \end{definition}
 
 \begin{bsp}

ana6.tex

@@ -185,7 +185,7 @@ Wichtige Ungleichungen
 \end{bem}
 
 \begin{satz}[Gram-Schmidt-Verfahren]
-    Sei $\{a^{(1)},\dots ,a^{(n)}\}$ eine Basis des $\K^n$. Dann ist $\{b^{(1)},\dots ,b^{(n)}\}$ konstruirt durch das \underline{Orthogonalisierungsverfahren} von Gram und Schmidt eine \underline{Orhonormalbasis}.
+    Sei $\{a^{(1)},\dots ,a^{(n)}\}$ eine Basis des $\K^n$. Dann ist $\{b^{(1)},\dots ,b^{(n)}\}$, konstruiert durch das \underline{Orthogonalisierungsverfahren} von Gram und Schmidt, eine \underline{Orhonormalbasis}.
     \begin{align*}
         b^{(1)}&\coloneqq\frac{a^{(1)}}{\norm{a^{(1)}}_2}\\
         \Tilde{b}^{(k)}&\coloneqq a^{(k)}-\sum_{j=1}^{k-1}(a^{(k)},b^{(j)})_2\cdot b^{(j)}\\

analysisII.tex

@@ -43,5 +43,7 @@ Rui Yang (\href{mailto:rui.yang@stud.uni-heidelberg.de}{rui.yang@stud.uni-heidel
 \input{ana18.tex}
 \input{ana19.tex}
 \input{ana20.tex}
+\input{ana21.tex}
+\input{ana22.tex}
 
 \end{document}