From d8181f09290e69043185ed63e4ad6ab8e74869ab Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Thu, 1 Mar 2018 20:30:48 +0100 Subject: Update non-inline math environment syntax --- content/analysis.tex | 16 +++---- content/analysis_3.tex | 76 +++++++++++++++---------------- content/eaz.tex | 10 ++--- content/funktheo.tex | 62 +++++++++++++------------- content/graph_theory.tex | 38 ++++++++-------- content/lineare_algebra.tex | 18 ++++---- content/markov.tex | 24 +++++----- content/numerik_1.tex | 68 ++++++++++++++-------------- content/numerik_2.tex | 46 +++++++++---------- content/numerik_dgl.tex | 106 ++++++++++++++++++++++++++------------------ 10 files changed, 243 insertions(+), 221 deletions(-) diff --git a/content/analysis.tex b/content/analysis.tex index b43b63f..119d0d8 100644 --- a/content/analysis.tex +++ b/content/analysis.tex @@ -30,7 +30,7 @@ $\forall K \in \N \exists N_K \in \N \forall n \geq N_K : x_n \geq K \Leftrighta \subsection*{Beispiele und Hinweise} -$$e^x = exp(x) = \lim_{n\to \infty} \Big(1 + \frac{x}{n}\Big)^n \text{ insb. } e = \lim_{n\to \infty} \Big(1 + \frac{1}{n}\Big)^n$$ +\[ e^x = exp(x) = \lim_{n\to \infty} \Big(1 + \frac{x}{n}\Big)^n \text{ insb. } e = \lim_{n\to \infty} \Big(1 + \frac{1}{n}\Big)^n \] Zur Bestimmung von Folgen Grenzwerten kann auch L'Hospital herangezogen werden. @@ -393,10 +393,10 @@ $\forall \epsilon > 0 \exists N_\epsilon \in \N \forall n \geq N_\epsilon : ||x_ \subsubsection*{$p$-Norm} \vspace{-4mm} -$$|x|_p := \begin{cases} +\[ |x|_p := \begin{cases} (\sum_{k=1}^m |x_k|^p )^{\frac{1}{p}} & 1 \leq p < \infty \\ \max_{1\leq k \leq m} |x_k| & p = \infty -\end{cases}$$ +\end{cases} \] \subsubsection*{Hölder-Ungleichung} @@ -817,20 +817,20 @@ Sei $\gamma \in C([a, b], \R^m)$ stückweise $C^1$, $\Gamma = \gamma([a, b])$. Sei reelles $f \in C(\Gamma, \R)$ gegeben: \vspace*{-5mm} -$$\int_\Gamma f d\gamma = \int_\Gamma f(x) d\gamma := \int_a^b f(\gamma(t)) | \gamma'(t) |_2 dt$$ +\[ \int_\Gamma f d\gamma = \int_\Gamma f(x) d\gamma := \int_a^b f(\gamma(t)) | \gamma'(t) |_2 dt \] \subsubsection*{Kurvenintegral zweiter Art} Sei vektorwertiges $F \in C(\Gamma, \R^m)$ gegeben: \vspace*{-5mm} -$$\int_\Gamma F \cdot dx = \int_\Gamma F(x) \cdot dx := \int_a^b (F(\gamma(t))|\gamma'(t)) dt$$ +\[ \int_\Gamma F \cdot dx = \int_\Gamma F(x) \cdot dx := \int_a^b (F(\gamma(t))|\gamma'(t)) dt \] \subsubsection*{Wegunabhängigkeit} Sei $D \subseteq \R^m$ offen, dann ist $F \in C(D, \R^m)$ wegunabhängig auf $D$, wenn für alle stückweisen $C^1$-Kurven $\gamma_1, \gamma_2 \in C([a, b], \R^m)$ in $D$ mit gleichem Anfangs- und Endpunkt gilt: -$$\int_{\Gamma_1} F \cdot dx = \int_{\Gamma_2} F \cdot dx$$ +\[ \int_{\Gamma_1} F \cdot dx = \int_{\Gamma_2} F \cdot dx \] Ein $\phi \in C^1(D, \R)$ heißt Potential von $F$ auf $D$, wenn $\nabla\phi = F$ auf $D$. $F$ ist dann Gradientenfeld. @@ -915,7 +915,7 @@ Jedes Anfangswertproblem $k$-ter Ordnung lässt sich in ein Problem 1. Ordnung u Beispielsweise: Das Problem 2. Ordnung $u''(t)=h(t)-u(t)+u'(t)^2$ mit $u(0)=u_0$ und $u'(0)=u_1$ sowie $h \in C(\R, \R)$ wird formuliert als Problem 1. Ordnung: -$$\begin{pmatrix}u(t)\\u'(t)\end{pmatrix}' = \begin{pmatrix}u'(t)\\u''(t)=h(t)-u(t)+u'(t)^2\end{pmatrix}$$ +\[ \begin{pmatrix}u(t)\\u'(t)\end{pmatrix}' = \begin{pmatrix}u'(t)\\u''(t)=h(t)-u(t)+u'(t)^2\end{pmatrix} \] Sei $v_0(t):=u(t)$, $v_1(t):=u'(t)$ und $v(t):=\begin{pmatrix}v_0(t)\\v_1(t)\end{pmatrix}$ @@ -938,7 +938,7 @@ Insgesamt also: Sei $u'(t)=g(t)h(u(t))$ mit $u(t_0)=u_0$ Anfangswertproblem mit $g \in C(\R, \R)$, $h \in C((a, b), \R)$, $u_0 \in (a, b)$ und $h(u_0) \neq 0$. $u$ ist Lösung, wenn $J$ Intervall mit $\forall t \in J : u(t) \in (a, b)$, $u \in C^1(J, \R)$ und $t_0 \in J$. \vspace*{-5mm} -$$u \text{ ist Lösung } \Rightarrow \int_{t_0}^t g(s) ds = \int_{u_0}^{u(t)} \frac{1}{h(x)} dx$$ +\[ u \text{ ist Lösung } \Rightarrow \int_{t_0}^t g(s) ds = \int_{u_0}^{u(t)} \frac{1}{h(x)} dx \] \vspace*{-3mm} Dies kann manchmal nach $u$ aufgelöst werden. diff --git a/content/analysis_3.tex b/content/analysis_3.tex index 9803c81..98420bf 100644 --- a/content/analysis_3.tex +++ b/content/analysis_3.tex @@ -1,7 +1,7 @@ % Borel Sigma-Algebra Kürzel \newcommand{\A}{\mathcal{A}} \newcommand{\B}{\mathcal{B}} -\newcommand{\C}{\mathcal{C}} +\renewcommand{\C}{\mathcal{C}} \newcommand{\E}{\mathcal{E}} \newcommand{\F}{\mathcal{F}} \newcommand{\J}{\mathcal{J}} @@ -16,7 +16,7 @@ Sei $\B$ ein Mengensystem. -$$\left(\bigcup_{B\in \B} B \right)^c = \bigcap_{B\in \B} B^c \hspace*{8mm} \left(\bigcap_{B\in \B} \right)^c = \bigcup_{B\in \B} B^c$$ +\[ \left(\bigcup_{B\in \B} B \right)^c = \bigcap_{B\in \B} B^c \hspace*{8mm} \left(\bigcap_{B\in \B} \right)^c = \bigcup_{B\in \B} B^c \] \subsection*{Mengen-Ring} @@ -55,7 +55,7 @@ Seien $\A$ eine $\sigma$-Algebra auf $X$, $n \in \N$, $\forall j \in \N : A_j \i Die durch das nichtleere Mengensystem $\E \subseteq \powerset{X}$ auf $X$ erzeugte $\sigma$-Algebra ist wie folgt definiert: \vspace*{-4mm} -$$\sigma(\E) := \bigcap\{ \A \subseteq \powerset{X} | \A \text{ ist } \sigma \text{-Algebra}, \E \subseteq \A \}$$ +\[ \sigma(\E) := \bigcap\{ \A \subseteq \powerset{X} | \A \text{ ist } \sigma \text{-Algebra}, \E \subseteq \A \} \] Der Erzeuger $\E$ ist hierbei allg. nicht eindeutig. @@ -80,7 +80,7 @@ $\B_m$ enthält insb. alle offenen und abgeschlossenen Mengen in $\R^m$ sowie de \subsubsection*{Charakterisierung} -$$\B_m = \sigma(\{(a, b) | a, b \in \mathbb{Q}^m, a \leq b\})$$ +\[ \B_m = \sigma(\{(a, b) | a, b \in \mathbb{Q}^m, a \leq b\}) \] Analoges gilt auch für andere Intervalle. @@ -107,10 +107,10 @@ Ein Wahrscheinlichkeitsmaß erfüllt $\mu(X) = 1$. Für fest gewählte $\A = \powerset{X}$, $x \in X$ ist ein Wahrscheinlichkeitsmaß für $A \subseteq X$ definiert: \vspace{-2mm} -$$\delta_x(A) := \begin{cases} +\[ \delta_x(A) := \begin{cases} 1 & x \in A \\ 0 & x \notin A -\end{cases}$$ +\end{cases} \] \subsection*{Zählmaß} @@ -154,7 +154,7 @@ $\lambda(I) = \lambda_m(I) := (b_1 - a_1) \cdot \hdots \cdot (b_m - a_m)$ \subsection*{Ring der Figuren} -$$\F_m = \left\{ A = \bigcup_{j=1}^n I_j | I_j \in \J_m, n \in \N \right\}$$ +\[ \F_m = \left\{ A = \bigcup_{j=1}^n I_j | I_j \in \J_m, n \in \N \right\} \] \subsubsection*{Eigenschaften des Ring der Figuren} @@ -227,10 +227,10 @@ Weiterhin gilt: $\overline \B_1 = \sigma(\{ [-\infty,a] | a \in \Q \})$ Seien $f_n : X \to \overline \R$ für alle $n \in \N$ $\A-\overline \B_1$-messbar \vspace{-4mm} -$$\Rightarrow \sup_{n \in \N} f_n, \inf_{n \in \N} f_n, \varliminf_{n \to \infty} f_n, \varlimsup_{n \to \infty} f_n \ \ \A-\overline \B_1 \text{-messbar}$$ +\[ \Rightarrow \sup_{n \in \N} f_n, \inf_{n \in \N} f_n, \varliminf_{n \to \infty} f_n, \varlimsup_{n \to \infty} f_n \ \ \A-\overline \B_1 \text{-messbar} \] \vspace{-4mm} -$$\forall x \in X : \lim_{n \to \infty} f_n(x) \in \overline \R \Rightarrow \lim_{n \to \infty} f_n \text{ ist } \A-\overline \B_1-\text{mb.}$$ +\[ \forall x \in X : \lim_{n \to \infty} f_n(x) \in \overline \R \Rightarrow \lim_{n \to \infty} f_n \text{ ist } \A-\overline \B_1-\text{mb.} \] $f : [a,b] \to \R$ diffbar. $\Rightarrow f'$ ist $\B([a,b])$-$\B_1$-mb. @@ -257,7 +257,7 @@ Dann ist auch $|f| : x \mapsto |f(x)|$ $\A$-$\overline\B_+$-mb. Messbare $f : X \to \R$ heißt einfach, wenn sie nur endlich viele Werte annimmt. Die Normalform von $f$ ist für $f^{-1}(\{y\}) \in \A$ mit $y \in f(X)$ definiert: \vspace{-2mm} -$$f = \sum_{y \in f(X)} y \cdot \1_{f^{-1}(\{y\})}$$ +\[ f = \sum_{y \in f(X)} y \cdot \1_{f^{-1}(\{y\})} \] Sei $f : X \to \overline R$ messbar, dann gelten: @@ -273,19 +273,19 @@ $f : X \to \overline\R$ ist $\A$-$\overline\B_1$-mb. gdw. einfache Fkt. $f_n : X \subsection*{Integral für nichtnegative einfache Fkt.} -$$\int f d\mu = \int_X f(x) d\mu(x) := \sum_{y \in f(X)} y \cdot \mu(f^{-1}(\{y\}))$$ +\[ \int f d\mu = \int_X f(x) d\mu(x) := \sum_{y \in f(X)} y \cdot \mu(f^{-1}(\{y\})) \] \subsection*{Integral für nichtnegative Funktionen} Sei $f : X \to [0, \infty]$ $\A$-$\overline\B_+$-mb. und steigende Folge einfacher $f_n \leq f$ mit $\displaystyle\lim_{n \to \infty} f_n(x) = f(x)$ gegeben: \vspace{-2mm} -$$\int_X f \ d\mu := \lim_{n \to \infty} \int_X f_n \ d\mu = \sup_{n \in \N} \int_X f_n \ d\mu$$ +\[ \int_X f \ d\mu := \lim_{n \to \infty} \int_X f_n \ d\mu = \sup_{n \in \N} \int_X f_n \ d\mu \] Grundlegende Integraleigenschaften sind erfüllt. \vspace{-4mm} -$$\int_X f \ d\mu = \sup\left\{ \int_X g \ d\mu | g \text{ einfach}, 0 \leq g \leq f \right\}$$ +\[ \int_X f \ d\mu = \sup\left\{ \int_X g \ d\mu | g \text{ einfach}, 0 \leq g \leq f \right\} \] \subsection*{Monotone Konvergenz} @@ -303,18 +303,18 @@ Dies gilt nicht ohne Monotonie oder für eine fallende Folge $(f_n)_{n \in \N}$. Seien $f_j : X \to [0,\infty]$ $\A$-$\overline\B_+$-mb. für $\forall j \in \N$. Dann ist auch $\sum_{j=1}^\infty f_j$ $\A$-$\overline\B_+$-messbar und: -$$\int_X \sum_{j=1}^\infty f_j(x) d\mu(x) = \sum_{j=1}^\infty \int_X f_j(x) d\mu(x)$$ +\[ \int_X \sum_{j=1}^\infty f_j(x) d\mu(x) = \sum_{j=1}^\infty \int_X f_j(x) d\mu(x) \] \subsection*{Integral für $\overline\R$-wertige Funktionen} Sei $f : X \to \overline\R$ eine $\A$-$\overline\B_1$-mb. Funktion. Dann sind auch $f_+$ und $f_-$ mb. $f$ ist Lebesgue-integrierbar, wenn: \vspace{-4mm} -$$\int_X f_+(x) d\mu(x) < \infty \text{ und } \int_X f_-(x) d\mu(x) < \infty$$ +\[ \int_X f_+(x) d\mu(x) < \infty \text{ und } \int_X f_-(x) d\mu(x) < \infty \] Das Lebesgue-Integral ist dann definiert durch: -$$\int f d\mu = \int_X f_+(x) d\mu(x) - \int_X f_-(x) d\mu(x)$$ +\[ \int f d\mu = \int_X f_+(x) d\mu(x) - \int_X f_-(x) d\mu(x) \] $\L^1(X,\A,\mu) = \L^1(\mu) = \L^1(X) := \{ f : X \to \R | f \text{ ib.}\}$ @@ -389,12 +389,12 @@ Sei $f : X \to \overline\R$ ib. Dann ist $\{|f|=\infty\}$ eine Nullmenge, $f$ is Sei $f_n : X \to [0,\infty]$ für alle $n \in \N$ mb. Dann: \vspace{-2mm} -$$\int_X \liminf_{n \to \infty} f_n d\mu \leq \liminf_{n \to \infty} \int_X f_n d\mu$$ +\[ \int_X \liminf_{n \to \infty} f_n d\mu \leq \liminf_{n \to \infty} \int_X f_n d\mu \] Konvergiert $f_n$ f.ü. gegen mb. $f : X \to [0,\infty]$: \vspace{-2mm} -$$\int_X f d\mu \leq \liminf_{n \to \infty} \int_X f_n d\mu$$ +\[ \int_X f d\mu \leq \liminf_{n \to \infty} \int_X f_n d\mu \] \subsection*{Majorisierte Konvergenz (Lebesgue)} @@ -423,7 +423,7 @@ Sei $M$ metrischer Raum, $t_0 \in M$, $(X,\A,\mu)$ Maßraum und $f : M \times X Dann ist $\forall t \in M$ die Fkt. $X \to \R; x \mapsto f(t,x)$ ib. und es gilt: \vspace{-2mm} -$$\lim_{t \to t_0} \int_X f(t,x) d\mu(x) = \int_X f(t_0,x) d\mu(x)$$ +\[ \lim_{t \to t_0} \int_X f(t,x) d\mu(x) = \int_X f(t_0,x) d\mu(x) \] \subsection*{Differentiationssatz} @@ -437,7 +437,7 @@ Sei $U \subseteq \R^k$ offen, $j \in \{1,\cdots,k\}$, $(X,\A,\mu)$ Maßraum und Dann ist $\forall t \in U$ die Abbildung $x \mapsto \frac{\partial}{\partial t_j} f(t,x)$ integierbar und es existiert die partielle Ableitung: -$$\frac{\partial}{\partial t_j} \int_X f(t,x) dx = \int_X \frac{\partial f}{\partial t_j} (t,x) dx$$ +\[ \frac{\partial}{\partial t_j} \int_X f(t,x) dx = \int_X \frac{\partial f}{\partial t_j} (t,x) dx \] \section*{Iterierte Integrale} @@ -455,7 +455,7 @@ Für $C \subseteq \R^m$ sind die Schnitte definiert: Für beliebige $C \in \B_m$ gilt: -$$\lambda_m(C) = \int_{\R^k} \lambda_l(C^x) dx = \int_{\R^l} \lambda_k(C_y) dy$$ +\[ \lambda_m(C) = \int_{\R^k} \lambda_l(C^x) dx = \int_{\R^l} \lambda_k(C_y) dy \] Daraus folgt: @@ -488,7 +488,7 @@ Sei $U \subseteq \R^m$ offen, $\phi \in C^1(U,\R^m)$ injektiv und $A \in \B_m$ m Dann ist $\phi(A^\circ)$ offen, $\phi : A^\circ \to \phi(A^\circ)$ Diffeomorphismus und $\phi(A) \setminus \phi(A^\circ)$ Nullmenge. Weiter: \begin{enumerate}[label=(\alph*)] - \item Sei $f: \phi(A) \to [0,\infty]$ messbar. Dann: \vspace{-2mm} $$\int_{\phi(A)} f(y) dy = \int_A f(\phi(x))|\det \phi'(x)| dx$$ + \item Sei $f: \phi(A) \to [0,\infty]$ messbar. Dann: \vspace{-2mm} \[ \int_{\phi(A)} f(y) dy = \int_A f(\phi(x))|\det \phi'(x)| dx \] \item Sei $f : \phi(A) \to \overline\R$ messbar. Dann ist $f$ auf $\phi(A)$ ib. gdw. $x \mapsto f(\phi(x))|\det(\phi'(x))|$ auf $A$ integrierbar ist. Es gilt dann auch (a). \end{enumerate} @@ -515,7 +515,7 @@ Eine Borelmenge $M \subseteq \R^m$ ist \emph{dünnsinguläre} $C^k$-Hyperfläche Sei $F : U \to W$ eine Parametrisierung. Dann ist \vspace{-2mm} -$$g_F(t) = \transpose{\det(F'(t)}F'(t))$$ +\[ g_F(t) = \transpose{\det(F'(t)}F'(t)) \] die \emph{Gramsche Determinante} von $F$. Die Matrix $\transpose{F'(t)}F'(t) \in L(\R^{m-1})$ ist sym. und positiv definit. @@ -546,7 +546,7 @@ $\sqrt{g_F(r,\varphi,\theta)} = r^{m-1} \cos^1(\theta_1) \cdots \cos^{m-2}(\thet Sei $F : U \to W$ eine Parametrisierung, $M_0 = F(U) \subseteq \R^m$ ein offenes Flächenstück. Sei weiter $f : M_0 \to \overline\R$ messbar und nichtnegativ oder die Funktion $g := f \circ F \sqrt{g_F}$ integrierbar. Dann: \vspace{-4mm} -$$\int_{M_0} f d\sigma = \int_{M_0} f(x) d\sigma(x) := \int_U f(F(t))\sqrt{g_F(t)} dt$$ +\[ \int_{M_0} f d\sigma = \int_{M_0} f(x) d\sigma(x) := \int_U f(F(t))\sqrt{g_F(t)} dt \] \subsubsection*{Oberflächenmaß} @@ -564,19 +564,19 @@ Maß ist unabhg. der Wahl der Parametrisierung. Sei $D \subseteq \R^m$ offen und beschränkt mit dünnsingulärem $C^1$-Rand, liege $f \in C(\overline D,\R^m) \cap C_b^1(D,\R^m)$ und $(f|\nu) \in \L^1(\partial D,\sigma)$. Dann: -$$\int_D div f(x) dx = \int_{\partial D} (f(x)|\nu(x)) d\sigma(x)$$ +\[ \int_D div f(x) dx = \int_{\partial D} (f(x)|\nu(x)) d\sigma(x) \] Mit $\text{div} f(x) := \text{spur} \ f'(x) = \partial_1 f_1(x) + \cdots + \partial_m f_m(x)$ und $\nu$ ist äußere Einheitsnormale an $\partial D$: \vspace{-4mm} -$$\nu(x) = \tfrac{1}{\sqrt{1+|\nabla h(x')|_2^2}} \begin{pmatrix} -\nabla h(x') \\ 1 \end{pmatrix}, \ \ x = (x',x_m)$$ +\[ \nu(x) = \tfrac{1}{\sqrt{1+|\nabla h(x')|_2^2}} \begin{pmatrix} -\nabla h(x') \\ 1 \end{pmatrix}, \ \ x = (x',x_m) \] \subsection*{Satz von Stokes in $\R^3$} Für $f \in C^1(D,\R^3)$ ist die Rotation definiert: \vspace{-4mm} -$$\text{rot} \ f(x) = \begin{pmatrix} +\[ \text{rot} \ f(x) = \begin{pmatrix} \partial_1 \\ \partial_2 \\ \partial_3 @@ -588,23 +588,23 @@ $$\text{rot} \ f(x) = \begin{pmatrix} \partial_2 f_3(x) - \partial_3 f_2(x) \\ \partial_3 f_1(x) - \partial_1 f_3(x) \\ \partial_1 f_2(x) - \partial_2 f_1(x) -\end{pmatrix}$$ +\end{pmatrix} \] Sei $F : U \to D$ $C^2$-Parametrisierung mit offenen, beschränken $U \subseteq \R^2$, $D \subseteq \R^3$. Die äußere Einheitsnormale $n$ an $M = F(U) \subseteq D$ sei: \vspace{-4mm} -$$n(F(t)) = \frac{1}{|\partial_1 F(t) \times \partial_2 F(t)|_2} \partial_1 F(t) \times \partial_2 F(t)$$ +\[ n(F(t)) = \frac{1}{|\partial_1 F(t) \times \partial_2 F(t)|_2} \partial_1 F(t) \times \partial_2 F(t) \] Weiter sei $\partial U$ geschlossene und doppelpunktfreie $C^1$-Kurve mit Parametrisierung $\gamma : (a,b) \to \partial U$ im Gegenuhrzeigersinn s.d. $\partial M$ $C^1$-Kurve mit Parametrisierung $\varphi = F \circ \gamma$ ist. Dann gilt: \vspace{-2mm} -$$\int_M (\text{rot} \ f(x) | n(x)) d\mu(x) = \int_{\partial M} f \cdot \ dx$$ +\[ \int_M (\text{rot} \ f(x) | n(x)) d\mu(x) = \int_{\partial M} f \cdot \ dx \] Dabei ist das \emph{Kurvenintegral zweiter Art} geg. als: \vspace{-2mm} -$$\int_{\partial M} f \cdot dx = \int_a^b (f(\varphi(\tau))|\varphi'(\tau)) d\tau$$ +\[ \int_{\partial M} f \cdot dx = \int_a^b (f(\varphi(\tau))|\varphi'(\tau)) d\tau \] \section*{Lebesguesche Räume} @@ -650,30 +650,30 @@ $(L^p(\mu),\|\cdot\|_p)$ ist $\forall p \in [1,\infty]$ normierter Vektorraum. Sei $\frac{1}{p} + \frac{1}{p'} = 1$ mit: \vspace{-4mm} -$$p' = \begin{cases} +\[ p' = \begin{cases} \frac{p}{p-1} & p \in (1, \infty) \\ \infty & p = 1 \\ 1 & p = \infty -\end{cases}$$ +\end{cases} \] Dann liegt für $f \in \L^p(\mu)$, $g \in \L^{p'}(\mu)$ das Produkt $fg \in \L^1(\mu)$ und die Höldersche Ungleichung gilt: \vspace{-4mm} -$$\left| \int_X fg d\mu \right| \leq \int_X |fg| d\mu = \|fg\|_1 \leq \|f\|_p \|g\|_{p'}$$ +\[ \left| \int_X fg d\mu \right| \leq \int_X |fg| d\mu = \|fg\|_1 \leq \|f\|_p \|g\|_{p'} \] \subsection*{Minkowski Ungleichung} Seien $f, g \in \L^p(\mu)$. Dann gilt $f + g \in \L^p(\mu)$ und: \vspace{-2mm} -$$\| f + g \|_p \leq \|f\|_p + \|g\|_p$$ +\[ \| f + g \|_p \leq \|f\|_p + \|g\|_p \] \subsection*{Konvergenz in $\L^p$} Sei $\mu(X) < \infty$ und $1 \leq p \leq q \leq \infty$. Dann gilt $\L^q(\mu) \subseteq \L^p(mu)$ und für $f \in L^q(\mu)$: \vspace{-2mm} -$$\|f\|_p \leq \mu(X)^{\frac{1}{p} - \frac{1}{q}} \|f\|_q$$ +\[ \|f\|_p \leq \mu(X)^{\frac{1}{p} - \frac{1}{q}} \|f\|_q \] Die Konvergenz $\| f - f_n \|_p \to 0$ folgt also in diesem Fall aus $\| f - f_n \|_q \to 0$ für $n \to \infty$. @@ -694,7 +694,7 @@ $L^p(\mu)$ ist ein Banach-, für $p=2$ ein Hilbertraum. Sei $(X,\A,\mu)$ Maßraum und $f \in L^p(\mu)$. Dann liegt $E = \{ f \in L^p(\mu) | f \text{ ist einfach} \}$ dicht in $L^p(\mu)$, d.h: \vspace{-4mm} -$$\forall f \in L^p(\mu), \epsilon > 0 \exists \text{ einf. } g \in L^p(\mu) : \| f - g \|_p \leq \epsilon$$ +\[ \forall f \in L^p(\mu), \epsilon > 0 \exists \text{ einf. } g \in L^p(\mu) : \| f - g \|_p \leq \epsilon \] \section*{Komplexe Integrale} @@ -706,4 +706,4 @@ Für die Integrierbarkeit von mb. $f : X \to \mathbb{C}$ gilt: $|f| : X \to [0,\infty)$ ib. $\Leftrightarrow \text{Re} f, \text{Im} f : X \to \R$ ib. -$$\int_X f d\mu := \int_X \text{Re} f d\mu + i \int_X \text{Im} f d\mu$$ +\[ \int_X f d\mu := \int_X \text{Re} f d\mu + i \int_X \text{Im} f d\mu \] diff --git a/content/eaz.tex b/content/eaz.tex index 010c4a8..ba08f7d 100644 --- a/content/eaz.tex +++ b/content/eaz.tex @@ -488,11 +488,11 @@ Das Bild von $F^\times \to F^\times, b \mapsto b^2$ ist Quadratmenge. Sei $p \geq 3$ Primzahl. Für $a \in \Z$ ist def.: \vspace*{-2mm} -$$\legendre{a}{p} = \begin{cases} +\[ \legendre{a}{p} = \begin{cases} 0 & p | a \\ 1 & \exists x \in \Z \setminus p\Z : a \equiv x^2 \ (mod \ p) \\ -1 & \text{sonst} -\end{cases}$$ +\end{cases} \] $\legendre{a}{p}$ ist das \emph{Legendre-Symbol} von $a$ modulo $p$. @@ -503,10 +503,10 @@ $\legendre{a}{p}$ ist das \emph{Legendre-Symbol} von $a$ modulo $p$. Sei $a \in \Z, m, n \in \Z : a=mn, p \in \Primes$: \vspace*{-2mm} -$$\begin{array}{ll} +\[ \begin{array}{ll} \legendre{a}{p} = \legendre{a-p}{p} & \legendre{m \cdot n}{p} = \legendre{m}{p}\legendre{n}{p} \\ \legendre{2}{p} = (-1)^{\frac{p^2-1}{8}} & \legendre{-1}{p} = (-1)^{\frac{p-1}{2}} -\end{array}$$ +\end{array} \] Sei $l, p \in \Primes$ mit $l, p \neq 2$: @@ -578,7 +578,7 @@ Sei $R$ ein solcher Hauptidealring. Dann: Seien $R$ Hauptidealring, $r, s \in R$ teilerfremd (d.h. $1=rx+sy$ für geeignete $x, y \in R$). Dann gilt für Ideale $I = Rr, J = Rs$ der Chinesische Restsatz s.d.: \vspace*{-2mm} -$$R/(Rrs) \cong R/(Rr) \times R/(Rs)$$ +\[ R/(Rrs) \cong R/(Rr) \times R/(Rs) \] $\forall a, b \in R \exists x \in R : x \equiv a \ (mod \ Rr) \land x \equiv b \ (mod \ Rs)$ diff --git a/content/funktheo.tex b/content/funktheo.tex index b47c2b0..22c2723 100644 --- a/content/funktheo.tex +++ b/content/funktheo.tex @@ -5,7 +5,7 @@ $\C = \{ z = x+iy | x,y \in \R \}$ $\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}$$ +\[ 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. @@ -21,12 +21,12 @@ $\displaystyle\lim_{n \to \infty} z_n = z$ in $\C \iff \displaystyle\lim_{n \to 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} +\[ \phi = \arg z := \begin{cases} \arccos \frac{x}{r} & y > 0 \\ 0 & x \in (0,+\infty) \\ -\arccos \frac{x}{r} & y < 0 \\ \pi & z \in (-\infty,0) -\end{cases}$$ +\end{cases} \] mit $\phi \in (-\pi, \pi]$. Es gilt für $z = re^{i\phi}, w = se^{i\psi}$: @@ -37,7 +37,7 @@ $z \cdot w = rse^{i(\phi+\psi)} = |z||w|e^{i(\phi+\psi)}$. 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.}$$ +\[ 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$. @@ -64,7 +64,7 @@ Polynome $p$ und nichtsinguläre rationale Funktionen aus Polynomen sind auf $\C 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]$$ +\[ \rho = \frac{1}{\overline\lim_{k\to\infty} \sqrt[k]{|a_k|}} \in [0,+\infty] \] ist der \emph{Konvergenzradius}. @@ -75,7 +75,7 @@ $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)$: \vspace*{-4mm} -$$f^{(n)}(z) = \sum_{k=n}^\infty k(k-1)\cdots(k-n+1)a_k(z-c)^{k-n}$$ +\[ 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$: @@ -99,15 +99,15 @@ 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}: \\ - $$\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)$$ + \[ \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'(z) = \begin{pmatrix} +\[ 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}$$ +\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\}$. @@ -120,7 +120,7 @@ Sei $f : U \to V$ biholomorph, $z \in U$. 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)}$$ +\[ (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. @@ -227,7 +227,7 @@ Geschrieben $f \in PC([a,b],\C)$. Solche Funktionen sind integrierbar: \vspace*{-4mm} -$$\int_a^b f(t) dt := \int_a^b \text{Re } f(t) dt + i \int_a^b \text{Im } f(t) dt \in \C$$ +\[ \int_a^b f(t) dt := \int_a^b \text{Re } f(t) dt + i \int_a^b \text{Im } f(t) dt \in \C \] \subsection*{Hauptsatz} @@ -238,9 +238,9 @@ $\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: \vspace*{-3mm} -$$\int_a^b f'(t) dt = f(b) - f(a)$$ +\[ \int_a^b f'(t) dt = f(b) - f(a) \] -$$\exists \frac{d}{dt} \int_a^t g(s) ds = g(t) \text{ für } t \in [a,b]$$ +\[ \exists \frac{d}{dt} \int_a^t g(s) ds = g(t) \text{ für } t \in [a,b] \] \subsection*{Kurven und Parametrisierungen} @@ -257,7 +257,7 @@ $\gamma$ ist auch \emph{Parametrisierung} ihres Bildes $\Gamma$. 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$$ +\[ \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$. @@ -279,12 +279,12 @@ Sei $\gamma \in PC^1([a,b],\C)$ mit Bild $\Gamma$, $f_n, f \in C(\Gamma,\C)$ 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$$ +\[ \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$ \vspace*{-2mm} -$$\implies \displaystyle\sum_{n=1}^\infty \int_\gamma f_n dz = \int_\gamma \displaystyle\sum_{n=1}^\infty f_n dz$$ +\[ \implies \displaystyle\sum_{n=1}^\infty \int_\gamma f_n dz = \int_\gamma \displaystyle\sum_{n=1}^\infty f_n dz \] \columnbreak @@ -293,7 +293,7 @@ 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)$ \vspace*{-2mm} -$$\implies \frac{d}{dz} \int_\gamma h(z,w) dw = \int_\gamma \frac{\partial}{\partial z} h(z,w) dw$$ +\[ \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. @@ -324,14 +324,14 @@ Es ergibt sich für jeden stückweisen $C^1$-Weg in $D$: $\int_\gamma f dz = F(\ 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$$ +\[ \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: \vspace*{-2mm} -$$\int_\gamma f dz = 0$$ +\[ \int_\gamma f dz = 0 \] Dies gilt auch für $f \in C(D,\C) \cap H(D\setminus \{\omega_0\})$. @@ -382,12 +382,12 @@ Für ganze $f$ gilt $R(z_0)=\infty$. 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$$ +\[ \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$$ +\[ \hat f^{(n)}(\lambda) = (-1)^n \int_0^\infty e^{-\lambda t} t^n f(t) dt, \text{ Re } \lambda > \omega, n \in \N \] \subsection*{Satz von Morera} @@ -452,7 +452,7 @@ Die \emph{Gammafunktion} $\Gamma(z) = \int_0^\infty t^{z-1}e^{-t} dt, Re \ z > 0 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)|$$ +\[ 0 \leq |f(z_0)| < \min_{x \in \partial B} |f(x)| \] Dann hat $f$ Nullstelle in $B$. @@ -499,7 +499,7 @@ Sind alle geschlossenen stückweisen $C^1$-Wege in $N$ nullhomotop, so heißt $N 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$$ +\[ \int_{\gamma_0} f dz = \int_{\gamma_1} f dz \] Insb. gilt $\int_{\gamma_0} f dz = 0$, wenn $\gamma_0 \sim_D 0$. @@ -509,7 +509,7 @@ Cauchys Integralsatz gilt auf einfach zusammenhängenden Gebieten in $D$. 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$$ +\[ f^{(n)}(z) = \frac{n!}{2\pi i} \int_\gamma \frac{f(w)}{(w-z)^{n+1}} dw \] \section*{Isolierte Singularitäten} @@ -565,7 +565,7 @@ Diese konvergiert, falls Grenzwerte in $\C$ ex.: Ist dies der Fall, wird definiert: \vspace*{-4mm} -$$\sum_{n=-\infty}^{+\infty} a_n(z-c)^n := \sum_{n=0}^{+\infty} a_n(z-c)^n + \sum_{n=1}^{+\infty} a_{-n}(z-c)^{-n}$$ +\[ \sum_{n=-\infty}^{+\infty} a_n(z-c)^n := \sum_{n=0}^{+\infty} a_n(z-c)^n + \sum_{n=1}^{+\infty} a_{-n}(z-c)^{-n} \] \subsubsection*{Satz von Laurent} @@ -573,7 +573,7 @@ Seien $f \in H(D), n \in \Z, z_0 \in \C$ und $R > 0$ s.d. $D_0 := B(z_0,R) \setm 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$$ +\[ 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)$. @@ -597,7 +597,7 @@ Sei $z_0 \in \C$ isolierte Singularität von $f \in H(D)$ und $a_n$ Koeffiziente 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$$ +\[ \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$. @@ -606,7 +606,7 @@ Hierbei gelte $\overline B(z_0,r) \setminus \{z_0\} \subseteq D$. 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)$$ +\[ \int_\gamma f dz = 2\pi i \sum_{j=1}^n \text{Res}(f,z_j) \] \subsubsection*{Residuen von Polen $m$-ter Ordnung} @@ -621,13 +621,13 @@ Sei $z_0$ Pol $m$-ter Ordnung von $f \in H(D)$ und $g$ die holomorphe Fortsetzun Insb. gilt also für $m=1$: \vspace*{-2mm} -$$\text{Res}(f,z_0) = \lim_{z \to z_0}(z-z_0)f(z)$$ +\[ \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: -$$\frac{1}{2\pi i} \int_\gamma \frac{f'(z)}{f(z)} dz = \sum_{j=1}^n m_j$$ +\[ \frac{1}{2\pi i} \int_\gamma \frac{f'(z)}{f(z)} dz = \sum_{j=1}^n m_j \] \subsubsection*{Satz von Rouché} @@ -636,6 +636,6 @@ Sei $f \in H(D), z_j \in \C, m_j \in \N$ und Weg $\gamma$ mit Bild $\Gamma$ ents 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$$ +\[ \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$. diff --git a/content/graph_theory.tex b/content/graph_theory.tex index de31f61..961b5cf 100644 --- a/content/graph_theory.tex +++ b/content/graph_theory.tex @@ -58,7 +58,7 @@ $\text{rad}(G) := \displaystyle\min_{u \in V(G)} \max_{v \in V(G)} d(u,v)$ is th \subsection*{Handshake Lemma} -$$2|E| = \sum_{v \in V} d(v)$$ +\[ 2|E| = \sum_{v \in V} d(v) \] Furthermore the sum of all degrees is even and thus \#vertices with odd degree is also even. @@ -129,7 +129,7 @@ $G$ is $k$-connected if $k-1$ vertices can be removed without disconnecting. Let $\kappa'(G)$ be the edge-connectivity of $G$: \vspace*{-3mm} -$$\kappa(G) \leq \kappa'(G) \leq \delta(G)$$ +\[ \kappa(G) \leq \kappa'(G) \leq \delta(G) \] \subsection*{Menger's Theorem} @@ -247,7 +247,7 @@ Every planar graph is $5$-choosable. \subsection*{Greedy chromatic number estimate} -$$\chi(G) \leq \Delta(G)+1$$ +\[ \chi(G) \leq \Delta(G)+1 \] \subsection*{Brook's Theorem} @@ -255,18 +255,18 @@ If $G$ is connected and neither complete nor an odd cycle then $\chi(G) \leq \De \subsection*{König's Theorem} -$$G \text{ bipartite} \implies \chi'(G) = \Delta(G)$$ +\[ G \text{ bipartite} \implies \chi'(G) = \Delta(G) \] \subsection*{Vizing's Theorem} -$$\chi'(G) \in \{\Delta(G), \Delta(G)+1\}$$ +\[ \chi'(G) \in \{\Delta(G), \Delta(G)+1\} \] \section*{Extremal Graph Theory} For $n \in \N$ and graph $H$ the \emph{extremal number} $ex(n,H)$ is the max number of edges in a graph of order $n$ s.t. it doesn't contain subgraph $H$. \vspace*{-3mm} -$$ex(n,H):=\max\{\|G\| : |G|=n, H \not\subseteq G\}$$ +\[ ex(n,H):=\max\{\|G\| : |G|=n, H \not\subseteq G\} \] Correspondingly $EX(n,H$ is the set of graphs on $n$ vertices and $ex(n,H)$ edges that are $H$-free. @@ -290,23 +290,23 @@ $T(n,r)$ doesn't contain $K_{r+1}$ and $t(n,r) := \|T(n,r)\|$. For $r | n \ T(n,r)$ is denoted by $K_r^s$ where $n=r \cdot s$. -$$t(n,r) = t(n-r,r)+(n-r)(r-1)+{r \choose 2}$$ +\[ t(n,r) = t(n-r,r)+(n-r)(r-1)+{r \choose 2} \] \spacing Comparing the number of edges in $K_n$ and $T(n,r)$: -$$\lim_{n \to \infty} \frac{t(n,r)}{{n \choose 2}} = \left( 1-\frac{1}{r} \right)$$ +\[ \lim_{n \to \infty} \frac{t(n,r)}{{n \choose 2}} = \left( 1-\frac{1}{r} \right) \] \subsubsection*{Tur\'{a}n's Theorem} -$$EX(n,K_r) = \{T(n,r-1)\}$$ +\[ EX(n,K_r) = \{T(n,r-1)\} \] \subsection*{$\epsilon$-regularity} Let $X, Y \subseteq V(G)$ be disjoint and $\|X,Y\|$ is the number of edges between $X$ and $Y$. -$$d(X,Y) := \frac{\|X,Y\|}{|X||Y|} \text{ is the density of $(X, Y)$}$$ +\[ d(X,Y) := \frac{\|X,Y\|}{|X||Y|} \text{ is the density of $(X, Y)$} \] $\forall \epsilon > 0 : (X,Y)$ is an \emph{$\epsilon$-regular pair} if: @@ -331,13 +331,13 @@ $\forall \epsilon > 0, m \geq 1 \exists M \in \N$ s.t. every graph $G$ with $|G| $\forall r > s \geq 1, \epsilon > 0 \exists n_0 \in \N$ s.t. all graphs with $|V(G)| =: n \geq n_0$ vertices and \vspace*{-2mm} -$$|E(G)| \geq t_{r-1}(n)+\epsilon n^2$$ +\[ |E(G)| \geq t_{r-1}(n)+\epsilon n^2 \] contain $K_r^s$ as a subgraph. \subsection*{Asymptotic extremal number} -$$\lim_{n \to \infty} \frac{ex(n,H)}{{n \choose 2}} = \frac{\chi(H)-2}{\chi(H)-1}$$ +\[ \lim_{n \to \infty} \frac{ex(n,H)}{{n \choose 2}} = \frac{\chi(H)-2}{\chi(H)-1} \] e.g. $ex(n,K_5 \setminus \{e\}) \simeq \frac{2}{3} \cdot {n \choose 2}$ as $\chi(K_5 \setminus \{e\}) = 4$. @@ -352,7 +352,7 @@ $z(m,n;s,t) \leq (s-1)^{1/t}(n-t+1)m^{1-1/t}+(t-1)m$ i.e. for $m=n$ and $t=s$: \vspace*{-2mm} -$$z(n,n;t,t) \in \mathcal{O}(n^{2-\frac{1}{t}})$$ +\[ z(n,n;t,t) \in \mathcal{O}(n^{2-\frac{1}{t}}) \] \section*{Ramsey Theory} @@ -381,7 +381,7 @@ e.g. $R(2,k) = R(k,2) = k$ and $R(3) = 6$ \subsection*{Ramsey Theorem} \vspace*{-2mm} -$$\forall k \in \N : \sqrt{2}^k \leq R(k) \leq 4^k$$ +\[ \forall k \in \N : \sqrt{2}^k \leq R(k) \leq 4^k \] Particularly Ramsey, asymmetric Ramsey and graph Ramsey numbers are finite. @@ -473,7 +473,7 @@ A \emph{property} $\mathcal{P}$ is a set of graphs. $G \in \mathcal{G}(n,p_n)$ \emph{almost always} has property $\mathcal{P}$ if: \vspace*{-2mm} -$$\mathbb{P}(G \in \mathcal{G}(n,p_n) \cap \mathcal{P}) \to 1 (n \to \infty)$$ +\[ \mathbb{P}(G \in \mathcal{G}(n,p_n) \cap \mathcal{P}) \to 1 (n \to \infty) \] If $p_n$ is constant it is said that \emph{almost all} $G \in \mathcal{G}(n,p)$ have property $\mathcal{P}$. @@ -493,7 +493,7 @@ Such functions do not exist for all properties $\mathcal{P}$. Let $G$ be a graph on $n$ vertices and $m$ edges. \vspace*{-2mm} -$$\mathbb{P}(G = \mathcal{G}(n,p)) = p^m (1-p)^{{n \choose 2}-m}$$ +\[ \mathbb{P}(G = \mathcal{G}(n,p)) = p^m (1-p)^{{n \choose 2}-m} \] \subsection*{Expected values and indicators} @@ -502,17 +502,17 @@ Let $X : \mathcal{G}(n,p) \to \N$ be a random variable. When $X$ counts e.g. the number of a certain class of subgraphs $\mathbb{E}(X)$ may be calculated by summing indicators over the maximum number $N$ of such subgraphs in $\mathcal{G}(n,p)$ and applying linearity: \vspace*{-4mm} -$$\mathbb{E}X = \mathbb{E}\left(\sum_{i=1}^N X_i\right) = \sum_{i=1}^N \mathbb{E}X_i = \sum_{i=1}^N \mathbb{P}(X_i=1)$$ +\[ \mathbb{E}X = \mathbb{E}\left(\sum_{i=1}^N X_i\right) = \sum_{i=1}^N \mathbb{E}X_i = \sum_{i=1}^N \mathbb{P}(X_i=1) \] \subsubsection*{Expected number of $k$-cycles} -$$\mathbb{E}(\#k\text{-cycles in } G \in \mathcal{G}(n,p)) = \frac{n_k}{2k} \cdot p^k$$ +\[ \mathbb{E}(\#k\text{-cycles in } G \in \mathcal{G}(n,p)) = \frac{n_k}{2k} \cdot p^k \] for $n_k := n \cdot (n-1) \cdots (n-k+1)$. \subsection*{Erd\H{o}s' lower bound on $R(k,k)$} -$$R(k.k) \geq 2^{k/2}$$ +\[ R(k.k) \geq 2^{k/2} \] \subsection*{Erd\H{o}s-Hajnal} diff --git a/content/lineare_algebra.tex b/content/lineare_algebra.tex index 2269ca9..74d30cc 100644 --- a/content/lineare_algebra.tex +++ b/content/lineare_algebra.tex @@ -136,10 +136,10 @@ $A \in GL_p(R)$ sind invert. / reguläre Matrizen. \subsection*{Elementarmatrizen} -$$R^{2 \times 3} \ni E_{2,3} = \begin{pmatrix} +\[ R^{2 \times 3} \ni E_{2,3} = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 -\end{pmatrix}$$ +\end{pmatrix} \] \subsection*{Äquivalenz von Matrizen} @@ -397,11 +397,11 @@ $\mathbb{C}^n \times \mathbb{C}^n \ni (v, w) \mapsto \langle v, w \rangle := v^T Seien $B$ und $C$ Basen von $V$ und $\langle \cdot, \cdot \rangle$ SKP. \vspace*{-3mm} -$$D_{BC}(\langle \cdot, \cdot \rangle) = \begin{pmatrix} +\[ D_{BC}(\langle \cdot, \cdot \rangle) = \begin{pmatrix} \langle b_1, c_1 \rangle & \hdots & \langle b_1, c_n \rangle \\ \vdots & \ddots & \vdots \\ \langle b_n, c_1 \rangle & \hdots & \langle b_n, c_n \rangle -\end{pmatrix}$$ +\end{pmatrix} \] \subsubsection*{Hurwitz-Kriterium} @@ -426,7 +426,7 @@ $v \perp w \Leftrightarrow ||v||^2 + ||w||^2 = ||v+w||^2$ Sei $V$ euklidischer Vektorraum und $\{v_1, ..., v_k\} \subset V$ linear unabhängige Teilmenge mit $k$ Elementen. \vspace*{-4mm} -$$w_1 := v_1, w_l := v_l - \sum_{i=1}^{l-1} \frac{\langle v_l, w_i \rangle}{\langle w_i, w_i\rangle}*w_i \text{ (für } l = 2, ..., k)$$ +\[ w_1 := v_1, w_l := v_l - \sum_{i=1}^{l-1} \frac{\langle v_l, w_i \rangle}{\langle w_i, w_i\rangle}*w_i \text{ (für } l = 2, ..., k) \] Dann ist $S := \{w_1, ..., w_k\}$ Orthogonalsystem in $V$. @@ -502,7 +502,7 @@ Unitäre Matrizen sind normal. Zerlegung von $A \in GL_n(\K)$ in das Produkt aus einer orthogonalen bzw. unitären Matrix und einer oberen Dreiecksmatrix. $A = Q \cdot R$. \vspace*{-5mm} -$$A = \begin{pmatrix} +\[ A = \begin{pmatrix} \vdots & \vdots & \vdots \\ q_1 & \hspace{-3mm}\hdots\hspace{-3mm} & q_n \\ \vdots & \vdots & \vdots @@ -512,7 +512,7 @@ q_1 & \hspace{-3mm}\hdots\hspace{-3mm} & q_n \\ 0 & \ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots & \langle q_{n-1}, a_n \rangle \\ 0 & \hdots & 0 & ||\tilde q_n|| -\end{pmatrix}$$ +\end{pmatrix} \] \vspace*{-2mm} \begin{enumerate}[leftmargin=4mm] @@ -560,13 +560,13 @@ Sei $A \in U(n)$, dann gibt es $S \in U(n)$, sodass $S^{-1} A S$ Diagonalmatrix. Sei $A \in O(n)$, $d_+ := dim(Eig(A,1))$, $d_- := dim(Eig(A, -1))$ und $l = \frac{1}{2}(n - d_+ - d_-)$, dann existiert $S \in O(n)$, sodass $S^{-1} A S$ die folgende Blockgestalt hat: \vspace{-4mm} -$$\begin{pmatrix} +\[ \begin{pmatrix} I_{d_+} & 0 & \hdots & \hdots & 0 \\ 0 & -I_{d_i} & \ddots & \ddots & \vdots \\ \vdots & \ddots & D_{\psi_1} & \ddots & \vdots \\ \vdots & \ddots & \ddots & \ddots & 0 \\ 0 & \hdots & \hdots & 0 & D_{\psi_l} -\end{pmatrix}$$ +\end{pmatrix} \] Wobei $D_{\psi_i} = \begin{pmatrix} cos(\psi_i) & -sin(\psi_i) \\ sin(\psi_i) & cos(\psi_i) \end{pmatrix}$ Drehkästchen. diff --git a/content/markov.tex b/content/markov.tex index 7365376..7637400 100644 --- a/content/markov.tex +++ b/content/markov.tex @@ -200,7 +200,7 @@ Stationäre Verteilung ist eind. geg.: $\pi(i) = \frac{1}{m_i}$ Sei $\nu$ stationäre Verteilung, dann gilt: -$$\nu(i) = \frac{\gamma_k(i)}{\sum_{j \in S} \gamma_k(j)} = \frac{\mathbb{E}_k[\sum_{n=1}^{T_k} \mathbbm{1}_{X_n = i}]}{\mathbb{E}_k[T_k]}$$ +\[ \nu(i) = \frac{\gamma_k(i)}{\sum_{j \in S} \gamma_k(j)} = \frac{\mathbb{E}_k[\sum_{n=1}^{T_k} \mathbbm{1}_{X_n = i}]}{\mathbb{E}_k[T_k]} \] $\nu(i)$ ist also durchschnittlicher Bruchteil der Zeit, den die MK in $i \in S$ verbringt. @@ -235,7 +235,7 @@ Es gilt $d(\mu,\nu) = \frac{1}{2} \sum_{i \in S} |\mu(i) - \nu(i)|$. Die Periode eines Zustands $i \in S$ ist geg. als: \vspace*{-2mm} -$$d_i = ggT\{ n \in \N : p_{ii}^{(n)} > 0 \}$$ +\[ d_i = ggT\{ n \in \N : p_{ii}^{(n)} > 0 \} \] Zustände mit $d_i = 1$ heißen \emph{aperiodisch}. @@ -262,7 +262,7 @@ Für $\epsilon > 0$ ist $t_{mix}(\epsilon) = \min\{ n \in \N : d(n) \leq \epsilo Sei $(X_n)$ MK mit Übergangsmatrix $P$, Zustandsraum $S$ und stationärer Verteilung $\pi$ mit $\forall i \in S : \pi(i) > 0$. Definiere $Q = (q_{ij})_{i,j \in S}$: \vspace*{-2mm} -$$q_{ij} := \frac{\pi(j)}{\pi(i)} p_{ij}, \ i,j \in S$$ +\[ q_{ij} := \frac{\pi(j)}{\pi(i)} p_{ij}, \ i,j \in S \] Dann ist $Q$ stochastisch und für $X_0 \sim \pi$ gilt: @@ -292,7 +292,7 @@ Dies ist hilfreich, wenn nach $\pi$ verteilte Zufallszahlen schwierig zu erzeuge Sei $K$ irreduzible, symmetrische Übergangsmatrix auf $S$. Wählen $P = (p_{ij})$ mit: -$$p_{ij} = \begin{cases} K_{ij}\left(\frac{\pi(j)}{\pi(i)} \land 1\right) & i \neq j \\ 1 - \sum_{k \neq i} K_{ik}\left(\frac{\pi(j)}{\pi(i)} \land 1\right) & i=j \end{cases}$$ +\[ p_{ij} = \begin{cases} K_{ij}\left(\frac{\pi(j)}{\pi(i)} \land 1\right) & i \neq j \\ 1 - \sum_{k \neq i} K_{ik}\left(\frac{\pi(j)}{\pi(i)} \land 1\right) & i=j \end{cases} \] Dann besitzt die MK mit Übergangsmatrix $P$ die stationäre Verteilung $\pi$. @@ -333,7 +333,7 @@ $\forall n \in \N$, $t, h > 0, i_k \in S$ sowie $\forall 0 \leq t_0 < t_1 < \cdo Sei $\{P(t), t \geq 0\}$ eine \emph{Standardübergangsmatrizen-funktion}. Dann sind alle $p_{ij}(t)$ in $0$ rechtseitig differenzierbar d.h.: $\forall i, j \in S :$ \vspace*{-2mm} -$$q_{ij} := \lim_{t\downarrow0} \frac{1}{t} (p_{ij}(t) - \delta_{ij})$$ +\[ q_{ij} := \lim_{t\downarrow0} \frac{1}{t} (p_{ij}(t) - \delta_{ij}) \] Die Matrix $Q := (q_{ij})$ ist die \emph{Intensitätsmatrix} bzw. der \emph{infinitesimale Erzeuger} von $\{P(t),t \geq 0\}$. @@ -341,16 +341,16 @@ Die Matrix $Q := (q_{ij})$ ist die \emph{Intensitätsmatrix} bzw. der \emph{infi Für einen Poisson-Prozess $(N_t)$ ergibt sich die Übergangsmatrizenfunktion: -$$p_{ij}(t) = \begin{cases} e^{-\lambda t} \frac{(\lambda t)^{j-i}}{(j-i)!} & j \geq i \\ 0 & \text{sonst}\end{cases}$$ +\[ p_{ij}(t) = \begin{cases} e^{-\lambda t} \frac{(\lambda t)^{j-i}}{(j-i)!} & j \geq i \\ 0 & \text{sonst}\end{cases} \] Demenstsprechend gilt: \vspace*{-4mm} -$$\lim_{t\downarrow0} \frac{1}{t} (p_{ij}(t) - \delta_{ij}) = \begin{cases} \lambda & j = i+1 \\ -\lambda & j=i \\ 0 & \text{sonst}\end{cases}$$ +\[ \lim_{t\downarrow0} \frac{1}{t} (p_{ij}(t) - \delta_{ij}) = \begin{cases} \lambda & j = i+1 \\ -\lambda & j=i \\ 0 & \text{sonst}\end{cases} \] Die Intensitätsmatrix des Poisson-Prozesses: -$$Q = \begin{pmatrix} -\lambda & \lambda & 0 & 0 & \cdots \\ 0 & -\lambda & \lambda & 0 & \cdots \\ 0 & 0 & -\lambda & \lambda & \\ \vdots & \vdots & & & \ddots \end{pmatrix}$$ +\[ Q = \begin{pmatrix} -\lambda & \lambda & 0 & 0 & \cdots \\ 0 & -\lambda & \lambda & 0 & \cdots \\ 0 & 0 & -\lambda & \lambda & \\ \vdots & \vdots & & & \ddots \end{pmatrix} \] \subsubsection*{Konservative Übergangsmatrix} @@ -368,7 +368,7 @@ Falls $S$ endlich ist, gilt $q_i = \sum_{j\neq i} q_{ij}$ für $i \in S$. Dann h Sei $\{P(t),t \geq 0\}$ eine Konservative Standardübergangsmatrizenfunktion und $q_i < \infty$ für $i \in S$. Dann gilt das Kolmogorovsche Rückwärtsdifferentialgleichungssystem: \vspace*{-2mm} -$$P'(t) = QP(t), \ t \geq 0$$ +\[ P'(t) = QP(t), \ t \geq 0 \] d.h. $\forall i,j \in S : p_{ij}'(t) = -q_i p_{ij}(t) + \sum_{k \neq i} q_{ik} p_{kj}(t)$ @@ -377,14 +377,14 @@ d.h. $\forall i,j \in S : p_{ij}'(t) = -q_i p_{ij}(t) + \sum_{k \neq i} q_{ik} p Gilt weiterhin $\forall i \in S, t \geq 0 : \sum_{k \in S} p_{ik}(t)q_k < \infty$ dann ist $\{P(t),t\geq 0\}$ Lösung des \emph{Kolmogorovschen Vorwärtsdifferentialgleichungssystems}: \vspace*{-2mm} -$$P'(t)=P(t)Q, \ t \geq 0$$ +\[ P'(t)=P(t)Q, \ t \geq 0 \] \spacing Ist $S$ endlich so ist die Lösung von $P'(t) = QP(t)$ mit $P(0)=E$ gegeben durch: \vspace*{-2mm} -$$P(t) = e^{tQ} = \sum_{n=0}^\infty \frac{(tQ)^n}{n!}$$ +\[ P(t) = e^{tQ} = \sum_{n=0}^\infty \frac{(tQ)^n}{n!} \] \section*{Warteschlangentheorie} @@ -450,6 +450,6 @@ Der Prozess ist positiv rekurrent mit stationärer Verteilung $\pi_i = \frac{\et Der Bruchteil verlorengegangener Anrufe ist: \vspace*{-2mm} -$$E_K(\eta) := \frac{\eta^K}{K!} \left( \sum_{n=0}^K \frac{\eta^n}{n!} \right)^{-1}$$ +\[ E_K(\eta) := \frac{\eta^K}{K!} \left( \sum_{n=0}^K \frac{\eta^n}{n!} \right)^{-1} \] Dies ist die \emph{Erlangsche Verlustformel}. diff --git a/content/numerik_1.tex b/content/numerik_1.tex index 008d315..a75f92a 100644 --- a/content/numerik_1.tex +++ b/content/numerik_1.tex @@ -43,12 +43,12 @@ Ein Algorithmus für $f$ ist Abbildung $\tilde f : E \subset X \to Y$ s.d. $\til Die Konditionszahl eines mathematischen Problems $(f, x)$ ist die kleinste Zahl $\kappa_f(x) \geq 0$ mit: \vspace*{-4mm} -$$\frac{\|f(x + \Delta x) - f(x) \|_Y}{\|f(x)\|_Y} \leq \kappa_f(x) \frac{\|\Delta x\|_X}{\|x\|_X} + o(\|\Delta x \|_X)$$ +\[ \frac{\|f(x + \Delta x) - f(x) \|_Y}{\|f(x)\|_Y} \leq \kappa_f(x) \frac{\|\Delta x\|_X}{\|x\|_X} + o(\|\Delta x \|_X) \] Für $\|\Delta x\|_X \rightarrow 0$. \vspace*{-4mm} -$$\kappa_f(x) = \limsup_{\delta \to 0} \left\{ \frac{\|f(x+\Delta x) - f(x)\|_Y \|x\|_X}{\|f(x)\|_Y \|\Delta x\|_X} \right\}$$ +\[ \kappa_f(x) = \limsup_{\delta \to 0} \left\{ \frac{\|f(x+\Delta x) - f(x)\|_Y \|x\|_X}{\|f(x)\|_Y \|\Delta x\|_X} \right\} \] Für $\Delta x \in X$, $x + \Delta x \in E$, $\|\Delta x\|_X \leq \delta$. @@ -62,7 +62,7 @@ Existiert $\limsup$ nicht wird $\kappa_f(x)=\infty$ gesetzt und das Problem als Für $f \in \mathcal{C}^1(E, \R^m)$ in Umgebung $E \subseteq \R^n$ von $x$: \vspace*{-2mm} -$$\kappa_f(x) = \frac{\|f'(x)\|_\infty \cdot \|x\|_X}{\|f(x)\|_Y}$$ +\[ \kappa_f(x) = \frac{\|f'(x)\|_\infty \cdot \|x\|_X}{\|f(x)\|_Y} \] \subsection*{Stabilität numerischer Algorithmen} @@ -73,7 +73,7 @@ Elementaroperationen eines Computers sind mit dem relativen Fehler $\epsilon$ be \emph{Stabilitätsindikator der Vorwärtsanalyse} eines Algorithmus' $\tilde f$ zur Lösung von $(f,x)$ ist minimales $\sigma = \sigma(x) \geq 0$ für $\{x^\epsilon\}_{\epsilon > 0}$ mit $\|x-x^\epsilon\|_X \leq \epsilon \|x\|_X$: \vspace{-4mm} -$$\frac{\|\tilde f(x^\epsilon) - f(x^\epsilon)\|_Y}{\|f(x^\epsilon)\|_Y} \leq \sigma \kappa_f(x^\epsilon)\epsilon + o(\epsilon) \text{ für } \epsilon \to 0$$ +\[ \frac{\|\tilde f(x^\epsilon) - f(x^\epsilon)\|_Y}{\|f(x^\epsilon)\|_Y} \leq \sigma \kappa_f(x^\epsilon)\epsilon + o(\epsilon) \text{ für } \epsilon \to 0 \] Algorithmus $\tilde f$ ist stabil im Sinne der Vorwärtsanalyse, wenn $\sigma \leq$ \#Elementaroperationen. @@ -82,7 +82,7 @@ Algorithmus $\tilde f$ ist stabil im Sinne der Vorwärtsanalyse, wenn $\sigma \l \emph{Stabilitätsindikator der Rückwärtsanalyse} ist minimales $\varrho = \varrho(x) \geq 0$ für $\{x^\epsilon\}_{\epsilon > 0}$ s.d. für bel. $\|x^\epsilon - x\|_X \leq \epsilon \|x\|_X$ Schar $\{\hat x^\epsilon\}_{\epsilon > 0}$ ex. mit $f(\hat x^\epsilon) = \tilde f(x^\epsilon)$: \vspace{-2mm} -$$\frac{\|\hat x^\epsilon - x^\epsilon\|_X}{\|x^\epsilon\|_X} \leq \varrho\epsilon + o(\epsilon) \text{ für } \epsilon \to 0$$ +\[ \frac{\|\hat x^\epsilon - x^\epsilon\|_X}{\|x^\epsilon\|_X} \leq \varrho\epsilon + o(\epsilon) \text{ für } \epsilon \to 0 \] Vorwärtsstabilität folgt aus Rückwärtsstabilität. @@ -93,7 +93,7 @@ Vorwärtsstabilität folgt aus Rückwärtsstabilität. Für Normen $\| \cdot \|_\circ$, $\| \cdot \|_\star$ auf $\K^n$ bzw. $\K^m$ ist eine Matrixnorm $\| \cdot \| : \K^{m \times n} \rightarrow [0,\infty)$ auf dem Vektorraum der $m \times n$-Matrizen definiert: \vspace*{-4mm} -$$\|A\| := \max_{v \in \K^n \setminus \{0\}} \frac{\|Av\|_\star}{\|v\|_\circ} = \max_{\{v \in \K^n | \|v\|_\circ = 1 \}} \|Av\|_\star$$ +\[ \|A\| := \max_{v \in \K^n \setminus \{0\}} \frac{\|Av\|_\star}{\|v\|_\circ} = \max_{\{v \in \K^n | \|v\|_\circ = 1 \}} \|Av\|_\star \] \subsubsection*{Eigenschaften} @@ -106,19 +106,19 @@ Submultiplikativität: $\|AB\| \leq \|A\| \cdot \|B\|$ Induzierte Matrixnorm bei Wahl der $p$-Normen über $\K^n$ bzw. $\K^m$: \vspace*{-4mm} -$$\|A\|_p := \max_{v \in \K^n} \frac{\|Av\|_p}{\|v\|_p} = \max_{\|v\|_p = 1} \|Av\|_p \text{ für } 1 \leq p \leq \infty$$ +\[ \|A\|_p := \max_{v \in \K^n} \frac{\|Av\|_p}{\|v\|_p} = \max_{\|v\|_p = 1} \|Av\|_p \text{ für } 1 \leq p \leq \infty \] \subsubsection*{Spaltensummennorm} Für $A = (a_1, \cdots, a_n)$ mit $a_j \in \K^m$: \vspace*{-4mm} -$$\|A\|_1 = \max_{1 \leq j \leq n} \|a_j\|_1 = \max_{1 \leq j \leq n} \sum_{i=1}^m |a_{i,j}|$$ +\[ \|A\|_1 = \max_{1 \leq j \leq n} \|a_j\|_1 = \max_{1 \leq j \leq n} \sum_{i=1}^m |a_{i,j}| \] \subsubsection*{Zeilensummennorm} \vspace*{-4mm} -$$\|A\|_\infty = \max_{1 \leq i \leq m} \sum_{j=1}^n |a_{i,j}|$$ +\[ \|A\|_\infty = \max_{1 \leq i \leq m} \sum_{j=1}^n |a_{i,j}| \] \subsubsection*{Spektralnorm} @@ -163,7 +163,7 @@ Fast obere / untere Dreiecksmatrix wobei 1. untere / obere Nebendiagonale besetz \subsection*{Neumannsche-Reihe} \vspace{-2mm} -$$(Id-M)^{-1} = \sum_{k=0}^\infty M^k$$ +\[ (Id-M)^{-1} = \sum_{k=0}^\infty M^k \] \subsection*{Bezüglich $A > 0$ konjugierte Vektoren} @@ -222,7 +222,7 @@ Für alle $A \in \R^{m \times n}$ mit $m \geq n$ und $Rang(A)=n$ existiert $A=QR \subsubsection*{Householder-Reflexionen} -$$H(v) := Id_m - 2 \frac{vv^T}{v^Tv} = Id_m - 2 \frac{vv^T}{\|v\|_2^2} \text{ für } \forall v \in \R^m \setminus \{0\}$$ +\[ H(v) := Id_m - 2 \frac{vv^T}{v^Tv} = Id_m - 2 \frac{vv^T}{\|v\|_2^2} \text{ für } \forall v \in \R^m \setminus \{0\} \] Solche $H(v)$ sind orthogonal und symmetrisch, d.h. $H(v)^T H(v)=Id_m$ und $H(v)^2=Id_m$. @@ -235,7 +235,7 @@ Solche Reflexionen können durch wiederholte Anwendung Matrizen in obere Dreieck Gesucht ist $v \in \R^m$ für $y \in \R^m$ s.d.: \vspace{-2mm} -$$H(v)y=y - 2 \frac{\skp{v,y}}{\|v\|_2^2}v \overset{!}{=} \alpha e_1$$ +\[ H(v)y=y - 2 \frac{\skp{v,y}}{\|v\|_2^2}v \overset{!}{=} \alpha e_1 \] Vermeidung von Auslöschung: $\alpha := -sign(y_1)\|y\|_2$ @@ -253,7 +253,7 @@ $R:=Q_p \cdots Q_1 A$, $Q:=Q_1^T \cdots Q_p^T$ s.d. $A=QR$. Mit $c^2 + s^2 = 1, c, s \in \R$ und $l < k$: -$$G(l,k) := \left(\begin{smallmatrix} +\[ G(l,k) := \left(\begin{smallmatrix} 1 & & & & & & & & & & \\ & \diagdown & & & & & & & & & \\ & & 1 & & & & & & & & \\ @@ -265,18 +265,18 @@ $$G(l,k) := \left(\begin{smallmatrix} & & & & & & & & 1 & & \\ & & & & & & & & & \diagdown & \\ & & & & & & & & & & 1 -\end{smallmatrix}\right)$$ +\end{smallmatrix}\right) \] Wobei $c$ das Diagonalelement der $l$-ten und $k$-ten Zeile, $s$ $k$-tes Element der $l$-ten Zeile, $-s$ $l$-tes Element der $k$-ten Zeile. Givens-Rotationen sind orthogonal und nicht symmetrisch. $G(l,k)A$ unterscheidet sich von $A$ nur in der $l$-ten und $k$-ten Zeile. \vspace{-4mm} -$$(G(l,k)x)_i = \begin{cases} +\[ (G(l,k)x)_i = \begin{cases} cx_l + sx_k & i=l \\ -sx_l + cx_k & i=k \\ x_i & \text{sonst} -\end{cases}$$ +\end{cases} \] $\exists \varphi \in (0,2\pi] : c=\cos{\varphi}, s=\sin{\varphi}$ d.h. $G(l,k)$ ist Rotation um $\varphi$ in Ebene $spann\{e_l,e_k\}$. @@ -353,7 +353,7 @@ Sind $A$ oder $A^T$ diagonaldominant so konvergieren sowohl das Jacobi- als auch \subsubsection*{Gesamtschritt- / Jacobi-Verfahren} -$$u_i^{k+1} = u_i^k + \frac{1}{a_{i,i}}\left(b_i - \sum_{j=1}^n a_{i,j} u_j^k \right) \text{ für } i = 1, \cdots, n$$ +\[ u_i^{k+1} = u_i^k + \frac{1}{a_{i,i}}\left(b_i - \sum_{j=1}^n a_{i,j} u_j^k \right) \text{ für } i = 1, \cdots, n \] Für $A = D - L - R$: @@ -367,7 +367,7 @@ Also: $M^{Jac} = Id - D^{-1}A = D^{-1}(L+R)$, $N^{Jac} = D^{-1}$ \subsubsection*{Einzelschritt- / Gauß-Seidel-Verfahren} -$$u_i^{k+1} = u_i^k + \frac{1}{a_{i,i}}\left(b_i - \sum_{j=1}^{i-1} a_{i,j} u_j^{k+1} - \sum_{j=i}^n a_{i,j} u_j^k \right)$$ +\[ u_i^{k+1} = u_i^k + \frac{1}{a_{i,i}}\left(b_i - \sum_{j=1}^{i-1} a_{i,j} u_j^{k+1} - \sum_{j=i}^n a_{i,j} u_j^k \right) \] Für $A = D - L - R$: @@ -378,24 +378,24 @@ $M^{GS} = (D - L)^{-1}R$, $N^{GS} = (D - L)^{-1}$. Der Krylov-Raum $m$-ter Ordnung bzgl. $B$ und $v$: \vspace{-4mm} -$$\mathcal{U}_m(B,v) := spann\{v,Bv,B^2v, \cdots, B^{m-1}v\} \subset \R^n$$ +\[ \mathcal{U}_m(B,v) := spann\{v,Bv,B^2v, \cdots, B^{m-1}v\} \subset \R^n \] Das Residuuum der $k$-ten Iterierten $u^k$: \vspace{-2mm} -$$r^k=(I-AN)r^{k-1} = (I-AN)^kr^0$$ +\[ r^k=(I-AN)r^{k-1} = (I-AN)^kr^0 \] Es gilt: $u^k \in V_k$ mit $V_k = u_0 + \mathcal{U}_k(NA,Nr^0)$ sowie $r^0 = b - Au^0$. Minimaleigenschaft der $k$-ten Iterierten bzgl. Norm $\|\cdot\|_\star$ auf $\R^n$: \vspace{-2mm} -$$u^k = argmin\{\|v - A^{-1}b\|_\star : v \in V_k\}$$ +\[ u^k = argmin\{\|v - A^{-1}b\|_\star : v \in V_k\} \] Ein Krylov-Raum-Verfahren bzgl. einer Norm $\|\cdot\|_\star$ ist nur dann sinnvoll, wenn $u^k$ mit geringem, d.h. im Bereich von zwei Matrix-Vektormultiplikationen liegendem, numerischen Aufwand aus $u^{k-1}$ hervorgeht. \vspace{-2mm} -$$u^{k+1} = u^k + N(b-Au^k)$$ +\[ u^{k+1} = u^k + N(b-Au^k) \] $u^k$ wird in jeder Iteration entsprechend der jeweiligen Charakterisierung minimiert. @@ -408,7 +408,7 @@ Anforderungen: $Nv$ sollte schnell zu berechnen sein, weiterhin sollte $N \appro Das Verfahren der konjugierten Gradienten ist durch die Energienorm charakterisiert und definiert als: \vspace{-2mm} -$$u^k = argmin\{\|v-A^{-1}b\|_A : v \in V_k\}$$ +\[ u^k = argmin\{\|v-A^{-1}b\|_A : v \in V_k\} \] Für positiv definite $A, N \in \R^{n \times n}$ sowie $b \in \R^n$ liefert das CG-Verfahren nach spätestens $n$ Schritten $A^{-1}b$. Eigentlich ist es bei exakter Arithmetik also ein direkter Verfahren, wird aber durch früheren Abbruch als iteratives Verfahren verwendet. @@ -455,20 +455,20 @@ Zu $n+1$ Stützwerten $f_i$ und paarweise verschiedenen Knoten $t_i$ existiert d \subsubsection*{Interpolationsfehler} \vspace{-4mm} -$$\|f-P(f|t_0, \cdots, t_n)\|_\infty \leq \sup_{\tau \in [a,b]} \frac{|f^{(n+1)}(\tau)|}{(n+1)!} \|\omega_{n+1}\|_\infty$$ +\[ \|f-P(f|t_0, \cdots, t_n)\|_\infty \leq \sup_{\tau \in [a,b]} \frac{|f^{(n+1)}(\tau)|}{(n+1)!} \|\omega_{n+1}\|_\infty \] $\omega_{n+1} \in \Pi_{n+1}$ ist das \emph{Newton-Polynom} bzgl. $t_0, \cdots, t_n$ mit $\omega_{n+1}(t) := \prod_{i=0}^n (t-t_i)$. \subsection*{Vandermonde-Matrix} -$$\begin{pmatrix} +\[ \begin{pmatrix} 1 & t_0 & t_0^2 & \cdots & t_0^n \\ 1 & t_1 & t_1^2 & \cdots & t_1^n \\ \vdots & \vdots & \vdots & & \vdots \\ 1 & t_n & t_n^2 & \cdots & t_n^n \end{pmatrix} \begin{pmatrix}a_0 \\ \vdots \\ \vdots \\ a_n\end{pmatrix} = -\begin{pmatrix}f_0 \\ \vdots \\ \vdots \\ f_n\end{pmatrix}$$ +\begin{pmatrix}f_0 \\ \vdots \\ \vdots \\ f_n\end{pmatrix} \] Die Lösung der Vandermonde-Matrix beschreibt $P(f|t_0,\cdots,t_n) \in \Pi_n$, was jedoch zu aufwändig ist. @@ -476,7 +476,7 @@ Die Lösung der Vandermonde-Matrix beschreibt $P(f|t_0,\cdots,t_n) \in \Pi_n$, w Basis $\{L_{n,0},\cdots,L_{n,n}\}$ von $\Pi_n$ abhg. $t_0 < \cdots < t_n$ wg. $L_{n,k}(t_i) = \delta_{k,i} = \begin{cases}1 & k=i \\ 0 & sonst\end{cases}$ -$$L_{n,k}(t) := \prod_{j=0,j\neq k}^n \frac{t-t_j}{t_k-t_j}$$ +\[ L_{n,k}(t) := \prod_{j=0,j\neq k}^n \frac{t-t_j}{t_k-t_j} \] Es gilt also: $P(f|t_0,\cdots,t_n)=\sum_{k=0}^n f_k \cdot L_{n,k}$ @@ -489,7 +489,7 @@ Ein Lagrange Polynom zu Stützstelle $t_k$ nimmt an dieser $1$, an allen anderen $P = P(f|t_0,\cdots,t_n)(t) =$ \vspace{-2mm} -$$\frac{(t_0-t)P(f|t_1,\cdots,t_n)(t)-(t_n-t)P(f|t_0,\cdots,t_{n-1})(t)}{t_0-t_n}$$ +\[ \frac{(t_0-t)P(f|t_1,\cdots,t_n)(t)-(t_n-t)P(f|t_0,\cdots,t_{n-1})(t)}{t_0-t_n} \] \subsubsection*{Schema von Neville} @@ -506,7 +506,7 @@ P_{i,k} &= \frac{(t_{i-k}-t)P_{i,k-1} - (t_i-t)P_{i-1,k-1}}{t_{i-k}-t_i} \\ Für $i = 0,\cdots,n$: \vspace{-2mm} -$$t_i^{[a,b]} = \frac{b+a}{2} + \frac{b-a}{2} \cos\left(\frac{2i+1}{2n+2} \pi\right)$$ +\[ t_i^{[a,b]} = \frac{b+a}{2} + \frac{b-a}{2} \cos\left(\frac{2i+1}{2n+2} \pi\right) \] Diese Knotenfolge liegt dichter zu den Intervallgrenzen hin und ergibt eine bessere Interpolation als äquidistante Knoten. @@ -539,13 +539,13 @@ Zusätzlich gilt auch $(t-t_i)_+^{k-1} \in S_{k,\Delta}$ Abgebrochene Potenzen vom Grad $k-1$: -$$(t-t_i)_+^{k-1} := \begin{cases}(t-t_i)^{k-1} &: t \geq t_i \\ 0 &: t < t_i\end{cases}$$ +\[ (t-t_i)_+^{k-1} := \begin{cases}(t-t_i)^{k-1} &: t \geq t_i \\ 0 &: t < t_i\end{cases} \] Für $t_i \in \Delta$, $i \neq l+1$ \subsubsection*{Basis des Spline-Raumes} -$$\mathcal{B} = \{1,t,\cdots,t^{k-1},(t-t_1)_+^{k-1},\cdots,(t-t_l)_+^{k-1}\}$$ +\[ \mathcal{B} = \{1,t,\cdots,t^{k-1},(t-t_1)_+^{k-1},\cdots,(t-t_l)_+^{k-1}\} \] ist eine Basis von $S_{k,\Delta}$ mit $\dim(S_{k,\Delta}) = k + l$. @@ -557,7 +557,7 @@ Interpolation einer Funktion $f$ bzgl. eines Gitters $\Delta = \{t_0,\cdots,t_{l Im linearen Fall mit $k=2$ stimmt die Anzahl der Knoten $l+2$ mit $\dim(S_{2,\Delta})=l+2$ überein. Es gibt also genau einen Spline der $(t_i,f(t_i))$ interpoliert. -$$I_2 f = \sum_{i=0}^{l+1} f(t_i) B_i$$ +\[ I_2 f = \sum_{i=0}^{l+1} f(t_i) B_i \] Für $B_i \in S_{2,\Delta}$ mit $B_i(t_k) = \delta_{i,k}$ @@ -577,13 +577,13 @@ Eine zusätzliche Bedingung ist, dass der interpolierende kubische Spline die mi Krümmung von $y : [a,b] \rightarrow \R, y \in \mathcal{C}^2$: -$$\kappa(t) := \frac{y''(t)}{(1+y'(t))^{3/2}}$$ +\[ \kappa(t) := \frac{y''(t)}{(1+y'(t))^{3/2}} \] $1/\kappa(t)$ ist der Radius des \emph{Krümmungskreises}. Das Krümmungsverhalten von $y$ über ganz $[a,b]$ ist durch ein Integral messbar: -$$\|y''\|_2 := \left(\int_a^b y''(t)^2 dt\right)^{1/2}$$ +\[ \|y''\|_2 := \left(\int_a^b y''(t)^2 dt\right)^{1/2} \] \subsubsection*{Randbedingungen} diff --git a/content/numerik_2.tex b/content/numerik_2.tex index fc186d4..f9a23e6 100644 --- a/content/numerik_2.tex +++ b/content/numerik_2.tex @@ -4,7 +4,7 @@ Sei $A \in \C^{n \times n}$. Ein $\lambda \in \C$ ist \emph{Eigenwert} von $A$, \subsection*{Satz von Gerschgorin} -$$\mathcal{K}_i := \left\{ z \in \C \middle| |z-a_{i,i}| \leq \sum_{k=1, k\neq i}^n |a_{i,k}| =: r_i \right\}, \ 1 \leq i \leq n$$ +\[ \mathcal{K}_i := \left\{ z \in \C \middle| |z-a_{i,i}| \leq \sum_{k=1, k\neq i}^n |a_{i,k}| =: r_i \right\}, \ 1 \leq i \leq n \] Die Vereinigung der Kreisscheiben $\mathcal{K}_i$ enthält alle Eigenwerte von $A \in \C^{n \times n}$: $\sigma(A) \subset \bigcup_{i=1}^n \mathcal{K}_i$ @@ -20,7 +20,7 @@ Sei $A$ diagonalisierbar mit $A= TDT^{-1}$, $\Delta A \in \C^{n \times n}$ belie Entsprechend lautet die Kondition der Bestimmung von Eigenwerten $\lambda \neq 0$ bzgl. der $p$-Norm: -$$\kappa_p(\lambda) \leq \frac{\|A\|_p}{|\lambda|} \kappa_p(T)$$ +\[ \kappa_p(\lambda) \leq \frac{\|A\|_p}{|\lambda|} \kappa_p(T) \] \subsection*{Mögliche Eigenwertlöser} @@ -37,12 +37,12 @@ In $A^k$ dominiert der betragsgrößte Eigenwert und diese Dominanz nimmt mit $k Für $k = 1, 2, \dots$ und Startvektor $x^0 \in \C^n$: \vspace*{-2mm} -$$z^k := Ax^{k-1}, \ x^k := \frac{z^k}{\|z^k\|}$$ +\[ z^k := Ax^{k-1}, \ x^k := \frac{z^k}{\|z^k\|} \] Der approx. betragsgrößte Eigenwert ergibt sich: \vspace*{-2mm} -$$\tilde\lambda = \langle Ax^k,x^k \rangle_2$$ +\[ \tilde\lambda = \langle Ax^k,x^k \rangle_2 \] Potenzmethode konvergiert nicht zwingend gegen einen EV des betragsgrößten EW sondern hat Häufungspunkte welche EV zu diesem EW sind. @@ -57,12 +57,12 @@ Langsame Konvergenz liegt bei $|\frac{\lambda_{r+1}}{\lambda_1}| \approx 1$ vor. Sei $\tilde\lambda$ Schätzwert für $\lambda_i \in \sigma(A)$ d.h. $|\tilde\lambda - \lambda_i| < |\tilde\lambda - \lambda_j|, \ j \neq i$. Die inverse Potenzmethode: \vspace*{-2mm} -$$(A-\tilde\lambda Id_n)z^k = x^{k-1}, \ x^k = \frac{z^k}{\|z^k\|_2}$$ +\[ (A-\tilde\lambda Id_n)z^k = x^{k-1}, \ x^k = \frac{z^k}{\|z^k\|_2} \] Zur Lösung des linearen Systems wird die LR-Zerlegung von $A- \tilde\lambda Id_n$ bestimmt. Konvergenz: \vspace*{-2mm} -$$\lim_{k\to\infty} \langle Ax^k,x^k \rangle_2 = \lambda_i$$ +\[ \lim_{k\to\infty} \langle Ax^k,x^k \rangle_2 = \lambda_i \] Wird die Approximation $\tilde\lambda$ in jedem Iterationsschritt durch die gefundene Approx. verbessert, so approx. das Verfahren einen EV zum EW $\lambda_i$. @@ -171,7 +171,7 @@ Zwei Approximationen $x_{k-1}$ und $x_k$ ergeben neue Approximation $x_{k+1}$ al Rekursion: \vspace*{-4mm} -$$x_{k+1} := x_k - \frac{x_k-x_{k-1}}{f(x_k)-f(x_{k-1})}f(x_k)$$ +\[ x_{k+1} := x_k - \frac{x_k-x_{k-1}}{f(x_k)-f(x_{k-1})}f(x_k) \] \spacing @@ -184,7 +184,7 @@ Dann konvergiert das Sekantenverfahren lokal superlinear mit Ordnung $(\sqrt{5}+ Ersetzen von $\frac{x_k-x_{k-1}}{f(x_k)-f(x_{k-1})}$ im Sekantenverfahren mit dem Kehrwert der Tangentensteigung $\frac{1}{f'(x_k)}$ ergibt das \emph{Newton-Verfahren}: \vspace*{-2mm} -$$x_{k+1} = x_k - \frac{f(x_k)}{f'(x_k)}$$ +\[ x_{k+1} = x_k - \frac{f(x_k)}{f'(x_k)} \] $x_{k+1}$ ist Nullstelle der Tangente an $f$ in $x_k$. @@ -201,17 +201,17 @@ Dann hat $\Phi$ genau einen Fixpunkt $x^\star \in D$. Die Fixpunktiteration $x^{ Es gilt die Fehlerabschätzung: \vspace*{-6mm} -$$\forall 0 \leq l \leq k - 1 : \|x^\star - x^k\| \leq \frac{q^{k-l}}{1-q} \|x^{l+1} - x^l\|$$ +\[ \forall 0 \leq l \leq k - 1 : \|x^\star - x^k\| \leq \frac{q^{k-l}}{1-q} \|x^{l+1} - x^l\| \] Für $l=0$ ergibt sich die a priori-Abschätzung: \vspace*{-2mm} -$$\|x^\star - x^k\| \leq \frac{q^k}{1-q} \|x^1 - x^0\|$$ +\[ \|x^\star - x^k\| \leq \frac{q^k}{1-q} \|x^1 - x^0\| \] Für $l=k-1$ die a posteriori-Abschätzung: \vspace*{-2mm} -$$\|x^\star - x^k\| \leq \frac{q}{1-q} \|x^k - x^{k-1}\|$$ +\[ \|x^\star - x^k\| \leq \frac{q}{1-q} \|x^k - x^{k-1}\| \] \subsubsection*{Lokaler Konvergenzsatz} @@ -234,7 +234,7 @@ Sei $\Phi(x) := x + G(x,F(x))$ mit $G(x,F(x)) = T(x)F(x)$ wobei $T : D \subset \ Das Nullstellenproblem ein Fixpunktproblem: \vspace*{-2mm} -$$\Phi(x^\star) = x^\star \iff F(x^\star) = 0$$ +\[ \Phi(x^\star) = x^\star \iff F(x^\star) = 0 \] Es ergibt sich das \emph{Newton-Verfahren} für $x^0 \in D$: @@ -272,7 +272,7 @@ Er ist nicht affin-invariant, im Gegensatz zum Newton-Verfahren und dem Nullstel Der \emph{affin-invariante natürliche Monotonietest}: \vspace{-2mm} -$$\|F'(x^k)^{-1}F(x^{k+1})\| \leq \vartheta\|F'(x^k)^{-1}F(x^k)\|$$ +\[ \|F'(x^k)^{-1}F(x^{k+1})\| \leq \vartheta\|F'(x^k)^{-1}F(x^k)\| \] Praktisch wird das Newton-Verfahren bei Verletzung des Tests mit $\vartheta = \frac{1}{2}$ als divergent gestoppt. @@ -302,7 +302,7 @@ Zusätzlich ist $x^\star$ die eind. Nst. in offener Kugel $B_R(x^0)$ mit $R=\min Hier wird der Newton-Schritt $s^k$ zu Beginn nur grob approximiert und nur in der Nähe der Nullstelle präzise berechnet. Dies dient der Reduktion der Rechenzeit bei Beibehaltung der quadratischen Konvergenz. Für $x^0 \in D, k = 0,1,2,\dots$: \vspace*{-4mm} -$$x^{k+1} := x^k + s^k, \ \|F'(x^k)s^k + F(x^k)\| \leq \eta_k \|F(x^k)\|$$ +\[ x^{k+1} := x^k + s^k, \ \|F'(x^k)s^k + F(x^k)\| \leq \eta_k \|F(x^k)\| \] Hierbei ist $\{\eta_k\}_k \subset [0,1)$ die Tolera