Bourbaki

Proposition 12

Tag 05X8, permanent. Cite it as [Bourbaki, Tag 05X8].

Algebra, chapter II, § 10. Matrices

For a system of m linear equations in n unknowns

∑j=1naijxj=bi(1≤i≤m) \sum_{j=1}^n a_{ij} x_j = b_i \quad (1 \leq i \leq m)

over a field K to have at least one solution, it is necessary and sufficient that the matrix A=(aij)A = (a_{ij}) of the system and the matrix B, obtained by bordering A with an (n+1)(n+1)-th column equal to (bi)(b_i), be matrices of the same rank.

It has been seen (no. 4) that the existence of a solution of (54) is equivalent to the fact that the column (bi)(b_i) is a linear combination of the columns of AA and the proposition therefore follows from § 7, no. 3, Corollary 4 to Proposition 4.

Note that the condition of Proposition 12 is always fulfilled when m=nm = n and AA is invertible, that is of rank nn (Proposition 11). If xx and bb then denote the matrices with one column (xi)(x_i) and (bi)(b_i) respectively, system (54) is equivalent to A.x=bA.x = b and its unique solution is x=A−1.bx = A^{-1}.b.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.