Loading [MathJax]/jax/output/CommonHTML/jax.js

determinant as a multilinear mapping


Let ๐Œ=(Mij) be an nร—n matrix with entries in a field K. The matrix ๐Œ is really the same thing as a list of n column vectorsMathworldPlanetmath of size n. Consequently, the determinantMathworldPlanetmath operationMathworldPlanetmath may be regarded as a mapping

det:n timesโžKnร—โ€ฆร—Knโ†’K

The determinant of a matrix ๐Œ is then defined to be det(๐Œ1,โ€ฆ,๐Œn), where ๐ŒjโˆˆKn denotes the jth column of ๐Œ.

Starting with the definition

det(๐Œ1,โ€ฆ,๐Œn)=โˆ‘ฯ€โˆˆSnsgn(ฯ€)M1ฯ€1M2ฯ€2โ‹ฏMnฯ€n (1)

the following properties are easily established:

  1. 1.

    the determinant is multilinear;

  2. 2.

    the determinant is anti-symmetric;

  3. 3.

    the determinant of the identity matrixMathworldPlanetmath is 1.

These three properties uniquely characterize the determinant, and indeed can โ€” some would say should โ€” be used as the definition of the determinant operation.

Let us prove this. We proceed by representing elements of Kn as linear combinationsMathworldPlanetmath of

๐ž1=(100โ‹ฎ0),๐ž2=(010โ‹ฎ0),โ€ฆโ€ƒ๐žn=(000โ‹ฎ1),

the standard basis of Kn. Let ๐Œ be an nร—n matrix. The jth column is represented as โˆ‘iMij๐ži; whence using multilinearity

det(๐Œ) =det(โˆ‘iMi1๐ži,โˆ‘iMi2๐ži,โ€ฆ,โˆ‘iMin๐ži)
=nโˆ‘i1,โ€ฆ,in=1Mi11Mi22โ‹ฏMinndet(๐ži1,๐ži2,โ€ฆ,๐žin)

The anti-symmetry assumptionPlanetmathPlanetmath implies that the expressions det(๐ži1,๐ži2,โ€ฆ,๐žin) vanish if any two of the indices i1,โ€ฆ,in coincide. If all n indices are distinct,

det(๐ži1,๐ži2,โ€ฆ,๐žin)=ยฑdet(๐ž1,โ€ฆ,๐žn),

the sign in the above expression being determined by the number of transpositionsMathworldPlanetmath required to rearrange the list (i1,โ€ฆ,in) into the list (1,โ€ฆ,n). The sign is therefore the parity of the permutationMathworldPlanetmath (i1,โ€ฆ,in). Since we also assume that

det(๐ž1,โ€ฆ,๐žn)=1,

we now recover the original definition (1).

Title determinant as a multilinear mapping
Canonical name DeterminantAsAMultilinearMapping
Date of creation 2013-03-22 13:09:17
Last modified on 2013-03-22 13:09:17
Owner rmilson (146)
Last modified by rmilson (146)
Numerical id 5
Author rmilson (146)
Entry type Theorem
Classification msc 15A15
Related topic ExteriorAlgebra