From 9aa06203d62e6d9092597fc7f89a0a8e3a6636c9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Thu, 3 Jun 2021 08:28:20 +0200 Subject: new slides --- vorlesungen/slides/2/hilbertraum/definition.tex | 59 +++++++++++++++++++++++++ 1 file changed, 59 insertions(+) create mode 100644 vorlesungen/slides/2/hilbertraum/definition.tex (limited to 'vorlesungen/slides/2/hilbertraum/definition.tex') diff --git a/vorlesungen/slides/2/hilbertraum/definition.tex b/vorlesungen/slides/2/hilbertraum/definition.tex new file mode 100644 index 0000000..ed0ab13 --- /dev/null +++ b/vorlesungen/slides/2/hilbertraum/definition.tex @@ -0,0 +1,59 @@ +% +% definition.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Hilbertraum --- Definition} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{$\mathbb{C}$-Hilbertraum $H$} +\begin{enumerate} +\item $\mathbb{C}$-Vektorraum, muss nicht endlichdimensional sein +\item Sesquilineares Skalarprodukt +\[ +\langle \cdot,\cdot\rangle +\colon H \to \mathbb{C}: (x,y) \mapsto \langle x,y\rangle +\] +Dazugehörige Norm: +\[ +\|x\| = \sqrt{\langle x,x\rangle} +\] +\item Vollständigkeit: jede Cauchy-Folge konvergiert +\end{enumerate} +Ohne Vollständigkeit: {\em Prähilbertraum} +\end{block} +\begin{block}{$\mathbb{R}$-Hilbertraum} +Vollständiger $\mathbb{R}$-Vektorraum mit bilinearem Skalarprodukt +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Vollständigkeit} +\begin{itemize} +\item $(x_n)_{n\in\mathbb{N}}$ ist eine Cauchy-Folge: +Für alle $\varepsilon>0$ gibt es $N>0$ derart, dass +\[ +\| x_n-x_m\| < \varepsilon\quad\forall n,m>N +\] +\item Grenzwert existiert: $\exists x\in H$ derart, dass es für alle +$\varepsilon >0$ ein $N>0$ gibt derart, dass +\[ +\|x_n-x\|<\varepsilon\quad\forall n>N +\] +\end{itemize} +\end{block} +\begin{block}{Cauchy-Schwarz-Ungleichung} +\[ +|\langle x,y\rangle| +\le \|x\| \cdot \|y\| +\] +Gleichheit für linear abhängige $x$ und $y$ +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup -- cgit v1.2.1