Definition of the Determinant of a Matrix

[zeta12ti]

How could one derive a definition of the determinant from some of its basic properties such as det of product = product of dets or the determinant of a transpose is the determinant of the untransposed matrix?

Upon instigating research on determiniants, all I've found are definitions that either only cover lower dimensional matrices or define the determinant to be some strange expression with little motivation.

 

[lavinia]

I think the determinant is the only mutilinear alternating function in the vector space - up to a constant. If you require the map to have a value of 1 on the identity matrix then you get the determinant.

Try proving this - say by induction.

 

[zhentil]

I think the determinant is the only mutilinear alternating function in the vector space - up to a constant. If you require the map to have a value of 1 on the identity matrix then you get the determinant.

To clarify, Lavinia means that the top exterior power of a vector space is one-dimensional. I.e. for an n-dimensional vector space V, the vector space of alternating, multilinear functions f:V^n->R is one-dimensional. This is only true for the top dimension.

 

[lavinia]

To clarify, Lavinia means that the top exterior power of a vector space is one-dimensional. I.e. for an n-dimensional vector space V, the vector space of alternating, multilinear functions f:V^n->R is one-dimensional. This is only true for the top dimension.

Yes. this is the same statement.

the determinant is a polynomial in the matrix entries. I wonder how this all translates into the properties of this polynomial.

 

[lavinia]

Yes. this is the same statement.

the determinant is a polynomial in the matrix entries. I wonder how this all translates into the properties of this polynomial.

How about this as another way to think of the determinant. Consider all functions on square matrices that are constant under conjugation.

f(X) = f(AXA ^-1)

for all square matrices X and invertible square matrices ,A.

For instance the trace is such a function.

Define the determinant to be that function which equals the product of the diagonal entries on any diagonal matrix.

 

[zeta12ti]

Thanks for the responses. However, I have a question.
Is the determinant uniquely determined by its multilinearity and the properties I mentioned above?
I am hoping that the determinant can be made into a type of analogue of the complex abosolute value with as few other conditions as possible (alternating multilinear is a bit too...esoteric for my tastes)

 

[lavinia]

Thanks for the responses. However, I have a question.
Is the determinant uniquely determined by its multilinearity and the properties I mentioned above?
I am hoping that the determinant can be made into a type of analogue of the complex abosolute value with as few other conditions as possible (alternating multilinear is a bit too...esoteric for my tastes)

alternating multilinear on any n-vectors uniquely determines the determinant up to a constant.

 

[Tobias Funke]

I like how it's covered in Linear Algebra Done Wrong, which is free and easy to find online. Once he gets to the definition of determinant I think the coverage is pretty standard but the motivation behind the definition is nicely included.

 

[slider142]

Thanks for the responses. However, I have a question.
Is the determinant uniquely determined by its multilinearity and the properties I mentioned above?
I am hoping that the determinant can be made into a type of analogue of the complex abosolute value with as few other conditions as possible (alternating multilinear is a bit too...esoteric for my tastes)

An equivalent definition is that the determinant is the product of the eigenvalues of the linear transformation that corresponds to the matrix (ie., it is the factor of signed scale of n-paralleletopes embedded in the target vector space versus the domain). This definition is a bit more intuitive and easier to work with geometrically. If you're looking for a formula that refers directly to the entries of an arbitrary matrix representation of the linear transformation, then you are left with the alternating multilinear map, embodied in the Levi-Civita symbol or Laplace's expansion by minors (equivalent, just re-ordered).
The relation between the two definitions is derived through basic geometric algebra (the wedge product).

 

[lurflurf]

^The product of eigenvalues is not equivalent or helpful is the matrix does not have any eigenvalues.