aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/2/funktionenalgebra.tex
blob: 9116be48295ce0da94ec4e72870f6b1d485c35a4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
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}