Inverses von v bezüglich der Vektoraddition in V bedeutet:
Das ist der Vektor, der zu v addiert den 0-Vektor von V ergibt.
Also prüfe , ob (−1)·v diese Eigenschaft hat:
Sei also v aus V, dann gilt
v + (−1)·v = wegen Vektorraumaxiom 1*v=v
1*v + (−1)·v = Distribut.
( 1 +(-1)) * v = Def. des additiven Inversen in K.
0*v = (Habt ihr sicher schon bewiesen.)
0-Vektor . q.e.d.