# The Unapologetic Mathematician

## Homogenous Linear Systems

An important special case of a linear system is a set of homogenous equations. All this means (in this case) is that the right side of each of the equations is zero.

In matrix notation (using the summation convention), we have the equation $a_i^jx^i=0$. Remember that this is actually a collection of $n$ equations, one for each value of the index $j$. And in our more abstract notation we write $Ax=0$, where the right had side is the zero vector in $\mathbb{F}^n$.

So what is a solution of this system? It’s a vector $x\in\mathbb{F}^m$ that gets sent to $0\in\mathbb{F}^n$ by the linear transformation $A$. But a vector that gets sent to the zero vector is exactly one in the kernel $\mathrm{Ker}(A)$. So solving the homogenous system $a_i^jx^i=0$ is equivalent to determining the kernel of the linear transformation $A$.

We don’t yet have any tools for making this determination yet, but we can say some things about the set of solutions. For one thing, they form a subspace of $\mathbb{F}^m$. That is, the sum of any two solutions is again a solution, and a constant multiple of any solution is again a solution. We’re interested, then, in finding linearly independent solutions, because from them we can construct more solutions without redundancy.

A maximal collection of linearly independent solutions will be a basis for the subspace of solutions — for the kernel of the linear map. As such, the number of solutions in any maximal collection will be the dimension of this subspace, which we called the nullity of the linear transformation $A$. The rank-nullity theorem then tells us that we have a relationship between the number of independent solutions to the system (the nullity), the number of variables in the system (the dimension of $\mathbb{F}^m$), and the rank of $A$, which we will also call the rank of the system. Thus if we can learn ways to find the rank of the system then we can determine the number of independent solutions.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 5 Comments	»

1. [...] Linear Systems In distinction from homogenous systems we have inhomogenous systems. These are systems of linear equations where some of the constants on [...]

Pingback by | July 15, 2008 | Reply

2. [...] 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 notation as and . The solution space [...]

Pingback by | July 16, 2008 | Reply

3. [...] of them. Given a particular solution, it defines a coset of the subspace of the solutions to the associated homogenous system. And that subspace is the kernel of a certain linear [...]

Pingback by | July 18, 2008 | Reply

4. [...] is the dimension of the kernel of . In terms of the linear system, this is the dimension of the associated homogenous system . If there are any solutions of the system under consideration, they will form an affine space of [...]

Pingback by | July 22, 2008 | Reply

5. [...] is the 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 [...]

Pingback by | August 18, 2009 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 15, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9197394251823425, "perplexity_flag": "head"}