Rouché–Capelli theorem

RouchéCapelli theorem is the theorem in linear algebra that allows computing the number of solutions in a system of linear equations given the ranks of its augmented matrix and coefficient matrix. The theorem is known as Kronecker–Capelli theorem in Russia, Rouché–Capelli theorem in Italy, Rouché–Fontené theorem in France and Rouché–Frobenius theorem in Spain and many countries in Latin America.

Formal statement

A system of linear equations with n variables has a solution if and only if the rank of its coefficient matrix A is equal to the rank of its augmented matrix [A|b].[1] If there are solutions, they form an affine subspace of \mathbb{R}^n of dimension n  rank(A). In particular:

Example

Consider the system of equations

x + y + 2z = 3
x + y + z = 1
2x + 2y + 2z = 2.

The coefficient matrix is


A = 
  \begin{bmatrix}
    1 & 1 & 2 \\
    1 & 1 & 1 \\
    2 & 2 & 2 \\
  \end{bmatrix},

and the augmented matrix is


(A|B) = 
  \left[\begin{array}{ccc|c}
    1 & 1 & 2 & 3\\
    1 & 1 & 1 & 1 \\
    2 & 2 & 2 & 2
  \end{array}\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 an infinite number of solutions.

In contrast, consider the system

x + y + 2z = 3
x + y + z = 1
2x + 2y + 2z = 5.

The coefficient matrix is


A = 
  \begin{bmatrix}
    1 & 1 & 2 \\
    1 & 1 & 1 \\
    2 & 2 & 2 \\
  \end{bmatrix},

and the augmented matrix is


(A|B) = 
  \left[\begin{array}{ccc|c}
    1 & 1 & 2 & 3\\
    1 & 1 & 1 & 1 \\
    2 & 2 & 2 & 5
  \end{array}\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 rows has made the system of equations inconsistent.

See also

References

  1. Shafarevich, Igor R.; Remizov, Alexey (2012-08-23). Linear Algebra and Geometry. Springer Science & Business Media. p. 56. ISBN 9783642309946.
This article is issued from Wikipedia - version of the Thursday, March 10, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.