Determinants: starting simple
Previously we looked at a motivating example to consider the determinant of a matrix
Using this basic example, now we formulate properties that uniquely define determinants of matrices of higher orders. The discussion is based mainly on Kurosh, Course in linear algebra, 9th edition, Moscow, 1968 (in Russian).
Observation 1. Homogeneity. If one of the rows of is multiplied by a number then gets multiplied by
Observation 2. Adding one of the rows of to another doesn't change the value of the determinant:
To see the intuition behind these rules, recall that the purpose of the determinant is to verify whether the system has solutions. Homogeneity means that if one of the equations of the system is multiplied by a nonzero constant, the solvability of the new system will be equivalent to the solvability of the original system. Similarly, if one of the equations of the system is added to another, solvability of the system as judged by the determinant will not change. This makes sense because multiplying a system equation by a nonzero constant or adding one equation to another does not change the information contained in the system.
Keep in mind an emerging general idea: the determinant discards any transformations of the matrix that are not relevant to its invertibility.
Observation 3. Determinant of the identity:
Taking these properties as axioms for matrices of higher order, we will show that they uniquely define determinants and develop a couple of rules involving determinants. One of them is the Leibniz formula for determinants and the other is Cramer's rule.