In Mathematik gibt es zwei verschiedene Begriffe von Semi-Skalarproduktes bzw. eines Semi-inneren Produktes . Die erste und häufigere ist die eines inneren Produktes, das nicht unbedingt positiv sein muss. Eine zweite Definition befasst sich mit dem zweiten, sogenannten
L
{\displaystyle L}
L
{\displaystyle L}
Das
L
{\displaystyle L}
Günter Lumer formuliert, um Hilbertraum -Argumente auf Banachräume in Funktionsanalysis zu erweitern.[ 1] [ 2]
Im weiteren Verlauf werden wir uns mit der in der Funktionsanalysis häufigeren Form von Semi-Skalarprodukten befassen, die einfach innere Produkte darstellen, die nicht unbedingt positiv sein müssen, d.h. aus
⟨
x
,
x
⟩
=
0
{\displaystyle \langle x,x\rangle =0}
x
=
0
V
{\displaystyle x=0_{V}}
[ Bearbeiten ] Lokalkonvexe Räume
(
V
,
‖
⋅
‖
A
)
{\displaystyle (V,\|\cdot \|_{\mathcal {A}})}
Halbnormen
‖
⋅
‖
α
)
{\displaystyle \|\cdot \|_{\alpha })}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
Topologisierungslemma für Algebren ). Wir betrachten nun Systeme von Semi-Skalarprodukten
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
(
V
,
⟨
⋅
,
⋅
⟩
)
{\displaystyle (V,\langle \cdot ,\cdot \rangle )}
‖
x
‖
:=
⟨
x
,
x
⟩
{\displaystyle \|x\|:={\sqrt {\langle x,x\rangle }}}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
‖
x
‖
α
:=
⟨
x
,
x
⟩
α
{\displaystyle \|x\|_{\alpha }:={\sqrt {\langle x,x\rangle _{\alpha }}}}
(
V
,
⟨
⋅
,
⋅
⟩
A
)
{\displaystyle (V,\langle \cdot ,\cdot \rangle _{\mathcal {A}})}
Sei
V
{\displaystyle V}
Vektorraum über dem Körper
K
{\displaystyle \mathbb {K} }
reellen oder komplexen Zahlen. Ein Semi-Skalarprodukt [ 2] semi-inneres Produkt ist allgemein eine nicht-negativ hermitesche Sesquilinearform , wobei im reellen Fall
R
{\displaystyle \mathbb {R} }
Bzgl. des gewählten Körpers
K
=
R
,
C
{\displaystyle \mathbb {K} =\mathbb {R} ,\mathbb {C} }
⟨
⋅
,
⋅
⟩
α
:
V
×
V
→
K
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }\colon V\times V\to {\mathbb {K} }}
Semi-Skalarprodukt , wenn diese für alle
x
{\displaystyle x}
y
{\displaystyle y}
z
{\displaystyle z}
V
{\displaystyle V}
λ
∈
K
{\displaystyle \lambda \in {\mathbb {K} }}
Bedingungen erfüllt. Die Unterschiede zwischen
R
{\displaystyle \mathbb {R} }
C
{\displaystyle \mathbb {C} }
[ Bearbeiten ] Das Semi-Skalarprodukt mit
K
=
R
,
C
{\displaystyle \mathbb {K} =\mathbb {R} ,\mathbb {C} }
⟨
x
,
x
⟩
α
≥
0
{\displaystyle \langle {x},{x}\rangle _{\alpha }\geq 0}
K
=
R
,
C
{\displaystyle \mathbb {K} =\mathbb {R} ,\mathbb {C} }
x
∈
V
{\displaystyle x\in V}
[ Bearbeiten ] Bei Vertauschung der Argumente ist das Semi-Skalarprodukt im komplexen Fall nicht mehr symmetrisch
(3-R)
⟨
x
,
y
⟩
α
=
⟨
y
,
x
⟩
α
{\displaystyle \langle {x},{y}\rangle _{\alpha }=\langle {y},{x}\rangle _{\alpha }}
K
=
R
{\displaystyle \mathbb {K} =\mathbb {R} }
(3-C)
⟨
x
,
y
⟩
α
=
⟨
y
,
x
⟩
α
¯
{\displaystyle \langle {x},{y}\rangle _{\alpha }={\overline {\langle {y},{x}\rangle _{\alpha }}}}
K
=
C
{\displaystyle \mathbb {K} =\mathbb {C} }
[ Bearbeiten ] Das Semi-Skalarprodukt im reellen Fall
K
=
R
{\displaystyle \mathbb {K} =\mathbb {R} }
(4.1-R)
⟨
λ
x
,
y
⟩
α
=
λ
⟨
x
,
y
⟩
α
{\displaystyle \langle \lambda {x},{y}\rangle _{\alpha }=\lambda \langle {x},{y}\rangle _{\alpha }}
(4.2-R)
⟨
x
+
y
,
z
⟩
α
=
⟨
x
,
z
⟩
α
+
⟨
y
,
z
⟩
α
{\displaystyle \langle {x}+{y},{z}\rangle _{\alpha }=\langle {x},{z}\rangle _{\alpha }+\langle {y},{z}\rangle _{\alpha }}
linear im ersten Argument). [ Bearbeiten ] Das Semi-Skalarprodukt ist im komplexen Fall
K
=
C
{\displaystyle \mathbb {K} =\mathbb {C} }
semilinear , d.h.
(4.1-C)
⟨
λ
x
,
y
⟩
α
=
λ
¯
⟨
x
,
y
⟩
α
{\displaystyle \langle \lambda {x},{y}\rangle _{\alpha }={\overline {\lambda }}\langle {x},{y}\rangle _{\alpha }}
(4.2-C)
⟨
x
+
y
,
z
⟩
α
=
⟨
x
,
z
⟩
α
+
⟨
y
,
z
⟩
α
{\displaystyle \langle {x}+{y},{z}\rangle _{\alpha }=\langle {x},{z}\rangle _{\alpha }+\langle {y},{z}\rangle _{\alpha }}
[ Bearbeiten ] Bezüglich der 2. Komponente ist das Semi-Skalarprodukt linear
(5.1)
⟨
x
,
λ
y
⟩
α
=
λ
⟨
x
,
y
⟩
α
{\displaystyle \langle {x},\lambda {y}\rangle _{\alpha }=\lambda \langle {x},{y}\rangle _{\alpha }}
(5.2)
⟨
x
,
y
+
z
⟩
α
=
⟨
x
,
y
⟩
α
+
⟨
x
,
z
⟩
α
{\displaystyle \langle {x},{y}+{z}\rangle _{\alpha }=\langle {x},{y}\rangle _{\alpha }+\langle {x},{z}\rangle _{\alpha }}
Der Überstrich im dritten Axiom bedeutet komplexe Konjugation . In einem reellen Vektorraum (also wenn
K
=
R
{\displaystyle {\mathbb {K} }=\mathbb {R} }
C
{\displaystyle \mathbb {C} }
C
{\displaystyle \mathbb {C} }
[ Bearbeiten ] Bei der Definition einer Sesquilinearform wurde hier für das Skalarprodukt die Semilinearität im ersten Argument und die Linearität im zweiten festgelegt. Die Definition herrscht in der theoretischen Physik vor. Dabei spielt es aber keine RolleHäufig wird jedoch Bedingung (4a) für das erste statt für das zweite Argument gewählt:
Analog zu einem Prähilbertraum als Vektorraum mit Skalarprodukt definiert man einen Prä-Semi-Hilbertraum als Vektorraum
V
{\displaystyle V}
⟨
⋅
,
⋅
⟩
A
{\displaystyle \langle \cdot ,\cdot \rangle _{\mathcal {A}}}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
Definition - Punktetrennung - Hausdorffeigenschaft [ Bearbeiten ] Sei
(
V
,
⟨
⋅
,
⋅
⟩
A
)
{\displaystyle (V,\langle \cdot ,\cdot \rangle _{\mathcal {A}})}
Vektorraum mit einem System
⟨
⋅
,
⋅
⟩
A
{\displaystyle \langle \cdot ,\cdot \rangle _{\mathcal {A}}}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
⟨
⋅
,
⋅
⟩
A
{\displaystyle \langle \cdot ,\cdot \rangle _{\mathcal {A}}}
V
{\displaystyle V}
(
∀
α
∈
A
:
⟨
v
,
v
⟩
α
=
0
)
⟹
v
=
0
V
{\displaystyle \left(\forall _{\alpha \in {\mathcal {A}}}:\langle v,v\rangle _{\alpha }=0\right)\Longrightarrow v=0_{V}}
Aufgabe - Semi-Skalarprodukt und Halbnormen [ Bearbeiten ] Zeigen Sie, dass die durch
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
‖
⋅
‖
α
:
V
→
K
{\displaystyle \|\cdot \|_{\alpha }:V\to \mathbb {K} }
‖
x
‖
α
:=
⟨
x
,
x
⟩
α
{\displaystyle \|x\|_{\alpha }:={\sqrt {\langle x,x\rangle _{\alpha }}}}
Zeigen Sie, dass das ein (Prä-)Semi-Hilbertraum
(
V
,
⟨
⋅
,
⋅
⟩
A
)
{\displaystyle (V,\langle \cdot ,\cdot \rangle _{\mathcal {A}})}
v
1
,
v
2
∈
V
{\displaystyle v_{1},v_{2}\in V}
U
1
{\displaystyle U_{1}}
v
1
{\displaystyle v_{1}}
U
2
{\displaystyle U_{2}}
v
2
{\displaystyle v_{2}}
U
1
∩
U
2
=
∅
{\displaystyle U_{1}\cap U_{2}=\emptyset }
Ein Prä-Semihilbertraum ist ein reeller oder komplexer Vektorraum
V
{\displaystyle V}
punktetrennenden System
⟨
⋅
,
⋅
⟩
A
{\displaystyle \langle \cdot ,\cdot \rangle _{\mathcal {A}}}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
(euklidisch
R
{\displaystyle \mathbb {R} }
Über dem Körper der reellen Zahlen
R
{\displaystyle \mathbb {R} }
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
symmetrische Bilinearformen und(unitär
C
{\displaystyle \mathbb {C} }
Über dem Körper der komplexen Zahlen
C
{\displaystyle \mathbb {C} }
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
hermitesche Sesquilinearformen.
Beispiel - Euklidischer Semihilbertraum [ Bearbeiten ] Der Vektorraum
R
N
{\displaystyle \mathbb {R} ^{\mathbb {N} }}
⟨
⋅
,
⋅
⟩
α
:
V
×
V
→
R
mit
⟨
v
,
w
⟩
α
:=
∑
k
=
0
α
v
k
⋅
w
k
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }\colon V\times V\to \mathbb {R} {\mbox{ mit }}\langle v,w\rangle _{\alpha }:=\sum _{k=0}^{\alpha }v_{k}\cdot w_{k}}
Das Semi-Skalarprodukt ist für alle Folgen
v
,
w
∈
R
N
{\displaystyle v,w\in \mathbb {R} ^{\mathbb {N} }}
α
∈
N
{\displaystyle \alpha \in \mathbb {N} }
Der Vektorraum
V
=
C
N
{\displaystyle V=\mathbb {C} ^{\mathbb {N} }}
⟨
⋅
,
⋅
⟩
α
:
V
×
V
→
R
mit
⟨
v
,
w
⟩
α
:=
∑
k
=
0
α
v
k
¯
⋅
w
k
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }\colon V\times V\to \mathbb {R} {\mbox{ mit }}\langle v,w\rangle _{\alpha }:=\sum _{k=0}^{\alpha }{\overline {v_{k}}}\cdot w_{k}}
Das Semi-Skalarprodukt ist für alle Folgen
v
,
w
∈
C
N
{\displaystyle v,w\in \mathbb {C} ^{\mathbb {N} }}
α
∈
N
{\displaystyle \alpha \in \mathbb {N} }
Beispiel - Euklidischen Semihilbertraum als Funktionenraum [ Bearbeiten ] Sei
V
F
=
F
(
R
,
R
)
{\displaystyle V_{\mathcal {F}}={\mathcal {F}}(\mathbb {R} ,\mathbb {R} )}
R
{\displaystyle \mathbb {R} }
R
{\displaystyle \mathbb {R} }
⟨
⋅
,
⋅
⟩
α
:
V
F
×
V
F
→
K
mit
⟨
f
,
g
⟩
α
:=
f
(
α
)
⋅
g
(
α
)
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }\colon V_{\mathcal {F}}\times V_{\mathcal {F}}\to \mathbb {K} {\mbox{ mit }}\langle f,g\rangle _{\alpha }:=f(\alpha )\cdot g(\alpha )}
ein Semi-Skalarprodukt auf dem Funktionenraum
V
F
{\displaystyle V_{\mathcal {F}}}
[ Bearbeiten ] Sei
X
≠
∅
{\displaystyle X\not =\emptyset }
V
X
:=
F
(
X
,
C
)
{\displaystyle V_{X}:={\mathcal {F}}(X,\mathbb {C} )}
X
{\displaystyle X}
C
{\displaystyle \mathbb {C} }
⟨
⋅
,
⋅
⟩
α
:
V
X
×
V
X
→
C
mit
⟨
f
,
g
⟩
α
:=
f
(
α
)
¯
⋅
g
(
α
)
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }\colon V_{X}\times V_{X}\to \mathbb {C} {\mbox{ mit }}\langle f,g\rangle _{\alpha }:={\overline {f(\alpha )}}\cdot g(\alpha )}
ein Semi-Skalarprodukt auf dem Funktionenraum
V
X
{\displaystyle V_{X}}
lokalkonvexe Topologie liefert eine punktweise Konvergenz für Argumente
x
∈
X
{\displaystyle x\in X}
[ Bearbeiten ] Weisen Sie in dem obigen Funktionenraum
V
X
:=
F
(
X
,
C
)
{\displaystyle V_{X}:={\mathcal {F}}(X,\mathbb {C} )}
(
f
i
)
i
∈
I
{\displaystyle (f_{i})_{i\in I}}
x
∈
X
{\displaystyle x\in X}
Weisen Sie nach, dass die durch die Halbnormen
‖
f
‖
α
:=
⟨
f
,
f
⟩
α
{\displaystyle \|f\|_{\alpha }:={\sqrt {\langle f,f\rangle _{\alpha }}}}
Hausdorff-Raum auf
V
X
{\displaystyle V_{X}}
f
1
,
f
2
∈
V
X
{\displaystyle f_{1},f_{2}\in V_{X}}
f
1
≠
f
2
{\displaystyle f_{1}\not =f_{2}}
U
1
{\displaystyle U_{1}}
f
1
{\displaystyle f_{1}}
U
2
{\displaystyle U_{2}}
f
2
{\displaystyle f_{2}}
Zeigen Sie für
(
C
N
,
⟨
⋅
,
⋅
⟩
α
∈
A
)
{\displaystyle \left(\mathbb {C} ^{\mathbb {N} },\langle \cdot ,\cdot \rangle _{\alpha \in {\mathcal {A}}}\right)}
⟨
⋅
,
⋅
⟩
A
:=
(
⟨
⋅
,
⋅
⟩
α
)
α
∈
A
{\displaystyle \langle \cdot ,\cdot \rangle _{\!_{\mathcal {A}}}:=(\langle \cdot ,\cdot \rangle _{\alpha })_{\alpha \in {\mathcal {A}}}}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
C
N
{\displaystyle \mathbb {C} ^{\mathbb {N} }}
Hinweis: Erzeugen Sie
ε
{\displaystyle \varepsilon }
a
∈
C
N
{\displaystyle a\in \mathbb {C} ^{\mathbb {N} }}
b
∈
C
N
{\displaystyle b\in \mathbb {C} ^{\mathbb {N} }}
α
{\displaystyle \alpha }
ε
:=
1
3
⋅
‖
a
−
b
‖
α
>
0
{\displaystyle \varepsilon :={\frac {1}{3}}\cdot \|a-b\|_{\alpha }>0}
a
=
(
a
k
)
∈
N
{\displaystyle a=(a_{k})_{\in \mathbb {N} }}
b
=
(
b
k
)
∈
N
{\displaystyle b=(b_{k})_{\in \mathbb {N} }}
Ein Semihilbertraum ist ein euklischer oder unitärer Prä-Semihilbertraum ist ein reeller oder komplexer Vektorraum
(
V
,
⟨
⋅
,
⋅
⟩
A
)
{\displaystyle (V,\langle \cdot ,\cdot \rangle _{\mathcal {A}})}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
V
{\displaystyle V}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
‖
⋅
‖
α
{\displaystyle \|\cdot \|_{\alpha }}
‖
x
‖
α
:=
⟨
x
,
x
⟩
α
{\displaystyle \|x\|_{\alpha }:={\sqrt {\langle x,x\rangle _{\alpha }}}}
[ Bearbeiten ] Sei
V
1
:=
C
(
R
,
R
)
{\displaystyle V_{1}:={\mathcal {C}}(\mathbb {R} ,\mathbb {R} )}
v
{\displaystyle v}
R
{\displaystyle \mathbb {R} }
n
∈
N
{\displaystyle n\in \mathbb {N} }
V
1
×
V
1
{\displaystyle V_{1}\times V_{1}}
R
{\displaystyle \mathbb {R} }
⟨
f
,
g
⟩
n
=
∫
−
n
+
n
f
(
x
)
⋅
g
(
x
)
d
x
{\displaystyle \displaystyle \langle f,g\rangle _{n}=\int _{-n}^{+n}f(x)\cdot g(x)\,{\rm {d}}x}
Aufgabe - Eigenschaften des Semi-Skalarproduktes [ Bearbeiten ] Weisen Sie die Gültigkeit der geforderten Eigenschaften für ein Semiskalarprodukt nach!
Aufgabe - Punktetrennung - Hausdorffeigenschaft [ Bearbeiten ] Zeigen Sie, dass das System von Semiskalarprodukten
⟨
⋅
,
⋅
⟩
N
{\displaystyle \langle \cdot ,\cdot \rangle _{\mathbb {N} }}
V
1
{\displaystyle V_{1}}
[ Bearbeiten ] Die Halbnorm für den Index
n
∈
N
{\displaystyle n\in \mathbb {N} }
‖
f
‖
n
:=
⟨
f
,
f
⟩
n
=
∫
−
n
+
n
f
(
x
)
2
d
x
{\displaystyle \|f\|_{n}:={\sqrt {\langle f,f\rangle _{n}}}={\sqrt {\int _{-n}^{+n}f(x)^{2}\,dx}}}
Berechnen Sie allgemein für
n
∈
N
{\displaystyle n\in \mathbb {N} }
f
∈
V
{\displaystyle f\in V}
f
(
x
)
:=
x
2
{\displaystyle f(x):=x^{2}}
‖
f
‖
n
{\displaystyle \|f\|_{n}}
f
{\displaystyle f}
Definition einer Cauchy-Folge im Funktionenraum [ Bearbeiten ] Betrachten Sie zunächst die Konvexkombination von zwei Funktionen
Als erste Funktion
f
:
R
→
R
{\displaystyle f:\mathbb {R} \to \mathbb {R} }
f
(
x
)
:=
3
10
⋅
x
2
−
2
{\displaystyle f(x):={\frac {3}{10}}\cdot x^{2}-2}
Als zweite Funktion wird eine trigonometrische Funktion
g
:
[
a
,
b
]
→
R
{\displaystyle g:[a,b]\to \mathbb {R} }
g
(
x
)
:=
2
⋅
c
o
s
(
x
)
+
1
{\displaystyle g(x):=2\cdot cos(x)+1}
Die folgende Funktionenfolge
(
f
n
)
n
∈
N
∈
V
1
N
{\displaystyle (f_{n})_{n\in \mathbb {N} }\in V_{1}^{\mathbb {N} }}
Konvexkombination
f
n
:=
(
1
−
1
n
)
⋅
f
+
1
n
⋅
g
{\displaystyle f_{n}:=(1-{\frac {1}{n}})\cdot f+{\frac {1}{n}}\cdot g}
f
{\displaystyle f}
g
{\displaystyle g}
Visualisierung der Cauchy-Folge im Funktionenraum [ Bearbeiten ] Definieren Sie eine Cauchy-Folge in
V
1
:=
C
(
R
,
R
)
{\displaystyle V_{1}:={\mathcal {C}}(\mathbb {R} ,\mathbb {R} )}
V
1
{\displaystyle V_{1}}
f
1
,
.
.
.
,
f
20
{\displaystyle f_{1},...,f_{20}}
Definition einer Cauchy-Folge im Funktionenraum [ Bearbeiten ] Die Punkte
P
k
∈
R
2
{\displaystyle P_{k}\in \mathbb {R} ^{2}}
n
∈
N
{\displaystyle n\in \mathbb {N} }
P
1
=
(
−
1
,
4
)
,
P
2
=
(
4
,
4
)
,
P
3
=
(
−
1
−
3
n
,
0
)
,
P
4
=
(
4
+
3
n
,
0
)
,
P
5
=
(
−
4
,
0
)
,
P
6
=
(
7
,
0
)
{\displaystyle {\begin{array}{l}P_{1}=(-1,4),\,P_{2}=(4,4),\,P_{3}={\bigg (}-1-{\frac {3}{n}},0{\bigg )},\\P_{4}={\bigg (}4+{\frac {3}{n}},0{\bigg )},\,P_{5}=(-4,0),\,P_{6}=(7,0)\end{array}}}
Die stetigen Funktionen
f
n
{\displaystyle f_{n}}
Aufgabe - Bestimmung der Funktionsterme [ Bearbeiten ] Bestimmen Sie die beiden fehlenden Funktionsterme für die Fragezeichen "?" in der folgenden abschnittsweise definierte Funktion
f
n
{\displaystyle f_{n}}
f
n
:
[
a
,
b
]
→
R
x
↦
{
4
für
x
∈
[
−
1
,
4
]
0
für
x
∈
[
−
4
,
−
1
−
3
n
]
∪
[
4
+
3
n
,
7
]
?
für
x
∈
]
−
1
−
3
n
,
−
1
[
?
für
x
∈
]
4
+
3
n
,
−
1
[
{\displaystyle {\begin{array}{rcl}f_{n}:[a,b]&\to &\mathbb {R} \\x&\mapsto &\left\{{\begin{array}{lcl}4&{\mbox{ für }}&x\in [-1,4]\\0&{\mbox{ für }}&x\in \left[-4,-1-{\frac {3}{n}}\right]\cup \left[4+{\frac {3}{n}},7\right]\\?&{\mbox{ für }}&x\in \left]-1-{\frac {3}{n}},-1\right[\\?&{\mbox{ für }}&x\in \left]4+{\frac {3}{n}},-1\right[\end{array}}\right.\\\end{array}}}
Zeigen Sie, dass die oben definierte Funktionenfolge
(
f
n
)
n
∈
N
{\displaystyle (f_{n})_{n\in \mathbb {N} }}
V
1
:=
C
(
[
a
,
b
]
,
R
)
{\displaystyle V_{1}:={\mathcal {C}}([a,b],\mathbb {R} )}
Die folgende Funktion
f
o
:
[
a
,
b
]
→
R
{\displaystyle f_{o}:[a,b]\to \mathbb {R} }
f
0
∉
V
1
:=
C
(
[
a
,
b
]
,
R
)
{\displaystyle f_{0}\notin V_{1}:={\mathcal {C}}([a,b],\mathbb {R} )}
[
a
,
b
]
:=
[
−
4
,
7
]
{\displaystyle [a,b]:=[-4,7]}
f
n
:
[
a
,
b
]
→
R
x
↦
{
4
für
x
∈
[
−
1
,
4
]
0
sonst
{\displaystyle {\begin{array}{rcl}f_{n}:[a,b]&\to &\mathbb {R} \\x&\mapsto &\left\{{\begin{array}{lcl}4&{\mbox{ für }}&x\in [-1,4]\\0&{\mbox{ sonst }}&\end{array}}\right.\\\end{array}}}
[ Bearbeiten ] Die folgende Funktion
f
o
:
[
a
,
b
]
→
R
{\displaystyle f_{o}:[a,b]\to \mathbb {R} }
V
1
¯
{\displaystyle {\overline {V_{1}}}}
V
1
:=
C
(
[
a
,
b
]
,
R
)
{\displaystyle V_{1}:={\mathcal {C}}([a,b],\mathbb {R} )}
V
1
{\displaystyle V_{1}}
(
f
n
)
n
∈
N
{\displaystyle (f_{n})_{n\in \mathbb {N} }}
‖
f
‖
:=
∫
a
b
f
(
x
)
2
d
x
{\displaystyle \|f\|:={\sqrt {\int _{a}^{b}f(x)^{2}\,dx}}}
f
0
∈
V
1
¯
{\displaystyle f_{0}\in {\overline {V_{1}}}}
[ Bearbeiten ] Sei
(
f
n
)
n
∈
N
{\displaystyle (f_{n})_{n\in \mathbb {N} }}
V
1
{\displaystyle V_{1}}
f
o
∈
V
1
¯
{\displaystyle f_{o}\in {\overline {V_{1}}}}
‖
f
o
‖
∗
:=
lim
n
→
∞
‖
f
n
‖
{\displaystyle \|f_{o}\|_{\ast }:=\displaystyle \lim _{n\to \infty }\|f_{n}\|}
Zeigen Sie, dass
‖
⋅
‖
∗
{\displaystyle \|\cdot \|_{\ast }}
V
1
¯
{\displaystyle {\overline {V_{1}}}}
Zeigen Sie, dass
‖
⋅
‖
∗
{\displaystyle \|\cdot \|_{\ast }}
V
1
¯
{\displaystyle {\overline {V_{1}}}}
Hinweis: Approximieren Sie eine Treppenfunktion
f
o
{\displaystyle f_{o}}
f
o
{\displaystyle f_{o}}
f
o
~
{\displaystyle {\widetilde {f_{o}}}}
‖
f
o
−
f
o
~
‖
=
0
{\displaystyle \|f_{o}-{\widetilde {f_{o}}}\|=0}
[ Bearbeiten ] Analog kann mit
R
{\displaystyle \mathbb {R} }
C
{\displaystyle \mathbb {C} }
C
{\displaystyle \mathbb {C} }
V
2
:=
C
(
R
,
C
)
{\displaystyle V_{2}:={\mathcal {C}}(\mathbb {R} ,\mathbb {C} )}
⟨
f
,
g
⟩
n
=
∫
−
n
+
n
f
(
x
)
¯
⋅
g
(
x
)
d
x
{\displaystyle \displaystyle \langle f,g\rangle _{n}=\int _{-n}^{+n}{\overline {f(x)}}\cdot g(x)\,{\rm {d}}x}
Berechnen Sie von
f
(
x
)
=
x
+
i
⋅
x
2
{\displaystyle f(x)=x+i\cdot x^{2}}
f
∈
V
2
{\displaystyle f\in V_{2}}
‖
f
‖
n
{\displaystyle \|f\|_{n}}
n
∈
N
{\displaystyle n\in \mathbb {N} }
Aufgabe 2 - Semiskalarprodukt von zwei Funktionen [ Bearbeiten ] Berechnen Sie von
f
(
x
)
=
x
+
i
⋅
x
2
{\displaystyle f(x)=x+i\cdot x^{2}}
g
(
x
)
=
i
⋅
x
+
1
{\displaystyle g(x)=i\cdot x+1}
f
,
g
∈
V
2
{\displaystyle f,g\in V_{2}}
⟨
f
,
g
⟩
n
{\displaystyle \langle f,g\rangle _{n}}
n
∈
N
{\displaystyle n\in \mathbb {N} }
[ Bearbeiten ] Sei
(
V
,
⟨
⋅
,
⋅
⟩
A
)
{\displaystyle (V,\langle \cdot ,\cdot \rangle _{\mathcal {A}})}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
x
,
y
∈
V
{\displaystyle x,y\in V}
α
{\displaystyle \alpha }
V
{\displaystyle V}
x
⊥
α
y
{\displaystyle x{\stackrel {{}_{{}_{\alpha }}}{\bot }}y}
⟨
x
,
y
⟩
α
=
0
{\displaystyle \langle x,y\rangle _{\alpha }=0}
semiorthogonal (
x
⊥
A
y
{\displaystyle x{\stackrel {{}_{{}_{\mathcal {A}}}}{\bot }}y}
⟨
x
,
y
⟩
α
=
0
{\displaystyle \langle x,y\rangle _{\alpha }=0}
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
Sei
V
1
:=
C
(
R
,
R
)
{\displaystyle V_{1}:={\mathcal {C}}(\mathbb {R} ,\mathbb {R} )}
v
{\displaystyle v}
R
{\displaystyle \mathbb {R} }
n
∈
N
{\displaystyle n\in \mathbb {N} }
V
1
×
V
1
{\displaystyle V_{1}\times V_{1}}
R
{\displaystyle \mathbb {R} }
⟨
f
,
g
⟩
n
=
∫
−
n
+
n
f
(
x
)
⋅
g
(
x
)
d
x
{\displaystyle \displaystyle \langle f,g\rangle _{n}=\int _{-n}^{+n}f(x)\cdot g(x)\,{\rm {d}}x}
f
(
x
)
=
x
2
+
1
{\displaystyle f(x)=x^{2}+1}
g
(
x
)
:=
x
3
{\displaystyle g(x):=x^{3}}
V
1
{\displaystyle V_{1}}
Zeigen Sie, dass die Funktionen
f
(
x
)
=
x
2
+
1
{\displaystyle f(x)=x^{2}+1}
g
(
x
)
:=
x
3
{\displaystyle g(x):=x^{3}}
⟨
⋅
,
⋅
⟩
N
{\displaystyle \displaystyle \langle \cdot ,\cdot \rangle _{\mathbb {N} }}
[ Bearbeiten ] Seien
V
1
{\displaystyle V_{1}}
V
2
{\displaystyle V_{2}}
V
:=
C
(
V
1
,
V
2
)
{\displaystyle V:={\mathcal {C}}(V_{1},V_{2})}
V
1
{\displaystyle V_{1}}
V
2
{\displaystyle V_{2}}
g
∈
V
{\displaystyle g\in V}
μ
g
,
α
:
V
→
K
{\displaystyle \mu _{g,\alpha }:V\to \mathbb {K} }
μ
g
,
α
(
f
)
:=
⟨
g
,
f
⟩
α
{\displaystyle \mu _{g,\alpha }(f):=\langle g,f\rangle _{\alpha }}
ein Maß auf
V
{\displaystyle V}
Die Cauchy-Schwarz-Ungleichung benötigt im Beweis die Eigenschaft der Positivität nicht. Daher kann man die Aussage analog für Semi-Skalarprodukte und die induzierten Halbnormen
‖
f
‖
α
:=
⟨
f
,
f
⟩
α
{\displaystyle \|f\|_{\alpha }:={\sqrt {\langle f,f\rangle _{\alpha }}}}
|
⟨
g
,
f
⟩
α
|
≤
‖
g
‖
α
⋅
‖
f
‖
α
{\displaystyle |\langle g,f\rangle _{\alpha }|\leq \|g\|_{\alpha }\cdot \|f\|_{\alpha }}
Man nutzt die Definition des Maßes und schätzt dann diese dann mit der Cauchy-Schwarz-Ungleichung nach oben ab.
|
μ
g
,
α
(
f
)
|
=
|
⟨
g
,
f
⟩
α
|
≤
‖
g
‖
α
⏟
=:
M
α
⋅
‖
f
‖
α
{\displaystyle |\mu _{g,\alpha }(f)|=|\langle g,f\rangle _{\alpha }|\leq \underbrace {\|g\|_{\alpha }} _{=:M_{\alpha }}\cdot \|f\|_{\alpha }}
Die Stetigkeitskonstante aus dem Stetigkeitssatz für lineare Abbildungen wird nun unmittelbar über die Halbnorm
M
α
:=
‖
g
‖
α
{\displaystyle M_{\alpha }:=\|g\|_{\alpha }}
Da das Semi-Skalarprodukt positiv-semidefinite hermitesche Sequilinearform ist, ist diese in der zweiten Komponente linear und es gilt die Homogenität
μ
g
,
α
(
λ
⋅
f
)
=
⟨
g
,
λ
⋅
f
⟩
α
=
λ
⋅
⟨
g
,
f
⟩
α
=
λ
⋅
μ
g
,
α
(
f
)
{\displaystyle \mu _{g,\alpha }(\lambda \cdot f)=\langle g,\lambda \cdot f\rangle _{\alpha }=\lambda \cdot \langle g,f\rangle _{\alpha }=\lambda \cdot \mu _{g,\alpha }(f)}
und die Additivität
μ
g
,
α
(
f
1
+
f
2
)
=
⟨
g
,
f
1
+
f
2
⟩
α
=
⟨
g
,
f
1
⟩
α
+
⟨
g
,
f
2
⟩
α
=
μ
g
,
α
(
f
1
)
+
μ
g
,
α
(
f
2
)
{\displaystyle {\begin{array}{rcl}\mu _{g,\alpha }(f_{1}+f_{2})&=&\langle g,f_{1}+f_{2}\rangle _{\alpha }\\&=&\langle g,f_{1}\rangle _{\alpha }+\langle g,f_{2}\rangle _{\alpha }\\&=&\mu _{g,\alpha }(f_{1})+\mu _{g,\alpha }(f_{2})\end{array}}}
q.e.d.
Begründen Sie, warum die Abbildung
μ
~
g
,
α
(
f
)
:=
⟨
f
,
g
⟩
α
{\displaystyle {\widetilde {\mu }}_{g,\alpha }(f):=\langle f,g\rangle _{\alpha }}
im Allgemeinen kein Maß auf
V
{\displaystyle V}
C
{\displaystyle \mathbb {C} }
Experimentieren Sie mit Skalarprodukten zur Buchstabenerkennung. Dafür wurde für Sie eine LibreOffice-Datei vorbereitet, die Skalarprodukte nutzt um die Übereinstimmung mit Buchstabenmuster zu überprüfen.
LibreOffice-Datei: handschrifterkennung_semiskalarprodukt.ods
Für Skalarprodukte
⟨
⋅
,
⋅
⟩
{\displaystyle \langle \cdot ,\cdot \rangle }
V
{\displaystyle V}
⟨
x
,
x
⟩
=
0
{\displaystyle \langle x,x\rangle =0}
0
V
∈
V
{\displaystyle 0_{V}\in V}
N
α
:=
{
x
∈
V
:
⟨
x
,
x
⟩
α
=
0
}
{\displaystyle N_{\alpha }:=\{x\in V\,:\,\langle x,x\rangle _{\alpha }=0\}}
V
{\displaystyle V}
T
α
:=
V
∖
N
α
¯
{\displaystyle T_{\alpha }:={\overline {V\setminus N_{\alpha }}}}
⟨
⋅
,
⋅
⟩
α
{\displaystyle \langle \cdot ,\cdot \rangle _{\alpha }}
Überweisungsträger mit Buchstabenfeldern Ein Überweisungsträger ist ein Formular, in das auf vordefinierten Buchstabenfeldern einzelne Zeichen handschriftlich eingetragen werden können. Die Schrifterkennung für ein Zeichen kann durch ein Semi-Skalarprodukt umgesetzt werden, das nur auf einem Buchstabenfeld operiert.
↑ Lumer, G. (1961), "Semi-inner-product spaces", Transactions of the American Mathematical Society, 100: 29–43, doi:10.2307/1993352, MR 0133024.
↑ 2,0 2,1 J. R. Giles (1967), Classes of semi-inner-product spaces, Transactions of the American Mathematical Society 129 , 436–446.
Diese Lernresource können Sie als Wiki2Reveal-Foliensatz
Dieser Wiki2Reveal Foliensatz Kurs:Maßtheorie auf topologischen Räumen 'Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.
![{\displaystyle g:[a,b]\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b1d5103d0e36767a27715bcfc57137119294aad)
![{\displaystyle {\begin{array}{rcl}f_{n}:[a,b]&\to &\mathbb {R} \\x&\mapsto &\left\{{\begin{array}{lcl}4&{\mbox{ für }}&x\in [-1,4]\\0&{\mbox{ für }}&x\in \left[-4,-1-{\frac {3}{n}}\right]\cup \left[4+{\frac {3}{n}},7\right]\\?&{\mbox{ für }}&x\in \left]-1-{\frac {3}{n}},-1\right[\\?&{\mbox{ für }}&x\in \left]4+{\frac {3}{n}},-1\right[\end{array}}\right.\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b110e311e6fad5868332a1b63d3caba2e705fb2)
![{\displaystyle V_{1}:={\mathcal {C}}([a,b],\mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8374727d22f1f3128de2c22d25dddaf5dc973e0)
![{\displaystyle f_{o}:[a,b]\to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3ad9cf07652691b40eb6c4e3e37b97f4e101283)
![{\displaystyle f_{0}\notin V_{1}:={\mathcal {C}}([a,b],\mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/148ba1b978f1c09febca04eb1b777bb61eb0d0bb)
![{\displaystyle [a,b]:=[-4,7]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/001b0070e572a3e321fa2084b36579c4b8fcd1f6)
![{\displaystyle {\begin{array}{rcl}f_{n}:[a,b]&\to &\mathbb {R} \\x&\mapsto &\left\{{\begin{array}{lcl}4&{\mbox{ für }}&x\in [-1,4]\\0&{\mbox{ sonst }}&\end{array}}\right.\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bc0755a7bf35824e3a75ab4cfc7c4fc18b30fc1)
