Der Körper als Vektorraum – Serlo „Mathe für Nicht-Freaks“

Sei $K$ ein Körper. Wir betrachten nun $K$ als Vektorraum über sich selbst.

Motivation

Wir versuchen nun, Beispiele für Vektorräume zu finden. Dazu brauchen wir eine abelsche Gruppe, deren Addition Kompatibel mit der Multiplikation in $K$ ist. Dafür bietet sich der Körper $K$ selbst an.

To-Do:

Besser machen Ideen:

• Wir schauen in der Mathematik oft, was die Definitionen so an "Extrembeispielen" hergeben. Im Fall von Vektorräumen wären das z.B. der Nullraum und eben K selbst.
• Geometrisch am 1-dimensionalen reellen Raum (aka Zahlengerade)
• Siehe oben: Vektorräume benötigen einen Körper und eine abelsche Gruppe. Der Körper selbst ist eine abelsche Gruppe. Win-Win!

Definition der Vektorraumstruktur

Sei $(K,+,\cdot )$ ein Körper. Dann können wir eine Addition und eine Skalarmultiplikation definieren.

Definition (Vektorraumstruktur auf $K$)

Wir definieren eine Addition $\boxplus \colon K\times K\to K$ auf $K$ durch

$(a,b)\mapsto a\boxplus b:=a+b.$

Ähnlich definieren wir eine Skalarmultiplikation $\boxdot \colon K\times K\to K$ durch

$(\lambda ,a)\mapsto \lambda \boxdot a:=\lambda \cdot a.$

Der Körper ist ein Vektorraum über sich selbst

Satz ($K$ ist ein Vektorraum)

$(K,\boxplus ,\boxdot )$ ist ein $K$-Vektorraum.

Wie kommt man auf den Beweis? ($K$ ist ein Vektorraum)

Wir gehen vor wie im Artikel Beweise für Vektorräume führen.

Beweis ($K$ ist ein Vektorraum)

Wir müssen nun also die acht Vektorraumaxiome nachprüfen.

Beweisschritt: Assoziativität der Addition

Seien $x,y,z\in K$.

Dann gilt:

${\begin{aligned}(x\boxplus y)\boxplus z&=\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=(x+y)\boxplus z\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=(x+y)+z\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Assoziativität der Addition in }}K\right.}\\[0.3em]&=x+(y+z)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=x\boxplus (y\boxplus z).\end{aligned}}$

Damit ist die Assoziativität der Addition gezeigt.

Beweisschritt: Kommutativität der Addition

Seien $x,y\in K$.

Dann gilt:

${\begin{aligned}x\boxplus y&=\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=x+y\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Kommutativität der Addition in }}K\right.}\\[0.3em]&=y+x\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=y\boxplus x.\end{aligned}}$

Damit ist die Kommutativität der Addition gezeigt.

Beweisschritt: Neutrales Element der Addition

Wir müssen nun noch zeigen, dass es ein neutrales Element $0_{\boxplus }\in K$ bezüglich $\boxplus$ gibt, das heißt $x\boxplus 0_{\boxplus }=x$ für alle $x\in K$. Es liegt auf der Hand, das Nullelement des Körpers $0_{\boxplus }:=0_{K}$ als neutrales Element zu verwenden.

Sei $x\in K$. Dann gilt:

$x\boxplus 0_{\boxplus }=x+0_{\boxplus }=x+0_{K}=x.$

Damit haben wir gezeigt, dass $0_{\boxplus }=0_{K}\in K$ das neutrale Element der Addition ist. Im Folgenden werden wir deshalb einfach nur $0_{K}$ für das neutrale Element schreiben.

Beweisschritt: Inverse bezüglich der Addition

Sei $x\in K$. Wir müssen zeigen, dass es ein $y\in K$ gibt, sodass $x\boxplus y=0_{K}$ .

Es liegt nahe, für $y$ das Inverse in $K$ bezüglich $+$ zu wählen, also $y:=-x$

Dann gilt:

$x\boxplus y=x+y=x+(-x)=0_{K}.$

Damit haben wir gezeigt, dass es zu einem beliebigen $x\in K$ ein $y\in K$ gibt mit $x\boxplus y=0_{K}$.

Beweisschritt: Skalares Distributivitätsgesetz

Seien $\lambda ,\mu \in K$ und $x\in K$.

Dann gilt:

${\begin{aligned}(\lambda +\mu )\boxdot x&=\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=(\lambda +\mu )\cdot x\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Distributivität in }}K\right.}\\[0.3em]&=\lambda \cdot x+\mu \cdot x\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=(\lambda \cdot x)\boxplus (\mu \cdot x)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=(\lambda \boxdot x)\boxplus (\mu \boxdot x).\end{aligned}}$

Damit ist das skalare Distributivgesetz gezeigt.

Beweisschritt: Vektorielles Distributivitätsgesetz

Seien $\lambda \in K$ und $x,y\in K$.

Dann gilt:

${\begin{aligned}\lambda \boxdot (x\boxplus y)&=\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=\lambda \boxdot (x+y)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=\lambda \cdot (x+y)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Distributivität in }}K\right.}\\[0.3em]&=\lambda \cdot x+\lambda \cdot y\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxplus \right.}\\[0.3em]&=(\lambda \cdot x)\boxplus (\lambda \cdot y)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=(\lambda \boxdot x)\boxplus (\lambda \boxdot y).\end{aligned}}$

Damit ist das vektorielle Distributivgesetz gezeigt.

Beweisschritt: Assoziativität bezüglich Multiplikation

Seien $\lambda ,\mu \in K$ und $x\in K$.

Dann gilt:

${\begin{aligned}(\lambda \cdot \mu )\boxdot x&=\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=(\lambda \cdot \mu )\cdot x\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Assoziativität der Multiplikation in }}K\right.}\\[0.3em]&=\lambda \cdot (\mu \cdot x)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=\lambda \boxdot (\mu \cdot x)\\[0.3em]&{\color {OliveGreen}\left\downarrow \ {\text{Definition von }}\boxdot \right.}\\[0.3em]&=\lambda \boxdot (\mu \boxdot x).\end{aligned}}$

Damit ist das Assoziativgesetz für die Multiplikation gezeigt.

Beweisschritt: Unitäres Gesetz

Sei $x\in K$.

Dann gilt:

$1_{K}\boxdot x=1_{K}\cdot x=x.$

Somit haben wir das unitäre Gesetz gezeigt.

Damit haben wir alle acht Vektorraumaxiome gezeigt und somit ist $(K,\boxplus ,\boxdot )$ ein $K$-Vektorraum.