From 55360437cafed72107f2d405304530f5d001af39 Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Tue, 17 Jul 2018 11:55:48 +0200 Subject: Update function theory digest --- content/funktheo.tex | 393 ++++++++++++++++++++++++++------------------------- 1 file changed, 199 insertions(+), 194 deletions(-) diff --git a/content/funktheo.tex b/content/funktheo.tex index 22c2723..69475d0 100644 --- a/content/funktheo.tex +++ b/content/funktheo.tex @@ -1,24 +1,24 @@ \section*{Komplexe Zahlen} -$\C = \{ z = x+iy | x,y \in \R \}$ +\(\C = \{ z = x+iy | x,y \in \R \}\) -$\C$ wird via $z = x + iy \mapsto (x,y)$ mit $\R^2$ identifiziert. + \(\C\) wird via \(z = x + iy \mapsto (x,y)\) mit \(\R^2\) identifiziert. \vspace*{-4mm} \[ z \cdot w = \begin{pmatrix} x & -y \\ y & x\end{pmatrix} \begin{pmatrix} u \\ v\end{pmatrix} = \begin{pmatrix} r & 0 \\ 0 & r\end{pmatrix} \begin{pmatrix} \frac{x}{r} & -\frac{y}{r} \\ \frac{y}{r} & \frac{x}{r}\end{pmatrix} \begin{pmatrix} u \\ v\end{pmatrix} \] -wobei $r := \sqrt{x^2 + y^2}$. Es gilt für die orthogonale Matrix $D = \begin{pmatrix} \frac{x}{r} & -\frac{y}{r} \\ \frac{y}{r} & \frac{x}{r}\end{pmatrix}$: $\det D = 1$ d.h. die komplexe Multiplikation ist eine Drehstreckung. +wobei \(r := \sqrt{x^2 + y^2}\). Es gilt für die orthogonale Matrix \(D = \begin{pmatrix} \frac{x}{r} & -\frac{y}{r} \\ \frac{y}{r} & \frac{x}{r}\end{pmatrix}\): \(\det D = 1\) d.h. die komplexe Multiplikation ist eine Drehstreckung. \vspace*{1mm} -Die Normen von $(\C,|\cdot|)$ und $(\R^2,|\cdot|_2)$ stimmen überein, ebenso Konvergenz-, Stetigkeits- und \ Offenheitseigenschaften: +Die Normen von \((\C,|\cdot|)\) und \((\R^2,|\cdot|_2)\) stimmen überein, ebenso Konvergenz-, Stetigkeits- und \ Offenheitseigenschaften: \spacing -$\displaystyle\lim_{n \to \infty} z_n = z$ in $\C \iff \displaystyle\lim_{n \to \infty} Re \ z_n = Re \ z \\ \hspace*{26.8mm} \land \lim_{n \to \infty} Im \ z_n = Im \ z$ +\(\displaystyle\lim_{n \to \infty} z_n = z\) in \(\C \iff \displaystyle\lim_{n \to \infty} Re \ z_n = Re \ z \\ \hspace*{26.8mm} \land \lim_{n \to \infty} Im \ z_n = Im \ z\) \subsection*{Polardarstellung} -Für $z = x +iy \in \C \setminus \{0\}$ gilt $z = re^{i\phi}$ mit $r = |z|$ und: +Für \(z = x +iy \in \C \setminus \{0\}\) gilt \(z = re^{i\phi}\) mit \(r = |z|\) und: \vspace*{-2mm} \[ \phi = \arg z := \begin{cases} @@ -28,26 +28,26 @@ Für $z = x +iy \in \C \setminus \{0\}$ gilt $z = re^{i\phi}$ mit $r = |z|$ und: \pi & z \in (-\infty,0) \end{cases} \] -mit $\phi \in (-\pi, \pi]$. Es gilt für $z = re^{i\phi}, w = se^{i\psi}$: +mit \(\phi \in (-\pi, \pi]\). Es gilt für \(z = re^{i\phi}, w = se^{i\psi}\): -$z \cdot w = rse^{i(\phi+\psi)} = |z||w|e^{i(\phi+\psi)}$. + \(z \cdot w = rse^{i(\phi+\psi)} = |z||w|e^{i(\phi+\psi)}\). \section*{Holomorphie} -Eine Funktion $f : D \to \C$ ist \emph{komplex differenzierbar} in $z_0 \in D$, wenn: +Eine Funktion \(f : D \to \C\) ist \emph{komplex differenzierbar} in \(z_0 \in D\), wenn: \vspace*{-4mm} \[ f'(z_0) := \displaystyle\lim_{z \to z_0, z \in D\setminus\{z_0\}} \frac{f(z)-f(z_0)}{z-z_0} \in \C \text{ existiert.} \] -Ist $f$ in $\forall z_0 \in D$ komplex differenzierbar, so heißt $f$ \emph{holomorph} auf $D$ mit Ableitung $f' : D \to \C$. +Ist \(f\) in \(\forall z_0 \in D\) komplex differenzierbar, so heißt \(f\) \emph{holomorph} auf \(D\) mit Ableitung \(f' : D \to \C\). -Geschrieben $f \in H(D)$. +Geschrieben \(f \in H(D)\). \subsection*{Komplexe Ableitung} -$\C \to \C, z \mapsto 1$ und $\C \to \C, z \mapsto z$ sind holomorph. +\(\C \to \C, z \mapsto 1\) und \(\C \to \C, z \mapsto z\) sind holomorph. -Seien $f, g : D \to \C$ komplex differenzierbar in $z_0 \in \C$, $f(z_0) \in D' \subseteq \C$ offen, $h : D' \to \C$ in $f(z_0)$ komplex differenzierbar, $\alpha, \beta \in \C$: +Seien \(f, g : D \to \C\) komplex differenzierbar in \(z_0 \in \C\), \(f(z_0) \in D' \subseteq \C\) offen, \(h : D' \to \C\) in \(f(z_0)\) komplex differenzierbar, \(\alpha, \beta \in \C\): \vspace*{-4mm} \begin{align*} @@ -57,27 +57,27 @@ Seien $f, g : D \to \C$ komplex differenzierbar in $z_0 \in \C$, $f(z_0) \in D' (h \circ f)'(z_0) &= h'(f(z_0))f'(z_0) \end{align*} -Polynome $p$ und nichtsinguläre rationale Funktionen aus Polynomen sind auf $\C$ holomorph. +Polynome \(p\) und nichtsinguläre rationale Funktionen aus Polynomen sind auf \(\C\) holomorph. \subsubsection*{Konvergenzradius} -Seien $a_k \in \C, k \in \N_0$: +Seien \(a_k \in \C, k \in \N_0\): \vspace*{-2mm} \[ \rho = \frac{1}{\overline\lim_{k\to\infty} \sqrt[k]{|a_k|}} \in [0,+\infty] \] ist der \emph{Konvergenzradius}. -Sei $\rho > 0, c \in \C$. Dann ex. die Potenzreihe: +Sei \(\rho > 0, c \in \C\). Dann ex. die Potenzreihe: -$f : B(c,\rho) \to \C, z \mapsto \sum_{k=0}^\infty a_k(z-c)^k$. + \(f : B(c,\rho) \to \C, z \mapsto \sum_{k=0}^\infty a_k(z-c)^k\). -Diese ist auf $B(c,\rho)$ beliebig oft komplex differenzierbar. Für $n \in \N_0$ hat $f^{(n)}$ den Konvergenzradius $\rho > 0$ und es gilt für $z \in B(c,\rho)$: +Diese ist auf \(B(c,\rho)\) beliebig oft komplex differenzierbar. Für \(n \in \N_0\) hat \(f^{(n)}\) den Konvergenzradius \(\rho > 0\) und es gilt für \(z \in B(c,\rho)\): \vspace*{-4mm} \[ f^{(n)}(z) = \sum_{k=n}^\infty k(k-1)\cdots(k-n+1)a_k(z-c)^{k-n} \] -Auf diese Weise ergeben sich für $z \in \C$: +Auf diese Weise ergeben sich für \(z \in \C\): \vspace*{-4mm} \begin{align*} @@ -90,87 +90,67 @@ Auf diese Weise ergeben sich für $z \in \C$: \subsection*{Charakterisierung} -Sei $f : D \to \C, D \subseteq \R^2, u = Re \ f, v = Im \ f : D \to \R$. +Sei \(f : D \to \C, D \subseteq \R^2, u = Re \ f, v = Im \ f : D \to \R\). -$f : D \to \R^2, (x,y) \mapsto u(x,y) + iv(x,y) = \begin{pmatrix} u(x,y) \\ v(x,y)\end{pmatrix}$ + \(f : D \to \R^2, (x,y) \mapsto u(x,y) + iv(x,y) = \begin{pmatrix} u(x,y) \\ v(x,y)\end{pmatrix}\) Es sind dann äquivalent: \begin{enumerate}[label=(\alph*)] - \item $f$ ist in $z$ komplex differenzierbar - \item $f$ ist in $z$ reell differenzierbar und es gelten die \emph{Cauchy-Riemannschen DGL}: \\ + \item \(f\) ist in \(z\) komplex differenzierbar + \item \(f\) ist in \(z\) reell differenzierbar und es gelten die \emph{Cauchy-Riemannschen DGL}: \\ \[ \frac{\partial u}{\partial x}(x,y) = \frac{\partial v}{\partial y}(x,y), \frac{\partial u}{\partial y}(x,y) = -\frac{\partial v}{\partial x}(x,y) \] \end{enumerate} -$f$ hat in $(x,y) \in D \subseteq \R^2$ die \emph{Jacobimatrix}: +\(f\) hat in \((x,y) \in D \subseteq \R^2\) die \emph{Jacobimatrix}: \[ f'(z) = \begin{pmatrix} \frac{\partial u}{\partial x}(x,y) & \frac{\partial u}{\partial y}(x,y) \\ -\frac{\partial u}{\partial y}(x,y) & \frac{\partial u}{\partial x}(x,y) \end{pmatrix} \] -Entsprechend ist $f(z)=\overline z$ nirgends komplex differenzierbar, $f(z)=|z|^2$ nur in $0$ komplex differenzierbar und $f(z) = \frac{1}{z}$ holomorph in $\C \setminus \{0\}$. +Entsprechend ist \(f(z)=\overline z\) nirgends komplex differenzierbar, \(f(z)=|z|^2\) nur in \(0\) komplex differenzierbar und \(f(z) = \frac{1}{z}\) holomorph in \(\C \setminus \{0\}\). \subsection*{Biholomorphie} -Sind $U, V \subseteq \C$ offen und nichtleer, $f : U \to V$ bij., $f$ und $f^{-1}$ holomorph. Dann heißt $f$ \emph{biholomorph}, $U$ und $V$ \emph{konform äquivalent}. +Sind \(U, V \subseteq \C\) offen und nichtleer, \(f : U \to V\) bij., \(f\) und \(f^{-1}\) holomorph. Dann heißt \(f\) \emph{biholomorph}, \(U\) und \(V\) \emph{konform äquivalent}. -Sei $f : U \to V$ biholomorph, $z \in U$. +Sei \(f : U \to V\) biholomorph, \(z \in U\). -Dann ist $f'(z) \neq 0$ und für $w = f(z)$ gilt: +Dann ist \(f'(z) \neq 0\) und für \(w = f(z)\) gilt: \vspace*{-2mm} \[ (f^{-1})'(w) = \frac{1}{f'(f^{-1}(w))} = \frac{1}{f'(z)} \] -Weiterhin existieren offene nichtleere $U \subseteq D$ mit $u_0 \in U, V \subseteq \C$ s.d. $\restrictedto{f}{U}$ biholomorph ist, wenn $f \in H(d) \cap C^1(D,\R^2)$, $z_0 \in D$ mit $f'(z_0) \neq 0$ gilt. - -\section*{Möbiustransformationen} - -Sei $A = \begin{pmatrix} a & b \\ c & d\end{pmatrix} \in \C^{2 \times 2}$ mit $\det A = ad - bc \neq 0$. - -Setze $m_A : D_A \to \C, z \mapsto \frac{az+b}{cz+d}$ - -Mit $D_A = \begin{cases} \C \setminus \{-\frac{d}{c}\} & c \neq 0 \\ \C & c = 0\end{cases}$ - -\subsection*{Eigenschaften} - -\begin{enumerate}[label=(\alph*)] - \item $m_A$ ist holomorph - \item $\forall \alpha \in \C \setminus \{0\} : m_{\alpha A} = m_A$ - \item $B \in \C^{2 \times 2}$ mit $\det B \neq 0 \implies m_A \circ m_{B} = m_{AB}$ - \item $m_A(D_A) = D_{A^{-1}}, m_A^{-1} = m_{A^{-1}}$ - \item $m_A : D_A \to D_{A^{-1}}$ ist biholomorph -\end{enumerate} - -Alle Möbiustransformationen sind Produkt $m_A = S_1 J S_2$ von affinen Abbildungen $S_j$ und der Inversion $Jz = \frac{1}{z}$. Affine Abbildungen sind Komposition von Translation $Tz=z+\frac{b}{d}$ und Drehstreckung $Dz = \frac{a}{c} z$. $S_j, J, T$ und $D$ sind selbst Möbiustransformationen. +Weiterhin existieren offene nichtleere \(U \subseteq D\) mit \(u_0 \in U, V \subseteq \C\) s.d. \(\restrictedto{f}{U}\) biholomorph ist, wenn \(f \in H(d) \cap C^1(D,\R^2)\), \(z_0 \in D\) mit \(f'(z_0) \neq 0\) gilt. \section*{Potenzen und Wurzeln} -Für $\theta \in (0, \pi]$ ist $\Sigma_\theta := \{ z \in \C \setminus \{0\} | |\arg z| < \theta \}$ der \emph{offene Sektor}. +Für \(\theta \in (0, \pi]\) ist \(\Sigma_\theta := \{ z \in \C \setminus \{0\} | |\arg z| < \theta \}\) der \emph{offene Sektor}. -d.h. $\Sigma_{\pi / 2} = \C_+$ ist die offene rechte Halbebene und $\Sigma_\pi = \C \setminus (-\infty,0]$ die geschlitzte Ebene. +d.h. \(\Sigma_{\pi / 2} = \C_+\) ist die offene rechte Halbebene und \(\Sigma_\pi = \C \setminus (-\infty,0]\) die geschlitzte Ebene. \vspace*{2mm} -$g_a = \{ a + iy | y \in \R \}$ für $a \in \R$ ist \emph{horizontale Gerade}. +\(g_a = \{ a + iy | y \in \R \}\) für \(a \in \R\) ist \emph{horizontale Gerade}. -$h_b = \{ x + ib | x \in \R \}$ für $b \in \R$ ist \emph{vertikale Gerade}. + \(h_b = \{ x + ib | x \in \R \}\) für \(b \in \R\) ist \emph{vertikale Gerade}. \vspace*{2mm} -Die Potenz ist def.: $P_n : \C \to \C, z \mapsto z^n = |z|^n e^{in\phi}$ +Die Potenz ist def.: \(P_n : \C \to \C, z \mapsto z^n = |z|^n e^{in\phi}\) -Sie bildet den Halbstrahl $s_\theta := \{ re^{i\theta} | r > 0 \}$ bijektiv auf den Halbstrahl $s_{n\theta}$ ab. +Sie bildet den Halbstrahl \(s_\theta := \{ re^{i\theta} | r > 0 \}\) bijektiv auf den Halbstrahl \(s_{n\theta}\) ab. -\subsection*{Hauptzweig der $n$-ten Wurzel} +\subsection*{Hauptzweig der \(n\)-ten Wurzel} -Sei $n \in \N$ mit $n \geq 2$. Der \emph{Hauptzweig der $n$-ten Wurzel} ist $r_n = p_n^{-1} : \Sigma_\pi \to \Sigma_{\pi/n}$. +Sei \(n \in \N\) mit \(n \geq 2\). Der \emph{Hauptzweig der \(n\)-ten Wurzel} ist \(r_n = p_n^{-1} : \Sigma_\pi \to \Sigma_{\pi/n}\). -Somit ist $\forall w \in \Sigma_\pi$ die $n$-te Wurzel $r_n(w) = z$ das einzige $z \in \Sigma_{\pi/n}$ mit $z^n = w$. Es gelten $r_n(z^n) = z$ und $r_n(w)^n = w$. +Somit ist \(\forall w \in \Sigma_\pi\) die \(n\)-te Wurzel \(r_n(w) = z\) das einzige \(z \in \Sigma_{\pi/n}\) mit \(z^n = w\). Es gelten \(r_n(z^n) = z\) und \(r_n(w)^n = w\). \section*{Exponentiale und Logarithmen} -Sei $z = x + iy, x, y \in \R, k \in \Z$. Dann: +Sei \(z = x + iy, x, y \in \R, k \in \Z\). Dann: \vspace*{-4mm} \begin{align*} @@ -179,7 +159,7 @@ Sei $z = x + iy, x, y \in \R, k \in \Z$. Dann: \exp(z) &= 1 \iff z=2\pi i k \end{align*} -Für $a, b \in \R$ gilt: $\exp : h_b \to s_b$ ist bijektiv und $\exp : g_a \to \partial B(0,e^a)$ ist surjektiv, nicht injektiv. +Für \(a, b \in \R\) gilt: \(\exp : h_b \to s_b\) ist bijektiv und \(\exp : g_a \to \partial B(0,e^a)\) ist surjektiv, nicht injektiv. \subsection*{Hauptzweig des Logarithmus} @@ -190,39 +170,39 @@ Für $a, b \in \R$ gilt: $\exp : h_b \to s_b$ ist bijektiv und $\exp : g_a \to \ \end{align*} \vspace*{-6mm} -Sind die \emph{vertikalen und horizontalen Streifen} in $\C$. +Sind die \emph{vertikalen und horizontalen Streifen} in \(\C\). \spacing -$exp : S_r(a_1,a_2) \to B(0,e^{a_2}) \setminus \overline B(0,e^{a_1})$ ist surjektiv. +\(exp : S_r(a_1,a_2) \to B(0,e^{a_2}) \setminus \overline B(0,e^{a_1})\) ist surjektiv. -$exp : S_i(b_1,b_2) \to \{ \omega = te^{i\phi} | t > 0, \phi \in (b_1,b_2) \}$ ist bijektiv. + \(exp : S_i(b_1,b_2) \to \{ \omega = te^{i\phi} | t > 0, \phi \in (b_1,b_2) \}\) ist bijektiv. \spacing -Der \emph{Hauptzweig des Logarithmus} ist die Abbildung $\log = (\restrictedto{\exp}{s_i})^{-1} : \Sigma_\pi \to S_i$. +Der \emph{Hauptzweig des Logarithmus} ist die Abbildung \(\log = (\restrictedto{\exp}{s_i})^{-1} : \Sigma_\pi \to S_i\). -$\forall w \in \Sigma_\pi : z = \log(w)$ ist eind. $z \in S_i$ mit $\exp(z) = w$. + \(\forall w \in \Sigma_\pi : z = \log(w)\) ist eind. \(z \in S_i\) mit \(\exp(z) = w\). -Weiter gilt: $\exp : S_i \to \Sigma_\pi$ und $\log : \Sigma_\pi \to S_i$ sind biholomorph mit $\log\exp(z) = z$ für $z \in S_i$ und $\exp\log(w) = w$, $\log'(w) = \frac{1}{w}$ für $w \in \Sigma_\pi$. +Weiter gilt: \(\exp : S_i \to \Sigma_\pi\) und \(\log : \Sigma_\pi \to S_i\) sind biholomorph mit \(\log\exp(z) = z\) für \(z \in S_i\) und \(\exp\log(w) = w\), \(\log'(w) = \frac{1}{w}\) für \(w \in \Sigma_\pi\). \subsection*{Allgemeine Potenz} -Sei $z = re^{i\phi} \in \Sigma_\pi$ mit $r > 0$ und $\phi \in (-\pi,\pi), w = x + iy \in \C$ für $x, y \in \R$. \emph{Allgemeine Potenz} ist def.: +Sei \(z = re^{i\phi} \in \Sigma_\pi\) mit \(r > 0\) und \(\phi \in (-\pi,\pi), w = x + iy \in \C\) für \(x, y \in \R\). \emph{Allgemeine Potenz} ist def.: -$z^w = \exp(w \log z) = r^x e^{-y\phi} e^{i(x\phi + y \ln r)}$ + \(z^w = \exp(w \log z) = r^x e^{-y\phi} e^{i(x\phi + y \ln r)}\) -z.B. $e^w = \exp(w)$ und $i^i = e^{-\pi/2}$. +z.B. \(e^w = \exp(w)\) und \(i^i = e^{-\pi/2}\). \spacing -Es gilt $z^{v+w} = z^v z^w$. Ableitungen $\frac{\partial}{\partial z} z^w = wz^{w-1}$ und $\frac{\partial}{\partial w} z^w = \log(w)z^w$ existieren. +Es gilt \(z^{v+w} = z^v z^w\). Ableitungen \(\frac{\partial}{\partial z} z^w = wz^{w-1}\) und \(\frac{\partial}{\partial w} z^w = \log(w)z^w\) existieren. \section*{Komplexe Kurvenintegrale} -Fkt $f : [a,b] \to \C$ ist \emph{stückweise stetig}, wenn $\forall t \in [a,b]$ beideitige Grenzwerte in $\C$ ex. und max. endlich viele Unstetigkeitspunkte $t_k \in [a,b]$ ex. +Fkt \(f : [a,b] \to \C\) ist \emph{stückweise stetig}, wenn \(\forall t \in [a,b]\) beideitige Grenzwerte in \(\C\) ex. und max. endlich viele Unstetigkeitspunkte \(t_k \in [a,b]\) ex. -Geschrieben $f \in PC([a,b],\C)$. +Geschrieben \(f \in PC([a,b],\C)\). Solche Funktionen sind integrierbar: @@ -231,11 +211,11 @@ Solche Funktionen sind integrierbar: \subsection*{Hauptsatz} -$f \in PC([a,b],\C)$ ist in $t_0 \in [a,b]$ differenzierbar, wenn $f'(t_0) := \lim_{t \to t_0} \frac{f(t)-f(t_0)}{t-t_0} \in \C$ existiert. +\(f \in PC([a,b],\C)\) ist in \(t_0 \in [a,b]\) differenzierbar, wenn \(f'(t_0) := \lim_{t \to t_0} \frac{f(t)-f(t_0)}{t-t_0} \in \C\) existiert. -$\iff \text{Re } f, \text{Im } f$ besitzen Ableitungen in $\R$. + \(\iff \text{Re } f, \text{Im } f\) besitzen Ableitungen in \(\R\). -Ist $f$ auf $[a,b]$ diffbar und $g, f' \in C([a,b],\C)$. Dann gilt der Hauptsatz: +Ist \(f\) auf \([a,b]\) diffbar und \(g, f' \in C([a,b],\C)\). Dann gilt der Hauptsatz: \vspace*{-3mm} \[ \int_a^b f'(t) dt = f(b) - f(a) \] @@ -244,102 +224,100 @@ Ist $f$ auf $[a,b]$ diffbar und $g, f' \in C([a,b],\C)$. Dann gilt der Hauptsatz \subsection*{Kurven und Parametrisierungen} -$\gamma \in C([a,b],\C)$ ist \emph{Kurve} oder \emph{Weg} von $\gamma(a)$ nach $\gamma(b)$. $\gamma$ ist \emph{geschlossen}, wenn $\gamma(a)=\gamma(b)$ gilt und einfach, wenn $\gamma$ auf $[a,b)$ injektiv ist. +\(\gamma \in C([a,b],\C)\) ist \emph{Kurve} oder \emph{Weg} von \(\gamma(a)\) nach \(\gamma(b)\). \(\gamma\) ist \emph{geschlossen}, wenn \(\gamma(a)=\gamma(b)\) gilt und einfach, wenn \(\gamma\) auf \([a,b)\) injektiv ist. -$\Gamma = \gamma([a,b])$ ist \emph{Bild} oder \emph{Spur} von $\gamma$. + \(\Gamma = \gamma([a,b])\) ist \emph{Bild} oder \emph{Spur} von \(\gamma\). -Gilt $\Gamma \subseteq M \subseteq \C$, so ist $\gamma$ Weg in $M$. +Gilt \(\Gamma \subseteq M \subseteq \C\), so ist \(\gamma\) Weg in \(M\). -$\gamma$ ist auch \emph{Parametrisierung} ihres Bildes $\Gamma$. + \(\gamma\) ist auch \emph{Parametrisierung} ihres Bildes \(\Gamma\). \subsection*{Kurvenintegral} -Sei $\gamma \in PC^1([a,b],\C)$ mit Bild $\Gamma = \gamma([a,b])$ und $f \in C(\Gamma,\C)$. Dann ist das \emph{komplexe Kurvenintegral}: +Sei \(\gamma \in PC^1([a,b],\C)\) mit Bild \(\Gamma = \gamma([a,b])\) und \(f \in C(\Gamma,\C)\). Dann ist das \emph{komplexe Kurvenintegral}: \vspace*{-2mm} \[ \int_\gamma f dz = \int_\gamma f(z) dz := \int_a^b f(\gamma(t))\gamma'(t) dt \] -Die Länge von $\gamma$ ist $l(\gamma) = \int_a^b |\gamma'(t)| dt$. +Die Länge von \(\gamma\) ist \(l(\gamma) = \int_a^b |\gamma'(t)| dt\). \subsubsection*{Eigenschaften} -Seien $\gamma, \gamma_1, \gamma_2 \in PC^1([a,b],\C)$ mit Bildern $\Gamma, \Gamma_1, \Gamma_2$ und $f, g \in C(\Gamma,\C), h \in C(\Gamma_1 \cup \Gamma_2, \C), \alpha, \beta \in \C$: +Seien \(\gamma, \gamma_1, \gamma_2 \in PC^1([a,b],\C)\) mit Bildern \(\Gamma, \Gamma_1, \Gamma_2\) und \(f, g \in C(\Gamma,\C), h \in C(\Gamma_1 \cup \Gamma_2, \C), \alpha, \beta \in \C\): \begin{enumerate}[label=(\alph*)] - \item $\int_\gamma (\alpha f + \beta g) dz = \alpha \int_\gamma f dz + \beta \int_\gamma g dz$ - \item $|\int_\gamma f dz| \leq \|f\|_\infty l(\gamma)$ - \item $\int_{\gamma_1 \cup \gamma_2} h dz = \int_{\gamma_1} h dz + \int_{\gamma_2} h dz$ - \item $\int_{\gamma^-} f dz = - \int_{\gamma} f dz$ + \item \(\int_\gamma (\alpha f + \beta g) dz = \alpha \int_\gamma f dz + \beta \int_\gamma g dz\) + \item \(|\int_\gamma f dz| \leq \|f\|_\infty l(\gamma)\) + \item \(\int_{\gamma_1 \cup \gamma_2} h dz = \int_{\gamma_1} h dz + \int_{\gamma_2} h dz\) + \item \(\int_{\gamma^-} f dz = - \int_{\gamma} f dz\) \end{enumerate} -Sei $\gamma \in PC^1([a,b],\C)$ mit Bild $\Gamma$, $f_n, f \in C(\Gamma,\C)$ für $n \in \N$ und $h \in C(D\times\Gamma,\C)$. Dann gelten: +Sei \(\gamma \in PC^1([a,b],\C)\) mit Bild \(\Gamma\), \(f_n, f \in C(\Gamma,\C)\) für \(n \in \N\) und \(h \in C(D\times\Gamma,\C)\). Dann gelten: \spacing -$(f_n)$ konv. glm. auf $\Gamma$ gegen $f$ +\((f_n)\) konv. glm. auf \(\Gamma\) gegen \(f\) \vspace*{-2mm} \[ \implies \displaystyle\lim_{n\to\infty} \int_\gamma f_n dz = \int_\gamma f dz \] -$\sum_{n=1}^\infty f_n$ konv. glm. auf $\Gamma$ +\(\sum_{n=1}^\infty f_n\) konv. glm. auf \(\Gamma\) \vspace*{-2mm} \[ \implies \displaystyle\sum_{n=1}^\infty \int_\gamma f_n dz = \int_\gamma \displaystyle\sum_{n=1}^\infty f_n dz \] -\columnbreak - -Abbildung $H : z \mapsto \int_\Gamma h(z,w) dw \in C(D,\C)$ +Abbildung \(H : z \mapsto \int_\Gamma h(z,w) dw \in C(D,\C)\) -$z \mapsto h(z,w) \in H(D)$ mit $\frac{\partial}{\partial z} h \in C(D \times \Gamma, \C)$ + \(z \mapsto h(z,w) \in H(D)\) mit \(\frac{\partial}{\partial z} h \in C(D \times \Gamma, \C)\) \vspace*{-2mm} \[ \implies \frac{d}{dz} \int_\gamma h(z,w) dw = \int_\gamma \frac{\partial}{\partial z} h(z,w) dw \] -d.h. $H$ ist holomorph mit dieser Ableitung. +d.h. \(H\) ist holomorph mit dieser Ableitung. \subsection*{Konstant auf Gebieten} -Sei $D \subset \C$ ein Gebiet, $f \in H(D)$ und $f'=0$ auf $D$. Dann ist $f$ konstant. +Sei \(D \subset \C\) ein Gebiet, \(f \in H(D)\) und \(f'=0\) auf \(D\). Dann ist \(f\) konstant. \subsection*{Stammfunktionen} -Sei $f \in C(D,\C)$. Stammfunktion von $f$ auf $D$ ist $F \in H(D)$ mit $F'=f$. +Sei \(f \in C(D,\C)\). Stammfunktion von \(f\) auf \(D\) ist \(F \in H(D)\) mit \(F'=f\). -$\exp, \sin, \cos$ und Polynome besitzen Stammftk. auf $\C$. $\log$ ist Stammfkt. von $z \mapsto \frac{1}{z}$ auf $\Sigma_\pi$. +\(\exp, \sin, \cos\) und Polynome besitzen Stammftk. auf \(\C\). \(\log\) ist Stammfkt. von \(z \mapsto \frac{1}{z}\) auf \(\Sigma_\pi\). \section*{Der Cauchysche Integralsatz} -Sei $D$ Gebiet, $f \in C(D,\C)$. Dann sind äquivalent: +Sei \(D\) Gebiet, \(f \in C(D,\C)\). Dann sind äquivalent: \begin{enumerate}[label=(\alph*)] - \item $f$ hat Stammfunktion $F$ auf $D$ - \item $\forall \gamma_1, \gamma_2 \in PC^1([a,b],D)$ mit $\gamma_1(a)=\gamma_2(a)$ und $\gamma_1(b)=\gamma_2(b)$ gilt: $\int_{\gamma_1} f dz = \int_{\gamma_2} f dz$. - \item $\forall \gamma \in C^1([a,b],D)$ mit $\gamma(a)=\gamma(b)$: $\int_\gamma f dz = 0$ + \item \(f\) hat Stammfunktion \(F\) auf \(D\) + \item \(\forall \gamma_1, \gamma_2 \in PC^1([a,b],D)\) mit \(\gamma_1(a)=\gamma_2(a)\) und \(\gamma_1(b)=\gamma_2(b)\) gilt: \(\int_{\gamma_1} f dz = \int_{\gamma_2} f dz\). + \item \(\forall \gamma \in C^1([a,b],D)\) mit \(\gamma(a)=\gamma(b)\): \(\int_\gamma f dz = 0\) \end{enumerate} -Es ergibt sich für jeden stückweisen $C^1$-Weg in $D$: $\int_\gamma f dz = F(\gamma(b)) - F(\gamma(a))$. +Es ergibt sich für jeden stückweisen \(C^1\)-Weg in \(D\): \(\int_\gamma f dz = F(\gamma(b)) - F(\gamma(a))\). \subsection*{Satz von Goursat} -Seien $w_0 \in D, f \in C(D,\C) \cap H(D \setminus \{w_0\})$ und $\Delta \subseteq D$ ein abgeschlossenes Dreieck. Dann: +Seien \(w_0 \in D, f \in C(D,\C) \cap H(D \setminus \{w_0\})\) und \(\Delta \subseteq D\) ein abgeschlossenes Dreieck. Dann: \vspace*{-2mm} \[ \int_{\partial\Delta} f dz = 0 \] \subsection*{Cauchys Integralsatz} -Seien $D$ sternförmiges Gebiet, $f \in H(D)$ und $\gamma \in PC^1([a,b],D)$ geschlossen, dann gilt: +Seien \(D\) sternförmiges Gebiet, \(f \in H(D)\) und \(\gamma \in PC^1([a,b],D)\) geschlossen, dann gilt: \vspace*{-2mm} \[ \int_\gamma f dz = 0 \] -Dies gilt auch für $f \in C(D,\C) \cap H(D\setminus \{\omega_0\})$. +Dies gilt auch für \(f \in C(D,\C) \cap H(D\setminus \{\omega_0\})\). \subsubsection*{Cauchys Integralformeln} -Seien $f \in H(D), \overline B(z_0,r) \subseteq D, n \in \N_0, z \in B(z_0,r)$ und $s := |z-z_0| < r$. Sei $\partial B(z_0,r)$ durch $\gamma(t) = z_0 + re^{it}$ mit $t \in [0,2\pi]$ parametrisiert. +Seien \(f \in H(D), \overline B(z_0,r) \subseteq D, n \in \N_0, z \in B(z_0,r)\) und \(s := |z-z_0| < r\). Sei \(\partial B(z_0,r)\) durch \(\gamma(t) = z_0 + re^{it}\) mit \(t \in [0,2\pi]\) parametrisiert. -Dann ist $f$ bel. oft auf $D$ diffbar und es gelten: +Dann ist \(f\) bel. oft auf \(D\) diffbar und es gelten: \vspace*{-4mm} \begin{align*} @@ -349,11 +327,11 @@ Dann ist $f$ bel. oft auf $D$ diffbar und es gelten: \subsection*{Analytische Funktionen} -Eine Funktion $f : D \to \C$ heißt \emph{analytisch}, wenn $\forall z \in D \exists r(z) > 0$ mit $B(z,r(z)) \subseteq D$ s.d. $f$ auf $B(z,r(z))$ gleich einer Potenzreihe um $z$ ist. +Eine Funktion \(f : D \to \C\) heißt \emph{analytisch}, wenn \(\forall z \in D \exists r(z) > 0\) mit \(B(z,r(z)) \subseteq D\) s.d. \(f\) auf \(B(z,r(z))\) gleich einer Potenzreihe um \(z\) ist. \vspace*{1mm} -Eine Funktion $f \in H(\C)$ heißt \emph{ganz}. +Eine Funktion \(f \in H(\C)\) heißt \emph{ganz}. \vspace*{1mm} @@ -361,11 +339,11 @@ Analytische Funktionen sind insb. holomorph. \subsubsection*{Entwicklungssatz} -Sei $f \in H(D)$. Dann ist $f$ analytisch. +Sei \(f \in H(D)\). Dann ist \(f\) analytisch. \spacing -Für $\forall z_0 \in D$ sei $R(z_0) := \sup\{r > 0 | B(z_0,r) \subseteq D \}$ der maximale Redius. Zusätzlich sei $\overline r, r \in (0,R(z_0))$. Für $z \in B(z_0, R(z_0)$ ist die Taylorreihe von $f$: +Für \(\forall z_0 \in D\) sei \(R(z_0) := \sup\{r > 0 | B(z_0,r) \subseteq D \}\) der maximale Radius. Zusätzlich sei \(\overline r, r \in (0,R(z_0))\). Für \(z \in B(z_0, R(z_0)\) ist die Taylorreihe von \(f\): \vspace*{-6mm} \begin{align*} @@ -373,25 +351,13 @@ f(z) &= \sum_{n=0}^\infty a_n(z-z_0)^n \\ a_n &= \frac{f^{(n)}(z_0)}{n!} = \frac{1}{2\pi i} \int_{\partial B(z_0,r)} \frac{f(w)}{(w-z_0)^{n+1}} dw \end{align*} -Diese konvergiert gleichmäßig auf $\overline B(z_0,\overline r)$. +Diese konvergiert gleichmäßig auf \(\overline B(z_0,\overline r)\). -Für ganze $f$ gilt $R(z_0)=\infty$. - -\subsection*{Laplacetransformationen} - -Sei $f : [0,\infty) \to \C$ messbar und $\exists M, \omega \geq 0 \forall t \geq 0 : |f(t)| \leq Me^{\omega t}$. Dann ex. die \emph{Laplacetransformation}: - -\vspace*{-2mm} -\[ \hat f(\lambda) = \int_0^\infty e^{-\lambda t} f(t) dt \text{ für Re } \lambda > \omega \] - -Diese ist auf $\{\lambda \in \C | \text{Re } \lambda > \omega\}$ holomorph mit: - -\vspace*{-4mm} -\[ \hat f^{(n)}(\lambda) = (-1)^n \int_0^\infty e^{-\lambda t} t^n f(t) dt, \text{ Re } \lambda > \omega, n \in \N \] +Für ganze \(f\) gilt \(R(z_0)=\infty\). \subsection*{Satz von Morera} -Funktion $f \in C(D,\C)$ erfülle $\int_{\partial\Delta} f dz = 0$ für alle abg. $\Delta \subseteq D$. Dann ist $f$ holomorph. +Funktion \(f \in C(D,\C)\) erfülle \(\int_{\partial\Delta} f dz = 0\) für alle abg. \(\Delta \subseteq D\). Dann ist \(f\) holomorph. \subsection*{Satz von Liouville} @@ -399,35 +365,35 @@ Eine beschränkte ganze Funktion ist konstant. \subsection*{Fundamentalsatz der Algebra} -Ein komplexes Polynom $n$-ten Grades hat $n$ Nullstellen in $\C$. (eventuell wiederholt) +Ein komplexes Polynom \(n\)-ten Grades hat \(n\) Nullstellen in \(\C\). (eventuell wiederholt) \subsection*{Weierstraßscher Konvergenzsatz} -Seien $f, f_n : D \to \C$ für $n \in \N$. Konvergiert die \emph{Supremumsnorm} $\sup_{z \in K} |f_n(z)-f(z)|$ auf bel. komp. $K \subseteq D$ gegen $0$ für $n \to \infty$, so konvergiert $(f_n)$ kompakt auf $D$ gegen $f$. Weiterhin: +Seien \(f, f_n : D \to \C\) für \(n \in \N\). Konvergiert die \emph{Supremumsnorm} \(\sup_{z \in K} |f_n(z)-f(z)|\) auf bel. komp. \(K \subseteq D\) gegen \(0\) für \(n \to \infty\), so konvergiert \((f_n)\) kompakt auf \(D\) gegen \(f\). Weiterhin: \spacing -$f_n \in C(D,\C) \xrightarrow[n \to \infty]{\text{kompakt}} f \implies f \in C(D,\C)$. +\(f_n \in C(D,\C) \xrightarrow[n \to \infty]{\text{kompakt}} f \implies f \in C(D,\C)\). \spacing -Eine Folge $(f_n) \in H(D)$ konvergiere kompakt gegen $f$. Dann ist $f$ holomorph und alle $f_n^{(j)}$ konvergieren kompakt auf $D$ gegen $f^{(j)}$ für $n \to \infty$. +Eine Folge \((f_n) \in H(D)\) konvergiere kompakt gegen \(f\). Dann ist \(f\) holomorph und alle \(f_n^{(j)}\) konvergieren kompakt auf \(D\) gegen \(f^{(j)}\) für \(n \to \infty\). \subsection*{Identitätssatz} -Sei $D \subseteq \C$ Gebiet und $f \in H(D)$. Dann sind äquiv.: +Sei \(D \subseteq \C\) Gebiet und \(f \in H(D)\). Dann sind äquiv.: \begin{enumerate}[label=(\alph*)] - \item $f = 0$ auf $D$ - \item $\exists z_0 \in D \forall n \in \N_0 : f^{(n)}(z_0) = 0$ - \item $\exists z_n, z_0 \in D \forall n \in N : f(z_n) = 0 \land z_n \neq z_0$ \\ Weiterhin gilt $z_n \to z_0 \ (n \to \infty)$ + \item \(f = 0\) auf \(D\) + \item \(\exists z_0 \in D \forall n \in \N_0 : f^{(n)}(z_0) = 0\) + \item \(\exists z_n, z_0 \in D \forall n \in N : f(z_n) = 0 \land z_n \neq z_0\) \\ Weiterhin gilt \(z_n \to z_0 \ (n \to \infty)\) \end{enumerate} -Somit sind $g, h \in H(D)$ schon auf $D$ gleich, wenn $g, h$ auf Menge $M \subseteq D$ mit Häufungspunkt $z_0 \in D$ übereinstimmen. +Somit sind \(g, h \in H(D)\) schon auf \(D\) gleich, wenn \(g, h\) auf Menge \(M \subseteq D\) mit Häufungspunkt \(z_0 \in D\) übereinstimmen. \subsection*{Nullstellensatz} -Sei $f \in H(D) \neq$ Nullfkt. und $\exists z_0 \in D : f(z_0) = 0$. Dann $\exists m \in \N, r > 0$ mit $B(z_0, r) \subseteq D$ und $g \in H(B(z_0,r))$ mit $g(z_0) \neq 0$ s.d. für $z \in B(z_0,r)$ gilt: +Sei \(f \in H(D) \neq\) Nullfkt. und \(\exists z_0 \in D : f(z_0) = 0\). Dann \(\exists m \in \N, r > 0\) mit \(B(z_0, r) \subseteq D\) und \(g \in H(B(z_0,r))\) mit \(g(z_0) \neq 0\) s.d. für \(z \in B(z_0,r)\) gilt: \vspace{-4mm} \begin{align*} @@ -435,126 +401,165 @@ Sei $f \in H(D) \neq$ Nullfkt. und $\exists z_0 \in D : f(z_0) = 0$. Dann $\exis f(z) &= (z-z_0)^m g(z) \end{align*} -Dabei ist $m$ die Ordnung der Nullstelle $z_0$. +Dabei ist \(m\) die Ordnung der Nullstelle \(z_0\). \subsection*{Holomorphe Fortsetzung} -Sei $f \in H(D), U \subseteq \C$ Gebiet mit $D \subseteq U$. +Sei \(f \in H(D), U \subseteq \C\) Gebiet mit \(D \subseteq U\). -Dann $\exists! g \in H(U) : \restrictedto{g}{D} = f$. +Dann \(\exists! g \in H(U) : \restrictedto{g}{D} = f\). \spacing -Die \emph{Gammafunktion} $\Gamma(z) = \int_0^\infty t^{z-1}e^{-t} dt, Re \ z > 0$ hat genau eine holomorphe Fortsetzung auf der Menge $\C \setminus \{ -n | n \in \N_0 \}$. +Die \emph{Gammafunktion} \(\Gamma(z) = \int_0^\infty t^{z-1}e^{-t} dt, Re \ z > 0\) hat genau eine holomorphe Fortsetzung auf der Menge \(\C \setminus \{ -n | n \in \N_0 \}\). -\subsection*{Nullstelle in $B(z_0,r)$} +\subsection*{Nullstelle in \(B(z_0,r)\)} -Sei $f \in H(D), B := B(z_0,r), r > 0, \overline B \subseteq D$. Weiter: +Sei \(f \in H(D), B := B(z_0,r), r > 0, \overline B \subseteq D\). Weiter: \vspace*{-3mm} \[ 0 \leq |f(z_0)| < \min_{x \in \partial B} |f(x)| \] -Dann hat $f$ Nullstelle in $B$. +Dann hat \(f\) Nullstelle in \(B\). \subsection*{Offenheitssatz} -$f \in H(D)$ ist auf kleiner Kugel in $D$ konstant +\(f \in H(D)\) ist auf kleiner Kugel in \(D\) konstant -$\implies \forall \text{offene } U \subseteq D : f(U) \subseteq \C$ ist offen. +\(\implies \forall \text{offene } U \subseteq D : f(U) \subseteq \C\) ist offen. \subsection*{Gebietstreue} -$D \subseteq \C$ ist Gebiet und $f \in H(D)$ ist nicht konstant +\(D \subseteq \C\) ist Gebiet und \(f \in H(D)\) ist nicht konstant -$\implies f(D)$ ist ein Gebiet. +\(\implies f(D)\) ist ein Gebiet. \subsection*{Maximumsprinzip} -Sei $D$ Gebiet, $f \in H(D)$ nicht konstant. Dann: +Sei \(D\) Gebiet, \(f \in H(D)\) nicht konstant. Dann: + +\begin{enumerate}[label=(\alph*)] + \item Die Abbildung \(D \to \R, z \mapsto |f(z)|\) hat kein lokales Maximum + \item \(D\) beschränkt, \(f \in C(\overline D,\C)\). Dann: \\ \(\max_{z \in \overline D} |f(z)| = \max_{z \in \partial D} |f(z)|\) +\end{enumerate} + +\section*{Homologie} + +Seien \(\gamma_1,\dots,\gamma_m\) stckw. stg. Wege in \(\C)\). Die \emph{Kette} \(\Gamma := \gamma_1 \oplus \dots \oplus \gamma_m\) ist \(\forall f \in C(|\Gamma|)\) def. als: \[\int_\Gamma f dz := \sum_{j=1}^m \int_{\gamma_j} f dz\] + +Für Träger \(|\Gamma| = \Gamma(I) \subseteq D\) ist \(\Gamma\) Kette in \(D\). + +Sind alle \(\gamma_j\) geschlossen heißt \(\Gamma\) \emph{Zyklus}. + +Die \emph{Umlaufzahl} eines Zyklus \(\Gamma\) um \(\alpha \in \C \setminus |\Gamma|\) : \[n(\Gamma,\alpha) := \frac{1}{2\pi i} \int_\Gamma \frac{1}{z-a} dz = \sum_{j=1}^m n(\gamma_j,\alpha)\] + +\(\Gamma\) ist \emph{nullhomolog} in \(D\) gdw. \(\forall \alpha \in \C \setminus D : n(\Gamma,\alpha) = 0\) + +\(\Gamma_1\) und \(\Gamma_2\) sind \emph{homolog} in \(D\) gdw. \(\forall \alpha \in \C \setminus D : n(\Gamma_1,\alpha) = n(\Gamma_2,\alpha)\) + +\(D\) ist \emph{einfach zusammenhängend} gdw. jeder Zyklus in \(D\) nullhomolog ist. + +\subsection*{Homologe Variante der Cauchyschen Sätze} + +Sei \(f \in H(D)\),, \(\Gamma\) nullhomologer Zyklus in \(D\) und \(\Gamma_1,\Gamma_2\) homologe Zyklen in \(D\). Dann gilt: \begin{enumerate}[label=(\alph*)] - \item Die Abbildung $D \to \R, z \mapsto |f(z)|$ hat kein lokales Maximum - \item $D$ beschränkt, $f \in C(\overline D,\C)$. Dann: \\ $\max_{z \in \overline D} |f(z)| = \max_{z \in \partial D} |f(z)|$ + \item \(\int_\Gamma f dz = 0\) + \item \(\int_{\Gamma_1} f dz = \int_{\Gamma_2} f dz\) + \item \(f(z) n(\Gamma,z) = \frac{1}{2\pi i} \int_\Gamma \frac{f(w)}{w-z} dz\) für \(z \in D \setminus |\Gamma|\) +\end{enumerate} + +\subsection*{Cauchy für einfach zshg. Gebiete} + +Sei \(D\) einfach zshg. und \(\Gamma\) Zyklus in \(D\). Dann: + +\begin{enumerate}[label=(\alph*)] + \item \(\int_\Gamma f dz = 0\) + \item Für \(z \in D \setminus |\Gamma|, n \in \N_0 : \\ f^{(n)}(z) n(\Gamma,z) = \frac{n!}{2\pi i} \int_\Gamma \frac{f(w)}{(w-z)^{n+1}} dw\) \end{enumerate} \section*{Homotopie} -Sei $N \subseteq M$ und $M$ ein metrischer Raum, +Sei \(N \subseteq M\) und \(M\) ein metrischer Raum, + +\(\gamma_0, \gamma_1 \in C([a,b],M)\) geschlossene Wege in \(N\). + +\vspace*{1mm} -$\gamma_0, \gamma_1 \in C([a,b],M)$ geschlossene Wege in $N$. +Die Wege \(\gamma_0, \gamma_1\) heißen \emph{homotop} über \(N\), wenn \(\exists h \in C([0,1] \times [a,b],M) \forall (s,t) \in [0,1] \times [a,b] : h(s,t) \in N \land h(0,t)=\gamma_0(t) \land h(1,t) = \gamma_1(t) \land h(s,a) = h(s,b)\). \vspace*{1mm} -Die Wege $\gamma_0, \gamma_1$ heißen \emph{homotop} über $N$, wenn $\exists h \in C([0,1] \times [a,b],M) \forall (s,t) \in [0,1] \times [a,b] : h(s,t) \in N \land h(0,t)=\gamma_0(t) \land h(1,t) = \gamma_1(t) \land h(s,a) = h(s,b)$. +Ist \(\gamma_1\) konstant, so heißt \(\gamma_0\) \emph{nullhomotop} über \(N\). Man schreibt \(\gamma_0 \sim_N \gamma_1\) bzw. \(\gamma_0 \sim_N 0\). \vspace*{1mm} -Ist $\gamma_1$ konstant, so heißt $\gamma_0$ \emph{nullhomotop} über $N$. Man schreibt $\gamma_0 \sim_N \gamma_1$ bzw. $\gamma_0 \sim_N 0$. +Sind alle geschlossenen stückweisen \(C^1\)-Wege in \(N\) nullhomotop, so heißt \(N\) \emph{einfach zusammenhängend}. \vspace*{1mm} -Sind alle geschlossenen stückweisen $C^1$-Wege in $N$ nullhomotop, so heißt $N$ \emph{einfach zusammenhängend}. +Homotopie impliziert Homologie. \subsection*{Homotope Variante der Cauchyschen Sätze} -Sei $D$ Gebiet, $f \in H(D), \gamma_0, \gamma_1$ auf $D$ homotope stückweise $C^1$-Wege. Dann: +Sei \(D\) Gebiet, \(f \in H(D), \gamma_0, \gamma_1\) auf \(D\) homotope stückweise \(C^1\)-Wege. Dann: \[ \int_{\gamma_0} f dz = \int_{\gamma_1} f dz \] -Insb. gilt $\int_{\gamma_0} f dz = 0$, wenn $\gamma_0 \sim_D 0$. +Insb. gilt \(\int_{\gamma_0} f dz = 0\), wenn \(\gamma_0 \sim_D 0\). -Cauchys Integralsatz gilt auf einfach zusammenhängenden Gebieten in $D$. +Cauchys Integralsatz gilt auf einfach zusammenhängenden Gebieten in \(D\). \spacing -Sei $\overline B(z_0,r) \subseteq D, r > 0, z \in B(z_0,r), k(t) = z_0 + re^{it}$ für $t \in [0, 2\pi], n \in \N_0$ und $\gamma$ zu $k$ auf $D \setminus \{z\}$ homotoper stückweiser $C^1$-Weg. Dann: +Sei \(\overline B(z_0,r) \subseteq D, r > 0, z \in B(z_0,r), k(t) = z_0 + re^{it}\) für \(t \in [0, 2\pi], n \in \N_0\) und \(\gamma\) zu \(k\) auf \(D \setminus \{z\}\) homotoper stückweiser \(C^1\)-Weg. Dann: \[ f^{(n)}(z) = \frac{n!}{2\pi i} \int_\gamma \frac{f(w)}{(w-z)^{n+1}} dw \] \section*{Isolierte Singularitäten} -Sei $z_0 \in \C, f \in H(D \setminus \{z_0\}), D_0 := B(z_0,r) \setminus \{z_0\} \subseteq D$. Dann ist $z_0$ \emph{isolierte Singularität} von $f$. $f$ ist: +Sei \(z_0 \in \C, f \in H(D \setminus \{z_0\}), D_0 := B(z_0,r) \setminus \{z_0\} \subseteq D\). Dann ist \(z_0\) \emph{isolierte Singularität} von \(f\). \(f\) ist: \begin{enumerate}[label=(\alph*)] - \item \emph{hebbar}, wenn $\exists \tilde f \in H(B(z_0,r)) : \restrictedto{f}{D_0} = \restrictedto{\tilde f}{D_0}$ - \item \emph{Pol}, wenn $f(z) \to \infty \ (z \to z_0)$ - \item \emph{wesentlich}, wenn $z_0$ nicht hebbar / Pol ist + \item \emph{hebbar}, wenn \(\exists \tilde f \in H(B(z_0,r)) : \restrictedto{f}{D_0} = \restrictedto{\tilde f}{D_0}\) + \item \emph{Pol}, wenn \(f(z) \to \infty \ (z \to z_0)\) + \item \emph{wesentlich}, wenn \(z_0\) nicht hebbar / Pol ist \end{enumerate} \subsection*{Charakterisierung} -Sei $z_0 \in \C$ isolierte Singularität von $f \in H(D)$. Dann sind äquivalent: +Sei \(z_0 \in \C\) isolierte Singularität von \(f \in H(D)\). Dann sind äquivalent: \begin{enumerate}[label=(\alph*)] - \item $z_0$ ist Pol von $f$ - \item $\exists r, c_1, c_2 > 0, m \in \N : \tilde D := B(z_0,r) \setminus \{z_0\} \subseteq D \land \forall z \in \tilde D : c_1|z-z_0|^{-m} \leq |f(z)| \leq c_2|z-z_0|^{-m}$ - \item $\exists r > 0, m \in \N, g \in H(B(z_0,r)) :$ \\ $\tilde D := B(z_0,r) \setminus \{z_0\} \subseteq D \land g(z_0) \neq 0 \land \forall z \in \tilde D : f(z) = (z-z_0)^{-m}g(z)$ - \item $\exists r > 0 : \tilde D := B(z_0,r) \setminus \{z_0\} \subseteq D \land \forall z \in \tilde D : f(z) \neq 0 \land h_0 := \frac{1}{f} : \tilde D \to \C$ besitzt Fortsetzung $h \in H(B(z_0,r))$ wobei $h$ in $z_0$ Nullstelle $m$-ter Ordnung hat + \item \(z_0\) ist Pol von \(f\) + \item \(\exists r, c_1, c_2 > 0, m \in \N : \tilde D := B(z_0,r) \setminus \{z_0\} \subseteq D \land \forall z \in \tilde D : c_1|z-z_0|^{-m} \leq |f(z)| \leq c_2|z-z_0|^{-m}\) + \item \(\exists r > 0, m \in \N, g \in H(B(z_0,r)) :\) \\ \(\tilde D := B(z_0,r) \setminus \{z_0\} \subseteq D \land g(z_0) \neq 0 \land \forall z \in \tilde D : f(z) = (z-z_0)^{-m}g(z)\) + \item \(\exists r > 0 : \tilde D := B(z_0,r) \setminus \{z_0\} \subseteq D \land \forall z \in \tilde D : f(z) \neq 0 \land h_0 := \frac{1}{f} : \tilde D \to \C\) besitzt Fortsetzung \(h \in H(B(z_0,r))\) wobei \(h\) in \(z_0\) Nullstelle \(m\)-ter Ordnung hat \end{enumerate} \subsubsection*{Riemannscher Hebbarkeitssatz} -Die isolierte Singularität $z_0 \in \C$ von $f \in H(D)$ ist hebbar $\iff \exists r_1 > 0 : B(z_0,r_1) \setminus \{z_0\} \subseteq D$ und $f$ auf $B(z_0,r_1) \setminus \{z_0\}$ beschränkt ist. +Die isolierte Singularität \(z_0 \in \C\) von \(f \in H(D)\) ist hebbar \(\iff \exists r_1 > 0 : B(z_0,r_1) \setminus \{z_0\} \subseteq D\) und \(f\) auf \(B(z_0,r_1) \setminus \{z_0\}\) beschränkt ist. \subsubsection*{Satz von Casorati-Weierstraß} -$z_0$ ist wesentlich $\iff \forall r > 0 :$ +\(z_0\) ist wesentlich \(\iff \forall r > 0 :\) -Bild $f(B(z_0,r) \setminus \{z_0\})$ liegt dicht in $\C$ +Bild \(f(B(z_0,r) \setminus \{z_0\})\) liegt dicht in \(\C\) \subsection*{Biholomorphie aus Injektivität} -Sei $f \in H(D)$ injektiv. +Sei \(f \in H(D)\) injektiv. -Dann ist $f(D) \subseteq \C$ offen und $f$ ist biholomorph. +Dann ist \(f(D) \subseteq \C\) offen und \(f\) ist biholomorph. \subsection*{Laurentreihe} -Sei $a_n \in \C$ für $n \in \Z$ und $c \in \C$. +Sei \(a_n \in \C\) für \(n \in \Z\) und \(c \in \C\). -$\sum_{n \in \Z} a_n (z-c)^n$ mit $z \in \C$ ist die \emph{Laurentreihe}. + \(\sum_{n \in \Z} a_n (z-c)^n\) mit \(z \in \C\) ist die \emph{Laurentreihe}. -Diese konvergiert, falls Grenzwerte in $\C$ ex.: +Diese konvergiert, falls Grenzwerte in \(\C\) ex.: \vspace*{-4mm} \begin{align*} @@ -569,48 +574,48 @@ Ist dies der Fall, wird definiert: \subsubsection*{Satz von Laurent} -Seien $f \in H(D), n \in \Z, z_0 \in \C$ und $R > 0$ s.d. $D_0 := B(z_0,R) \setminus \{z_0\} \subseteq D$. +Seien \(f \in H(D), n \in \Z, z_0 \in \C\) und \(R > 0\) s.d. \(D_0 := B(z_0,R) \setminus \{z_0\} \subseteq D\). -Für $r \in (0,R)$ sei $\gamma_r : [0,2\pi] \to \C, t \mapsto z_0 + re^{it}$ und: +Für \(r \in (0,R)\) sei \(\gamma_r : [0,2\pi] \to \C, t \mapsto z_0 + re^{it}\) und: \[ a_n := \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{(w-z_0)^{n+1}} dw \] -Diese Koeff. sind eindeutig und unabhg. $r \in (0,R)$. +Diese Koeff. sind eindeutig und unabhg. \(r \in (0,R)\). \spacing -$\sum_{n=-\infty}^{+\infty} a_n(z-z_0)^n$ konvergiert dann absolut und gleichmäßig auf Kompakta in $D_0$ gegen $f$. +\(\sum_{n=-\infty}^{+\infty} a_n(z-z_0)^n\) konvergiert dann absolut und gleichmäßig auf Kompakta in \(D_0\) gegen \(f\). \subsubsection*{Singularitäten der Laurentreihe} Für Laurentreihen nach der obigen Def. gelten: \begin{enumerate}[label=(\alph*)] - \item $z_0$ ist hebbar $\iff \forall n < 0 : a_n = 0$ - \item $z_0$ ist Pol $m$-ter Ordnung \\ $\iff a_{-m} \neq 0 \land \forall n < -m : a_n = 0$ - \item $z_0$ ist wesentlich $\iff \exists n_j \to -\infty : a_{n_j} \neq 0$ + \item \(z_0\) ist hebbar \(\iff \forall n < 0 : a_n = 0\) + \item \(z_0\) ist Pol \(m\)-ter Ordnung \\ \(\iff a_{-m} \neq 0 \land \forall n < -m : a_n = 0\) + \item \(z_0\) ist wesentlich \(\iff \exists n_j \to -\infty : a_{n_j} \neq 0\) \end{enumerate} \subsection*{Residuen} -Sei $z_0 \in \C$ isolierte Singularität von $f \in H(D)$ und $a_n$ Koeffizienten der Laurentreihe von $f$ um $z_0$. +Sei \(z_0 \in \C\) isolierte Singularität von \(f \in H(D)\) und \(a_n\) Koeffizienten der Laurentreihe von \(f\) um \(z_0\). -Das \emph{Residuum} von $f$ bei $z_0$ ist definiert als: +Das \emph{Residuum} von \(f\) bei \(z_0\) ist definiert als: \[ \text{Res}(f,z_0) := a_{-1} = \frac{1}{2\pi i} \int_{\partial B(z_0,r)} f(w) dw \] -Hierbei gelte $\overline B(z_0,r) \setminus \{z_0\} \subseteq D$. +Hierbei gelte \(\overline B(z_0,r) \setminus \{z_0\} \subseteq D\). \subsubsection*{Residuensatz} -Seien $f \in H(D)$ und $z_1, \dots, z_n \in \C$ alle isolierten Singularitäten von $f$. Sei $p$ ein geschlossener, einfacher, positiv orientierter Polygonzug in $D$ mit Bild $P$ s.d. alle $z_j$ im von $P$ umschlossenen Gebiet $G$ liegen und $\overline G \setminus \{z_1,\dots,z_n\} \subseteq D$ ist. Weiterhin sei $\gamma \in PC^1([a,b],D)$ zu $p$ auf $D$ homotop. Dann: +Seien \(f \in H(D)\) und \(z_1, \dots, z_n \in \C\) alle isolierten Singularitäten von \(f\). Sei \(p\) ein geschlossener, einfacher, positiv orientierter Polygonzug in \(D\) mit Bild \(P\) s.d. alle \(z_j\) im von \(P\) umschlossenen Gebiet \(G\) liegen und \(\overline G \setminus \{z_1,\dots,z_n\} \subseteq D\) ist. Weiterhin sei \(\gamma \in PC^1([a,b],D)\) zu \(p\) auf \(D\) homotop. Dann: \vspace*{-4mm} \[ \int_\gamma f dz = 2\pi i \sum_{j=1}^n \text{Res}(f,z_j) \] -\subsubsection*{Residuen von Polen $m$-ter Ordnung} +\subsubsection*{Residuen von Polen \(m\)-ter Ordnung} -Sei $z_0$ Pol $m$-ter Ordnung von $f \in H(D)$ und $g$ die holomorphe Fortsetzung von $(z-z_0)^m f(z)$ auf $B(z_0,r) \subseteq D$. Dann gelte: +Sei \(z_0\) Pol \(m\)-ter Ordnung von \(f \in H(D)\) und \(g\) die holomorphe Fortsetzung von \((z-z_0)^m f(z)\) auf \(B(z_0,r) \subseteq D\). Dann gelte: \vspace*{-4mm} \begin{align*} @@ -618,24 +623,24 @@ Sei $z_0$ Pol $m$-ter Ordnung von $f \in H(D)$ und $g$ die holomorphe Fortsetzun &= \lim_{z \to z_0} \frac{1}{(m-1)!}\left(\frac{d}{dz}\right)^{m-1} ((z-z_0)^m f(z)) \end{align*} -Insb. gilt also für $m=1$: +Insb. gilt also für \(m=1\): \vspace*{-2mm} \[ \text{Res}(f,z_0) = \lim_{z \to z_0}(z-z_0)f(z) \] \subsection*{Argumentprinzip} -Seien $f \in H(D), z_1, \dots, z_n \in D$ die Nullstellen von $f$ mit Ordnungen $m_1, \dots, m_n \in \N$ und $p$ geschlossener, einfacher, positiv orientierter Polygonzug in $\hat D := D \setminus \{z_1,\dots,z_n\}$ mit Bild $P$ s.d. die Nullstellen im von $P$ umschlossenen Gebiet $G$ liegen mit $\overline G \subseteq D$. Sei $\gamma$ in $\hat D$ zu $p$ homotope, geschlossene stückweise $C^1$-Kurve. Dann: +Seien \(f \in H(D), z_1, \dots, z_n \in D\) die Nullstellen von \(f\) mit Ordnungen \(m_1, \dots, m_n \in \N\) und \(p\) geschlossener, einfacher, positiv orientierter Polygonzug in \(\hat D := D \setminus \{z_1,\dots,z_n\}\) mit Bild \(P\) s.d. die Nullstellen im von \(P\) umschlossenen Gebiet \(G\) liegen mit \(\overline G \subseteq D\). Sei \(\gamma\) in \(\hat D\) zu \(p\) homotope, geschlossene stückweise \(C^1\)-Kurve. Dann: \[ \frac{1}{2\pi i} \int_\gamma \frac{f'(z)}{f(z)} dz = \sum_{j=1}^n m_j \] \subsubsection*{Satz von Rouché} -Sei $f \in H(D), z_j \in \C, m_j \in \N$ und Weg $\gamma$ mit Bild $\Gamma$ entsprechend dem Argumentprinzip. $g \in H(D)$ erfülle: $\forall z \in \Gamma : |f(z)-g(z)| < |f(z)| + |g(z)|$ +Sei \(f \in H(D), z_j \in \C, m_j \in \N\) und Weg \(\gamma\) mit Bild \(\Gamma\) entsprechend dem Argumentprinzip. \(g \in H(D)\) erfülle: \(\forall z \in \Gamma : |f(z)-g(z)| < |f(z)| + |g(z)|\) -Seien $\omega_1, \dots, \omega_\nu$ Nullstellen von $g$ im von $\gamma$ umschlossenen Gebiet mit Vielfachheiten $\mu_k \in \N$: +Seien \(\omega_1, \dots, \omega_\nu\) Nullstellen von \(g\) im von \(\gamma\) umschlossenen Gebiet mit Vielfachheiten \(\mu_k \in \N\): \vspace*{-2mm} \[ \sum_{j=1}^n m_j = \sum_{k=1}^\nu \mu_k \] -d.h. die Summe der Nullstellenordnungen von $f$ ist gleich der Summe der Vielfachheiten von $g$. +d.h. die Summe der Nullstellenordnungen von \(f\) ist gleich der Summe der Vielfachheiten von \(g\). -- cgit v1.2.3