From 990f93a2ea8e6fce226bd5a56ed54c01f6306f10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Tue, 9 Mar 2021 10:04:24 +0100
Subject: algebranormen

---
 vorlesungen/slides/2/funktionenalgebra.tex | 88 ++++++++++++++++++++++++++++++
 1 file changed, 88 insertions(+)
 create mode 100644 vorlesungen/slides/2/funktionenalgebra.tex

(limited to 'vorlesungen/slides/2/funktionenalgebra.tex')

diff --git a/vorlesungen/slides/2/funktionenalgebra.tex b/vorlesungen/slides/2/funktionenalgebra.tex
new file mode 100644
index 0000000..e3339c3
--- /dev/null
+++ b/vorlesungen/slides/2/funktionenalgebra.tex
@@ -0,0 +1,88 @@
+%
+% funktionenalgebra.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Funktionenalgebra}
+\vspace{-17pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Algebra $C([0,1])$}
+Funktionenraum
+\[
+C([0,1])
+=
+\{f\colon[0,1]\to\mathbb{C}\;|\;\text{$f$ stetig}\}
+\]
+mit Supremum-Norm\uncover<2->{ und punktweisem Produkt
+\[
+(f\cdot g)(x)
+=
+f(x)\cdot g(x)
+\]}
+\end{block}
+\vspace{-8pt}
+\uncover<3->{%
+\begin{block}{Algebranorm}
+\vspace{-12pt}
+\begin{align*}
+\|f\cdot g\|_\infty
+&=
+\sup_{x\in[0,1]} f(x)g(x)
+\\
+\uncover<4->{
+&\le
+\sup_{x\in[0,1]}f(x)
+\sup_{y\in[0,1]}g(y)
+}
+\\
+\uncover<5->{
+&=
+\|f\|_\infty \cdot \|g\|_\infty
+}
+\end{align*}
+\end{block}}
+\end{column}
+\begin{column}{0.48\textwidth}
+\uncover<6->{%
+\begin{block}{Faltungs-Algebra $L^2([0,1])$}
+Funktionenraum
+\[
+L^2=\{f\colon \mathbb{R}\to\mathbb{C}\;|\;\text{$f$ $1$-periodisch}\}
+\]
+mit $L^2$-Skalarprodukt\uncover<7->{ und Faltungsprodukt
+\[
+f*g(x)
+=
+\int_0^1
+\underbrace{f(x-t)}_{(=\gamma_x\check{f})(t)} g(t)\,dx
+\]}
+\end{block}}
+\vspace{-21pt}
+\uncover<8->{%
+\begin{block}{Norm}
+\vspace{-12pt}
+\begin{align*}
+\|f*g\|_2^2
+&\uncover<9->{=\int_0^1 |
+\langle \gamma_x\check{f},g\rangle
+|^2\,dx}
+\\
+\uncover<10->{
+&\le
+\int_0^1
+\|\gamma_t\check{f}\|_2^2
+\|g\|_2^2
+\,dx}
+\\
+\uncover<11->{
+&=\|f\|_2^2\cdot \|g\|_2^2
+}
+\end{align*}
+\end{block}}
+\end{column}
+\end{columns}
+\end{frame}
-- 
cgit v1.2.1


From 972eba4c4cb38eb330bd053500e627085a3f4328 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Fri, 12 Mar 2021 17:27:08 +0100
Subject: add new slides

---
 vorlesungen/slides/2/funktionenalgebra.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'vorlesungen/slides/2/funktionenalgebra.tex')

diff --git a/vorlesungen/slides/2/funktionenalgebra.tex b/vorlesungen/slides/2/funktionenalgebra.tex
index e3339c3..9116be4 100644
--- a/vorlesungen/slides/2/funktionenalgebra.tex
+++ b/vorlesungen/slides/2/funktionenalgebra.tex
@@ -31,12 +31,12 @@ f(x)\cdot g(x)
 \begin{align*}
 \|f\cdot g\|_\infty
 &=
-\sup_{x\in[0,1]} f(x)g(x)
+\sup_{x\in[0,1]} |f(x)g(x)|
 \\
 \uncover<4->{
 &\le
-\sup_{x\in[0,1]}f(x)
-\sup_{y\in[0,1]}g(y)
+\sup_{x\in[0,1]}|f(x)|
+\sup_{y\in[0,1]}|g(y)|
 }
 \\
 \uncover<5->{
-- 
cgit v1.2.1

