Bei der Addition von zwei Vektoren $a,b \in \mathcal{R}^n$ handelt es sich um eine innere zweistellige Verknüpfung $\mathcal{R}^n \times \mathcal{R}^n \rightarrow \mathcal{R}^n$, bei der der Ergebnisvektor berechnet wird, indem die beiden Vektoren $a$ und $b$ elementweise addiert werden.
Für Vektoren $a, b \in \mathcal{R}^2$ gilt exemplarisch:
Ersetzen der Vektoren $a$, $b$ und $c$ durch die entsprechenden Spaltenvektoren
(2)
Ausrechnen von $a+b$ gemäß Definition der Addition von Vektoren
(3)
Addition von $c$ gemäß Definition der Addition von Vektoren
(4)
Die Gleichheit $(a_k+b_k)+c_k = a_k+(b_k+c_k)$ (für $1 \leq k \leq n$) gilt aufgrund der Assoziativität der Addition im Ring $\mathcal{R}$, aus dem sämtliche Elemente stammen
(5)
Aufteilen des Vektors $a+\bigl(b+c\bigr)$ auf zwei separate Vektoren mithilfe der Definition der Addition von Vektoren
(6)
Aufteilen des Vektors $b+c$ auf zwei separate Vektoren mithilfe der Definition der Addition von Vektoren
(7)
Ersetzen der Spaltenvektoren durch die Vektoren $a$, $b$ und $c$
Hinweis: Wie üblich kann bei assoziativen Verknüpfungen auch eine klammerfreie Notation verwendet werden.
Kommutativität
Die Addition von Vektoren $a,b \in \mathcal{R}^n$ ist kommutativ; es gilt:
\[ a+b = b+a. \]
Die Kommutativität der Addition von Vektoren kann wie folgt durch Nachrechnen gezeigt werden:
Ersetzen der Vektoren $a$ und $b$ durch die entsprechenden Spaltenvektoren
(2)
Ausrechnen von $a+b$ gemäß Definition der Addition von Vektoren
(3)
Die Gleichheit $a_k+b_k = b_k+a_k$ (für $1 \leq k \leq n$) gilt aufgrund der Kommutativität der Addition im Ring $\mathcal{R}$, aus dem sämtliche Elemente stammen
(4)
Aufteilen des Vektors $b+a$ auf zwei separate Vektoren mithilfe der Definition der Addition von Vektoren
(5)
Ersetzen der Spaltenvektoren durch die Vektoren $a$ und $b$
Ersetzen der Vektoren $0$ und $a$ durch die entsprechenden Spaltenvektoren
(2)
Ausrechnen von $0+a$ bzw. $a+0$ gemäß Definition der Addition von Vektoren
(3)
Ausrechnen von $0_\mathcal{R}+a_k$ bzw. $a_k+0_\mathcal{R}$ ergibt $a_k$ (für $1 \leq k \leq n$), da $0_\mathcal{R}$ das neutrale Element der Addition im Ring $\mathcal{R}$ ist, aus dem sämtliche Elemente stammen
(4)
Ersetzen des Spaltenvektors durch den Vektor $a$
Inverses Element
Das inverse Element eines Vektors $a \in \mathcal{R}^n$ bzgl. der Vektoraddition ist der Vektor $-a$, bei dessen Elementen $-a_k$ es sich um die additiven Inversen der Elemente $a_k$ des Vektors $a$ handelt; es gilt:
\[ \bigl(-a\bigr) + a = 0 = a + \bigl(-a\bigr). \]
Der Vektor $-a$ ist linksinvers zum Vektor $a$, denn es gilt:
Ersetzen der Vektoren $a$ und $-a$ durch die entsprechenden Spaltenvektoren
(2)
Ausrechnen von $(-a)+a$ bzw. $a+(-a)$ gemäß Definition der Addition von Vektoren
(3)
Ausrechnen der Terme $(-a_k)+a_k$ bzw. $a_k+(-a_k)$ ergibt $0_\mathcal{R}$ (für $1 \leq k \leq n$), da es sich im Ring $\mathcal{R}$ bei $-a_k$ um das additive Inverse von $a_k$ handelt