aboutsummaryrefslogtreecommitdiff
path: root/content
diff options
context:
space:
mode:
authorAdrian Kummerlaender2017-07-15 16:01:19 +0200
committerAdrian Kummerlaender2017-07-15 16:01:19 +0200
commit60a6bf4a2b9c47332c40cadae6fbe9efd86b506a (patch)
tree92f553dc2544f0a84ee39ca507eff74c91f705c1 /content
parentc80dd92d2223108ba95250246a8aa61f1902aa23 (diff)
downloadmath_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.tar
math_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.tar.gz
math_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.tar.bz2
math_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.tar.lz
math_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.tar.xz
math_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.tar.zst
math_reference_sheets-60a6bf4a2b9c47332c40cadae6fbe9efd86b506a.zip
Add section on Möbius transformations to function theory digest
Diffstat (limited to 'content')
-rw-r--r--content/funktheo.tex22
1 files changed, 21 insertions, 1 deletions
diff --git a/content/funktheo.tex b/content/funktheo.tex
index 7147471..f95c6d9 100644
--- a/content/funktheo.tex
+++ b/content/funktheo.tex
@@ -9,7 +9,7 @@ $\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.
Die Normen von $(\C,|\cdot|)$ und $(\R^2,|\cdot|_2)$ stimmen überein, ebenso Konvergenz-, Stetigkeits- und Offenheitseigenschaften:
@@ -124,3 +124,23 @@ Dann ist $f'(z) \neq 0$ und für $w = f(z)$ gilt:
$$(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.