Rouché–Capelli theorem

Rouché–Capelli theorem is a theorem in linear algebra that determines the number of solutions of a system of linear equations, given the ranks of its augmented matrix and coefficient matrix. The theorem is variously known as the:
* Rouché–Capelli theorem in English speaking countries, Italy and Brazil;
* Kronecker–Capelli theorem in Austria, Poland, Ukraine, Croatia, Romania, Serbia and Russia;
* Rouché–Fontené theorem in France;
* Rouché–Frobenius theorem in Spain and many countries in Latin America;
* Frobenius theorem in the Czech Republic and in Slovakia.

Statement

A system of linear equations with variables and coefficients in a field has a solution if and only if its coefficient matrix and its augmented matrix have the same rank. If there are solutions, they form an affine subspace of $K^n$ of dimension . In particular:
* if , the solution is unique,
* if and is an infinite field, the system of linear equations admits infinitely many solutions,
* if is a finite field, the number of solutions is finite, namely $, K, ^$.

Example

Consider the system of equations

:$\begin x + y + 2z&= 3\\ x + y + z&= 1\\ 2x + 2y + 2z&= 2 \end$

The coefficient matrix is

:$A = \begin 1 & 1 & 2 \\ 1 & 1 & 1 \\ 2 & 2 & 2 \\ \end,$

and the augmented matrix is

:
(A, B) =
\left begin
1 & 1 & 2 & 3\\
1 & 1 & 1 & 1 \\
2 & 2 & 2 & 2
\end\right

Since both of these have the same rank, namely 2, there exists at least one solution; and since their rank is less than the number of unknowns, the latter being 3, there are infinitely many solutions.

In contrast, consider the system

:$\begin x + y + 2z&= 3\\ x + y + z&= 1\\ 2x + 2y + 2z&= 5 \end$

The coefficient matrix is

:$A = \begin 1 & 1 & 2 \\ 1 & 1 & 1 \\ 2 & 2 & 2 \\ \end,$

and the augmented matrix is

:
(A, B) =
\left begin
1 & 1 & 2 & 3\\
1 & 1 & 1 & 1 \\
2 & 2 & 2 & 5
\end\right

In this example the coefficient matrix has rank 2, while the augmented matrix has rank 3; so this system of equations has no solution. Indeed, an increase in the number of linearly independent columns has made the system of equations inconsistent.

Proof

There are several proofs of the theorem. One of them is the following one.

The use of Gaussian elimination for putting the augmented matrix in reduced row echelon form does not change the set of solutions and the ranks of the involved matrices. The theorem can be read almost directly on the reduced row echelon form as follows.

The rank of a matrix is the number of nonzero rows in its reduced row echelon form. If the ranks of the coefficient matrix and the augmented matrix are different, then the last non zero row has the form \ldots 0\mid 1 corresponding to the equation . Otherwise, the th row of the reduced row echelon form allows expressing the th pivot variable as the sum of a constant and a linear combination of the non-pivot variables, showing that the dimension of the set of solutions is the number of non-pivot variables.

See also

* Cramer's rule

References

*

External links

* Kronecker-Capelli Theorem at Wikibooks
Kronecker-Capelli's Theorem
- YouTube video with a proof

Kronecker-Capelli theorem
in the Encyclopaedia of Mathematics

{{DEFAULTSORT:Rouche-Capelli theorem
Theorems in linear algebra
Matrix theory