Es ist der Nullvektor in der Form (v1,...,vn)^T derjenige mit
v1=v2=...=vn = 0 also gilt für ihn v1 + v2 = 17v3.
Und wenn du einen hast v = (v1,...,vn)^T bei dem v1 + v2 = 17v3
gilt , dann gilt auch für alle x∈K x*v = (xv1,...,xvn)^T und
x*v1 + x*v2 = x*17v3 also bezüglich S-Multiplikation abgeschlossen.
Ähnlich auch für Addition.