[Math] Proving Vector Subspaces

linear algebravector-spaces

Question 1:

The set $\mathbb R^3$ of all column vectors of length three, with real entries, is a vector space. Is the subset $$B=\{xyz \in \mathbb R^3 \mid xy+yz= 0\}$$ a subspace of $\mathbb R^3$?

Justify your answer.

Attempted answer:

$(0)$: let $0$ vector be in set $B$, then $0\cdot0 + 0\cdot0 = 0$, hence $B$ is non-empty.

$(1)$ A1: Let $u = \begin{bmatrix}0&0&1\end{bmatrix}$ and $V = \begin{bmatrix}0&1&0\end{bmatrix}$, which are both in $B$, but $u +v = \begin{bmatrix}0&1&1\end{bmatrix}$ is not in $B$, since $0\cdot1 +1\cdot1 \neq 0$. Hence not closed under multiplication.

$(2)$ S1: I know its irrelevant since its not closed under A1…but is this correct–> let $u = \begin{bmatrix}a&b&c\end{bmatrix}$, then $k\cdot u = \begin{bmatrix}ka&kb&kc\end{bmatrix}\implies (ka)(kb) + (kb)(kc) = 0 \implies k^2(ab) + k^2(bc) = 0$, hence must clearly be in set $B$?

Question 2

Show that the set of all twice differentiable functions $f:\mathbb R\to \mathbb R$ satisfying the differential equation $\sin(x)f''(x) + x^2f(x) = 0$ is a vector space with respect to the usual operations of addition of functions and multiplication by scalars. Note that $f''$ is the second derivative of $f$.

Attempted answer: The zero vector in $F$ space has the zero function $0(x) = 0 \in \mathbb R$ and we have $0''(x) = 0'(x) = 0$. Assume that the set of solutions for the equation is a subset of $F$ space, hence it contains the zero function and so $0(x) = \sin(x)\cdot 0''(x) + x^2\cdot0(x) = 0+0 = 0$ so set of solutions is in subspace.

Best Answer

Your first answer is correct, just replace the "not closed under multiplication" with "not closed under addition".

For the second answer, you only proved that $F$ is not empty. What you still have to prove is two things:

  1. Take any two functions $f,g\in F$. You must show that $f+g\in F$.
  2. Take any function $f\in F$ and scalar $\alpha\in\mathbb R$. You must show that $\alpha f\in F$.

Edit: In your own answer, you started with the line $$\sin(x) (f+g)'' + x^2(f+g)(x) = 0,$$ which is not the way you go about these things. You can only ever write something you have proven, but you have not yet proven the line above. What you know is that both $f$ and $g$ are elements of $F$. This means that $$\sin(x) f''(x) + x^2 f(x) =0\\\sin(x) g''(x) + x^2g(x)=0.$$ Now, what you want to prove is that if the equations above hold, then the equation $$\sin(x) (f+g)''(x) + x^2(f+g)(x) = 0$$ also holds. Because $(f+g)'' = f'' + g''$, the expressions simplifies to

$$\sin(x) (f''(x)+g''(x))+ x^2(f(x)+g(x)) = \sin(x) f''(x) + \sin(x) g''(x) + x^2 f(x) + x^2 g(x).$$

Can you see now why this expression will equal $0$? If you can, then you have proven that $f+g$ is an element of $F$.

Once you understand why $f+g\in F$, proving the second part (multiplication) should not be hard.

Related Question