diff --git a/ana14.pdf b/ana14.pdf index 9c0e50f..ead5c5a 100644 Binary files a/ana14.pdf and b/ana14.pdf differ diff --git a/ana14.tex b/ana14.tex index 5790ffb..a4f75c1 100644 --- a/ana14.tex +++ b/ana14.tex @@ -304,6 +304,26 @@ Fragestellung: Sei $f \colon D\subset \R^n \to \R^n$. Existiert die Umkehrabbild \end{satz} \begin{proof} Sei $\hat x \in D$ und $\hat y \coloneqq f(\hat x)\in f(D)$. + \begin{figure} + \centering + \begin{tikzpicture} + \coordinate (x) at (-.5,-.5); + \coordinate (y) at (5.5,-.5); + \draw[color = black] (0,0) circle (2cm); + \node at (0,1.5) {$D$}; + \draw[thick, color = red] (x) circle (1cm); + \draw[color = blue, fill = blue!20!white] (-.5,-.5) circle (.7cm); + \node[color = red] at (1,0) {$U(\hat x)$}; + \draw[->] (2,0) -- node[pos = 0.6, above] {$f$} (4,0); + \draw[color = black] (6,0) circle (2cm); + \node at (6,1.5) {$f(D)$}; + \draw[thick, color = red, fill = blue!20!white] (y) circle (1cm); + \node[color = red] at (7,0) {$U(\hat y)$}; + \node[color = blue] at (-.6,-.2) {$V(\hat x)$}; + \node [fill=black,inner sep=1pt,circle,label=-45:$\hat x$] at (x) {}; + \node [fill=black,inner sep=1pt,circle,label=0:$\hat y$] at (y) {}; + \end{tikzpicture} + \end{figure} Betrachte $F \colon \R^n \times D \to \R^n, F(y,x) = y-f(x)$. Für $(\hat x, \hat y)$ gilt $F(\hat y, \hat x) = 0$. Die Jacobimatrix $D_xF(y,x) = -J_f(x)$ ist regulär in $\hat x$. Mit Vertauschung von $x$ und $y$ folgt aus dem Satz über implizite Funktionen, dass Umgebungen $U(\hat y)$, $U(\hat x)$ und genau eine stetig differenzierbare Abbildung $g:U(\hat y) \to U(\hat x)$ existieren, sodass $\forall y \in U(\hat y)$ \[ 0 = F(y,g(y)) = y-f(g(y)), \implies \exists! x = g(y)\in U(\hat x) \text{ mit } y= f(x) diff --git a/analysisII.pdf b/analysisII.pdf index 3b15540..e3758b5 100644 Binary files a/analysisII.pdf and b/analysisII.pdf differ