1
$\begingroup$

Let $F$ be a subspace over $\mathbb{R}$ or $\mathbb{C}$ (real or complex numbers), then determine whether the following is a subspace.

$\{ (x_{1}, x_{2}, x_{3}) \in F^{3} : x_{1}x_{2}x_{3} = 0\}$.

How do I check for closure under addition in this case?

Thanks in advance

  • 0
    So you mean a *vector subspace*. In that case, your set it not a subspace because it is not defined by a linear map. This definition of subspace was unclear because you didn't say that $\mathbb{R}$ and $\mathbb{C}$ we being thought of as vector spaces. These sets have more structures: they are manifolds, they are fields, they are topological spaces, etc.2012-09-18

3 Answers 3

2

If $(x_1, x_2, x_3)$ and $(y_1, y_2, y_3)$ are such that $x_1 x_2 x_3=0$ and $y_1 y_2 y_3=0$, you would want to verify whether $(x_1, x_2, x_3)+(y_1, y_2, y_3)=(x_1+y_1, x_2+y_2, x_3+y_3)$ satisfies the same property, that is, $(x_1+y_1)(x_2+y_2)(x_3+y_3)=0$. It is easy to see this doesn't hold in general, so your set is not closed under addition.

1

You can't, as $(1,0,0)\in$ this subspace, also $(0,1,1)$ but not the sum.

  • 3
    Why the downvote?2012-09-18
0

Let $U=\{(x_1,x_2,x_3 \in F, x_1x_2x_3=0\}$ Suppose $(1,1,0)\in U$ and $(0,0,1)\in U$, then $(1,1,0) + (0,0,1) = (1,1,1)$ not in $U$. Hence, $U$ is not a subspace of $F^3$ since it is not closed under addition property.