Merge branch 'master' of https://github.com/AndreasFMueller/SeminarMatrizen

11 files changed, 674 insertions, 4 deletions

diff --git a/vorlesungen/slides/5/Makefile.inc b/vorlesungen/slides/5/Makefile.inc
index 4ca3de4..5b849ec 100644
--- a/vorlesungen/slides/5/Makefile.inc
+++ b/vorlesungen/slides/5/Makefile.inc
@@ -5,6 +5,8 @@
 # (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
 #
 chapter5 =								\
+	../slides/5/plan.tex						\
+	../slides/5/planbeispiele.tex					\
 	../slides/5/verzerrung.tex					\
 	../slides/5/motivation.tex					\
 	../slides/5/charpoly.tex					\
@@ -27,6 +29,8 @@ chapter5 =								\
 									\
 	../slides/5/spektrum.tex					\
 	../slides/5/normal.tex						\
+	../slides/5/normalbeispiel.tex					\
+	../slides/5/normalbeispiel34.tex				\
 	../slides/5/unitaer.tex						\
 									\
 	../slides/5/konvergenzradius.tex				\
@@ -36,9 +40,12 @@ chapter5 =								\
 	../slides/5/satzvongelfand.tex					\
 									\
 	../slides/5/stoneweierstrass.tex				\
+	../slides/5/swbeweis.tex					\
 	../slides/5/potenzreihenmethode.tex				\
 	../slides/5/logarithmusreihe.tex				\
 	../slides/5/exponentialfunktion.tex				\
 	../slides/5/hyperbolisch.tex					\
+									\
+	../slides/5/approximation.tex					\
 	../slides/5/chapter.tex
 
diff --git a/vorlesungen/slides/5/approximation.tex b/vorlesungen/slides/5/approximation.tex
new file mode 100644
index 0000000..a35bae7
--- /dev/null
+++ b/vorlesungen/slides/5/approximation.tex
@@ -0,0 +1,56 @@
+%
+% approximation.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+
+\begin{frame}[t]
+\frametitle{Approximation einer reellen Funktion}
+\vspace{-18pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.5\textwidth}
+\begin{block}{Gegeben}
+Eine stetige Funktion $f\colon[a,b]\to\mathbb{R}$
+\end{block}
+\end{column}
+\begin{column}{0.5\textwidth}
+\uncover<2->{%
+\begin{block}{Gesucht}
+Approximationspolynome $p_n\to f$ gleichmässig auf $[a,b]$
+\end{block}}
+\end{column}
+\end{columns}
+\uncover<3->{%
+\begin{block}{Lösungsmöglichkeiten}
+\vspace{-3pt}
+\begin{center}
+\renewcommand{\arraystretch}{1.3}
+\begin{tabular}{|p{4.2cm}|l|}
+\hline
+Familie&Approximationspolynom für $[a,b]=[0,1]$
+\\
+\hline
+\uncover<4->{%
+\raggedright
+Lagrange-Interpolationspolynom}
+&\uncover<5->{%
+$\displaystyle\begin{aligned}
+l(x)&=(x-x_0)(x-x_1)\dots(x-x_n),\quad x_k = \frac{k}{n}
+\\
+p_n(x)&= \sum_{k=0}^n f(x_k)\frac{l(x)}{x-x_k}
+\end{aligned}$}
+\\
+\hline\uncover<6->{%
+\raggedright
+Approximation mit Bernstein-Polynomen}
+&\uncover<7->{$\displaystyle \begin{aligned}
+B_{k,n}(t) &= \frac{1}{(b-a)^n}\binom{n}{k}(t-a)^k(b-t)^{n-k}
+\\
+B_n(f)(t) &= \sum_{k=0}^n B_{k,n}(t) \cdot f\biggl(\frac{k}{n}\biggr)
+\end{aligned}$}
+\\
+\hline
+\end{tabular}
+\end{center}
+\end{block}}
+\end{frame}
diff --git a/vorlesungen/slides/5/beispiele/kombiniert.jpg b/vorlesungen/slides/5/beispiele/kombiniert.jpg
index 9cb789c..bebc36f 100644
--- a/vorlesungen/slides/5/beispiele/kombiniert.jpg
+++ b/vorlesungen/slides/5/beispiele/kombiniert.jpg
diff --git a/vorlesungen/slides/5/beispiele/kombiniert.pov b/vorlesungen/slides/5/beispiele/kombiniert.pov
index c187d08..d17adb7 100644
--- a/vorlesungen/slides/5/beispiele/kombiniert.pov
+++ b/vorlesungen/slides/5/beispiele/kombiniert.pov
@@ -18,5 +18,6 @@ ebene(k21, k22, gruen2)
 arrow(O, j11, at, orange1)
 arrow(O, j12, at, orange1)
 arrow(O, k11, at, gruen1)
+gerade(k11, gruen1)
 ebene(j11, j12, orange1)
 
diff --git a/vorlesungen/slides/5/chapter.tex b/vorlesungen/slides/5/chapter.tex
index 96eea29..cdf2ea5 100644
--- a/vorlesungen/slides/5/chapter.tex
+++ b/vorlesungen/slides/5/chapter.tex
@@ -3,6 +3,8 @@
 %
 % (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswi
 %
+\folie{5/plan.tex}
+\folie{5/planbeispiele.tex}
 \folie{5/verzerrung.tex}
 \folie{5/motivation.tex}
 \folie{5/charpoly.tex}
@@ -28,9 +30,13 @@
 \folie{5/Aiteration.tex}
 \folie{5/satzvongelfand.tex}
 \folie{5/stoneweierstrass.tex}
+\folie{5/swbeweis.tex}
 \folie{5/potenzreihenmethode.tex}
 \folie{5/logarithmusreihe.tex}
 \folie{5/exponentialfunktion.tex}
 \folie{5/hyperbolisch.tex}
 \folie{5/spektrum.tex}
 \folie{5/normal.tex}
+\folie{5/normalbeispiel.tex}
+\folie{5/normalbeispiel34.tex}
+\folie{5/approximation.tex}
diff --git a/vorlesungen/slides/5/normalbeispiel.tex b/vorlesungen/slides/5/normalbeispiel.tex
new file mode 100644
index 0000000..e130c15
--- /dev/null
+++ b/vorlesungen/slides/5/normalbeispiel.tex
@@ -0,0 +1,108 @@
+%
+% normalbeispiel.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\definecolor{darkred}{rgb}{0.8,0,0}
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Beispiele für normale Matrizen}
+\vspace{-15pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.49\textwidth}
+\uncover<3->{%
+\begin{block}{Symmetrisch und Antisymmetrisch}
+$A\in M_n(\mathbb{C})$
+\begin{align*}
+A&=\pm A^t &&\Rightarrow &AA^* &=A\overline{A^t} =\pm A\overline{A}
+\\
+ &      &&            &     &=\pm\overline{A}A =\overline{A^t}A
+\\
+ &      &&            &     &=A^*A
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.49\textwidth}
+\uncover<4->{%
+\begin{block}{Orthogonal}
+$A\in M_n(\mathbb{R})\;\Rightarrow\; A^*=A^t$
+\begin{align*}
+AA^t&=I &&\Rightarrow& AA^*&=AA^t=I\\
+    &   &&           &     &=A^tA=A^*A
+\end{align*}
+\end{block}}
+\end{column}
+\end{columns}
+\vspace{-15pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.49\textwidth}
+\uncover<1->{%
+\begin{block}{Hermitesch und Antihermitesch}
+$A\in M_n(\mathbb{C})$
+\begin{align*}
+A&=\pm A^* &&\Rightarrow &AA^* &=\pm A^2=A^*A
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.49\textwidth}
+\uncover<2->{%
+\begin{block}{Unitär}
+$A\in M_n(\mathbb{C})$
+\begin{align*}
+AA^*&=I &&\Rightarrow& AA^*=I=A^*A
+\end{align*}
+\end{block}}
+\end{column}
+\end{columns}
+%\uncover<5->{%
+%\begin{block}{Weitere}
+%$N\in M_n(\mathbb{C})$ nilpotent, $N^k=0$\uncover<11->{
+%$\Rightarrow$
+%normal für $l=k-l\Rightarrow l=\frac{k}{2}$}
+%\uncover<6->{%
+%\[
+%\left.
+%\begin{aligned}
+%A  &=N^l+(N^t)^{k-l}
+%\\
+%A^t&=(N^t)^l+N^{k-1}
+%\end{aligned}
+%\right\}
+%\uncover<7->{%
+%\Rightarrow
+%\left\{
+%\begin{aligned}
+%\mathstrut
+%A^t A
+%&\only<8>{=
+%((N^t)^l+N^{k-l}) (N^l+(N^t)^{k-l})}
+%\uncover<9->{=
+%{\color<10>{darkgreen}(N^t)^lN^l}
+%\only<9>{+
+%{\color{orange}(N^t)^k}}
+%+
+%{\color<10>{darkred}N^{k-l}(N^t)^{k-l}}
+%\only<9>{+
+%{\color{orange}N^k}}}
+%\\
+%\mathstrut
+%A A^t
+%&\only<8>{= 
+%(N^l+(N^t)^{k-l})((N^t)^l+N^{k-l})}
+%\uncover<9->{=
+%{\color<10>{darkred}N^l(N^t)^l}
+%+
+%\only<9>{{\color{orange}N^k}
+%+
+%{\color{orange}(N^t)^k}
+%+}
+%{\color<10>{darkgreen}(N^t)^{k-l}N^{k-l}}}
+%\end{aligned}
+%\right.}
+%\hspace{20cm}
+%\]}
+%\end{block}}
+\end{frame}
diff --git a/vorlesungen/slides/5/normalbeispiel34.tex b/vorlesungen/slides/5/normalbeispiel34.tex
new file mode 100644
index 0000000..f2647b0
--- /dev/null
+++ b/vorlesungen/slides/5/normalbeispiel34.tex
@@ -0,0 +1,80 @@
+%
+% normalbeispiel34.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+\definecolor{darkred}{rgb}{0.8,0,0}
+\begin{frame}[t]
+\frametitle{Beispiele normaler Matrizen für $n=3$}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.49\textwidth}
+\begin{align*}
+A
+&=
+\begin{pmatrix}
+\alpha&\beta &   0  \\
+   0  &\alpha&\beta \\
+\beta &   0  &\alpha
+\end{pmatrix},
+\;
+A^t=
+\begin{pmatrix}
+\alpha&   0  &\beta \\
+\beta &\alpha&   0  \\
+   0  &\beta &\alpha
+\end{pmatrix}
+&
+\uncover<2->{%
+&\Rightarrow\left\{
+\begin{aligned}
+AA^t&=\begin{pmatrix}
+\alpha^2+\beta^2 & \alpha\beta      & \alpha\beta      \\
+\alpha\beta      & \alpha^2+\beta^2 & \alpha\beta      \\
+\alpha\beta      & \alpha\beta      & \alpha^2+\beta^2 
+\end{pmatrix}
+\\
+&\phantom{ooooooooooooooo}\|
+\\
+A^tA&=\begin{pmatrix}
+\alpha^2+\beta^2 & \alpha\beta      & \alpha\beta      \\
+\alpha\beta      & \alpha^2+\beta^2 & \alpha\beta      \\
+\alpha\beta      & \alpha\beta      & \alpha^2+\beta^2 
+\end{pmatrix}
+\end{aligned}\right.}
+\\
+\uncover<3->{
+A&=\alpha I + \beta O}\uncover<4->{, O=\begin{pmatrix}0&1&0\\0&0&1\\1&0&0\end{pmatrix}\in \operatorname{O}(3)}
+&
+\uncover<5->{
+&\Rightarrow
+\left\{
+\begin{aligned}
+AA^*&= \alpha^2I^2 + \beta^2
+\ifthenelse{\boolean{presentation}}{ \only<6->{I} }{} \only<-5>{OO^*}
++ \alpha\beta(O+O^*)\\
+A^*A&= \alpha^2I^2 + \beta^2
+\ifthenelse{\boolean{presentation}}{ \only<6->{I} }{} \only<-5>{O^*O}
++ \alpha\beta(O^*+O)
+\end{aligned}
+\right.}
+\\
+\uncover<7->{A&=U+V^*,\text{normal}}\uncover<10->{\text{, }
+{\color{darkgreen}UV}={\color{darkgreen}VU}}
+&
+&\uncover<8->{\Rightarrow
+\left\{
+\begin{aligned}
+AA^* &= UU^* + {\color<9->{darkgreen}UV} + {\color<9->{darkred}V^*U^*} + V^*V
+\\
+A^*A &= U^*U + {\color<9->{darkred}U^*V^*} + {\color<9->{darkgreen}VU} + VV^*
+\end{aligned}
+\right.}
+\end{align*}
+\end{column}
+\begin{column}{0.49\textwidth}
+\end{column}
+\end{columns}
+\end{frame}
diff --git a/vorlesungen/slides/5/plan.tex b/vorlesungen/slides/5/plan.tex
new file mode 100644
index 0000000..23b1b93
--- /dev/null
+++ b/vorlesungen/slides/5/plan.tex
@@ -0,0 +1,198 @@
+%
+% plan.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\definecolor{darkgreen}{rgb}{0,0.5,0}
+\definecolor{darkred}{rgb}{0.8,0.0,0}
+\begin{frame}[t]
+\frametitle{Was ist $f(A)$?}
+\vspace{-5pt}
+\begin{center}
+\begin{tikzpicture}[>=latex,thick]
+
+\uncover<7->{
+	\fill[color=blue!20] (-1.5,0.7) rectangle (11.5,3.8);
+}
+
+\uncover<4->{
+	\fill[color=darkgreen!20] (-1.5,-0.7) rectangle (11.5,0.7);
+}
+
+\uncover<12->{
+	\fill[color=darkred!20] (-1.5,-0.7) rectangle (11.5,-3.8);
+}
+
+\begin{scope}[xshift=-1cm]
+\node at (0,0) [left] {$A$};
+\end{scope}
+
+%\foreach \x in {1,...,20}{
+%	\only<\x>{ \node at (-1,3) {\x}};
+%}
+
+%
+% Blauer Ast
+%
+
+\uncover<2->{
+	\draw[->,color=blue,shorten <= 0.3cm, shorten >= 0.0cm]
+		(-1.2,0) -- (0,1.3);
+
+	\begin{scope}[xshift=0cm,yshift=1.5cm]
+	\fill[color=white,opacity=0.7] (0,-0.6) rectangle (3.4,0.6);
+	\draw[color=blue] (0,-0.6) rectangle (3.4,0.6);
+	\node at (0,0) [right] {$\begin{aligned}
+	f&=p\in\mathbb{R}[X]\\
+	f(A)&=p(A)
+	\end{aligned}
+	$};
+	\end{scope}
+}
+
+\uncover<7->{
+	\draw[->,color=blue] (1.8,2.1) -- (3.6,3);
+
+	\begin{scope}[xshift=3.6cm,yshift=3cm]
+	\fill[color=white,opacity=0.7] (0,-0.6) rectangle (3.7,0.6);
+	\draw[color=blue] (0,-0.6) rectangle (3.7,0.6);
+	\node at (0,0) [right] {\begin{minipage}{3cm}\raggedright
+	$f$ durch $p_n\in\mathbb{R}[X]$\\
+	approximieren
+	\end{minipage}};
+	\end{scope}
+}
+
+\uncover<8->{
+	\draw[->,color=blue] (7.3,3) -- (9.5,1.9);
+
+	\begin{scope}[xshift=7.6cm,yshift=1.5cm]
+	\fill[color=white,opacity=0.7] (0,-0.35) rectangle (3.8,0.4);
+	\draw[color=blue] (0,-0.35) rectangle (3.8,0.4);
+	\node at (0,0) [right] {$\displaystyle f(A) = \lim_{n\to\infty}p_n(A)$};
+	\end{scope}
+}
+
+\uncover<9->{
+	\node[color=blue] at (3.6,1.6) [right] {\begin{minipage}{4cm}
+	\raggedright
+	Konvergenz $p_n\to f$\\
+	auf Spektrum $\operatorname{Sp}(A)\subset\mathbb{R}$
+	\end{minipage}};
+}
+
+\uncover<11->{
+	\node[color=blue] at (-1.5,3.8) [below right]
+		{$A$ symmetrisch: $A=A^*$};
+}
+\uncover<10->{
+	\node[color=blue] at (11.5,3.8) [below left] {$A$ diagonalisierbar};
+}
+
+%
+% Roter Ast
+%
+
+\uncover<12->{
+	\draw[->,color=darkred,shorten <= 0.3cm, shorten >= 0.0cm] (-1.2,0) -- (0,-1.3);
+
+	\begin{scope}[xshift=0cm,yshift=-1.5cm]
+	\fill[color=white,opacity=0.7] (0,-0.6) rectangle (3.4,0.6);
+	\draw[color=darkred] (0,-0.6) rectangle (3.4,0.6);
+	\node at (0,0) [right] {$\begin{aligned}
+	f&=p\in\mathbb{C}[Z,\overline{Z}]\\
+	f(A)&=p(A,A^*)
+	\end{aligned}$};
+	\end{scope}
+}
+
+\uncover<13->{
+	\node[color=darkred] at (1.7,-2.1) [below left]
+		{Für $|Z|^2 = Z\overline{Z}$};
+}
+
+\uncover<14->{
+	\draw[->,color=darkred] (1.8,-2.1) -- (3.6,-3);
+
+	\begin{scope}[xshift=3.6cm,yshift=-3cm]
+	\fill[color=white,opacity=0.7] (0,-0.6) rectangle (3.7,0.6);
+	\draw[color=darkred] (0,-0.6) rectangle (3.7,0.6);
+	\node at (0,0) [right] {\begin{minipage}{3.5cm}\raggedright
+	$f$ durch $q_n\in\mathbb{C}[Z,\overline{Z}]$\\
+	approximieren
+	\end{minipage}};
+	\end{scope}
+}
+
+\uncover<15->{
+	\draw[->,color=darkred] (7.3,-3) -- (9.5,-1.85);
+
+	\begin{scope}[xshift=7.6cm,yshift=-1.5cm]
+	\fill[color=white,opacity=0.7] (0,-0.35) rectangle (3.8,0.4);
+	\draw[color=darkred] (0,-0.35) rectangle (3.8,0.4);
+	\node at (0,0) [right]
+		{$\displaystyle f(A) = \lim_{n\to\infty}q_n(A,A^*)$};
+	\end{scope}
+}
+
+\uncover<16->{
+	\node[color=darkred] at (3.6,-1.8) [right] {\begin{minipage}{4cm}
+	\raggedright
+	Konvergenz $p_n\to f$\\
+	auf $\operatorname{Sp}(A)\cup\operatorname{Sp}(A^*)$
+	\end{minipage}};
+}
+
+\uncover<17->{
+	\node[color=darkred] at (11.5,-3.8) [above left] {%
+	\begin{minipage}{3.5cm}\raggedleft
+	nur sinnvoll definiert wenn 
+	$AA^*=A^*A$
+	\end{minipage}};
+}
+
+\uncover<18->{
+	\node[color=darkred] at (-1.5,-3.8) [above right]
+		{$A$ normal: $AA^*=A^*A$};
+}
+
+%
+% Grüner Ast
+%
+
+\uncover<3->{
+	\draw[->,color=darkgreen,shorten <= 0.0cm, shorten >= 0.0cm]
+		(-1,0) -- (0,0);
+
+	\begin{scope}[xshift=0cm,yshift=0cm]
+	\fill[color=white,opacity=0.7] (0,-0.6) rectangle (2.9,0.6);
+	\draw[color=darkgreen] (0,-0.6) rectangle (2.9,0.6);
+	\node at (0,0) [right] {$\displaystyle
+	f(z)=\sum_{k=0}^\infty a_kz^k$};
+	\end{scope}
+}
+
+\uncover<5->{
+	\node[color=darkgreen] at (5.9,0) [above] {$f(z)$ analytisch!};
+}
+\uncover<6->{
+	\node[color=darkgreen] at (5.9,0) [below]
+		{$\varrho(A)<\text{Konvergenzradius}$};
+}
+
+\uncover<4->{
+	\draw[->,color=darkgreen] (2.9,0) -- (8.5,0);
+
+	\begin{scope}[xshift=8.5cm]
+	\fill[color=white,opacity=0.7] (0,-0.6) rectangle (2.9,0.6);
+	\draw[color=darkgreen] (0,-0.6) rectangle (2.9,0.6);
+	\node at (0,0) [right] {$\displaystyle
+	 f(A)=\sum_{k=0}^\infty a_kA^k$};
+	\end{scope}
+}
+
+\end{tikzpicture}
+\end{center}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/5/planbeispiele.tex b/vorlesungen/slides/5/planbeispiele.tex
new file mode 100644
index 0000000..7b98a95
--- /dev/null
+++ b/vorlesungen/slides/5/planbeispiele.tex
@@ -0,0 +1,103 @@
+%
+% planbeispiele.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+\definecolor{darkred}{rgb}{0.8,0,0}
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\begin{frame}[t]
+\frametitle{Beispiele}
+\vspace{-15pt}
+\begin{columns}[t]
+\begin{column}{0.33\textwidth}
+\setbeamercolor{block body}{bg=blue!20}
+\setbeamercolor{block title}{bg=blue!20}
+\uncover<2->{%
+\begin{block}{$A$ diagonal, $\operatorname{Sp}(A)\subset\mathbb{R}$\strut}
+Beispiele:
+\begin{align*}
+f(x)
+&=
+x^k,
+\\
+f(x)&=
+\sqrt{x},
+\sqrt[k]{x}
+\\
+f(x)&=|x|
+\end{align*}
+\vspace{43pt}
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\setbeamercolor{block body}{bg=darkgreen!20}
+\setbeamercolor{block title}{bg=darkgreen!20}
+\uncover<1->{%
+\begin{block}{$f(z)$ analytisch\strut}
+Beispiele:
+\begin{align*}
+e^z
+&=
+\sum_{k=0}^\infty \frac{z^k}{k!}
+\\
+\cos z
+&=
+\sum_{k=0}^\infty (-1)^k\frac{z^{2k}}{2k!}
+\\
+\sin z
+&=
+\sum_{k=0}^\infty (-1)^k\frac{z^{2k+1}}{(2k+1)!}
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\setbeamercolor{block body}{bg=darkred!20}
+\setbeamercolor{block title}{bg=darkred!20}
+\uncover<3->{%
+\begin{block}{$A$ normal, $AA^*=A^*A$\strut}
+Beispiele:
+\begin{align*}
+f(z)&=\sqrt{z\overline{z}}=|z|
+\end{align*}
+\vspace{76pt}
+\end{block}}
+\end{column}
+\end{columns}
+\vspace{-10pt}
+\begin{columns}[t]
+\begin{column}{0.33\textwidth}
+\setbeamercolor{block body}{bg=blue!20}
+\setbeamercolor{block title}{bg=blue!20}
+\uncover<5->{%
+\begin{block}{}
+\vspace{-6pt}
+$f(A)$ wohldefiniert für {\color{blue}diagonalisierbare}
+Matrizen $A\in M_n(\mathbb{R})$
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\setbeamercolor{block body}{bg=darkgreen!20}
+\setbeamercolor{block title}{bg=darkgreen!20}
+\uncover<4->{%
+\begin{block}{}
+\vspace{-6pt}
+$f(A)$ wohldefiniert für {\color{darkgreen}jedes} $A\in M_n(\mathbb{C})$
+\vspace{14pt}
+\end{block}}
+\end{column}
+\begin{column}{0.33\textwidth}
+\setbeamercolor{block body}{bg=darkred!20}
+\setbeamercolor{block title}{bg=darkred!20}
+\uncover<6->{%
+\begin{block}{}
+\vspace{-6pt}
+$f(A)$ wohldefiniert für {\color{darkred}normale}
+Matrizen $A\in M_n(\mathbb{C})$
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup
diff --git a/vorlesungen/slides/5/stoneweierstrass.tex b/vorlesungen/slides/5/stoneweierstrass.tex
index 3f9cab5..e2e9e30 100644
--- a/vorlesungen/slides/5/stoneweierstrass.tex
+++ b/vorlesungen/slides/5/stoneweierstrass.tex
@@ -3,9 +3,64 @@
 %
 % (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswil
 %
+\bgroup
+\definecolor{darkgreen}{rgb}{0,0.6,0}
 \begin{frame}[t]
-\frametitle{Stone-Weierstrass}
-
-TODO XXX
-
+\frametitle{Allgemeiner Approximationssatz}
+\vspace{-20pt}
+\begin{columns}[t]
+\begin{column}{0.5\textwidth}
+\begin{theorem}[Stone-Weierstrass, $\mathbb{R}$]
+$A$ eine {\color{darkgreen}$\mathbb{R}$}-Algebra
+von stetigen Funktionen auf einem
+%abgeschlossenen und beschränkten
+kompakten
+Definitionsgebiet $D\subset {\color{darkgreen}\mathbb{R}}$, 
+\begin{itemize}
+\item<2-> konstante Funktion $c\in A$,
+\item<3-> für $d_1,d_2\in D$ gibt es ein $s\in A$ mit
+$s(d_1)\ne s(d_2)$.
+\end{itemize}
+\uncover<4->{%
+Dann lässt sich jede stetige Funktion durch Funktionen aus $A$
+approximieren}
+\end{theorem}
+\uncover<5->{
+\begin{block}{Anwendung}
+\uncover<6->{$A={\color{darkgreen}\mathbb{R}}[X]$}\uncover<7->{,
+$s(X)=X$}\uncover<8->{,
+jede stetige Funktion kann durch
+Polynome in $X$ approximiert werden}
+\end{block}}
+\end{column}
+\begin{column}{0.5\textwidth}
+\uncover<9->{%
+\begin{theorem}[Stone-Weierstrass, $\mathbb{C}$]
+$A$ eine {\color<10->{red}$\mathbb{C}$}-Algebra von stetigen Funktionen
+auf einem
+%abgeschlossenen und beschränkten
+kompakten
+Definitionsgebiet $D\subset {\color<10->{red}\mathbb{C}}$, 
+\begin{itemize}
+\item konstante Funktion $c\in A$,
+\item für $d_1,d_2\in D$ gibt es ein $s\in A$ mit
+$s(d_1)\ne s(d_2)$.
+\only<11->{
+\item {\color{red}$f\in A\Rightarrow \overline{f}\in A$}
+}
+\end{itemize}
+Dann lässt sich jede stetige Funktion durch Funktionen aus $A$
+approximieren
+\end{theorem}}
+\vspace{-5pt}
+\uncover<12->{%
+\begin{block}{Anwendung}
+$A={\color{red}\mathbb{C}}[Z,\overline{Z}]$\uncover<13->{,
+$s(Z{\color{red},\overline{Z}})=Z$}\uncover<14->{,
+jede stetige Funktion
+lässt sich durch Polynome in $Z{\color{red},\overline{Z}}$ approximieren}
+\end{block}}
+\end{column}
+\end{columns}
 \end{frame}
+\egroup
diff --git a/vorlesungen/slides/5/swbeweis.tex b/vorlesungen/slides/5/swbeweis.tex
new file mode 100644
index 0000000..927322b
--- /dev/null
+++ b/vorlesungen/slides/5/swbeweis.tex
@@ -0,0 +1,56 @@
+%
+% swbeweis.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Beweisidee Stone-Weierstrass}
+\vspace{-15pt}
+\begin{columns}[t]
+\begin{column}{0.5\textwidth}
+\begin{enumerate}
+\item<1->
+$\exists$ eine monoton wachsende Folge von Polynomen $u_n(t)\to \sqrt{t}$
+gleichmässig auf $[0,1]\subset{\color{darkgreen}\mathbb{R}}$
+\item<2->
+$f\in A$, dann kann man $|f| = \sqrt{f^2}$ beliebig genau approximieren
+durch Funktionen
+in $A$
+\item<3->
+$f,g\in A$, dann kann
+\begin{align*}
+\max(a,b)&={\textstyle\frac12}(f+g+|f-g|)\\
+\min(a,b)&={\textstyle\frac12}(f+g-|f-g|)
+\end{align*}
+in $A$ beliebig genau approximiert werden.
+\end{enumerate}
+\end{column}
+\begin{column}{0.5\textwidth}
+\begin{enumerate}
+\setcounter{enumi}{3}
+\item<4->
+Für $x,y\in D$ und $\alpha,\beta\in\mathbb{R}$ gibt es $f\in A$ mit
+$f(x)=\alpha$ und $f(y)=\beta$
+\item<5->
+Zu
+$f\colon D\to\mathbb{R}$ stetig und $x\in D$ gibt es $g\in A$ mit $g(x)=f(x)$
+und $g(y) \le f(y)+\varepsilon$ für $y\ne x$
+\item<6->
+Für $f$ gibt es endlich viele Approximationen $g_i$ mit Punkten $x_i$
+wie in Schritt~4.
+Dann ist $\max_i g_i$ eine Approximation von $f$, die beliebig genau in
+$A$ approximiert werden kann.
+\end{enumerate}
+\end{column}
+\end{columns}
+
+\vspace{10pt}
+\uncover<7->{%
+Schritt~2 braucht in {\color{red}$\mathbb{C}$} die komplex Konjugierte:
+$|f|^2=f\overline{f}$}
+\end{frame}
+\egroup