wie ich dieses W darstellen kann, ist es nun: (v1,0,v1) oder (v1,0,v3) oder (v1,v2,v3) oder (v3,0,v3)
Die sind alle falsch. Richtig ist: v2 ist beliebig, aber v1=v3, also wäre das
(v1,v2,v1).
Wenn du jetzt z.B. die Abgeschlossenheit bei + ( 1. Axiom ???) überprüfen willst,
müsstest du einfach zwei von diesem Typ addieren, etwa
(v1,v2,v1)+(w1,w2,w1) = (v1+w1,v2+w2,v1+w1).
Du siehst : 1.Komponente = 3.Komponente beim Ergebnis,
also ist dieses wieder in W.
0∈W ist wohl auch klar, und x*(v1,v2,v1) ∈ W bekommst du auch hin.