Tuesday, October 11, 2016

XXXX (Linear Algerbra) XXXX --intuitive way to think about the determinant.

[References]
1. "What is an intuitive way to think about the determinant, from math.stackexchange.com"

Your trouble with determinants is pretty common. 

They’re a hard thing to teach well, too, for two main reasons that I can see: the formulas you learn for computing them are messy and complicated, and there’s no “natural” way to interpret the value of the determinant, the way it’s easy to interpret the derivatives you do in calculus at first as the slope of the tangent line. It’s hard to believe things like the invertibility condition you’ve stated when it’s not even clear what the numbers mean and where they come from.
Rather than show that the many usual definitions are all the same by comparing them to each other, I’m going to state some general properties of the determinant that I claim are enough to specify uniquely what number you should get when you put in a given matrix. Then it’s not too bad to check that all of the definitions for determinant that you’ve seen satisfy those properties I’ll state.
The first thing to think about if you want an “abstract” definition of the determinant to unify all those others is that it’s not an array of numbers with bars on the side. What we’re really looking for is a function that takes N vectors (the N columns of the matrix) and returns a number. Let’s assume we’re working with real numbers for now.
Remember how those operations you mentioned change the value of the determinant?
  1. Switching two rows or columns changes the sign.
  2. Multiplying one row by a constant multiplies the whole determinant by that constant.
  3. The general fact that number two draws from: the determinant is linear in each row. That is, if you think of it as a function det:Rn2R, then
    det(av1+bw1,v2,,vn)=adet(v1,v2,,vn)+bdet(w1,v2,,vn),
    and the corresponding condition in each other slot.
  4. The determinant of the identity matrix I is 1.
I claim that these facts, together with the fact that the determinant of the identity matrix is one, is enough to define a unique function that takes in N vectors (each of length N) and returns a real number, the determinant of the matrix given by those vectors. I won’t prove that, but I’ll show you how it helps with some other interpretations of the determinant.
In particular, there’s a nice geometric way to think of a determinant. Consider the unit cube in N dimensional space: the set of vectors of length N with coordinates 0 or 1 in each spot. The determinant of the linear transformation (matrix) T is the signed volume of the region gotten by applying T to the unit cube. (Don’t worry too much if you don’t know what the “signed” part means, for now).
How does that follow from our abstract definition?
Well, if you apply the identity to the unit cube, you get back the unit cube. And the volume of the unit cube is 1.
If you stretch the cube by a constant factor in one direction only, the new volume is that constant. And if you stack two blocks together aligned on the same direction, their combined volume is the sum of their volumes: this all shows that the signed volume we have is linear in each coordinate when considered as a function of the input vectors.
Finally, when you switch two of the vectors that define the unit cube, you flip the orientation. (Again, this is something to come back to later if you don’t know what that means).
So there are ways to think about the determinant that aren’t symbol-pushing. If you’ve studied multivariable calculus, you could think about, with this geometric definition of determinant, why determinants (the Jacobian) pop up when we change coordinates doing integration. Hint: a derivative is a linear approximations of the associated function, and consider a “differential volume element” in your starting coordinate system.
It’s not too much work to check that the area of the parallelogram formed by vectors (a,b) and (c,d) is |cdab| either: you might try that to get a sense for things.
...

You could think of a determinant as a volume. 

Think of the columns of the matrix as vectors at the origin forming the edges of a skewed box. The determinant gives the volume of that box. For example, in 2 dimensions, the columns of the matrix are the edges of a rhombus.
You can derive the algebraic properties from this geometrical interpretation. For example, if two of the columns are linearly dependent, your box is missing a dimension and so it's been flattened to have zero volume.
If I may, I would add to this answer (which I think is a very good one) in two minor aspects.
  • First, a determinant also has a sign, so we want the concept of oriented volume. (This is somewhat tricky, but definitely important, so you might as well have it in mind when you're learning about "right hand rules" and such.) 
  • Second, I think better than a volume is thinking of the determinant as the multiplicative change in volume of a parallelopiped under the linear transformation. (Of course you can always take the first one to be the unit n-cube and say that you are just dividing by one.)
...
...

No comments:

Post a Comment