Answer:
Check the two conditions of Subspace.
Step-by-step explanation:
If W is a Subspace of a vector space, V then it should satisft the following conditions.
1) The zero element should be in W.
Zero element can be different for different vector spaces. For examples, zero vector in
is (0, 0) whereas, zero element in
is (0, 0 ,0).
2) For any two vectors,
and
in W,
should also be in W.
That is, it should be closed under addition.
3) For any vector
in W and for any scalar,
in V,
should be in W.
That is it should be closed in scalar multiplication.
The conditions are mathematically represented as follows:
1) 0
W.
2) If
then
.
3) ![$ \forall k \in V, and \hspace{2mm} \forall w_1 \in W \implies kw_1 \in W](https://tex.z-dn.net/?f=%24%20%5Cforall%20k%20%5Cin%20V%2C%20and%20%5Chspace%7B2mm%7D%20%5Cforall%20w_1%20%5Cin%20W%20%5Cimplies%20kw_1%20%5Cin%20W)
Here V =
and W = Set of all (x, y, z) such that ![$ x - 2y + 5z = 0 $](https://tex.z-dn.net/?f=%24%20x%20-%202y%20%2B%205z%20%3D%200%20%24)
We check for the conditions one by one.
1) The zero vector belongs to the subspace, W. Because (0, 0, 0) satisfies the given equation.
i.e., 0 - 2(0) + 5(0) = 0
2) Let us assume
and
are in W.
That means:
and
![$ x_2 - 2y_2 + 5z_2 = 0 $](https://tex.z-dn.net/?f=%24%20x_2%20-%202y_2%20%2B%205z_2%20%3D%200%20%24)
We should check if the vectors are closed under addition.
Adding the two vectors we get:
![$ w_1 + w_2 = x_1 + x_2 - 2(y_1 + y_2) + 5(z_1 + z_2) $](https://tex.z-dn.net/?f=%24%20w_1%20%2B%20w_2%20%3D%20x_1%20%2B%20x_2%20-%202%28y_1%20%2B%20y_2%29%20%2B%205%28z_1%20%2B%20z_2%29%20%24)
![$ = x_1 + x_2 - 2y_1 - 2y_2 + 5z_1 + 5z_2 $](https://tex.z-dn.net/?f=%24%20%3D%20x_1%20%2B%20x_2%20-%202y_1%20-%202y_2%20%2B%205z_1%20%2B%205z_2%20%24)
Rearranging these terms we get:
![$ x_1 - 2y_1 + 5z_1 + x_2 - 2y_2 + 5z_2 $](https://tex.z-dn.net/?f=%24%20x_1%20-%202y_1%20%2B%205z_1%20%2B%20x_2%20-%202y_2%20%2B%205z_2%20%24)
So, the equation becomes, 0 + 0 = 0
So, it s closed under addition.
3) Let k be any scalar in V. And ![$ w_1 = (x, y, z) \in W $](https://tex.z-dn.net/?f=%24%20w_1%20%3D%20%28x%2C%20y%2C%20z%29%20%5Cin%20W%20%24)
This means ![$ x - 2y + 5z = 0 $](https://tex.z-dn.net/?f=%24%20x%20-%202y%20%2B%205z%20%3D%200%20%24)
![$ kw_1 = kx - 2ky + 5kz $](https://tex.z-dn.net/?f=%24%20kw_1%20%3D%20kx%20-%202ky%20%2B%205kz%20%24)
Taking k common outside, we get:
![$ kw_1 = k(x - 2y + 5z) = 0 $](https://tex.z-dn.net/?f=%24%20kw_1%20%3D%20k%28x%20-%202y%20%2B%205z%29%20%3D%200%20%24)
The equation becomes k(0) = 0.
So, it is closed under scalar multiplication.
Hence, W is a subspace of
.