Finding the Dimension of the Union of Subspaces

In summary, Evening everyone, I have a problem with addition of subspaces. I have to find the dimension of U and dim(V), of the union dim(U+V) and of dim(U\capV). U is spanned by \begin{pmatrix}1 \\-2 \\ 0\end{pmatrix} and \begin{pmatrix}1 \\ 1 \\ 2\end{pmatrix}, and V is spanned by \begin{pmatrix}3\\ 0 \\ 4\end{pmatrix} and \begin{pmatrix}0 \\ 3 \\ a\end{pmatrix}. The Attempt at a Solution Because the vectors spanning U
  • #1
AwesomeTrains
116
3
Evening everyone, I have a problem with addition of subspaces.

Homework Statement


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]


Homework Equations


[itex]dim(U)+dim(V)-dim(U [/itex][itex]\cap[/itex][itex]V)=dim(U+V) [/itex]

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 :)
 
Physics news on Phys.org
  • #2
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.
 
  • Like
Likes 1 person
  • #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 :)
 

FAQ: Finding the Dimension of the Union of Subspaces

1. What is the definition of addition or union of subspaces?

The addition or union of subspaces refers to the process of combining two or more subspaces to create a new subspace. This is done by adding together all the vectors that are contained in the subspaces being combined. The resulting subspace will contain all possible linear combinations of the original subspaces.

2. How is the addition or union of subspaces different from the intersection of subspaces?

The addition or union of subspaces involves creating a new subspace by combining the original subspaces, while the intersection of subspaces involves finding the common elements between two or more subspaces. In other words, the addition or union of subspaces results in a larger subspace, while the intersection of subspaces results in a smaller subspace.

3. Is the addition or union of subspaces always commutative?

Yes, the addition or union of subspaces is always commutative. This means that the order in which the subspaces are combined does not affect the resulting subspace. In other words, A + B = B + A, and A ∪ B = B ∪ A.

4. Can the addition or union of subspaces result in a subspace that is not a combination of the original subspaces?

No, the resulting subspace from the addition or union of subspaces will always be a combination of the original subspaces. This is because by definition, the new subspace contains all possible linear combinations of the original subspaces.

5. How is the addition or union of subspaces related to vector addition?

The addition or union of subspaces is a generalization of vector addition. Vector addition involves adding two or more vectors to create a new vector, while the addition or union of subspaces involves adding two or more subspaces to create a new subspace. In both cases, the resulting entity contains all possible combinations of the original entities.

Back
Top