# The Unapologetic Mathematician

## Inhomogenous Linear Systems

In distinction from homogenous systems we have inhomogenous systems. These are systems of linear equations where some of the constants on the right of the equations are nonzero. In our matrix notation we have $a_i^jx^i=y^j$, where at least one $y^j\neq0$.

Now we no longer have the nice property that solutions form a vector space. For example, if $\bar{x}^i$ are the components of one solution, and $\hat{x}^i$ are the components of another solution, then their sum is definitely not a solution. Indeed, we calculate

$a_i^j(\bar{x}^i+\hat{x}^i)=a_i^j\bar{x}^i+a_i^j\hat{x}^i=y^j+y^j=2y^j$

And this only works out as a solution to our system if $2y^j=y^j$ for each index $j$, implying that each $y^j=0$.

However, we do have something interesting. What if we take the difference between two solutions? Now we calculate

$a_i^j(\bar{x}^i-\hat{x}^i)=a_i^j\bar{x}^i-a_i^j\hat{x}^i=y^j-y^j=0$

That is, the difference between the two solutions satisfies the “associated homogenous equation” $a_i^jx^i=0$. If we take some solution to the inhomogenous equation, any other solution is the sum of this particular solution and a solution of the associated homogenous equation.

So we’re still very interested in solving homogenous equations. Once we have a complete solution to the homogenous equation — usually through having a basis for the kernel of $A$ — we just need a particular solution $\bar{x}$ (with components $\bar{x}^i$) to the inhomogenous equation and we can parametrize all the solutions. If we remember that a vector space is built up from an abelian group, we might think back to group theory and the language of cosets. The solution set to the inhomogenous equation is the coset $\bar{x}+\mathrm{Ker}(A)$.

Of course, we should also remember that expressions for cosets are far from unique. Any particular solution in the coset is just as good as any other. If $\hat{x}$ is another solution, then $\bar{x}+\mathrm{Ker}(A)=\hat{x}+\mathrm{Ker}(A)$. Both cosets consist of the same collection of vectors, but they are written with different offsets (picked from $\mathrm{Ker}(A)$) from different base-points — $\bar{x}$ and $\hat{x}$. This illustrates that, unlike in a vector space, the solution set has no special element like the identity. All solutions are on the same footing.

July 15, 2008 - Posted by | Algebra, Linear Algebra

1. […] Today we’re still considering the solution set of an inhomogenous linear system and its associated homogenous system . Remember that we also wrote these systems in more abstract […]

Pingback by Affine Spaces « The Unapologetic Mathematician | July 16, 2008 | Reply

2. […] Inhomogenous Systems We know that when an inhomogenous system has a solution, it has a whole family of them. Given a particular solution, it defines a coset of […]

Pingback by Unsolvable Inhomogenous Systems « The Unapologetic Mathematician | July 18, 2008 | Reply

3. […] the system is inhomogenous in general, and as such it might not have any solutions. Since every short exact sequence of vector […]

Pingback by The Index of a Linear Map « The Unapologetic Mathematician | July 22, 2008 | Reply

4. […] matrix of the system. If is the zero vector we have a homogeneous system, and otherwise we have an inhomogeneous system. So let’s use the singular value decomposition for […]

Pingback by The Meaning of the SVD « The Unapologetic Mathematician | August 18, 2009 | Reply