diff options
author | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2017-12-21 15:49:10 +0100 |
---|---|---|
committer | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2017-12-21 15:49:10 +0100 |
commit | 3de78a26a64b0ee5fc33587a85e9e0aa9c48ec7b (patch) | |
tree | ffb339ddad61f489be2d5c2407c35757e73fa389 /ch04-unitaere-raeume.tex | |
parent | a0661502d4ea66ed48889762a8410a8c8e57cbd8 (diff) | |
download | funkana-3de78a26a64b0ee5fc33587a85e9e0aa9c48ec7b.tar.gz funkana-3de78a26a64b0ee5fc33587a85e9e0aa9c48ec7b.tar.xz |
VL donnerstag hinzugefügt
Diffstat (limited to 'ch04-unitaere-raeume.tex')
-rw-r--r-- | ch04-unitaere-raeume.tex | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/ch04-unitaere-raeume.tex b/ch04-unitaere-raeume.tex index 1cd310f..85d17a9 100644 --- a/ch04-unitaere-raeume.tex +++ b/ch04-unitaere-raeume.tex @@ -369,7 +369,7 @@ Diese Abbildung ist sesquiliniear, das heißt denn \[ \lAngle J_x(\alpha y),x \rAngle = \langle \alpha y, x \rangle = \cl \alpha \langle y, x \rangle = \cl \alpha J_x(y) [x] = \cl \alpha \lAngle J_x(y), x \rAngle - \lAngle \cl \alpha J_x(y), x \rAngle, + = \lAngle \cl \alpha J_x(y), x \rAngle, \] also $X \cong X'$ sesquilinear isomorph. @@ -444,4 +444,10 @@ Die Topologie von $X'$ sei hierbei die von $\L(X, \K)$, also die von der Norm $\ Für einen topologischen linearen Raum $X$ ist der Dualraum $X' = \{x': X → \K, x' $ linear und stetig $\}$ definiert. Im Allgemeinen kann auch $X' = \{0\}$ gelten. Ist $X$ jedoch ein Hilbertraum, so ist stets $X' \ne \{0\}$, denn zu $y ∈ X$ ist durch $y'[x] \coloneq \langle y,x \rangle, x ∈ X$ jeweils ein $y' ∈ X'$ erklärt. -Tatsächlich bekommt man dadurch sogar schon alle Elemente des Dualraums:
\ No newline at end of file +Tatsächlich bekommt man dadurch sogar schon alle Elemente des Dualraums: + + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "funkana-ebook" +%%% End: |