Solution set: S = {(8 + 7z, 6 + 5z, z, 1) : z ∈ ℝ}

[gruba]

Homework Statement

Plot the solution set of linear equations
x-y+2z-t=1
2x-3y-z+t=-1
x+7z=8

and check if the set is a vector space.

2. The attempt at a solution

Augmented matrix of the system:
<br /> \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 2 &amp; -3 &amp; -1 &amp; 1 &amp; -1 \\<br /> 1 &amp; 0 &amp; 7 &amp; 0 &amp; 8 \\<br /> \end{bmatrix}\sim \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 0 &amp; -1 &amp; -5 &amp; 3 &amp; -3 \\<br /> 0 &amp; 1 &amp; 5 &amp; 1 &amp; 7 \\<br /> \end{bmatrix}\sim \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 0 &amp; 1 &amp; 5 &amp; 1 &amp; 7 \\<br /> 0 &amp; -1 &amp; 3 &amp; 0 &amp; -3 \\<br /> \end{bmatrix}\sim \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 0 &amp; 1 &amp; 5 &amp; 1 &amp; 7 \\<br /> 0 &amp; 0 &amp; 0 &amp; 4 &amp; 4 \\<br /> \end{bmatrix}<br />
\Rightarrow t=1

x-y+2z=2
y+5z=6

x,y are pivot variables \Rightarrow x=8-7z,y=6-5z.
The solution set can be described as S=\{(8-7z,6-5z,z,1):z\in\mathbb R\}.

Algebraically, this means that the system is inconsistent (infinitely many solutions).
This should represent a line in xyz plane, but it seems that it contradicts with algebraic solution.

First equation is a plane with coordinates (6,-\frac{3}{2},3).
Second equation is a plane with coordinates (-1,\frac{2}{3},2).
Third equation is a line in xz plane with coordinates (8,\frac{8}{7}).

When drawn altogether, there is no intersection between all three planes, and also no line as an intersection.

Is there a mistake in algebraic, or geometric solution?

Assuming that algebraic solution is correct, solution set is a vector space because it is an infinite line (closed under vector addition and scalar multiplication). Is this correct?

 

[Ray Vickson]

Homework Statement

Plot the solution set of linear equations
x-y+2z-t=1
2x-3y-z+t=-1
x+7z=8

and check if the set is a vector space.

2. The attempt at a solution

Augmented matrix of the system:
<br /> \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 2 &amp; -3 &amp; -1 &amp; 1 &amp; -1 \\<br /> 1 &amp; 0 &amp; 7 &amp; 0 &amp; 8 \\<br /> \end{bmatrix}\sim \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 0 &amp; -1 &amp; -5 &amp; 3 &amp; -3 \\<br /> 0 &amp; 1 &amp; 5 &amp; 1 &amp; 7 \\<br /> \end{bmatrix}\sim \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 0 &amp; 1 &amp; 5 &amp; 1 &amp; 7 \\<br /> 0 &amp; -1 &amp; 3 &amp; 0 &amp; -3 \\<br /> \end{bmatrix}\sim \begin{bmatrix}<br /> 1 &amp; -1 &amp; 2 &amp; -1 &amp; 1 \\<br /> 0 &amp; 1 &amp; 5 &amp; 1 &amp; 7 \\<br /> 0 &amp; 0 &amp; 0 &amp; 4 &amp; 4 \\<br /> \end{bmatrix}<br />
\Rightarrow t=1

x-y+2z=2
y+5z=6

x,y are pivot variables \Rightarrow x=8-7z,y=6-5z.
The solution set can be described as S=\{(8-7z,6-5z,z,1):z\in\mathbb R\}.

Algebraically, this means that the system is inconsistent (infinitely many solutions).
This should represent a line in xyz plane, but it seems that it contradicts with algebraic solution.

First equation is a plane with coordinates (6,-\frac{3}{2},3).
Second equation is a plane with coordinates (-1,\frac{2}{3},2).
Third equation is a line in $xz$ plane with coordinates (8,\frac{8}{7}).

When drawn altogether, there is no intersection between all three planes, and also no line as an intersection.

Is there a mistake in algebraic, or geometric solution?

Assuming that algebraic solution is correct, solution set is a vector space because it is an infinite line (closed under vector addition and scalar multiplication). Is this correct?

A vector space must contain the zero vector. Does your solution set have that property?

 

[gruba]

A vector space must contain the zero vector. Does your solution set have that property?

So, the algebraic solution is not a vector space.

But why algebraic and geometric solution is not the same?
Algebraic solution set gives infinite solutions, and geometric solution doesn't give
neither point nor line as an intersection.

 

[geoffrey159]

Assuming your solution is correct, $S$ is a line of $\mathbb{R}^4$ passing through $(8,6,0,1)$ and directed by vector $(-7,-5,1,0)$. It is not a vector space but an affine subspace $\mathbb{R}^4$

 

[Mark44]

Algebraically, this means that the system is inconsistent (infinitely many solutions).
This should represent a line in xyz plane, but it seems that it contradicts with algebraic solution.

An inconsistent system has no solutions, and there is no such thing as an "xyz" plane.

So, the algebraic solution is not a vector space.

But why algebraic and geometric solution is not the same?

I think you have some mistakes in your work. In the 3rd matrix you show, how did you get the 2nd and 3rd rows?

Algebraic solution set gives infinite solutions, and geometric solution doesn't give
neither point nor line as an intersection.

Geometrically, the solution set I get is a line in $\mathbb{R}^4$ that passes through the point (8, 6, 0, 1).

Edit: Corrected an earlier mistake I made.

 

[gruba]

Assuming your solution is correct, $S$ is a line of $\mathbb{R}^4$ passing through $(8,6,0,1)$ and directed by vector $(-7,-5,1,0)$. It is not a vector space but an affine subspace $\mathbb{R}^4$

How do you get the point (8,6,0,1) and vector (-7,-5,1,0)?

 

[geoffrey159]

Your solution set $S$ (I see it was confirmed correct by Mark44) is a parametrization of line, i.e it can be written $A + z \vec v$ where $A = (8,6,0,1)$ and $\vec v = (-7,-5,1,0)$

 

[gruba]

Your solution set $S$ (I see it was confirmed correct by Mark44) is a parametrization of line, i.e it can be written $A + z \vec v$ where $A = (8,6,0,1)$ and $\vec v = (-7,-5,1,0)$

Could you explain how to do the parametrization of a line?

 

[geoffrey159]

I don't want go off topic so I'll just explain why your solution set is a line.
A line passing through point $A$ and directed by a vector $\vec v$ is the set of points $M$ such that vector $\vec {AM}$ and $\vec v$ are colinear.
Your solution set can be written $S = \{ A + z \vec v, \ z\in \mathbb{R} \}$, therefore $M\in S \iff \exists z\in\mathbb{R},\ \vec{AM} = z\vec v$. It's a line. That's all there is to it.

 

[Mark44]

Could you explain how to do the parametrization of a line?

I have copied the work you showed earlier. To find the parametric form of the line, the last matrix needs to be completely row-reduced, which means that each nonzero row starts with a 1 entry, and each leading 1 entry (a pivot) has 0 entries above and below it.

Augmented matrix of the system:
$\begin{bmatrix} 1 & -1 & 2 & -1 & 1 \\ 2 & -3 & -1 & 1 & -1 \\ 1 & 0 & 7 & 0 & 8 \\ \end{bmatrix}\sim \begin{bmatrix} 1 & -1 & 2 & -1 & 1 \\ 0 & -1 & -5 & 3 & -3 \\ 0 & 1 & 5 & 1 & 7 \\ \end{bmatrix}\sim \begin{bmatrix} 1 & -1 & 2 & -1 & 1 \\ 0 & 1 & 5 & 1 & 7 \\ 0 & -1 & 3 & 0 & -3 \\ \end{bmatrix}\sim \begin{bmatrix} 1 & -1 & 2 & -1 & 1 \\ 0 & 1 & 5 & 1 & 7 \\ 0 & 0 & 0 & 4 & 4 \\ \end{bmatrix}$

When the last matrix is completely reduced (in RREF or reduced row-echelon form), you can read off the solution, as
x = ...
y = ...
z = ...
t = ...
For this matrix that will turn out to be z times a vector plus a constant vector, where in this case, z is the parameter.

 

[gruba]

To find the parametric form of the line, the last matrix needs to be completely row-reduced, which means that each nonzero row starts with a 1 entry, and each leading 1 entry (a pivot) has 0 entries above and below it.

And how to represent the line in explicit form, y=kx+n?

 

[Mark44]

And how to represent the line in explicit form, y=kx+n?

The line in question is a line in $\mathbb{R}^4$, so you wouldn't write it as y = mx + b. Instead, you would write it something like $\vec{r} = k\vec{A} + \vec{B}$. Here $\vec{r}$ means $\begin{bmatrix} x \\ y \\ z \\ t \end{bmatrix}$. $\vec{A}$ and $\vec{B}$ are constant vectors that come directly out of the completely reduced final matrix.

 

[gruba]

The line in question is a line in $\mathbb{R}^4$, so you wouldn't write it as y = mx + b. Instead, you would write it something like $\vec{r} = k\vec{A} + \vec{B}$. Here $\vec{r}$ means $\begin{bmatrix} x \\ y \\ z \\ t \end{bmatrix}$. $\vec{A}$ and $\vec{B}$ are constant vectors that come directly out of the completely reduced final matrix.

Which vector is \overrightarrow{A} and which vector is \overrightarrow{B} from RREF?
Also, is k undetermined?

 

[Mark44]

One more step takes your final matrix to RREF (reduced row-echelon form)
$\begin{bmatrix} 1 & -1 & 2 & -1 &| & 1 \\ 0 & 1 & 5 & 1 & | & 7 \\ 0 & 0 & 0 & 4 & | & 4 \\ \end{bmatrix} \equiv \begin{bmatrix} 1 & 0 & 7 & 0 & | & 8 \\ 0 & 1 & 5 & 0 & | & 6 \\ 0 & 0 & 0 & 1 & | & 1 \\ \end{bmatrix}$
Now, write the system of equations that this matrix represents.
x = ...
y = ...
z = ...
t = ...
If you line things up you should see a column vector times a parameter z, plus another vector.