Laut Definition ist ein Vektorraum
V
{\displaystyle V}
über einem Körper
K
{\displaystyle K}
eine Menge
V
{\displaystyle V}
mit zwei Verknüpfungen
⊞
{\displaystyle \boxplus }
, der Addition, und
⊡
{\displaystyle \boxdot }
, der Skalarmultiplikation, die eine Liste von Axiomen erfüllen.
Diese sind im Artikel Vektorraum aufgelistet.
Es handelt sich um vier Axiome für die Addition und vier Axiome für die Skalarmultiplikation.
Wollen wir also zeigen, dass eine Menge einen Vektorraum bildet, müssen wir zunächst die Verknüpfungen
⊞
{\displaystyle \boxplus }
und
⊡
{\displaystyle \boxdot }
definieren und dann beweisen, dass die Axiome erfüllt sind.
Bei der Definition der Verknüpfungen ist zu beachten, dass die Summe zweier Vektoren und das Produkt eines Skalars mit einem Vektor wieder Vektoren aus der Menge
V
{\displaystyle V}
ergeben, d.h. für alle
v
,
w
∈
V
{\displaystyle v,w\in V}
und
λ
∈
K
{\displaystyle \lambda \in K}
gilt
v
⊞
w
,
λ
⊡
v
∈
V
{\displaystyle v\boxplus w,\lambda \boxdot v\in V}
.
Dies nennt man Abgeschlossenheit und ist wichtiger Teil der Wohldefiniertheit der Verknüpfungen!
Dann arbeiten wir die Axiome am besten in der Reihenfolge aus der Definition ab.
Das Ganze wollen wir nun an einem Beispiel vorführen.
Als Beispiel wählen wir den Polynomraum der Polynome von Grad kleiner oder gleich
n
{\displaystyle n}
(für ein festes
n
∈
N
{\displaystyle n\in \mathbb {N} }
).
Zunächst müssen wir den Polynomraum definieren, genauer gesagt die zugrunde liegende Menge von Vektoren.
Auf dieser Menge führen wir zwei Verknüpfungen ein, eine Addition und eine Multiplikation mit Skalaren aus
K
{\displaystyle K}
:
Definition (Addition und skalare Multiplikation auf dem Polynomraum)
Wir definieren die Addition wie folgt:
⊞
:
K
[
X
]
≤
n
×
K
[
X
]
≤
n
→
K
[
X
]
≤
n
,
(
∑
i
=
0
n
a
i
X
i
,
∑
i
=
0
n
b
i
X
i
)
↦
∑
i
=
0
n
(
a
i
+
b
i
)
X
i
.
{\displaystyle {\begin{aligned}\boxplus \colon K[X]_{\leq n}\times K[X]_{\leq n}&\to K[X]_{\leq n},\\\left(\sum _{i=0}^{n}a_{i}X^{i},\sum _{i=0}^{n}b_{i}X^{i}\right)&\mapsto \sum _{i=0}^{n}(a_{i}+b_{i})X^{i}.\end{aligned}}}
Die skalare Multiplikation funktioniert sehr ähnlich:
⊡
:
K
×
K
[
X
]
≤
n
→
K
[
X
]
≤
n
,
(
λ
,
∑
i
=
0
n
a
i
X
i
)
↦
∑
i
=
0
n
(
λ
⋅
a
i
)
X
i
.
{\displaystyle {\begin{aligned}\boxdot \colon K\times K[X]_{\leq n}&\to K[X]_{\leq n},\\\left(\lambda ,\sum _{i=0}^{n}a_{i}X^{i}\right)&\mapsto \sum _{i=0}^{n}(\lambda \cdot a_{i})X^{i}.\end{aligned}}}
Wir wollen darauf hinweisen, dass die Summen auf der rechten Seite der Abbildungsvorschriften wieder nur von
0
{\displaystyle 0}
bis
n
{\displaystyle n}
laufen.
Wir erhalten also wieder Polynome, die höchstens Grad
n
{\displaystyle n}
haben und landen somit auch tatsächlich in
K
[
X
]
≤
n
{\displaystyle K[X]_{\leq n}}
.
Dies ist wichtig, um überhaupt wohldefinierte Abbildungen mit Wertebereich
K
[
X
]
≤
n
{\displaystyle K[X]_{\leq n}}
zu erhalten.
Man sagt auch, die Menge
K
[
X
]
≤
n
{\displaystyle K[X]_{\leq n}}
ist abgeschlossen unter den Operationen
⊞
{\displaystyle \boxplus }
und
⊡
{\displaystyle \boxdot }
.
Wir wollen nun den folgenden Satz zeigen:
Wir müssen nun also die 8 Vektorraumaxiome zeigen:
V
{\displaystyle V}
bildet zusammen mit der Verknüpfung
⊞
{\displaystyle \boxplus }
eine abelsche Gruppe . Das heißt, folgende Axiome sind erfüllt:
Assoziativgesetz: Für alle
f
,
g
,
h
∈
K
[
X
]
≤
n
{\displaystyle f,g,h\in K[X]_{\leq n}}
gilt:
f
⊞
(
g
⊞
h
)
=
(
f
⊞
g
)
⊞
h
{\displaystyle f\boxplus (g\boxplus h)=(f\boxplus g)\boxplus h}
Kommutativgesetz: Für alle
f
,
g
∈
K
[
X
]
≤
n
{\displaystyle f,g\in K[X]_{\leq n}}
gilt:
f
⊞
g
=
g
⊞
f
{\displaystyle f\boxplus g=g\boxplus f}
Existenz eines neutralen Elements: Es gibt ein Element
0
∈
K
[
X
]
≤
n
{\displaystyle 0\in K[X]_{\leq n}}
, so dass für alle
f
∈
K
[
X
]
≤
n
{\displaystyle f\in K[X]_{\leq n}}
gilt:
f
⊞
0
=
f
{\displaystyle f\boxplus 0=f}
.
Existenz eines inversen Elements: Zu jedem
f
∈
K
[
X
]
≤
n
{\displaystyle f\in K[X]_{\leq n}}
gibt es ein Element
g
∈
K
[
X
]
≤
n
{\displaystyle g\in K[X]_{\leq n}}
, so dass gilt:
f
⊞
g
=
0
{\displaystyle f\boxplus g=0}
.
Zusätzlich müssen folgende Axiome der skalaren Multiplikation
⊡
{\displaystyle \boxdot }
erfüllt sein:
Skalares Distributivgesetz: Für alle
λ
,
μ
∈
K
{\displaystyle \lambda ,\mu \in K}
und alle
f
∈
K
[
X
]
≤
n
{\displaystyle f\in K[X]_{\leq n}}
gilt:
(
λ
+
μ
)
⊡
f
=
(
λ
⊡
f
)
⊞
(
μ
⊡
f
)
{\displaystyle (\lambda +\mu )\boxdot f=(\lambda \boxdot f)\boxplus (\mu \boxdot f)}
Vektorielles Distributivgesetz: Für alle
λ
∈
K
{\displaystyle \lambda \in K}
und alle
f
,
g
∈
K
[
X
]
≤
n
{\displaystyle f,g\in K[X]_{\leq n}}
gilt:
λ
⊡
(
f
⊞
g
)
=
(
λ
⊡
f
)
⊞
(
λ
⊡
g
)
{\displaystyle \lambda \boxdot (f\boxplus g)=(\lambda \boxdot f)\boxplus (\lambda \boxdot g)}
Assoziativgesetz für Skalare: Für alle
λ
,
μ
∈
K
{\displaystyle \lambda ,\mu \in K}
und alle
f
∈
K
[
X
]
≤
n
{\displaystyle f\in K[X]_{\leq n}}
gilt:
(
λ
⋅
μ
)
⊡
f
=
λ
⊡
(
μ
⊡
f
)
{\displaystyle (\lambda \cdot \mu )\boxdot f=\lambda \boxdot (\mu \boxdot f)}
Neutrales Element der skalaren Multiplikation: Für alle
f
∈
K
[
X
]
≤
n
{\displaystyle f\in K[X]_{\leq n}}
und für
1
∈
K
{\displaystyle 1\in K}
(das neutrale Element der Multiplikation in
K
{\displaystyle K}
) gilt:
1
⊡
f
=
f
{\displaystyle 1\boxdot f=f}
.
Wir werden nun jeden dieser Schritte einzeln beweisen.
Assoziativität der Addition
Bearbeiten
Wir beginnen mit der Assoziativität der Addition. Diese folgt aus der Assoziativität der Addition in
K
{\displaystyle K}
Beweis (Assoziativität der Addition)
Seien
f
=
∑
i
=
0
n
f
i
X
i
,
g
=
∑
i
=
0
n
g
i
X
i
,
h
=
∑
i
=
0
n
h
i
X
i
∈
K
[
X
]
≤
n
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i},g=\sum _{i=0}^{n}g_{i}X^{i},h=\sum _{i=0}^{n}h_{i}X^{i}\in K[X]_{\leq n}}
.
Dann gilt:
(
f
⊞
g
)
⊞
h
=
(
∑
i
=
0
n
f
i
X
i
⊞
∑
i
=
0
n
g
i
X
i
)
⊞
∑
i
=
0
n
h
i
X
i
=
∑
i
=
0
n
(
f
i
+
g
i
)
X
i
⊞
∑
i
=
0
n
h
i
X
i
=
∑
i
=
0
n
(
(
f
i
+
g
i
)
+
h
i
)
X
i
↓
Assoziativität in
K
=
∑
i
=
0
n
(
f
i
+
(
g
i
+
h
i
)
)
X
i
=
∑
i
=
0
n
f
i
X
i
⊞
∑
i
=
0
n
(
g
i
+
h
i
)
X
i
=
∑
i
=
0
n
f
i
X
i
⊞
(
∑
i
=
0
n
g
i
X
i
⊞
∑
i
=
0
n
h
i
X
i
)
=
f
⊞
(
g
⊞
h
)
.
{\displaystyle {\begin{aligned}(f\boxplus g)\boxplus h&=(\sum _{i=0}^{n}f_{i}X^{i}\boxplus \sum _{i=0}^{n}g_{i}X^{i})\boxplus \sum _{i=0}^{n}h_{i}X^{i}\\&=\sum _{i=0}^{n}(f_{i}+g_{i})X^{i}\boxplus \sum _{i=0}^{n}h_{i}X^{i}\\&=\sum _{i=0}^{n}((f_{i}+g_{i})+h_{i})X^{i}\\&{\color {OliveGreen}\left\downarrow \ {\text{Assoziativität in }}K\right.}\\[0.3em]&=\sum _{i=0}^{n}(f_{i}+(g_{i}+h_{i}))X^{i}\\&=\sum _{i=0}^{n}f_{i}X^{i}\boxplus \sum _{i=0}^{n}(g_{i}+h_{i})X^{i}\\&=\sum _{i=0}^{n}f_{i}X^{i}\boxplus (\sum _{i=0}^{n}g_{i}X^{i}\boxplus \sum _{i=0}^{n}h_{i}X^{i})\\&=f\boxplus (g\boxplus h).\end{aligned}}}
Damit ist die Assoziativität der Addition gezeigt.
Kommutativität der Addition
Bearbeiten
Nun folgt die Kommutativität der Addition. Wie eben folgt auch diese aus der Kommutativität der Addition in
K
{\displaystyle K}
:
Beweis (Kommutativität der Addition)
Seien
f
=
∑
i
=
0
n
f
i
X
i
,
g
=
∑
i
=
0
n
g
i
X
i
∈
K
[
X
]
≤
n
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i},g=\sum _{i=0}^{n}g_{i}X^{i}\in K[X]_{\leq n}}
.
Dann gilt:
f
⊞
g
=
∑
i
=
0
n
f
i
X
i
⊞
∑
i
=
0
n
g
i
X
i
=
∑
i
=
0
n
(
f
i
+
g
i
)
X
i
↓
Kommutativität in
K
=
∑
i
=
0
n
(
g
i
+
f
i
)
X
i
=
∑
i
=
0
n
g
i
X
i
⊞
∑
i
=
0
n
f
i
X
i
=
g
⊞
f
.
{\displaystyle {\begin{aligned}f\boxplus g&=\sum _{i=0}^{n}f_{i}X^{i}\boxplus \sum _{i=0}^{n}g_{i}X^{i}\\&=\sum _{i=0}^{n}(f_{i}+g_{i})X^{i}\\&{\color {OliveGreen}\left\downarrow \ {\text{Kommutativität in }}K\right.}\\[0.3em]&=\sum _{i=0}^{n}(g_{i}+f_{i})X^{i}\\&=\sum _{i=0}^{n}g_{i}X^{i}\boxplus \sum _{i=0}^{n}f_{i}X^{i}\\&=g\boxplus f.\end{aligned}}}
Damit ist die Kommutativität der Addition gezeigt.
Neutrales Element der Addition
Bearbeiten
Nun müssen wir beweisen, dass eine Null existiert, d.h. ein neutrales Element bezüglich der Addition. Dafür müssen wir zunächst einen Kandidaten finden. Es gibt hier einen "offensichtlichen": Das Nullpolynom
0
=
∑
i
=
0
n
0
X
i
{\displaystyle 0=\sum _{i=0}^{n}0X^{i}}
.
Dies ist tatsächlich das neutrale Element:
Beweis (0 ist das neutrale Element der Addition)
Sei
f
=
∑
i
=
0
n
f
i
X
i
∈
K
[
X
]
≤
n
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i}\in K[X]_{\leq n}}
.
Dann gilt:
0
⊞
f
=
∑
i
=
0
n
0
X
i
⊞
∑
i
=
0
n
f
i
X
i
=
∑
i
=
0
n
(
0
+
f
i
)
X
i
↓
0 ist neutrales Element der Addition in
K
=
∑
i
=
0
f
i
X
i
=
f
.
{\displaystyle {\begin{aligned}0\boxplus f&=\sum _{i=0}^{n}0X^{i}\boxplus \sum _{i=0}^{n}f_{i}X^{i}\\&=\sum _{i=0}^{n}(0+f_{i})X^{i}\\&{\color {OliveGreen}\left\downarrow \ {\text{0 ist neutrales Element der Addition in }}K\right.}\\[0.3em]&=\sum _{i=0}f_{i}X^{i}\\&=f.\end{aligned}}}
Da
f
{\displaystyle f}
beliebig gewählt wurde, ist also
0
{\displaystyle 0}
das neutrale Element bezüglich der Addition.
Inverse bezüglich der Addition
Bearbeiten
Der nächste Schritt ist die Existenz von Inversen. Hier gibt es auch wieder eine offensichtliche Wahl:
Für ein
f
=
∑
i
=
0
n
f
i
X
i
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i}}
bietet sich
g
=
∑
i
=
0
n
(
−
f
i
)
X
i
{\displaystyle g=\sum _{i=0}^{n}(-f_{i})X^{i}}
als potenzieller Kandidat für das Inverse von
f
{\displaystyle f}
an. Dies ist tatsächlich ein Inverses, wie der nächste Beweis zeigt:
Beweis (
g
{\displaystyle g}
ist ein Inverses zu
f
{\displaystyle f}
)
Wir benutzen die Notation von oben für
f
{\displaystyle f}
und
g
{\displaystyle g}
.
Dann gilt:
f
⊞
g
=
∑
i
=
0
n
f
i
X
i
⊞
∑
i
=
0
n
(
−
f
i
)
X
i
=
∑
i
=
0
n
(
f
i
+
(
−
f
i
)
)
X
i
↓
Inverse bezüglich Addition in
K
=
∑
i
=
0
n
0
X
i
=
0.
{\displaystyle {\begin{aligned}f\boxplus g&=\sum _{i=0}^{n}f_{i}X^{i}\boxplus \sum _{i=0}^{n}(-f_{i})X^{i}\\&=\sum _{i=0}^{n}(f_{i}+(-f_{i}))X^{i}\\&{\color {OliveGreen}\left\downarrow \ {\text{Inverse bezüglich Addition in }}K\right.}\\[0.3em]&=\sum _{i=0}^{n}0X^{i}=0.\end{aligned}}}
Damit ist also
g
=
−
f
{\displaystyle g=-f}
das Inverse zu
f
{\displaystyle f}
.
Die Beweise zu den beiden Distributivitätseigenschaften folgen beide aus der Distributivität in
K
{\displaystyle K}
und gehen ähnlich, wir zeigen daher hier nur die zweite:
Beweis (Distributivität)
Seien
f
=
∑
i
=
0
n
f
i
X
i
∈
K
[
X
]
≤
n
,
λ
,
μ
∈
K
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i}\in K[X]_{\leq n},\lambda ,\mu \in K}
.
Dann gilt:
(
λ
+
μ
)
⊡
f
=
(
λ
+
μ
)
⊡
∑
i
=
0
n
f
i
X
i
=
∑
i
=
0
n
(
(
λ
+
μ
)
⋅
f
i
)
X
i
↓
Distributivität in
K
=
∑
i
=
0
n
(
(
λ
⋅
f
i
)
+
(
μ
⋅
f
i
)
)
X
i
=
∑
i
=
0
n
(
λ
⋅
f
i
)
X
i
⊞
∑
i
=
0
n
(
μ
⋅
f
i
)
X
i
=
(
λ
⊡
∑
i
=
0
n
f
i
X
i
)
⊞
(
μ
⊡
∑
i
=
0
n
f
i
X
i
)
=
(
λ
⊡
f
)
⊞
(
μ
⊡
f
)
.
{\displaystyle {\begin{aligned}(\lambda +\mu )\boxdot f&=(\lambda +\mu )\boxdot \sum _{i=0}^{n}f_{i}X^{i}\\&=\sum _{i=0}^{n}((\lambda +\mu )\cdot f_{i})X^{i}\\&{\color {OliveGreen}\left\downarrow \ {\text{Distributivität in }}K\right.}\\[0.3em]&=\sum _{i=0}^{n}((\lambda \cdot f_{i})+(\mu \cdot f_{i}))X^{i}\\&=\sum _{i=0}^{n}(\lambda \cdot f_{i})X^{i}\boxplus \sum _{i=0}^{n}(\mu \cdot f_{i})X^{i}\\&=(\lambda \boxdot \sum _{i=0}^{n}f_{i}X^{i})\boxplus (\mu \boxdot \sum _{i=0}^{n}f_{i}X^{i})\\&=(\lambda \boxdot f)\boxplus (\mu \boxdot f).\end{aligned}}}
Damit ist die Distributivität von
+
{\displaystyle +}
über
⊡
{\displaystyle \boxdot }
gezeigt.
Assoziativität bezüglich der Multiplikation
Bearbeiten
Als Nächstes gilt es die Assozitivität bezüglich der skalaren Multiplikation zu beweisen.
Dies folgt (ähnlich wie bei den ersten beiden Axiomen) aus der Assoziativität der Multiplikation in
K
{\displaystyle K}
:
Beweis (Assoziativität der skalaren Multiplikation)
Seien
f
=
∑
i
=
0
n
f
i
X
i
∈
K
[
X
]
≤
n
,
λ
,
μ
∈
K
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i}\in K[X]_{\leq n},\lambda ,\mu \in K}
.
Dann gilt:
λ
⊡
(
μ
⊡
f
)
=
λ
⊡
(
μ
⊡
∑
i
=
0
n
f
i
X
i
)
=
λ
⊡
∑
i
=
0
n
(
μ
⋅
f
i
)
X
i
=
∑
i
=
0
n
(
λ
⋅
(
μ
⋅
f
i
)
)
X
i
↓
Assoziativität der Multiplikation in
K
=
∑
i
=
0
n
(
(
λ
⋅
μ
)
⋅
f
i
)
X
i
=
(
λ
⋅
μ
)
⊡
∑
i
=
0
n
f
i
X
i
=
(
λ
⋅
μ
)
⊡
f
.
{\displaystyle {\begin{aligned}\lambda \boxdot (\mu \boxdot f)&=\lambda \boxdot (\mu \boxdot \sum _{i=0}^{n}f_{i}X^{i})\\&=\lambda \boxdot \sum _{i=0}^{n}(\mu \cdot f_{i})X^{i}\\&=\sum _{i=0}^{n}(\lambda \cdot (\mu \cdot f_{i}))X^{i}\\&{\color {OliveGreen}\left\downarrow \ {\text{Assoziativität der Multiplikation in }}K\right.}\\[0.3em]&=\sum _{i=0}^{n}((\lambda \cdot \mu )\cdot f_{i})X^{i}\\&=(\lambda \cdot \mu )\boxdot \sum _{i=0}^{n}f_{i}X^{i}\\&=(\lambda \cdot \mu )\boxdot f.\end{aligned}}}
Damit ist die Assoziativität der skalaren Multiplikation gezeigt.
Die letzte Eigenschaft, die gezeigt werden muss, ist das unitäre Gesetz. Dies ist einfach:
Beweis (Unitäres Gesetz)
Sei
f
=
∑
i
=
0
n
f
i
X
i
∈
K
[
X
]
≤
n
{\displaystyle f=\sum _{i=0}^{n}f_{i}X^{i}\in K[X]_{\leq n}}
.
Dann gilt:
1
⊡
f
=
1
⊡
∑
i
=
0
n
f
i
X
i
=
∑
i
=
0
n
(
1
⋅
f
i
)
X
i
↓
1
ist neutrales Element bezüglich der Multiplikation in
K
=
∑
i
=
0
n
f
i
X
i
=
f
.
{\displaystyle {\begin{aligned}1\boxdot f&=1\boxdot \sum _{i=0}^{n}f_{i}X^{i}\\&=\sum _{i=0}^{n}(1\cdot f_{i})X^{i}\\&{\color {OliveGreen}\left\downarrow \ 1{\text{ ist neutrales Element bezüglich der Multiplikation in }}K\right.}\\[0.3em]&=\sum _{i=0}^{n}f_{i}X^{i}\\&=f.\end{aligned}}}
Also ist
K
[
X
]
≤
n
{\displaystyle K[X]_{\leq n}}
unitär.
Damit haben wir also alle 8 Vektorraumaxiome gezeigt, und somit ist also
(
K
[
X
]
≤
n
,
⊞
,
⊡
)
{\displaystyle (K[X]_{\leq n},\boxplus ,\boxdot )}
ein Vektorraum.