Koordinatenräume – „Mathe für Nicht-Freaks“

Der Koordinatenraum ist der Vektorraum der $n$-Tupel mit Einträgen in einem Körper, versehen mit komponentenweiser Addition und Skalarmultiplikation. Ein Beispiel ist der aus der Schule bekannte Vektorraum ${ℝ}^3$.

Herleitung

In der Mathematik benutzt man häufig bestehende Strukturen, um neue Strukturen zu definieren. Wie wir schon in der Einführung zum Vektorraum gesehen haben, können wir die aus der Schule bekannten Vektorräume ${ℝ}^3$ und ${ℝ}^2$ zu einem Vektorraum ${ℝ}^n$ für jede natürliche Zahl $n$ erweitern. Dafür erinnern wir uns daran, wie die Addition von zwei Vektoren und die skalare Multiplikation zwischen einem Vektor und einem Skalar im ${ℝ}^3$ und ${ℝ}^2$ funktioniert: Wir haben

$\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)+\left(\begin{array}{c}{y}_1\\ y_2\\ y_3\end{array}\right)=\left(\begin{array}{c}{x}_1+y_1\\ x_2+y_2\\ x_3+y_3\end{array}\right)\in {ℝ}^3\text{und}\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)+\left(\begin{array}{c}{y}_1\\ y_2\end{array}\right)=\left(\begin{array}{c}{x}_1+y_1\\ x_2+y_2\end{array}\right)\in {ℝ}^2$

Mit anderen Worten ist die Addition und skalare Multiplikation komponentenweise definiert. Das heißt, die Addition und skalare Multiplikation im ${ℝ}^2$ und ${ℝ}^3$ ist dadurch definiert, dass wir jeweils in den einzelnen Komponenten addieren beziehungsweise in jeder Komponente mit dem Skalar multiplizieren. Genau so können wir auch eine Addition und eine skalare Multiplikation definieren, wenn unsere Vektoren nicht aus zwei oder drei, sondern aus $n$ reellen Zahlen bestehen. Das heißt, auf der Menge

${ℝ}^n=\{(x_1,\dots ,x_n)\mid x_i\in ℝ\text{ für alle }1\le i\le n\}$

definieren wir eine Vektoraddition und eine skalare Multiplikation komponentenweise.

Explizit passiert also folgendes: Für die Vektoraddition nutzen wir die Zahlenaddition in $ℝ$ und für die skalare Multiplikation die Zahlenmultiplikation in $ℝ$. Seien $x=(x_1,\dots ,x_n)$ und $y=(y_1,\dots ,y_n)$ mit $x_i,y_i\in ℝ$, dann ist die Vektoraddition definiert durch

$x+y=(x_1+y_1,\dots ,x_n+y_n)$

Seien $x\in {ℝ}^n$ und $\alpha \in ℝ$, dann ist die skalare Multiplikation definiert durch

$\alpha \cdot x=(\alpha \cdot x_1,\dots ,\alpha \cdot x_n)$

Wir können nun leicht überprüfen, dass ${ℝ}^n$ mit dieser Vektoraddition und skalaren Multiplikation ein Vektorraun über dem Körper $ℝ$ ist. Tatsächlich machen wir das in einer verallgemeinerten Version weiter unten in diesem Artikel.

Damit haben wir die uns bekannte Struktur der reellen Zahlen $ℝ$ und der Vektorräume ${ℝ}^2$ und ${ℝ}^3$ auf den Vektorraum ${ℝ}^n$ übertragen. Wir bezeichnen ${ℝ}^n$ auch als Koordinatenraum der Dimension $n$ von $ℝ$.

Einfache Verallgemeinerung

Bei der Definition der Vektorraumstruktur auf ${ℝ}^n$ haben wir nur die Multiplikation und Addition auf $ℝ$ verwendet. Damit können wir durch die obige Konstruktion auch einen Koordinatenraum über beliebigen Körpern definieren. Schließlich haben wir auf jedem Körper $K$ eine Addition und Multiplikation. Das heißt, wir betrachten analog zu oben die Menge

$K^n=\{(x_1,\dots ,x_n)|x_i\in K\text{ für alle }1\le i\le n\}$

Um jetzt zu einem Koordinatenraum der Dimension $n$ des Körpers $K$ zu gelangen, müssen wir wieder eine Addition und skalare Multiplikation definieren. Dafür kopieren wir die Definition von oben und definieren diese komponentenweise, das heißt wir nutzen in jeder Komponente die Addition und Multiplikation von $K$ um die Addition und skalare Multiplikation auf $K^n$ zu definieren.

Definition des Koordinatenraumes

Definition (Die Menge $K^n$)

Sei $n\in \mathbb{N}$ und $K$ ein Körper. Wir definieren

$K^n:=\{(x_1,\dots ,x_n)|x_i\in K\text{ für alle }1\le i\le n\}.$

Wir bezeichnen die Elemente dieser Menge als $n$-Tupel mit Einträgen in $K$.

Beispiel (Beispiele für Tupel)

Zum Beispiel ist $(5,7)$ ein $2$-Tupel mit Einträgen in $\mathbb{Q}$ (wir sagen statt $2$-Tupel auch einfach Tupel oder Zahlenpaar).

$(\pi ,12,\sqrt{31})$ ist ein $3$-Tupel mit Einträgen in $ℝ$ (wir sagen statt $3$-Tupel auch Tripel).

Sei $K$ ein beliebiger Körper und $n\in \mathbb{N}$. Wir definieren auf der Menge $K^n$ eine Addition und eine Skalarmultiplikation.

Definition (Vektorraumverknüpfungen auf der Menge $K^n$)

Die Addition $⊞:K^n\times K^n\to K^n$ ist definiert durch

$\begin{array}{c}(x_1,\dots ,x_n)⊞(y_1,\dots ,y_n):=(x_1+y_1,\cdots ,x_n+y_n).\end{array}$

Ähnlich definieren wir die Skalarmultiplikation $⊡:K\times K^n\to K^n$ durch

$\lambda ⊡(x_1,\dots ,x_n):=(\lambda \cdot x_1,\dots ,\lambda \cdot x_n).$

Wir nennen $(K^n,⊞,⊡)$ Koordinatenraum.

Hinweis

Wir haben bisher ein Tupel als eine Zeile aufgefasst. Das heißt, wir haben $(x_1,\dots ,x_n)$ für ein Element im $K^n$ geschrieben. Genauso gut könnten wir die Elemente statt als eine Zeile mit $n$ Spalten auch als eine Spalte mit $n$ Zeilen auffassen. Dann sähe ein Element im $K^n$ so aus:

$\left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)$

Diese andere Darstellung ändert die Eigenschaften von $K^n$ als Vektorraum nicht. Wenn wir den Vektor $x\in K^n$ als eine Zeile mit $n$ Spalten auffassen, so heißt $x$ Zeilenvektor. Wenn wir $x$ wiederum als eine Spalte mit $n$ Zeilen auffassen als Spaltenvektor.

Es wird sich bei Matrizen als nützlich erweisen die Vektoren im $K^n$ als Spaltenvektoren zu schreiben. Daher wollen wir von nun an mit Spaltenvektoren arbeiten. Die Schreibweise eines Spaltenvektors in einer Zeile ist nicht besonders platzsparend. Daher führen wir folgende Notation ein: Wir schreiben anstatt

$x=\left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)\in K^n$

den Vektor als $x=(x_1,\dots ,x_n{)}^T\in K$. Das ${}^T$ bedeutet, dass es sich bei diesem Vektor nicht um einen Zeilen- sondern um einen Spaltenvektor handelt. Die Bezeichnung $T$ rührt daher, dass dieses Kippen des Vektors mit dem Transponieren einer Matrix übereinstimmt.

To-Do:

Artikel zur Transponierten Matrix verlinken, sobald dieser geschrieben wurde.

Der Koordinatenraum ist ein Vektorraum

Im Artikel Einführung in den Vektorraum haben wir die obige Konstruktion zunächst über $ℝ$ und dann über beliebigen Körpern genutzt, um die Vektorraumaxiome herzuleiten. Außerdem erfüllen Körper ähnliche Eigenschaften wie Vektorräume und wir haben den Körper sehr direkt dafür benutzt, um die Addition und skalare Multiplikation auf dem Koordinatenraum zu definieren. Daher können wir vermuten, dass die Definition von $⊞$ und $⊡$ auf $K^n$ eine Vektorraumstruktur definiert. Das wollen wir jetzt zeigen.

Satz ($K^n$ ist ein Vektorraum)

$(K^n,⊞,⊡)$ ist ein $K$-Vektorraum.

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

Wir gehen vor wie im Artikel Beweise für Vektorräume führen, in dem wir der Reihe nach die acht Vektorraumaxiome prüfen.

Die Definition von $⊞,⊡$ sind genau so gewählt, dass sie die Operationen $+,\cdot$ im Körper $K$ auf natürliche Weise auf den $K^n$ übertragen. Wir zeigen, dass die Vektorraumaxiome direkt aus den korrespondierenden Körperaxiomen folgen. Wenn wir also die gefragten Eigenschaften der Addition $⊞$ und skalaren Multiplikation $⊡$ nachprüfen, können wir sie auf die Eigenschaften von $+,\cdot$ im Körper $K$ zurückführen.

Beweis ($K^n$ ist ein Vektorraum)

Wir werden die acht Vektorraumaxiome nachprüfen.

Beweisschritt: Assoziativität der Addition

Seien $x=(x_1,\cdots ,x_n{)}^T,y=(y_1,\cdots ,y_n{)}^T,z=(z_1,\cdots ,z_n{)}^T\in K^n$. Dann gilt:

$\begin{array}{cc}(x⊞y)⊞z& =((x_1,\cdots ,x_n{)}^T⊞(y_1,\cdots ,y_n{)}^T)⊞(z_1,\cdots ,z_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊞\\ [0.3em]& =(x_1+y_1,\cdots ,x_n+y_n{)}^T⊞(z_1,\cdots ,z_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊞\\ [0.3em]& =((x_1+y_1)+z_1,\cdots ,(x_n+y_n)+z_n{)}^T\\ & \downarrow \text{Assoziativität der Addition in }K\\ [0.3em]& =(x_1+(y_1+z_1),\cdots ,x_n+(y_n+z_n){)}^T\\ & \downarrow \text{Definition von }⊞\\ [0.3em]& =(x_1,\cdots ,x_n{)}^T⊞(y_1+z_1,\cdots ,y_n+z_n{)}^T=x⊞(y⊞z).\end{array}$

Damit ist die Assoziativität der Addition gezeigt.

Beweisschritt: Kommutativität der Addition

Seien $x=(x_1,\cdots ,x_n{)}^T,y=(y_1,\cdots ,y_n{)}^T\in K^n$. Dann gilt:

$\begin{array}{cc}x⊞y& =(x_1,\cdots ,x_n{)}^T⊞(y_1,\cdots ,y_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊞\\ [0.3em]& =(x_1+y_1,\cdots ,x_n+y_n{)}^T\\ [0.3em]& \downarrow \text{Kommutativität der Addition in }K\\ [0.3em]& =(y_1+x_1,\cdots ,y_n+x_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊞\\ [0.3em]& =(y_1,\cdots ,y_n{)}^T⊞(x_1,\cdots ,x_n{)}^T=y⊞x.\end{array}$

Damit ist die Kommutativität der Addition gezeigt.

Beweisschritt: Neutrales Element der Addition

Wir müssen noch zeigen, dass es ein neutrales Element $0_{K^n}\in K^n$ gibt, für das gilt

$x⊞0_{K^n}=x\text{ für alle }x\in K^n$

Da wir alle Eigenschaften auf die entsprechenden Eigenschaften in $K$ zurückführen, nutzen wir hier das neutrale Element der Addition $0\in K$, um das neutrale Element der Addition $0_{K^n}\in K^n$ zu konstruieren. Also setzen wir

$0_{K^n}=(\underset{n}{\underbrace{0,0,\cdots ,0}}{)}^T.$

Wir müssen noch die Neutralität des neutralen Elements der Addition prüfen, also $x⊞0_{K^n}=x$: Dazu sei $x=(x_1,\cdots ,x_n{)}^T\in K^n$. Dann gilt:

$x⊞0_{K^n}=(x_1+0,\cdots ,x_n+0{)}^T=(x_1,\cdots ,x_n{)}^T=x.$

Damit haben wir gezeigt, dass $0_{K^n}\in K^n$ das neutrale Element der Addition ist.

Beweisschritt: Inverse bezüglich der Addition

Sei $x=(x_1,\cdots ,x_n{)}^T\in K^n$. Wir müssen zeigen, dass es ein $y\in K^n$ gibt, sodass $x⊞y=0_{K^n}$. Wir wollen dieses Problem wieder auf die Eigenschaften der Rechenoperationen in $K$ zurückführen. In $K$ gilt, wenn $a,b\in K$ und $a+b=0$, dann ist $b=-a$. Daher wählen wir für $y$ das $n$-Tupel $(-x_1,\cdots ,-x_n{)}^T$ als potenzielles Inverses. Dann gilt:

$x⊞y=(x_1+(-x_1),\cdots ,x_n+(-x_n){)}^T=(\underset{n}{\underbrace{0,\cdots ,0}}{)}^T=0_{K^n}$

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

Beweisschritt: Skalares Distributivitätsgesetz

Seien $\lambda ,\mu \in K$ und $x=(x_1,\cdots ,x_n{)}^T\in K^n$. Dann gilt:

$\begin{array}{cc}(\lambda +\mu )⊡x& =(\lambda +\mu )⊡(x_1,\cdots ,x_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =((\lambda +\mu )\cdot x_1,\cdots ,(\lambda +\mu )\cdot x_n{)}^T\\ & \downarrow \text{Distributivität in }K\\ [0.3em]& =(\lambda \cdot x_1+\mu \cdot x_1,\cdots ,\lambda \cdot x_n+\mu \cdot x_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊞\\ [0.3em]& =(\lambda \cdot x_1,\cdots ,\lambda \cdot x_n{)}^T⊞(\mu \cdot x_1,\cdots ,\mu \cdot x_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =(\lambda ⊡(x_1,\cdots ,x_n{)}^T)⊞(\mu ⊡(x_1,\cdots ,x_n{)}^T)\\ [0.3em]& =(\lambda ⊡x)⊞(\mu ⊡x).\end{array}$

Damit ist das skalare Distributivgesetz gezeigt.

Beweisschritt: Vektorielles Distributivitätsgesetz

Seien $\lambda \in K$ und $x=(x_1,\cdots ,x_n{)}^T,y=(y_1,\cdots ,y_n{)}^T\in K^n$. Dann gilt:

$\begin{array}{cc}\lambda ⊡(x⊞y)& =\lambda ⊡((x_1,\cdots ,x_n{)}^T⊞(y_1,\cdots ,y_n{)}^T)\\ & \downarrow \text{Definition von }⊞\\ [0.3em]& =\lambda ⊡(x_1+y_1,\cdots ,x_n+y_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =(\lambda \cdot (x_1+y_1),\cdots ,\lambda \cdot (x_n+y_n){)}^T\\ & \downarrow \text{Distributivität in }K\\ [0.3em]& =(\lambda \cdot x_1+\lambda \cdot y_1,\cdots ,\lambda \cdot x_n+\lambda \cdot y_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊞\\ [0.3em]& =(\lambda \cdot x_1,\cdots ,\lambda \cdot x_n{)}^T⊞(\lambda \cdot y_1,\cdots ,\lambda \cdot y_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =(\lambda ⊡(x_1,\cdots ,x_n{)}^T)⊞(\lambda ⊡(y_1,\cdots ,y_n{)}^T)\\ [0.3em]& =(\lambda ⊡x)⊞(\lambda ⊡y).\end{array}$

Damit ist das vektorielle Distributivgesetz gezeigt.

Beweisschritt: Assoziativität bezüglich Multiplikation

Seien $\lambda ,\mu \in K$ und $x=(x_1,\cdots ,x_n{)}^T\in K^n$. Dann gilt:

$\begin{array}{cc}(\lambda \cdot \mu )⊡x& =(\lambda \cdot \mu )⊡(x_1,\cdots ,x_n{)}^T\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =((\lambda \cdot \mu )\cdot x_1,\cdots ,(\lambda \cdot \mu )\cdot x_n{)}^T\\ [0.3em]& \downarrow \text{Assoziativität der Multiplikation in }K\\ [0.3em]& =(\lambda \cdot (\mu \cdot x_1),\cdots ,\lambda \cdot (\mu \cdot x_n){)}^T\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =\lambda ⊡(\mu \cdot x_1,\cdots ,\mu \cdot x_n{)}^T)\\ [0.3em]& \downarrow \text{Definition von }⊡\\ [0.3em]& =\lambda ⊡(\mu ⊡(x_1,\cdots ,x_n{)}^T)\\ [0.3em]& =\lambda ⊡(\mu ⊡x).\end{array}$

Damit ist das Assoziativgesetz für die Multiplikation gezeigt.

Beweisschritt: Unitäres Gesetz

Sei $x=(x_1,\cdots ,x_n{)}^T\in K^n$. Dann gilt:

$1_K⊡x=1_K⊡(x_1,\cdots ,x_n{)}^T=(1_K\cdot x_1,\cdots ,1_K\cdot x_n{)}^T=(x_1,\cdots ,x_n{)}^T=x.$

Somit haben wir das unitäre Gesetz gezeigt.

Damit haben wir alle acht Vektorraumaxiome gezeigt und somit ist $(K^n,⊞,⊡)$ ein $K$-Vektorraum.

Zusammenhang mit dem Körper als Vektorraum

Wir haben bereits gesehen, dass $K$ ein $K$-Vektorraum ist. Dies ist ein Spezialfall der Koordinatenräume $K^n$, denn es ist $K^1=K$. Dabei fassen wir die Vektoren $(x)\in K^1$ als Elemente des Körpers auf. Wir schreiben dann statt dem $1$-Tupel $(x)$ nur $x$, statt $(1)$ nur $1$ und statt $(0)$ nur $0$.