aboutsummaryrefslogtreecommitdiff
path: root/content
diff options
context:
space:
mode:
authorAdrian Kummerlaender2017-07-16 19:13:42 +0200
committerAdrian Kummerlaender2017-07-16 19:13:42 +0200
commit6ef3d1f7bdf03335064c2421fbddf8106c504d5f (patch)
treef2b565a753399e456bf60920a768b56f78404423 /content
parentc28037d60acb3d73aa41f862089acd453cd4f042 (diff)
downloadmath_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.tar
math_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.tar.gz
math_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.tar.bz2
math_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.tar.lz
math_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.tar.xz
math_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.tar.zst
math_reference_sheets-6ef3d1f7bdf03335064c2421fbddf8106c504d5f.zip
Add another set of nice theorems to function theory digest
Diffstat (limited to 'content')
-rw-r--r--content/funktheo.tex36
1 files changed, 36 insertions, 0 deletions
diff --git a/content/funktheo.tex b/content/funktheo.tex
index 15b3ed7..2b9437f 100644
--- a/content/funktheo.tex
+++ b/content/funktheo.tex
@@ -434,3 +434,39 @@ f(z) &= (z-z_0)^m g(z)
\end{align*}
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$.
+
+Dann $\exists! g \in H(U) : \restrictedto{g}{D} = f$.
+
+\subsection*{Nullstelle in $B(z_0,r)$}
+
+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$.
+
+\subsection*{Offenheitssatz}
+
+$f \in H(D)$ ist auf kleiner Kugel in $D$ konstant
+
+$\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
+
+$\implies f(D)$ ist ein Gebiet.
+
+\subsection*{Maximumsprinzip}
+
+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: \vspace*{-2mm} $$\max_{z \in \overline D} |f(z)| = \max_{z \in \partial D} |f(z)|$$
+\end{enumerate}