Finding bases for ##W_1\cap W_2## and ##W_1+W_2##

Click For Summary

Homework Help Overview

The discussion revolves around finding the bases for the intersection and sum of two subspaces, ##W_1## and ##W_2##, defined in ##\Bbb{R}^4##. The original poster provides the definitions of the subspaces and attempts to analyze their dimensions and linear independence.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • The original poster examines the linear independence of the vectors in ##W_1## and ##W_2## and considers using a matrix to find ##W_1 \cap W_2##. They express the intersection in terms of a matrix equation and perform row reduction, leading to questions about the implications of their results.
  • Participants discuss the nature of the intersection, questioning whether it represents a point or a line in space, and explore the relationships between the constants derived from the row-reduced matrix.
  • There is a suggestion that the intersection of two planes in ##\mathbb{R}^4## should be a line, prompting further inquiry into the geometric interpretation of the results.

Discussion Status

The discussion is active, with participants providing insights and questioning each other's interpretations. Some guidance is offered regarding the implications of the row-reduced matrix, particularly concerning linear dependence and the nature of the intersection. Multiple interpretations of the results are being explored, particularly regarding the dimensionality of the intersection.

Contextual Notes

Participants note that the original poster's book does not provide a solution, leading to a reliance on peer discussion for clarification. There are also references to potential typos in the original matrix setup, which could affect the interpretation of results.

Terrell
Messages
316
Reaction score
26

Homework Statement


Let ##W_1=\langle (1,2,3,6),(4,-1,3,6)(5,1,6,12))\rangle## and ##W_2=\langle (1,-1,1,1),(2,-1,4,5)\rangle## be subspaces of ##\Bbb{R}^4##. Find the bases for ##W_1\cap W_2## and ##W_1+W_2##.

Homework Equations


##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)##

The Attempt at a Solution


I began by determining if the vectors in ##W_1## are linearly independent, then found out that ##dim(W_1)=2##, then likewise ##dim(W_2)=2## and ##W_2## is linearly independent. Now would it be correct to put the basis vectors of ##W_1## & ##W_2## in a matrix to find ##W_1\cap W_2##? Since if I let ##\{(1,2,3,6),(4,-1,3,6)\}## and ##\{(1,-1,1,1),(2,-1,4,5)\}## be bases for ##W_1## & ##W_2##, respectively, then ##W_1\cap W_2## can be expressed in the following equation ##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)## which can be solved by performing r.r.e.f. on the following matrix
\begin{bmatrix}
1 & 4 & 1 & 2 \\
2 & -1 & -11 & -1\\
3 & 3 & 1 & 4\\
6 & 6 & 1 & 5\\
\end{bmatrix}

I then obtained

\begin{bmatrix}
1 & 0 & 0 & 0.\overline{7} \\
0 & 1 & 0 & -0.\overline{4}\\
0 & 0 & 1 & 3\\
0 & 0 & 0 & 0\\
\end{bmatrix}

Does this mean that ##W_1\cap W_2## is a point/vector in 4-D space?
Furthermore, a basis for ##W_1+W_2## is the set ##\{(1,2,3,6),(4,-1,3,6),(1,-1,1,1)\}##. I need help since my book didn't provide a solution.
 
Physics news on Phys.org
Terrell said:

Homework Statement


Let ##W_1=\langle (1,2,3,6),(4,-1,3,6)(5,1,6,12))\rangle## and ##W_2=\langle (1,-1,1,1),(2,-1,4,5)\rangle## be subspaces of ##\Bbb{R}^4##. Find the bases for ##W_1\cap W_2## and ##W_1+W_2##.

Homework Equations


##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)##

The Attempt at a Solution


I began by determining if the vectors in ##W_1## are linearly independent, then found out that ##dim(W_1)=2##, then likewise ##dim(W_2)=2## and ##W_2## is linearly independent. Now would it be correct to put the basis vectors of ##W_1## & ##W_2## in a matrix to find ##W_1\cap W_2##? Since if I let ##\{(1,2,3,6),(4,-1,3,6)\}## and ##\{(1,-1,1,1),(2,-1,4,5)\}## be bases for ##W_1## & ##W_2##, respectively, then ##W_1\cap W_2## can be expressed in the following equation ##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)## which can be solved by performing r.r.e.f. on the following matrix
\begin{bmatrix}
1 & 4 & 1 & 2 \\
2 & -1 & -11 & -1\\
3 & 3 & 1 & 4\\
6 & 6 & 1 & 5\\
\end{bmatrix}

I then obtained

\begin{bmatrix}
1 & 0 & 0 & 0.\overline{7} \\
0 & 1 & 0 & -0.\overline{4}\\
0 & 0 & 1 & 3\\
0 & 0 & 0 & 0\\
\end{bmatrix}

Does this mean that ##W_1\cap W_2## is a point/vector in 4-D space?
Furthermore, a basis for ##W_1+W_2## is the set ##\{(1,2,3,6),(4,-1,3,6),(1,-1,1,1)\}##. I need help since my book didn't provide a solution.
First off, let's look at the geometry here. ##W_1## can be seen by inspection to be a plane in ##\mathbb R^4## (the 3rd vector in the set is the sum of the first two). ##W_2## is also a plane, since neither vector is a multiple of the other.
In the first matrix of your work above, you are solving the equation ##c_1\vec{v_1} + c_2\vec{v_2} + c_3\vec{v_3} + c_4\vec{v_4} = \vec 0## for the constants ##c_1, c_2, c_3, c_4##. Here ##v_1## and ##v_2## are in ##W_1## and the other two vectors are in ##W_2##.

Assuming your work in the second matrix is correct (I didn't check), what is this matrix saying about the constants ##c_1, c_2, c_3, c_4##?
Terrell said:
Does this mean that ##W_1\cap W_2## is a point/vector in 4-D space?
Points and vectors are different things. A vector consists of an infinite number of points. If your matrix had row-reduced to an identity matrix, that would mean that the solution is a unique point.
 
Last edited:
Mark44 said:
Assuming your work in the second matrix is correct (I didn't check), what is this matrix saying about the constants c1,c2,c3,c4c1,c2,c3,c4c_1, c_2, c_3, c_4?
I think it is saying that ##0.\overline{7}\overrightarrow{v_1} -0.\overline{4}\overrightarrow{v_2}=-3\overrightarrow{v_3}-\overrightarrow{v_5}##. Which in english means that as long as this parametric relationship is maintained, then this particular combination of vectors from ##W_1## and ##W_2## meet at a point in space. This continuity of points should trace a line in space. Is this a correct interpretation?

"Mark44 said:
If your matrix had row-reduced to an identity matrix, that would mean that the solution is a unique point.
Why?
 
Last edited:
Terrell said:
I then obtained
##\begin{bmatrix}
1 & 0 & 0 & 0.\overline{7} \\
0 & 1 & 0 & -0.\overline{4}\\
0 & 0 & 1 & 3\\
0 & 0 & 0 & 0\\
\end{bmatrix}##
Mark44 said:
Assuming your work in the second matrix is correct (I didn't check), what is this matrix saying about the constants ##c_1, c_2, c_3, c_4##?
Terrell said:
I think it is saying that ##0.\overline{7}\overrightarrow{v_1} -0.\overline{4}\overrightarrow{v_2}=-\overrightarrow{v_3}-\overrightarrow{v_5}##. Which in english means that as long as this parametric relationship is maintained, then this particular combination of vectors from ##W_1## and ##W_2## meet at a point in space. This continuity of points should trace a line in space. Is this a correct interpretation?
No, it isn't. The matrix I was talking about, copied above, says this:
##c_1 = -7/9~c_4\\
c_2 = 4/9 c_4\\
c_3 = -3c_4\\
c_4 = c_4##
In other words, if we let ##c_4 = 1##, which we can do because it is arbitrary, ##-\frac 7 9 \vec{v_1} + \frac 4 9 \vec{v_2} - 3 \vec{v_3} + \vec{v_4} = \vec 0##. Since not all of the constants are 0, then the four vectors are linearly dependent. These four vectors are the columns of the first matrix, taking into account a typo you made in the 2nd entry of ##\vec{v_3}##.

You can also infer from the 2nd matrix that the vectors ##\vec{v_1}, \vec{v_2}, \vec{v_3}## are linearly independent, and would form a basis for ##W_1 + W_2##.

Mark44 said:
If your matrix had row-reduced to an identity matrix, that would mean that the solution is a unique point.

Terrell said:
Why?
That point would be (0, 0, 0 0), which would mean that ##c_1 = c_2 = c_3 = c_4 = 0##, and this would be the unique solution to the equation ##c_1\vec{v_1} + c_2\vec{v_2} + c_3\vec{v_3} + c_4\vec{v_4} = \vec 0##. This would imply that these four vectors are linearly independent. In that case, ##W_1 + W_2## would be all of ##\mathbb R^4##.
 
Mark44 said:
No, it isn't. The matrix I was talking about, copied above, says this:
c1=−7/9 c4c2=4/9c4c3=−3c4c4=c4c1=−7/9 c4c2=4/9c4c3=−3c4c4=c4c_1 = -7/9~c_4\\ c_2 = 4/9 c_4\\ c_3 = -3c_4\\ c_4 = c_4
In other words, if we let c4=1c4=1c_4 = 1, which we can do because it is arbitrary, −79→v1+49→v2−3→v3+→v4=⃗0−79v1→+49v2→−3v3→+v4→=0→-\frac 7 9 \vec{v_1} + \frac 4 9 \vec{v_2} - 3 \vec{v_3} + \vec{v_4} = \vec 0. Since not all of the constants are 0, then the four vectors are linearly dependent. These four vectors are the columns of the first matrix, taking into account a typo you made in the 2nd entry of →v3v3→\vec{v_3}.
I do know and understand this idea to begin with, but what I do like to know is how can we use this equation/relationship to determine the intersection of ##W_1## and ##W_2## which I believe is a line, since the intersection of two plane must be a line. Moreover, also determine the equation of that line of intersection.
 
Terrell said:
I do know and understand this idea to begin with, but what I do like to know is how can we use this equation/relationship to determine the intersection of ##W_1## and ##W_2## which I believe is a line, since the intersection of two plane must be a line. Moreover, also determine the equation of that line of intersection.
Yes, ##W_1## and ##W_2## are planes in ##\mathbb R^4##. For a couple of reasons, which I won't go into, these planes intersect in a line (not a point -- that can't happen).
##W_1 = \{\vec{w_1} \in \mathbb R^4~ |~ \vec{w_1} = a\vec{v_1} + b\vec{v_2}\}##, with a and b being real numbers.
##W_2 = \{\vec{w_2} \in \mathbb R^4~ |~ \vec{w_2} = c\vec{v_3} + d\vec{v_4}\}##, with c and d being real numbers.
Here ##\vec{v_1}## and ##\vec{v_2}## are the first two columns of your first matrix, and ##\vec{v_3}## and ##\vec{v_4}## are the last two columns.
Set ##\vec{w_1} = \vec{w_2}## and solve this matrix equation, and you should get your solution -- a line in parametric form.
 
  • Like
Likes   Reactions: Terrell
Here is what I obtained, ##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)##
\begin{align}
\Longleftrightarrow
\left[\begin{matrix}
1 & 4 & -1 & -2\\
2 & -1 & 1 & 1\\
3 & 3 & -1 & -4\\
6 & 6 & -1 & -5\\
\end{matrix}\right]
\cdot
\left[\begin{matrix}
\alpha\\
\beta\\
\gamma\\
\delta\\
\end{matrix}\right]
&=
\left[\begin{matrix}
0\\
0\\
0\\
0\\
\end{matrix}\right]\\
\end{align}
\begin{align}
\alpha - \frac{9}{7}&=0\\
\beta + \frac{4}{9}&=0\\
\gamma + 3\delta&=0\\
\end{align}
Therefore, the parametric form of the line is ##(\alpha,\beta,\gamma,\delta)=t(9/7, -4/9, -3, 1)## such that ##t## is a free variable, and the cartesian form of the line is ##36\delta=28\alpha-81\beta-12\gamma##.
 
Last edited:
What I see intuitively is that ##(\alpha,\beta,\gamma,\delta)=t(9/7, -4/9, -3, 1)## is the subspace that gets mapped to ##(0,0,0,0)## by the transformation matrix \begin{bmatrix} 1&4&-1&-2\\ 2&-1&1&1\\ 3&3&-1&-4\\ 6&6&-1&-5\end{bmatrix}.
However, I don't intuitively understand how this "solution vector",##(\alpha,\beta,\gamma,\delta)=t(9/7, -4/9, -3, 1)##, is the intersection between the plane formed by vectors ##(1,2,3,6)## & ##(4,-1,3,6)## and the plane formed by vectors ##(1,-1,3,6)## & ##(2,-1,4,5)##.
 
Last edited:
After reading a book, I realized the post I was reading from a different site is incorrect and my initial understanding of how this must be solved was correct. So please ignore my previous two posts.
Correction: equating ##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)##, I then need to solve
##\left[\begin{matrix}1&4&-1&-2\\2&-1&1&1\\3&3&-1&-4\\6&6&-1&-5\\\end{matrix}\right]\left[\begin{matrix}\alpha\\\beta\\\gamma\\\delta\end{matrix}\right]=\left[\begin{matrix}0\\0\\0\\0\\\end{matrix}\right]\Rightarrow \left[\begin{matrix}\alpha\\\beta\\\gamma\\\delta\end{matrix}\right]=\frac{7}{9}\left[\begin{matrix}1\\2\\3\\6\end{matrix}\right]-\frac{4}{9}\left[\begin{matrix}4\\-1\\3\\6\end{matrix}\right]=-3\left[\begin{matrix}1\\-1\\1\\1\end{matrix}\right]+\left[\begin{matrix}2\\-1\\4\\5\end{matrix}\right]##
This method is the correct one right? thank you!
 
  • #10
Terrell said:
After reading a book, I realized the post I was reading from a different site is incorrect and my initial understanding of how this must be solved was correct. So please ignore my previous two posts.
Correction: equating ##\alpha(1,2,3,6)+\beta(4,-1,3,6)=\gamma(1,-1,1,1)+\delta(2,-1,4,5)##, I then need to solve
##\left[\begin{matrix}1&4&-1&-2\\2&-1&1&1\\3&3&-1&-4\\6&6&-1&-5\\\end{matrix}\right]\left[\begin{matrix}\alpha\\\beta\\\gamma\\\delta\end{matrix}\right]=\left[\begin{matrix}0\\0\\0\\0\\\end{matrix}\right]\Rightarrow \left[\begin{matrix}\alpha\\\beta\\\gamma\\\delta\end{matrix}\right]=\frac{7}{9}\left[\begin{matrix}1\\2\\3\\6\end{matrix}\right]-\frac{4}{9}\left[\begin{matrix}4\\-1\\3\\6\end{matrix}\right]=-3\left[\begin{matrix}1\\-1\\1\\1\end{matrix}\right]+\left[\begin{matrix}2\\-1\\4\\5\end{matrix}\right]##
This method is the correct one right? thank you!
Looks OK to me. One way to check would be to find the equations of the two planes, which could be done by finding a normal to each plane using the dot product. Once you have a normal and a point on the plane (such as (0, 0, 0, 0)), you can write the equation of that plane. The vector you found should satisfy each of the two planes.
 
  • Like
Likes   Reactions: Terrell
  • #11
will keep that in mind. thank you a lot!
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 6 ·
Replies
6
Views
5K