Addition or union of subspace

Evening everyone, I have a problem with addition of subspaces.
1. The problem statement, all variables and given/known data
I have to find the dimension of U and dim(V), of the union dim(U+V) and of dim(U[itex]\cap[/itex]V)
U is spanned by
\begin{align}
\begin{pmatrix}
1 \\
-2 \\
0
\end{pmatrix},
\begin{pmatrix}
1 \\
1 \\
2
\end{pmatrix}
\end{align} and V is spanned by
\begin{align}
\begin{pmatrix}
3 \\
0 \\
4
\end{pmatrix},
\begin{pmatrix}
0 \\
3 \\
a
\end{pmatrix}
\end{align} a[itex]\in[/itex][itex]\textbf{R}[/itex]


2. Relevant equations
[itex]dim(U)+dim(V)-dim(U [/itex][itex]\cap[/itex][itex]V)=dim(U+V) [/itex]

3. The attempt at a solution
Because the vectors spanning U and V are lin. independent:
[itex]dim(U) = dim(V) = 2 [/itex]

I find the intersection by equaling the two subspaces and then solving the linear system. But how do I find the sum of the two subspaces without calculating the intersection first?
Any hints are very appreciated :)
 

HallsofIvy

Science Advisor
41,617
821
First, a minor point: you titled this "sum or union o subspaces". The union of two subspaces of a vector space is not, in general a subspace. I presume you accidently wrote "union" when you meant "intersection". It is true that the direct sum of two subspaces is spanned by the union of their bases (or any two sets that span the respective spaces) so perhaps that was what you meant.

We are told that U is spanned by the two vectors [tex]\begin{pmatrix}1 \\-2 \\ 0 \end{pmatrix}[/tex] and [tex]\begin{pmatrix}1 \\ 1 \\ 2\end{pmatrix}[/tex]. Those vectors are independent (one is not a multiple of the other) so U is two dimensional.

We are told that V spanned by the two vectors [tex]\begin{pmatrix}3\\ 0 \\ 4 \end{pmatrix}[/tex] and [tex]\begin{pmatrix}0 \\ 3 \\ a\end{pmatrix}[/tex]. Those vectors are independent, for any a, (one is not a multiple of the other) so V is two dimensional.

The direct sum of these two subspaces is spanned by the union of the bases for these two subspaces so to determine the dimension (it could be 2, or 3- since these are all subspaces of R3, they can't all be independent), determine whether those four vectors are independent.
One way to determine that is from the definition of "linearly independent": the only values of [itex]\alpha[/itex], [itex]\beta[/itex], [itex]\gamma[/itex], and [itex]\delta[/itex], such that [tex]\alpha\begin{pmatrix}1 \\-2 \\ 0 \end{pmatrix}+ \beta\begin{pmatrix}1 \\ 1 \\ 2\end{pmatrix}+ \gamma\begin{pmatrix}3\\ 0 \\ 4 \end{pmatrix}+ \delta\begin{pmatrix}0 \\ 3 \\ a\end{pmatrix}= \begin{pmatrix}0
\\ 0 \\ 0 \end{pmatrix}[/tex] which gives the three equations [itex]\alpha+ \beta+ 3\gamma= 0[/itex], [itex]-2\alpha+ \beta+ 3\delta= 0[/itex], and [itex]2b+ 4c+ ad= 0[/itex].

An equivalent way of doing this is to construct a matrix having those vectors as columns and "row reduce":
[tex]\begin{pmatrix}1 & 1 & 3 & 0 \\ -2 & -1 & 0 & 3 \\ 0 & 2 & 4 & a\end{pmatrix}[/tex]
Add twice the first two to the second to get
[tex]\begin{pmatrix}1 & 1 & 3 & 0 \\ 0 & 3 & 6 & 3 \\ 0 & 2 & 4 & a\end{pmatrix}[/tex]
Subtract 2/3 the second row from the first to get
[tex]\begin{pmatrix}1 & 1 & 3 & 0 \\ 0 & 3 & 6 & 3 \\ 0 & 0 & -5 & a- 2\end{pmatrix}[/tex].

Since we still have three non-zero rows the dimension of U+ V is 3.
 
First of all thanks for taking your time to write such a throughout explanation, it helped me understand it better.
Though I think you made a mistake at the row reduction. I think the last row vector in the last matrix should be
\begin{pmatrix}
0 & 0 & 0 & a-2\\
\end{pmatrix}
That would also explain why they put the a in there. When a=2 the dimension of the sum is 2 else 3, am I right?
Oh, by the way there's also a sign error in the first matrix, at 2,2.
And thank you for the fast response :)
 

Want to reply to this thread?

"Addition or union of subspace" You must log in or register to reply here.

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top