- Thread starter
- #1

- Apr 14, 2013

- 4,983

I am asked to describe the set of solutions of a linear system as a coset of an appropriate subspace.

Could you explain me what I have to do?

- Thread starter mathmari
- Start date

- Thread starter
- #1

- Apr 14, 2013

- 4,983

I am asked to describe the set of solutions of a linear system as a coset of an appropriate subspace.

Could you explain me what I have to do?

- Mar 10, 2012

- 835

You must already know that any system of linear equations can be expressed in the matrix form $Ax=B$, where $A$ is an $m\times n$ matrix, $B$ is an $n\times 1$ column vector and $x$ is the unknown. We need to find all such $x$ which satisfy $Ax=B$. Assume that the entries of $A$ and $B$ come from a field $F$ (which might be $\mathbb R$ or $\mathbb C$ most likely).

I am asked to describe the set of solutions of a linear system as a coset of an appropriate subspace.

Could you explain me what I have to do?

Let $x_0$ be a solution to $Ax=B$. Let $S$ be the set of all the vectors $y$ which satisfy $Ay=0$, that is, $S=\{y:Ay=0\}$. Show that $S$ is a subspace of the vector space $F^n$. Note that $x_0+S$ is a coset of $S$ all of whose elements are solutions of $Ax=B$. Can there be any other solutions?

- Thread starter
- #3

- Apr 14, 2013

- 4,983

- Mar 10, 2012

- 835

Note that $x_0+S=\{x_0+z:z\in S\}$. Yes, if $x_0$ is a solution then $x_0+S$ is the set of all the solutions. Can you prove this?

- Thread starter
- #5

- Apr 14, 2013

- 4,983

We want to prove that [tex] x_{0}+S [/tex] is the set of all the solutions, so

[tex] A(x_{0}+z)=Ax_{0}+Az=B+0=B [/tex].

Is that right??

- Mar 10, 2012

- 835

Not entirely.

We want to prove that [tex] x_{0}+S [/tex] is the set of all the solutions, so

[tex] A(x_{0}+z)=Ax_{0}+Az=B+0=B [/tex].

Is that right??

What you have proved is that each member of $x_0+S$ is a solution of $Ax=B$. But you have not shown that every solution of $Ax=B$ lies in $x_0+S$. Try it.

- Thread starter
- #7

- Apr 14, 2013

- 4,983

I'm stuck right now...I don't know how to prove this... Could you give me a hint??

- Thread starter
- #8

- Apr 14, 2013

- 4,983

Let [tex]y_{0} [/tex] be another solution of the system , [tex] Ay_{0}=B [/tex] , then [tex] A(x_{0}-y_{0})=0 [/tex] and [tex] x_{0}-y_{0}=z [/tex] is a solution of [tex] Ax=0 [/tex]. So, [tex] y_{0}=x_{0}+z [/tex] .That means that every solution of [tex] Ax=B [/tex] lies in [tex] x_{0}+S [/tex] ?

- Mar 10, 2012

- 835

Perfect! See why I wasn't giving away the solution?

Let [tex]y_{0} [/tex] be another solution of the system , [tex] Ay_{0}=B [/tex] , then [tex] A(x_{0}-y_{0})=0 [/tex] and [tex] x_{0}-y_{0}=z [/tex] is a solution of [tex] Ax=0 [/tex]. So, [tex] y_{0}=x_{0}+z [/tex] .That means that every solution of [tex] Ax=B [/tex] lies in [tex] x_{0}+S [/tex] ?

- Thread starter
- #10

- Apr 14, 2013

- 4,983

Great!!! Thank you very much!!!

- Mar 10, 2012

- 835

Great!!! Thank you very much!!!

- Thread starter
- #12

- Apr 14, 2013

- 4,983

When I have to describe the set of the solutions as a conset of the solutions, it's [tex] x_{0}+S [/tex]???

- Mar 10, 2012

- 835

Umm.. I don't know what you mean by that. The set of all the solutions as a

When I have to describe the set of the solutions as a conset of the solutions, it's [tex] x_{0}+S [/tex]???

P.S. Please be more descriptive with your doubts.

- Thread starter
- #14

- Apr 14, 2013

- 4,983

The set of all the solutions is described as a coset of the subspace S???Umm.. I don't know what you mean by that. The set of all the solutions as acosetof asubspaceis $x_0+S$ (symbols have meanings borrowed from previous posts.) 'Coset of solutions' is not making sense to me.

P.S. Please be more descriptive with your doubts.

- Mar 10, 2012

- 835

Yes. $x_0+S$ is a coset of $S$.The set of all the solutions is described as a coset of the subspace S???

- - - Updated - - -

Replace 'as' with 'is'. Was a typo. Sorry.The set of all the solutions is described as a coset of the subspace S???

- Thread starter
- #16

- Apr 14, 2013

- 4,983

Ok! Thank you!!!

- Feb 15, 2012

- 1,967

We are used to thinking of a system of linear equations such as:

\(\displaystyle Ax = b\)

as "something we solve for \(\displaystyle x\)" given the matrix \(\displaystyle A\) of coefficients, and the constant vector \(\displaystyle b\).

In this vein, what you have just shown is sometimes expressed as:

"general solution = particular solution + homogeneous solution".

Here, the solution set of the homogeneous system \(\displaystyle Ax = 0\) is the space \(\displaystyle S\), and \(\displaystyle x_0\) is some "particular" vector for which \(\displaystyle Ax_0 = b\).

But we can look at this another way: given m equations in n unknowns, we can think of the associated matrix of coefficients \(\displaystyle A\) as something that takes an n-vector as input, and gives an m-vector as output. In other words, a linear transformation (since matrices are linear transformations...in some sense

The set of n-vectors \(\displaystyle x\) that \(\displaystyle A\) "kills" (maps to the 0 m-vector), the space \(\displaystyle S\), is the

If the system \(\displaystyle Ax = b\) HAS a solution, this means that \(\displaystyle b\) lies in the

There is a 1-1 correspondence between the elements \(\displaystyle b\) in the image of \(\displaystyle A\), and the

For a linear transformation \(\displaystyle A\):

\(\displaystyle \text{dim}(\text{dom}(A)) = \text{dim}(\text{im}(A)) + \text{dim}(\text{ker}(A))\)

In other words the range of A is isomorphic (as a vector space), to the

If we call the domain of \(\displaystyle A,\ V\), and the kernel of \(\displaystyle A,\ S\), we can express this more succinctly as:

\(\displaystyle A(V) \cong V/S\).

This says the the space of POSSIBLE solutions to \(\displaystyle Ax = b\), acts very much like \(\displaystyle V\) (our space of n-vectors) except "shrunk down" by a factor of \(\displaystyle \text{dim}(S)\) (since \(\displaystyle A\) kills every n-vector in \(\displaystyle S\)).

It turns out that the set of cosets \(\displaystyle V/S\) of the form \(\displaystyle x + S\), can be made into a vector space in a pretty "obvious" way:

\(\displaystyle (x_1 + S) + (x_2 + S) = (x_1 + x_2) + S\)

\(\displaystyle a(x_1 + S) = ax_1 + S\) (for a scalar \(\displaystyle a\), and vectors \(\displaystyle x_1,x_2 \in V\)).

And this space is "smaller" than what we started with, so can be easier to work with.

In more concrete terms, when one solves a system of linear equations by row-reduction (to find the

A baby example:

Suppose we have the equation:

\(\displaystyle 2x + 3y = 4\).

The rank of this system is clearly 1. Since our domain is the Euclidean plane, our null space (of the matrix:

\(\displaystyle A = \begin{bmatrix}2&3 \end{bmatrix}\))

is the subspace of the euclidean plane:

\(\displaystyle L = \{(x,y) \in \Bbb R^2: 2x+3y = 0\}\)

perhaps more clearly recognizable as the line through the origin:

\(\displaystyle y = -\frac{2}{3}x\)

Thus the solution set of our system is the line in \(\displaystyle \Bbb R^2\) parallel to \(\displaystyle L\) passing through the point (2,0), that is the line:

\(\displaystyle y = -\frac{2}{3}x + 2\).

As noted above, there is a 1-1 correspondence between the lines parallel to \(\displaystyle L\) in the plane, and the real numbers, we can just send each coset (parallel line) to twice its y-intercept:

the line \(\displaystyle (x_0,0) + L\) is the solution set to:

\(\displaystyle 2x + 3y = 2x_0\), or in perhaps more familiar form, the solution space to:

\(\displaystyle 2x + 3y = b\) is:

\(\displaystyle \{(x,y) \in \Bbb R^2: (x,y) = \left(\frac{b-3t}{2},t \right) = \left(\frac{b}{2},0 \right) + t\left(-\frac{3}{2},1 \right), t \in \Bbb R\} = \left(\frac{b}{2},0\right) + L\)

(as one can see here, the vector (-3/2,1) forms a basis for the null space \(\displaystyle L\)).

"Chop the plane into parallel lines, and what you get 'acts like a line' (you can use a line crossing all the parallel lines to determine WHICH parallel line you're at)".

- Thread starter
- #18

- Apr 14, 2013

- 4,983

Nice!! Thank you very much!!!