Determinants Of 2 by 2 Matrices Applications General Definition

The determinant of A is also sometimes denoted by |A|, but this notation is ambiguous: it is also used to for certain matrix norms, and for the square root of .

1 Determinants of 2-by-2 matrices

The interpretation is that this gives the area of the parallelogram with vertices at (0,0), (a,c), (b,d), and (a + b, c + d), with a sign factor (which is −1 if A as a transformation matrix flips the unit square over).

2 Applications

Determinants are used to characterize invertible matricesIn mathematics and especially linear algebra, an n by n matrix A is called invertible non-singular or regular if there exists another n by n matrix B such that AB BA I where I denotes the n by n identity matrix and the multiplication used is ordinary matr (namely as those matrices, and only those matrices, with non-zero determinants), and to explicitly describe the solution to a system of linear equationA linear equation in algebra is an equation which is constructed by equating two linear functions. It may read :3''x + y − 5 −7''x + 4''y + 3. A linear equation is an equation containing only functions that are linear in the variables of inters with Cramer's ruleLinear algebra Theorems Cramer's rule is a theorem in linear algebra, which gives the solution of a system of linear equations in terms of determinants. Computationally, it is generally inefficient and thus not used in practical applications which may inv. They can be used to find the eigenvalueIn linear algebra, a scalar λ is called an eigenvalue (in some older texts, a characteristic value of a linear mapping A if there exists a nonzero vector x such that Ax &lambda x''. The vector x is called an eigenvector. In matrix theory, an elemens of the matrix through the characteristic polynomialIn linear algebra, one associates a polynomial to every square matrix, its characteristic polynomial . This polynomial encodes several important properties of the matrix, most notably its eigenvalues, its determinant and its trace. Motivation Given a squa (where I is the identity matrixIn linear algebra, the identity matrix of size n is the n by n square matrix with ones on the main diagonal and zeros elsewhere. It is denoted by I or simply by I if the size is immaterial or can be trivially determined by the context. The important prope of the same format as A).

One often thinks of the determinant as assigning a number to every sequence of vectors in , by using the square matrix whose columns are the given vectors. With this understanding, the sign of the determinant of a basisAbstract algebra Algebra Linear algebra In mathematics, a subset B of a vector space V is said to be a basis of V if it satisfies one of the four equivalent conditions: B is both a set of linearly independent vectors and a generating set of V''. B is a mi can be used to define the notion of orientation in Euclidean spaces. The determinant of a set of vectors is positive if the vectors form a right-handed coordinate system, and negative if left-handed.

Determinants are used to calculate volumes in vector calculus: the absolute value of the determinant of real vectors is equal to the volume of the parallelepiped spanned by those vectors. As a consequence, if the linear map is represented by the matrix , and is any measurable subset of , then the volume of is given by . More generally, if the linear map is represented by the -by- matrix , and is any measurable subset of , then the -dimensional volume of is given by .

3 General definition and computation

Suppose is a square matrix.

If is a 1-by-1 matrix, then . If is a 2-by-2 matrix, then . For a 3-by-3 matrix , the formula is more complicated:

For a general -by- matrix, the determinant was defined by Gottfried Leibniz with what is now known as the Leibniz formula:

The sum is computed over all permutations of the numbers {1,2,...,n} and denotes the signature of the permutation : +1 if is an even permutation and −1 if it is odd. See even and odd permutations for an explanation of even/odd permutations.

This formula contains summands and is therefore impractical to use to calculate determinants for large .

In general, determinants can be computed with the Gauss algorithm using the following rules:

If is a triangular matrix, i.e. whenver , then det(A) = A_1,1A_2,2...A_n,n
If results from by exchanging two rows or columns, then
If results from by multiplying one row or column with the number , then
If results from by adding a multiple of one row to another row, or a multiple of one column to another column, then .

Explicitly, starting out with some matrix, use the last three rules to convert it into a triangular matrix, then use the first rule to compute its determinant.

It is also possible to expand a determinant along a row or column using Laplace's formula, which is efficient for relatively small matrices. To do this along row , say, we write

where the represent the matrix cofactors, i.e. is times the determinant of the matrix that results from by removing the -th row and the -th column.

4 Example

Suppose we want to compute the determinant of

We can go ahead and use the Leibniz formula directly:

Alternatively, we can use Laplace's formula to expand the determinant along a row or column. It is best to choose a row or column with many zeros, so we will expand along the second column:

A third way (and the method of choice for larger matrices) would involve the Gauss algorithm. When doing computations by hand, one can often shorten things dramatically by smartly adding multiples of columns or rows to other columns or rows; this doesn't change the value of the determinant, but may create zero entries which simplifies the subsequent calculations. In our example, adding the second column to the first one is especially useful:

and this determinant can be quickly expanded along the first column:

5 Properties

The determinant is a multiplicative map in the sense that

for all n-by-n matrices and .

This is generalized by the Cauchy-Binet formula to products of non-square matrices.

It is easy to see that and thus

for all -by- matrices and all scalars .

The matrix (over the real or complex numbers, or some other field) is invertible if and only if det(A)≠0; in this case we have

Expressed differently: the vectors v₁,...,v_n in Rⁿ form a basis if and only if det(v₁,...,v_n) is non-zero.

A matrix and its transpose have the same determinant:

If and are similar, i.e. if there exists an invertible matrix such that = , then by the multiplicative property,

This means that the determinant is a similarity invariant . Because of this, the determinant of some linear transformation T : V → V for some finite dimensional vector space V is independent of the basis for V. The relationship is one-way, however: there exist matrices which have the same determinant but are not similar.

If is a square -by- matrix with real or complex entries and if λ₁,...,λ_n are the (complex) eigenvalues of listed according to their algebraic multiplicities, then

This follows from the fact that is always similar to its Jordan normal form, an upper triangular matrix with the eigenvalues on the main diagonal.

From this connection between the determinant and the eigenvalues, one can derive a connection between the trace function, the exponential function, and the determinant:

5.1 Derivative

The determinant of real square matrices is a polynomial function from to , and as such is everywhere differentiable. Its derivative can be expressed using Jacobi's formula:

where adj(A) denotes the adjugate of A. In particular, if A is invertible, we have

or, more colloquially,

if the entries in the matrix are sufficiently small. The special case where is equal to the identity matrix yields

6 Generalizations and related functions

As was pointed out above, it is possible to unambiguously define the determinant of any linear map f : V → V, if V is a finite-dimensional vector space.

It makes sense to define the determinant for matrices whose entries come from any commutative ring. The computation rules, the Leibniz formula and the compatibility with matrix multiplication remain valid, except that now a matrix is invertible if and only if is an invertible element of the ground ring.

Abstractly, one may define the determinant as a certain anti-symmetric multilinear map as follows: if is a commutative ring and denotes the free -module with generators, then

is the unique map with the following properties:

det is -linear in each of the arguments.
det is anti-symmetric, meaning that if two of the arguments are equal, then the determinant is zero.
, where is that element of which has a 1 in the -th coordinate and zeros elsewhere.

Linear algebraists prefer to use the multilinear map approach to define determinant, whereas combinatorialists may prefer the Leibniz formula. (Of course, even when using the above abstract approach, one has to use the Leibniz formula to show that such a multilinear map actually exists.)

The Pfaffian is an analog of the determinant for antisymmetric matrices. It is a polynomial of degree , and its square is equal to the determinant of the matrix.

There is no direct generalisation of determinants, or of the notion of volume, to spaces of infinite dimension. There are various approaches possible, including the use of the extension of the trace of a matrix, and functional determinant s.

7 History

Historically, determinants were considered before matrices. Originally, a determinant was defined as a property of a system of linear equations. The determinant "determines" whether the system has a unique solution (which occurs precisely if the determinant is non-zero). In this sense, two-by-two determinants were considered by Cardano at the end of the 16th century and larger ones by Leibniz about 100 years later. Following him Cramer (1750) added to the theory, treating the subject in relation to sets of equations. The recurrent law was first announced by Bezout (1764).

It was Vandermonde (1771) who first recognized determinants as independent functions. Laplace (1772) gave the general method of expanding a determinant in terms of its complementary minors: Vandermonde had already given a special case. Immediately following, Lagrange (1773) treated determinants of the second and third order. Lagrange was the first to apply determinants to questions outside elimination theory; he proved many special cases of general identities.

Gauss (1801) made the next advance. Like Lagrange, he made much use of determinants in the theory of numbers. He introduced the word determinants (Laplace had used resultant), though not in the present signification, but rather as applied to the discriminant of a quantic. Gauss also arrived at the notion of reciprocal (inverse) determinants, and came very near the multiplication theorem.

The next contributor of importance is Binet (1811, 1812), who formally stated the theorem relating to the product of two matrices of columns and rows, which for the special case of reduces to the multiplication theorem. On the same day (Nov. 30, 1812) that Binet presented his paper to the Academy, Cauchy also presented one on the subject. (See Cauchy-Binet formula.) In this he used the word determinant in its present sense, summarized and simplified what was then known on the subject, improved the notation, and gave the multiplication theorem with a proof more satisfactory than Binet's. With him begins the theory in its generality.

The next important figure was Jacobi (from 1827). He early used the functional determinant which Sylvester later called the Jacobian, and in his memoirs in Crelle for 1841 he specially treats this subject, as well as the class of alternating functions which Sylvester has called alternants. About the time of Jacobi's last memoirs, Sylvester (1839) and Cayley began their work.

The study of special forms of determinants has been the natural result of the completion of the general theory. Axisymmetric determinants have been studied by Lebesgue, Hesse, and Sylvester;

persymmetric determinants by Sylvester and Hankel; circulants by Catalan, Spottiswoode , Glaisher, and Scott; skew determinants and Pfaffians, in connection with the theory of orthogonal transformation , by Cayley; continuants by Sylvester; Wronskians (so called by Muir) by Christoffel and Frobenius; compound determinants by Sylvester, Reiss , and Picquet ; Jacobians and Hessians by Sylvester; and symmetric gauche determinants by Trudi . Of the text-books on the subject Spottiswoode's was the first. In America, Hanus (1886) and Weld (1893) published treatises. Matrix theory Linear algebra Abstract algebra Algebra

<Hide>

Home > Determinant