aboutsummaryrefslogtreecommitdiffstats
path: root/vorlesungen/slides/2/hilbertraum/adjungiert.tex
blob: afafab8a8bac261473b9246ee395b0b0e7a68db9 (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
%
% 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
$A\colon H\to L$ lineare Abbildung zwischen Hilberträumen, $y\in L$
\item
\[
H\to\mathbb{C}
:
x\mapsto \langle y, Ax\rangle_L
\]
ist eine lineare Abbildung $H\to\mathbb{C}$
\item
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}
Die Abbildung 
\[
L\to H
:
y\mapsto v =: A^*y
\]
heisst {\em adjungierte Abbildung}
\end{block}
\end{column}
\begin{column}{0.48\textwidth}
\begin{block}{Endlichdimensional (Matrizen)}
\[
A^* = \overline{A}^t
\]
\end{block}
\vspace{-8pt}
\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}
\begin{block}{Selbstadjungierte Operatoren}
\[
A=A^*
\;\Leftrightarrow\;
\langle x,Ay \rangle
=
\langle A^*x,y \rangle
=
\langle Ax,y \rangle
\]
Matrizen:
\begin{itemize}
\item hermitesch
\item für reelle Hilberträume: symmetrisch
\end{itemize}
\end{block}
\end{column}
\end{columns}
\end{frame}
\egroup