Betrachtet man zwei Polynome
p
,
q
∈
A
[
t
]
{\displaystyle p,q\in A[t]}
in dem normierten Raum
(
A
[
t
]
,
‖
|
⋅
|
‖
A
)
{\displaystyle (A[t],\|\!|\cdot |\!\|_{\mathcal {A}})}
.
p
(
t
)
:=
∑
k
=
0
∞
p
k
⋅
t
k
und
q
(
t
)
:=
∑
k
=
0
∞
q
k
⋅
t
k
{\displaystyle p(t):=\sum _{k=0}^{\infty }p_{k}\cdot t^{k}{\mbox{ und }}q(t):=\sum _{k=0}^{\infty }q_{k}\cdot t^{k}}
Dann liefert die Definition der Halbnorm für das Produkt
p
⋅
q
{\displaystyle p\cdot q}
mit
α
∈
A
{\displaystyle \alpha \in {\mathcal {A}}}
:
‖
|
p
⋅
q
|
‖
α
=
∑
n
=
0
∞
D
α
n
⋅
‖
∑
k
=
0
n
p
k
⋅
q
n
−
k
‖
α
{\displaystyle \|\!|p\cdot q|\!\|_{\alpha }=\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left\|\sum _{k=0}^{n}p_{k}\cdot q_{n-k}\right\|_{\alpha }}
Für die folgenden Abbildungen
‖
|
⋅
|
‖
α
:→
R
+
{\displaystyle \|\!|\cdot |\!\|_{\alpha }:\to \mathbb {R} ^{+}}
sind ebenfalls Halbnormen und es gelten die folgenden Halbnormeigenschaften :
‖
|
λ
⋅
q
|
‖
α
=
∑
n
=
0
∞
D
α
n
⋅
‖
λ
⋅
q
k
‖
α
=
|
λ
|
p
⋅
∑
n
=
0
∞
D
α
n
⋅
‖
q
k
‖
α
=
|
λ
|
p
⋅
‖
|
q
|
‖
α
{\displaystyle {\begin{array}{rcl}\|\!|\lambda \cdot q|\!\|_{\alpha }&=&\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left\|\lambda \cdot q_{k}\right\|_{\alpha }\\&=&\displaystyle |\lambda |^{p}\cdot \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left\|q_{k}\right\|_{\alpha }\\&=&|\lambda |^{p}\cdot \|\!|q|\!\|_{\alpha }\end{array}}}
Gilt für
p
∈
A
[
t
]
{\displaystyle p\in A[t]}
, dass
p
≠
0
A
[
t
]
{\displaystyle p\not =0_{_{A[t]}}}
das Nullpolynom in
A
[
t
]
{\displaystyle A[t]}
, dann gibt ein
k
∈
N
0
{\displaystyle k\in \mathbb {N} _{0}}
mit
p
k
≠
0
α
{\displaystyle p_{k}\not =0_{_{\alpha }}}
, d.h., das Polynom muss wenigsten einen vom Nullvektor verschiedenen Koeffizienten haben und man erhältmit den Halbnormeigenschaften von
‖
⋅
‖
α
{\displaystyle \|\cdot \|_{\alpha }}
auch:
‖
p
k
‖
α
>
0
⇒
D
α
k
⋅
‖
p
k
‖
α
>
0
⇒
‖
|
λ
⋅
p
|
‖
α
>
0
{\displaystyle \|p_{k}\|_{\alpha }>0\Rightarrow D_{\alpha }^{k}\cdot \|p_{k}\|_{\alpha }>0\Rightarrow \|\!|\lambda \cdot p|\!\|_{\alpha }>0}
‖
|
p
+
q
|
‖
α
=
∑
n
=
0
∞
D
α
n
⋅
‖
p
k
+
q
k
‖
α
≤
∑
n
=
0
∞
D
α
n
⋅
(
‖
p
k
‖
α
+
‖
q
k
‖
α
)
=
∑
n
=
0
∞
D
α
n
⋅
‖
p
n
‖
α
+
∑
n
=
0
∞
D
α
n
⋅
(
‖
q
n
‖
α
)
=
(
‖
|
p
|
‖
α
+
‖
|
q
|
‖
α
)
{\displaystyle {\begin{array}{rcl}\|\!|p+q|\!\|_{\alpha }&=&\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left\|p_{k}+q_{k}\right\|_{\alpha }\\&\leq &\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left(\left\|p_{k}\right\|_{\alpha }+\left\|q_{k}\right\|_{\alpha }\right)\\&=&\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left\|p_{n}\right\|_{\alpha }+\sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left(\left\|q_{n}\right\|_{\alpha }\right)\\&=&\left(\|\!|p|\!\|_{\alpha }+\|\!|q|\!\|_{\alpha }\right)\end{array}}}
‖
|
p
⋅
q
|
‖
α
≤
∑
n
=
0
∞
D
α
n
⋅
‖
∑
k
=
0
n
p
k
⋅
q
n
−
k
‖
α
≤
∑
n
=
0
∞
D
α
n
⋅
∑
k
=
0
n
‖
p
k
⋅
q
n
−
k
‖
α
≤
∑
n
=
0
∞
∑
k
=
0
n
D
α
n
⏟
=
D
α
k
⋅
D
α
n
−
k
⋅
‖
p
k
‖
α
⋅
‖
q
n
−
k
‖
α
=
∑
n
=
0
∞
∑
k
=
0
n
D
α
k
⋅
‖
p
k
‖
α
⋅
D
α
n
−
k
⋅
‖
q
n
−
k
‖
α
=
‖
|
p
|
‖
α
⋅
‖
|
q
|
‖
α
{\displaystyle {\begin{array}{rcl}\|\!|p\cdot q|\!\|_{\alpha }&\leq &\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \left\|\sum _{k=0}^{n}p_{k}\cdot q_{n-k}\right\|_{\alpha }\\&\leq &\displaystyle \sum _{n=0}^{\infty }D_{\alpha }^{n}\cdot \sum _{k=0}^{n}\left\|p_{k}\cdot q_{n-k}\right\|_{\alpha }\\&\leq &\displaystyle \sum _{n=0}^{\infty }\sum _{k=0}^{n}\underbrace {D_{\alpha }^{n}} _{=D_{\alpha }^{k}\cdot D_{\alpha }^{n-k}}\cdot \left\|p_{k}\right\|_{\alpha }\cdot \left\|q_{n-k}\right\|_{\alpha }\\&=&\displaystyle \sum _{n=0}^{\infty }\sum _{k=0}^{n}D_{\alpha }^{k}\cdot \left\|p_{k}\right\|_{\alpha }\cdot D_{\alpha }^{n-k}\cdot \left\|q_{n-k}\right\|_{\alpha }\\&=&\|\!|p|\!\|_{\alpha }\cdot \|\!|q|\!\|_{\alpha }\end{array}}}
D.h., dass die Multiplikation auf
(
A
[
t
]
,
‖
|
⋅
|
‖
α
)
{\displaystyle (A[t],\|\!|\cdot |\!\|_{\alpha })}
stetig ist. Der Index
D
∈
R
+
{\displaystyle D\in \mathbb {R} ^{+}}
bezeichnet die gewählte Basis für die Koeffizienten
D
α
n
{\displaystyle D_{\alpha }^{n}}
.
Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.
Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Topologische Invertierbarkeitskriterien ' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.