[Math] If a vector subspace contains the zero vector does it follow that there is an additive inverse as well

linear algebravector-spaces

My book says that if it is given that a set is in a vector space then the only properties that need to be shown are closure under addition and scalar multiplication, existence of a zero vector, and existence of an additive inverse. I understand why the all the rest need to be shown or not shown, except for the additive inverse. The only way I can think of it being violated is if the zero vector doesn't exist inside the subspace. But if that's the case then why show this property in addition to the zero vector? Is there some other way for it to fail?

Best Answer

Closure under addition and scalar multiplication is enough, since the additive inverse and the zero vector may be obtained by multiplying vectors with the scalars $-1$ and $0$, respectively. You do have to make sure the set is not empty, though, and the easiest vector to check whether it's actually in there is usually the zero vector.