Contents
- Definition
- Representation as functions.
- Theorems.
i) Systems only have 0, 1 or infinite solutions.
ii) Sth here
iii) If number of variables equals the number of equations.
Definition
A system of linear equations is a set of equations of the form,
If the system of equations has at least one solution, then we refer to the system of equations as being consistent, or inconsistent otherwise. If a system is consistent and has only one solution, we say that the system is definite. If the system has more than one solution, we say the system is indefinite.
Representation as Functions
We can represent the system of linear equations using functions. Let be a linear function which maps from all possible sets of inputs,
, to the real numbers. Then, we have the system,
Theorems
Theorem 1 – A system of linear equations has either zero, one, or an infinite number of solutions.
Proof – We construct a system which has no solutions, for example consider
which would imply that the sum of and
must equal both
and
, however by the field axioms, we have that the sum of two elements of
is unique, which gives a contradiction.
We may also develop a system with just one solution, for example consider
.
Finally, imagine that we have two distinct solution vectors, and
. Then, it follows that the new vector
is also a solution to the system of equations, since for every equation
, we have that
using the properties of a linear function, as well as and
being solutions of the form
. Now, since by assumption we have that
and
are distinct, we have that for each
, the solution
is a new solution, and hence there are infinitely many such solutions.
Theorem 2 – A system of linear equations with variables and
equations is inconsistent if there are less than
equations.
Proof – We will prove this by induction. For the base case, consider equations, ie
.
We can easily rearrange one of the variables such that it is a function of the remaining variables, which implies that we have an infinite number of possible solutions. Now we assume that the hypothesis is true for all . Then, it follows that either the system of
equations has either no solutions or an infinite number of solutions. If it has no solutions, adding another equation to the system will not make the system consistent. If the
equations have an infinite number of solutions, then it follows that at least one of the variables must have an infinite number of possible values.
If all the equations have an infinite number of solutions, we may eliminate (at least) one of the variables from all but one equation by subtracting, from each
, the equation
for some
. This leaves us with a new system of equations such that
, and
Now, we know that, by hypothesis, the set of equations
are inconsistent by hypothesis, but since they are inconsistent, adding another variable to the top equation will not make them consistent, as the solution to the system of equations depends only on the coefficients, and so the equations will be inconsistent for all . This completes the proof.
Theorem 3 – If the number of equations equal the number of unknowns, then the property of having a unique solution depends solely on the coefficients of the system.
Proof – The result may be obtained via induction on the number of equations (which equals the number of unknowns). Let
Let us consider the base case, . We have the set of equations,
But this implies that . The existence of an
depends on the condition that
. But this means that the condition for the existence of a unique solution for one of the variables depends entirely on the coefficients of the system of linear equations. As our choice of which variable to solve for was arbitrary, the same applies to the other three variables. This proves the base case.
We now prove that if the hypothesis is true for some with
. By assumption, we have that the system of equations
Note that this representation does not exclude the possibility of . Now, as the solution does not depend on the values
, let
, where each
is any element
.
If we add another variable, and another equation (so that the number of unknowns still equals the number of equations, where the number of equations is
), then we have the system
For all . But, by hypothesis, for any
, there is a unique solution to the system of equations
Now, this means we can write the set of equations (substituting in their unique solution), as
But this implies that
And so the only condition for is that
, and so the existence of a unique solution again depends only on the coefficients. This proves the theorem.
Theorem 4 – Consider a system of linear equations with equations and
variables,
And now consider the homogenous set of equations
Where the coefficients remain unchanged. Then, the original system of equations has a unique set of solutions if and only if the homogenous system of equations has no other set of solutions other than the null solution.
Proof – In the first case, assume that the original system of equations has a unique solution. Then, from theorem 3, it follows that the homogeneous system has a unique solution. However, the solution for all
is a solution to the system of equations, and so is the only solution.
Conversely, if the homogeneous system has only the null solution, then this is due to the coefficients (by theorem 3), and so we have that the same is true for any system (not only the homogeneous system), and thus the original system of equations only have one solution.