aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/2/hilbertraum/adjungiert.tex
blob: da41576399ce15b20d8a8e73fd45e5ad6b37adae (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
%
% adjungiert.tex -- slide template
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\bgroup
\begin{frame}[t]
\setlength{\abovedisplayskip}{5pt}
\setlength{\belowdisplayskip}{5pt}
\frametitle{Adjungierter Operator}
\vspace{-20pt}
\begin{columns}[t,onlytextwidth]
\begin{column}{0.48\textwidth}
\begin{block}{Definition}
\begin{itemize}
\item<2->
$A\colon H\to L$ lineare Abbildung zwischen Hilberträumen, $y\in L$
\item<3->
\[
H\to\mathbb{C}
:
x\mapsto \langle y, Ax\rangle_L
\]
ist eine lineare Abbildung $H\to\mathbb{C}$
\item<4->
Nach dem Darstellungssatz gibt es $v\in H$ mit
\[
\langle y,Ax\rangle_L = \langle v,x\rangle_H
\quad 
\forall x\in H
\]
\end{itemize}
\uncover<5->{%
Die Abbildung 
\[
L\to H
:
y\mapsto v =: A^*y
\]
heisst {\em adjungierte Abbildung}}
\end{block}
\end{column}
\begin{column}{0.48\textwidth}
\uncover<6->{%
\begin{block}{Endlichdimensional (Matrizen)}
\[
A^* = \overline{A}^t
\]
\end{block}}
\vspace{-8pt}
\uncover<7->{%
\begin{block}{Selbstabbildungen}
Für Operatoren $A\colon H\to H$ ist $A^*\colon H\to H$
\[
\langle x,Ay\rangle
=
\langle A^*x, y\rangle
\quad
\forall x,y\in H
\]
\end{block}}
\vspace{-8pt}
\uncover<9->{%
\begin{block}{Selbstadjungierte Operatoren}
\[
A=A^*
\uncover<10->{\;\Leftrightarrow\;
\langle x,Ay \rangle
=
\langle A^*x,y \rangle}
\uncover<11->{=
\langle Ax,y \rangle}
\]
\uncover<12->{Matrizen:
\begin{itemize}
\item<13-> hermitesch
\item<14-> für reelle Hilberträume: symmetrisch
\end{itemize}}
\end{block}}
\end{column}
\end{columns}
\end{frame}
\egroup