Linear Sys. Solution Space of Homogenous Sys.

  • Thread starter Thread starter RealUnrealRob
  • Start date Start date
  • Tags Tags
    Linear Space
RealUnrealRob
Messages
7
Reaction score
0

Homework Statement


Alright, so the question is:
Determine a basis for, and solution space of, the following homogenous system:
1 -2 0 -1 = 0
2 -4 0 -2 = 0
-4 8 0 4 = 0
-2 4 0 2 = 0

Homework Equations



The Attempt at a Solution


Okay. This question is posing some issues for me. First is the fact that all the equations are the same. From looking at a similar problem from the book
|1 -2 3||x|=|0|
|2 -4 6||y|=|0|
|3 -6 9||z|=|0|
it appears to me that the professor might have not written it out properly. But anyway, I just assumed that each row represents a variable, x,y,z, and t.
Therefore, the solution space is x-y-t=0?
If I multiply by the nonexistent 4x1 matrix of x,y,z, and t, then I end up with, once again, four equivalent equations, and the solution space is
-2x-4y+2z+t=0.
I really just have no understanding of how to do this when all the equations are the same. Help?
 
Physics news on Phys.org
Start by converting the matrix into row echelon form.
 
When you reduce to row echelon form you get
1 -2 0 -1 0
0 0 0 0 0
etc.
At least that is my understanding.
 
What are your pivots and free variables?

Then, use the definition: A basis is a linearly independent spanning set.
 
Here's an example for you. Say, like in your example, you have 4 equations in 4 unknowns but when you row reduce it you are left with only one row being nonzeros. For example, (making it up) say

##x -5y + 2z -3w = 0##

You could solve for any variable in terms of the others. In my example, ##x## is easiest to solve for. ##x=5y-2z+3w##, where the ##y,\ z,\ w## can be anything. You could then write the solution like this:$$
\left[\begin{array}{c}x\\y\\z\\w \end{array}\right ]=
\left[\begin{array}{c}5y-2z+3w\\y\\z\\w \end{array}\right ]=
y\left[\begin{array}{c}5\\1\\0\\0 \end{array}\right ]+
z\left[\begin{array}{c}-2\\0\\1\\0 \end{array}\right ]+
w\left[\begin{array}{c}3\\0\\0\\1 \end{array}\right ]
$$From writing it like this a basis for the solution space is obvious.
 
If i understood correctly, the question by the OP, is in two parts:
1. Find the basis.
2. Find the solution space.

Maybe I'm getting a little confused, but those are not the same as "the basis for the solution space". Or is it?
 
To be quite honest I have no idea. I don't have much faith in my professor.

My understanding of the question is
Find a basis for the homogenous system.
Find the solution space of the homogenous system.

Half the test is vocabulary too. Kind of frustrating to be completely stumped here after doing fine in Calc 1-3.

Kurtz, thank you very much for the effort in your response. I think I'm lacking some kind of fundamental understanding of 'basis'.
 
I found another post to be very helpful for this problem. Read the thread, especially HallsofIvy's reply.
https://www.physicsforums.com/showthread.php?t=229074
However, in that other post, it deals with finding the basis for the solution space, which is not exactly the wording in this problem here.

Another (maybe easier) definition for basis: A basis is a set of linearly independent vectors that, in a linear combination, can represent every vector in a given vector space.
 
So then from
x-2y+0z-t=0
I would get x=2y+t, plug in for <x, 1,0> and <x, 0,1>, get the values of x, and then those would be the basis vectors of the solution space, assuming that's what the question is asking?
Of course, I cut out z. If z has to be included then I assume it would be <x, 1, 0, 0> and <x, 0, 0, 1>. Seeing as any value could be used for z and it would be of no consequence.

I wish I knew what the professor was asking. Especially considering this is the pretest for the final.
 
  • #10
sharks said:
If i understood correctly, the question by the OP, is in two parts:
1. Find the basis.
2. Find the solution space.

Maybe I'm getting a little confused, but those are not the same as "the basis for the solution space". Or is it?

They aren't quite the same thing. The solution space is the subspace containing all solutions. The basis for the solution space is a set of linearly independent solution vectors that span the space. In my example, the 3 constant vectors form the basis and as you vary the free variables that generates all linear combinations of the basis vectors which generates the solution space itself.
 
  • #11
Thanks for your help guys! I'm still not quite sure if I get it, but I think that's a mix of not going to class and possibly bad wording on the test. Not too worried about it though. Won't be needing this for my major lol.

Thanks!
Robert
 
  • #12
LCKurtz said:
They aren't quite the same thing. The solution space is the subspace containing all solutions. The basis for the solution space is a set of linearly independent solution vectors that span the space. In my example, the 3 constant vectors form the basis and as you vary the free variables that generates all linear combinations of the basis vectors which generates the solution space itself.

Thank you for clarifying, LCKurtz. :smile:

I have a question though: Is the solution space the same as the nullspace?
From what i understand, the nullspace is the sum of all the special solutions, so it looks like it's exactly what you've written on the R.H.S. of your example.
 
Last edited:
  • #13
sharks said:
Thank you for clarifying, LCKurtz. :smile:

I have a question though: Is the solution space the same as the nullspace?
From what i understand, the nullspace is the sum of all the special solutions, so it looks like it's exactly what you've written on the R.H.S. of your example.

We talk about the nullspace of a matrix and the solution space of a system of equations. The null space of a matrix ##A## is the solution space of the system ##A\vec x = \vec 0##.
 
  • #14
Okay, yeah, check out these two problems.
Determine the basis for, and the solution space of, the following homogenous systems:
1.
-1 + 2 + 0 + 1 = 0
+2 - 4 + 0 - 2 = 0
+3 - 6 + 0 - 3 = 0
-8 + 16 +0 + 8 = 0
2.
-1 + 2 + 0 + 1 = 0
+2 - 4 + 0 - 2 = 0
+3 - 6 + 0 - 3 = 0
-4 + 8 + 0 + 4 = 0

Are these not the same question?
 
  • #15
RealUnrealRob said:
Okay, yeah, check out these two problems.
Determine the basis for, and the solution space of, the following homogenous systems:
1.
-1 + 2 + 0 + 1 = 0
+2 - 4 + 0 - 2 = 0
+3 - 6 + 0 - 3 = 0
-8 + 16 +0 + 8 = 0
2.
-1 + 2 + 0 + 1 = 0
+2 - 4 + 0 - 2 = 0
+3 - 6 + 0 - 3 = 0
-4 + 8 + 0 + 4 = 0

Are these not the same question?

As written you don't have a homogeneous system of equations. You just have a bunch of false statements.

I explained the difference between a solution space and its basis in post #10.
 
  • #16
Another student told me it was a 'dummy question'. So that's fun.

And that's exactly how the question was written. I believe the variables are implied.
 
  • #17
1 -2 0 -1 = 0
2 -4 0 -2 = 0
-4 8 0 4 = 0
-2 4 0 2 = 0
Perhaps the "dummy" part is that this is a "skeleton" of the equations.

Isn't really a "system of equations". I assume you mean something like
x_1- 2x_2+ 0x_3- x_4= 0
2x_1- 4x_2+ 0x_3- 2x_4= 0
-4x_1+ 8x_2+ 0x_3+ 4x_4= 0
-2x_1+ 4x_2+ 0x_3+ 2x_4= 0
which is the same as the matrix equation
\begin{bmatrix}-2 &amp; -4 &amp; 0 &amp; -2 \\ -2 &amp; 4 &amp; 0 &amp; -2 \\ -4 &amp; 8 &amp; 0 &amp; 4 \\ -2 &amp; 4 &amp; 0 &amp; 2\end{bmatrix}\begin{bmatrix}x_1 \\ x_2 \\ x_3 \\ x_4 \end{bmatrix}= \begin{bmatrix}0 \\ 0 \\ 0 \\ 0 \end{bmatrix}

One obvious point about this is all those "0"s in the third column- x_3 does not appear in the equations and so can be anything.

Row reducing the matrix eventually gives
\begin{bmatrix}1 &amp; -2 &amp; 0 &amp; -1 \\ 0 &amp; 0 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 0 &amp; 0 \\ 0 &amp; 0 &amp; 0 &amp; 0\end{bmatrix}
which is equivalent to the single equation x_1- 2x_2- x_4= 0 which we can solve for x_1: x_1= 2x_2+ x_4.

That is, any vector satisfying that equation, any vector in the null space, is of the form &lt;x_1, x_2, x_3, x_4&gt;= &lt;2x_2+ x_4, x_2, x_3, x_4&gt;= x_2&lt;2, 1, 0, 0&gt;+ x_3&lt;0, 0, 1, 0&gt;+ x_4&lt;1, 0, 0, 1&gt;.
 
Back
Top