Proving a subset is a subspace of a Vector Space

To show a subset is a subspace, you need to show three things:

  1. Show it is closed under addition.
  2. Show it is closed under scalar multiplication.
  3. Show that the vector $0$ is in the subset.

To show 1, as you said, let $w_{1} = (a_{1}, b_{1}, c_{1})$ and $w_{2} = (a_{2}, b_{2}, c_{2})$. Suppose $w_{1}$ and $w_{2}$ are in our subset. Then they must satisfy $a_{1} \geq b_{1}$ and $a_{2} \geq b_{2}$. We need to check that $w_{1} + w_{2}$ is in our subset, that is, we need to check that if

$$w_{1} + w_{2} = (a_{1} + a_{2}, b_{1} + b_{2},c_{1} + c_{2})$$

then it satisfies that the first coordinate is greater than or equal to the second coordinate. Is $a_{1} + a_{2} \geq b_{1} + b_{2}$? Yes, by adding the two inequalities $a_{1} \geq b_{1}$ and $a_{2} \geq b_{2}$ together. So $w_{1} + w_{2}$ is in our subset.

For 2, we need to show that if $\alpha$ is any scalar, then if $w_{1} = (a_{1}, b_{1}, c_{1})$ is in our subset, so is $\alpha w_{1}$. But $\alpha w_{1} = (\alpha a_{1}, \alpha b_{1}, \alpha c_{1})$. We know since $w_{1}$ is in our subset that $a_{1} \geq b_{1}$. We need to check that for any $\alpha$, $\alpha a_{1} \geq \alpha b_{1}$. This inequality is definitely true if $\alpha \geq 0$, but we need it to be true for all $\alpha$, and it's not, because if $\alpha$ is negative, then multiplying the inequality $a_{1} \geq b_{1}$ on both sides by a negative number makes the inequality flip. So we would get $\alpha a_{1} \leq \alpha b_{1}$ if $\alpha < 0$, which means the inequality doesn't hold. Thus, if $\alpha < 0$, then $\alpha w_{1}$ is not in our subset because it doesn't satisfy $\alpha a_{1} \geq \alpha b_{1}$.

So our subset is not a subspace because it doesn't satisfy 2 (it is not closed under scalar multiplication, because any negative scalar would cause this problem).


Do you suspect this is a vector space or not? If you think it is, you have to verify the definitions. If not, then find counterexamples.

Testing for scalar multiplication doesn't require two vectors, you examine the result of multiplying one vector by one scalar.

Hint:

Try multiplying by the scalar $-1$, let $v = -w$ with $w \in W$. Is $v$ in $W$ also (i.e. is $-a \geq -b$?)