Kurs:Funktionalanalysis/Vektorräume

Diese Seite beinhaltet die Vektorräume, die in dem Kurs verwendet werden.

Defintion: Vektorraum

Sei $𝕂$ ein Körper und $V=(V,+)$ eine kommutative Gruppe. Man nennt $V$ einen $𝕂$-Vektorraum, wenn eine Abbildung

$\cdot :𝕂\times V\to V$ mit $(\lambda ,v)\mapsto \lambda \cdot v$ ,

definiert ist, die die folgenden Axiome erfüllt $\lambda ,\mu \in 𝕂$ und $v,w\in V$ beliebig .

• (ES) $1\cdot v=v$ (Einselement skalare Multiplikation)
• (AMS) $\lambda \cdot (\mu \cdot v)=(\lambda \cdot \mu )\cdot v.$ (assoziative Multiplikation mit Skalaren)
• (DV) $\lambda \cdot (v+w)=\lambda \cdot v+\lambda \cdot w.$ (Vektoren distributiv)
• (DS) $(\lambda +\mu )\cdot v=\lambda \cdot v+\mu \cdot v.$ (Skalare distributiv)

Endlichdimensionale Vektorräume 1

Sei $n\in \mathbb{N}$, dann ist

• ${\mathbb{Q}}^n$ ein endlichdimensionaler $\mathbb{Q}$-Vektorraum der Dimension $n$,
• ${ℝ}^n$ ein endlichdimensionaler $ℝ$-Vektorraum der Dimension $n$,
• ${ℂ}^n$ ein endlichdimensionaler $ℂ$-Vektorraum der Dimension $n$,

Aufgaben

• (Unterscheidung von Verknüpfungen - $𝕂$-Algebra) Durch welche Eigenschaften unterscheiden sich ein $𝕂$-Vektorraum und eine $𝕂$-Algebra? Unterscheiden Sie drei Multiplikationszeichen in einer $𝕂$-Algebra und identifizieren Sie in den definierenden Eigenschaften des $𝕂$-Vektorraums bzw. der $𝕂$-Algebra, welche Multiplikation gemeint ist.
  • Multiplikation im Körper $𝕂$,
  • Multiplikation mit Skalaren als äußere Verknüpfung,
  • Multiplikation von Elementen aus dem Vektorraum als innere Verknüpfung in einer $𝕂$-Algebra,
• (Unterscheidung von Verknüpfungen - Hilbert-Raum) Sei $𝕂:=ℝ$ oder $𝕂:=ℂ$. Durch welche Eigenschaften unterscheiden sich ein $𝕂$-Vektorraum und ein Hilbertraum über dem Körper $𝕂$? Unterscheiden Sie drei Verküpfungen in einem $𝕂$-Hilbertraum und vergleichen dabei auch die definierenden Eigenschaften einer Multiplikation als innere Verknüpfung in einer $𝕂$-Algebra mit den Eigenschaften eines Skalarproduktes in einem Hilbert-Raum über dem Körper $𝕂$. Welche Gemeinsamkeiten und Unterschiede stellen Sie fest?

Endlichdimensionale Vektorräume von Matrizen 2

Seien $m,n\in \mathbb{N}$, dann ist

• $Mat(m\times n,\mathbb{Q})$ ($m\times n$-Matrizen mit Komponenten in $\mathbb{Q}$) ein endlichdimensionaler $\mathbb{Q}$-Vektorraum der Dimension $m\cdot n$,
• $Mat(m\times n,ℝ)$ ($m\times n$-Matrizen mit Komponenten in $ℝ$) ein endlichdimensionaler $ℝ$-Vektorraum der Dimension $m\cdot n$,
• $Mat(m\times n,ℂ)$ ($m\times n$-Matrizen mit Komponenten in $ℂ$) ein endlichdimensionaler $ℂ$-Vektorraum der Dimension $m\cdot n$,

Unendlichdimensionale Vektorräume von Funktionen 1

Sei $𝒞([a,b],𝕂)$ die Menge der stetigen (engl. continuous) Funktionen von dem Intervall $[a.b]$ in den Körper $𝕂=\mathbb{Q},ℝ,ℂ$ als Wertebereich. Dann ist

• $𝒞([a,b],\mathbb{Q})$ eine unendlichdimensionaler $\mathbb{Q}$-Vektorraum,
• $𝒞([a,b],ℝ)$ eine unendlichdimensionaler $ℝ$-Vektorraum,
• $𝒞([a,b],ℂ)$ eine unendlichdimensionaler $ℂ$-Vektorraum.

Innere und äußere Verknüpfung auf Vektorräumen von Funktionen 2

Mit $V=𝒞([a,b],𝕂)$ und $𝕂=\mathbb{Q},ℝ,ℂ$ ist die innere Verknüpfung wie folgt definiert:

$+:V\times V\to V$ mit $(f,g)\mapsto f+g:=h$ und $h(x):=f(x)+g(x)$ für alle $x\in [a,b]$.

Die äußere Verknüfung ist ebenfalls durch die Multiplikation der Funktionswerte mit dem Skalar argumentweise für jedes $x\in [a,b]$ definert:

$\cdot :𝕂\times V\to V$ mit $(\lambda ,f)\mapsto \lambda \cdot f:=h$ und $h(x):=\lambda \cdot f(x)$ für alle $x\in [a,b]$.

Stetige reellwertige Funktionen

Die Kompaktheit des Definitionsbereiches $[a,b]$ macht den Raum $𝒞([a,b],ℝ)$ der stetigen Funktionen von $[a,b]$ nach $ℝ$ mit der Norm

$\Vert f\Vert :=\underset{a}{\overset{b}{\int }}|f(x)|dx$

zu einem normierten Vektorraum (siehe auch Normen, Metriken, Topologie). Mit den Halbnormen

$\Vert f{\Vert }_n:=\underset{-n}{\overset{+n}{\int }}|f(x)|dx$

wird $(𝒞(ℝ,ℝ),\Vert \cdot {\Vert }_{\mathbb{N}}$ zu einem lokalkonvexen topologischen Vektorraum.

Unendlichdimensionale Vektorräume von Folgen 3

Sei $𝕂=\mathbb{Q},ℝ,ℂ$ ein Körper, dann bezeichnet

• ${𝕂}^{\mathbb{N}}:=\{(a_n{)}_{n\in \mathbb{N}}|a_n\in 𝕂\text{ für alle }n\in \mathbb{N}\}$ die Menge der Folgen mit Folgengliedern in $𝕂$.
• $c_{oo}(𝕂):=\{(a_n{)}_{n\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|{\mathrm{\exists }}_{n_0\in \mathbb{N}}{\mathrm{\forall }}_{n\ge n_0}:a_n=0\}$, die Menge der Folgen in $𝕂$, die ab einer Indexschranke alle Komponenten der Folge 0 sind.
• $c_o(𝕂):=\{(a_n{)}_{n\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0\}$, die Menge der Nullfolgen
• $c(𝕂):=\{(a_n{)}_{n\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|{\mathrm{\exists }}_{a_0\in 𝕂}:\underset{n\to \mathrm{\infty }}{\lim }{a}_n=a_0\}$, die Menge der konvergenten Folgen in $𝕂$.

Unendlichdimensionale Vektorräume von Folgen 4

Sei $𝕂=\mathbb{Q},ℝ,ℂ$ ein Körper, dann bezeichnet

• ${\ell }_1(𝕂):=\{(a_n{)}_{n\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|\sum _{n=1}^{\mathrm{\infty }}|a_n|<\mathrm{\infty }\}$, die Menge der Folgen in $𝕂$, die absolute konvergent sind. ${\ell }_1(𝕂)$ ist ein normierter Norm mit $\Vert a\Vert :=\sum _{n=1}^{\mathrm{\infty }}|a_n|$).
• ${\ell }_p(𝕂):=\{(a_n{)}_{n\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|\sum _{n=1}^{\mathrm{\infty }}|a_n{|}^p<\mathrm{\infty }\}$, die Menge der Folgen in $𝕂$, die absolut-p-summierbar sind. Für $1\le p<\mathrm{\infty }$ ist, der Raum normierbar. Für $0<p<1$ ist der Raum noch metrisierbar mit $d_p((a_n{)}_n,(b_n{)}_n):=\sum _{n=1}^{\mathrm{\infty }}|a_n-b_n{|}^p$,
• ${\ell }_{\mathrm{\infty }}(𝕂):=\{(a_n{)}_{n\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|{\mathrm{\exists }}_{C>0}:\underset{n\in \mathbb{N}}{\sup }|a_n|<C\}$, die Menge der beschränkten Folgen in $𝕂$ als normierbarer Raum.

Unendlichdimensionale Vektorräume von Folgen 5

Sei $𝕂=\mathbb{Q},ℝ,ℂ$ ein Körper und $(p_n{)}_{n\in \mathbb{N}}$ eine monoton fallende Nullfolge mit $0<p_n\le 1$ für alle $n\in \mathbb{N}$ , dann bezeichnet

• $\ell (𝕂,(p_n{)}_{n\in \mathbb{N}}):=\{(a_k{)}_{k\in \mathbb{N}}\in {𝕂}^{\mathbb{N}}|\sum _{k=1}^{\mathrm{\infty }}|a_k{|}^{p_k}<\mathrm{\infty }\}$, die Menge der Folgen in $𝕂$, für die Folge ${(|a_k{|}^{p_k})}_{k\in \mathbb{N}}$ absolute konvergent sind.
• Auf $\ell (𝕂,(p_n{)}_{n\in \mathbb{N}})$ definiert man die folgenden $p$-Halbnormen $\Vert a{\Vert }_n=\sum _{k=1}^{\mathrm{\infty }}|a_k{|}^{p_n}$ für Folgen $a=(a_k{)}_{k\in \mathbb{N}.}$
• $\ell (𝕂,(p_n{)}_{n\in \mathbb{N}})$ ist ein pseudokonvexer Vektorraum mit dem $p$ Halbnormensystem $\Vert \cdot {\Vert }_{\mathbb{N}}$
• Man beachte, dass für die $p$-Halbnorm mit dem Index $n$ der Exponent für alle Folgenindizes $k\in \mathbb{N}$ fest ist.

Folgenräume in normierten Räumen

Sei $(V,\Vert \cdot \Vert )$ ein normierter Vektorraum. Wir betrachten nun Folgen in dem Vektorraum $V$:

• $c_{oo}(V)\in V^{\mathbb{N}}$ ist die Menge der Folgen in dem Vektorraum $V$, bei der ab einer Indexschranke alle Folgenglieder gleich dem Nullvektor aus $V$.
• $c_o(V)\in V^{\mathbb{N}}$ ist die Menge der Nullfolgen, wobei die Folgen bzgl. der Norm $\Vert \cdot \Vert )$ gegen den Nullvektor konvergieren, d.h.:

$(v_n{)}_{n\in \mathbb{N}}\in c_o(V)\in V^{\mathbb{N}}:\iff {\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{n_{\epsilon }\in \mathbb{N}}{\mathrm{\forall }}_{n>n_{\epsilon }}:\Vert v_n\Vert <\epsilon$

• $c(V)\in V^{\mathbb{N}}$ ist die Menge der konvergenten Folgen in $V$, wobei die Folgen bzgl. der Norm $\Vert \cdot \Vert )$ gegen den Vektor $v_o\in V$ konvergieren, d.h.:

$(v_n{)}_{n\in \mathbb{N}}\in c(V)\in V^{\mathbb{N}}:\iff {\mathrm{\exists }}_{v_o\in V}{\mathrm{\forall }}_{\epsilon >0}{\mathrm{\exists }}_{n_{\epsilon }\in \mathbb{N}}{\mathrm{\forall }}_{n>n_{\epsilon }}:\Vert v_n-v_o\Vert <\epsilon$

Die Folgenräume sind selbst wieder normierbar (z.B. mit $\Vert (v_n{)}_{n\in \mathbb{N}}{\Vert }_V:=\underset{n\in \mathbb{N}}{\sup }\Vert v_n\Vert$)

Vektorraum von Polynomen

Sei $𝕂=\mathbb{Q},ℝ,ℂ$ ein Körper und $(V,\Vert \cdot \Vert$ ein normierter $𝕂$-Vektorraum, dann bezeichnet

$V[x]:=\left\{p|(p_n{)}_{n\in \mathbb{N}}\in c_{oo}(V)\wedge p(x):=\sum _{n=0}^{\mathrm{\infty }}{p}_n\cdot x^n\right\}$ die Menge der Polynome mit Koeffizienten in $V$.

Für ein spezielles $x\in 𝕂$ ist $p(x)\in V$ eine Linearkombination aus Vektoren von $V$, wobei die Koeffzienten der Multiplikation mit Skalaren Potenzen $x^n\in 𝕂$ von einem Skalar $x\in 𝕂$ sind.

Innere und äußere Verknüpfung auf Vektorräumen von Folgen 4

Die innere und äußere Verknüpfungen auf den Folgenräumen sind jeweils komponentenweise definiert, analog zur Vektorraum Addition und Multiplikation mit Skalaren im ${\mathbb{Q}}^n$, ${ℝ}^n$ oder ${ℂ}^n$. Mit $V={𝕂}^{\mathbb{N}}$ und $𝕂=\mathbb{Q},ℝ,ℂ)$ ist die innere Verknüpfung mit $a:=(a_n{)}_{n\in \mathbb{N}}$, $b:=(b_n{)}_{n\in \mathbb{N}}$ und $c:=(c_n{)}_{n\in \mathbb{N}}$ wie folgt definiert:

$+:V\times V\to V$ mit $(a,b)\mapsto a+b:=c$ und $c_n:=a_n+b_n$ für alle $n\in \mathbb{N}$.

Die äußere Verknüpfung ist ebenfalls durch die Multiplikation der Komponenten der Folge mit dem Skalar definert:

$\cdot :𝕂\times V\to V$ mit $(\lambda ,a)\mapsto \lambda \cdot a:=c$ und $c_n:=\lambda \cdot a_n$ für alle $n\in \mathbb{N}$.

Aufgaben für Lernende

• Betrachten Sie den Zahlenmenge der reellen Zahlen $ℝ$ als Vektorraum über dem Körper $\mathbb{Q}$. Ist $(ℝ,+,\cdot ,\mathbb{Q})$ ein endlichdimensionaler oder ein unendlichdimensionaler Vektorraum über dem Körper $\mathbb{Q}$? Begründen Sie Ihre Antwort!
• Zeigen Sie, dass die von $v_1=3$ und $v_2=\sqrt{3}$ aufgespannten Untervektorräume $U$ in dem $\mathbb{Q}$-Vektorraum $(ℝ,+,\cdot ,\mathbb{Q})$ als Schnittmenge mit $\sqrt{5}\cdot \mathbb{Q}$ nur den Nullvektor $0$ enthalten!
• Analysieren Sie die Mengeninklusion bei den Folgenräumen und betrachtet Sie auch die Konvergenzeigenschaften von Reihen, die aus den Folgen generiert werden können mit:

${\ell }^p(𝕂):=\{(x_n{)}_n\in {𝕂}^{\mathbb{N}}:\sum _{n=1}^{\mathrm{\infty }}|x_n{|}^p<\mathrm{\infty }\}$.

Welche Teilmengenbeziehung besteht zwischen ${\ell }^1(𝕂)$ und $c_o(𝕂)$? Verallgemeinern Sie diesen Ansatz auf ${\ell }^1(V)$ und $c_o(V)$ für einen normierten Raum $(V,\Vert \cdot \Vert )$! Ist das ebenfalls für einen metrischen Raum $(V,d)$ möglich?

Siehe auch

• Banachalgebra
• Komplexe Zahlen
• Netze (Mathematik)
• Folgenräume
• Cauchy-Folgen
• Lineare Abbildung
• Satz des Pythagoras in (Prä-)Hilberträumen
• Ideal (Algebra)
• Topologische Invertierbarkeitskriterien
• Maschinelles Lernen

Seiteninformation

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionalanalysis/Vektorr%C3%A4ume
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.