The sub-vector spaces $U_1=span\{(0,1,2),\;(1,1,1),\;(3,5,7)\}$ and $U_2=span\{(1,1,0),\;(-1,2,2),\;(2,-13,-10),\;(2,-1,-2)\}$ of the $\mathbb{R}^3$ are given. Determine the dimension $\dim$ and a base of $U_1$,$U_2$, $U_1+U_2$ and $U_1\cap U_2$ in each case.
In order to determine the Basis of $U_1$, we just need to insert all vectors of $U_1$ into a matrix and do the Gauss-algorithm:
$$
\begin{pmatrix}
0 & 1 & 3\\
1 & 1 & 5\\
2 & 1 & 7
\end{pmatrix}
\iff
\begin{pmatrix}
1 & 1 & 5\\
0 & -1 & -3\\
0 & 0 & 0
\end{pmatrix}
$$
Therefore, $\dim(U_1)=2$ and $B_{U_1}=\{(0,1,2),\;(1,1,1)\}$ is a basis of $U_1$
Same procedure for $U_2\dots\implies\dim(U_2)=2$ and $B_{U_2}=\{(1,1,0),\;(-1,2,2)\}$
Now a question: For $U_1+U_2$: Could I use $B_{U_1}$ and $B_{U_2}$ in order to determine the basis and dimension of the sum of both subspaces? (Like that):
$$
\begin{pmatrix}
1 & -1 & 2 & 2\\
1 & 2 & -13 & -1\\
0 & 2 & -10 & -2
\end{pmatrix}
\iff
\begin{pmatrix}
1 & -1 & 2 & 2\\
0 & 3 & -15 & -3\\
0 & 0 & 0 & 0
\end{pmatrix}
$$
Therefore $\dim(U_1+U_2)=3$ and one basis is $B_{sum}=\{(0,1,2),(1,1,1),(1,1,0)\}$
Now $U_1 \cap U_2 $:
We need to create a linear equation system:
\begin{align}
\lambda_1(0,1,2)+\lambda_2(1,1,1)+\lambda_3(3,5,7)&=\lambda_4(1,1,0)+\dots+\lambda_7(2,-1,-2)\iff\\
\lambda_1(0,1,2)+\lambda_2(1,1,1)+\lambda_3(3,5,7)-&\lambda_4(1,1,0)-\dots-\lambda_7(2,-1,-2)&=0
\end{align}
Because we can multiply the matrix by $(-1)$, we don't need to be aware of the negative signs.
Inserting this into a matrix:
$$
\begin{pmatrix}
0 & 1 & 3 & &\dots& & 2\\
0 & 1 & 5 & &\dots& & -1\\
2 & 1 & 7 & 0 & 2 & -10 & -2
\end{pmatrix}
\iff
\begin{pmatrix}
1 & 1 & 5 & &\dots& & 2\\
0 & -1 & -3 & &\dots& & -1\\
0 & 0 & 0 & 0 & 2 & -10 & -2
\end{pmatrix}
$$
Now we solve the linear equation system and get
$\lambda_7=z,\;\lambda_6 = y, \;\lambda_5 = x,\;\lambda_4=-3x+18y+2z,\;\lambda_3=w,\;\lambda_2=-3w+4x-20y-4z,\;\lambda_1=-2w-3x+15y+3z$
We insert those Lambdas on one side of the equation and simplify the term a bit.
After that, we get that the basis should be:
$B=\{x(-4,1,2)+y(20,5,-10)+z(4,1,-2)\mid x,y,z\in \mathbb{R}\}$
Therefore, $\dim(intersection)=3$
Are those concepts right? Can you tell me if the dimensions and the basis are right?
Best Answer
Alarm bells should have been going off in your head when you came up with $\dim(U_1\cap U_2)=3$. The intersection of a set $S$ with any other set is a subset of $S$. How can a subset of $U_1$ have a dimension greater than $\dim U_1$? At any rate, once you know the dimensions of the other three spaces, the formula $\dim(U_1)+\dim(U_2)=\dim(U_1+U_2)+\dim(U_1\cap U_2)$ immediately gives you the dimension of the intersection: $1$.
As egreg points out in his answer, you really only needed to consider your computed basis vectors for $U_1$ and $U_2$ when computing $U_1\cap U_2$, but that’s a minor issue that only led to your doing some unnecessary work. The crucial errors you made lie in what you then did with the solution to the system of equations. Substituting into the left-hand side of the original equation and simplifying was fine, although you made a sign error: the correct expression is $x(-4,-1,2)+y(20,5,-10)+z(4,1,-2)$. Then you say that the set $B$ is a basis for $U_1\cap U_2$, but that can’t be right because $B$ is an infinite set! In fact $B=U_1\cap U_2$. It is not three-dimensional, however, despite there being three free variables in your expression for the typical element of $B$. The elements of a basis must be linearly independent, but $(20,5,-10)$ and $(4,1,-2)$ are obviously scalar multiples of each other, as is the correct third vector $(-4,-1,2)$. So, you can simplify even further: $$x(-4,-1,2)+y(20,5,-10)+z(4,1,-2)=(-x+5y+z)(4,1,-2)$$ hence $U_1\cap U_2=\{k(4,1,-2)\mid k\in\mathbb R\}$.
Incidentally, you could’ve computed $U_1 + U_2$ and its dimension with much less work. With a basis in hand for $U_1$, it’s easy to verify that $(1,1,0) \notin U_1$: Since only $(1,1,1)$ can contribute anything to the first component, we must have $(1,1,0)=(1,1,1)+c(0,1,2)$. From the second component $c=0$, but $(1,1,0)\ne(1,1,1)$. So, $\dim(U_1+U_2)\ge3$, but you’re working in $\mathbb R^3$, so no subspace can have a dimension greater than $3$, and the only subspace of dimension $3$ is $\mathbb R^3$ itself. Therefore, $\dim(U_1+U_2)=3$ and a basis for it is the standard basis of $\mathbb R^3$.