09-240/Classnotes for Tuesday December 1

From Drorbn
Revision as of 00:06, 5 December 2009 by Kjgry (Talk | contribs)

Jump to: navigation, search

~In the above gallery, there is a complete copy of notes for the lecture given on December 1st by Professor Natan (in PDF format).

--- Wiki Format ---

MAT240 – December 1st

Basic Properties of det: Mnxn→F: 0 det(I) = 1

1. det(E'_{i,j\,\!}A) = -det(A) ; |E'_{i,j\,\!}|= -1. [Note: det(EA) = |E||A|]

  • Also, note that exchanging two rows flips the sign.

2. det(E^2_{i,c\,\!}A) = det(A) ; |E^2_{i,j,c\,\!}| = 1

  • These are "enough"!

3. det((E_{i,j,c\,\!}A) = det(A) ; |E^3_{i,j,c\,\!}| = 1

  • Adding a multiple of one row to another does not change the determinant.

The determinant of any matrix can be calculated using the properties above.

Theorem:

If  det' : M_{nxn\,\!}→F satisfies properties 0-3 above, then det' = det

det(A) = det'(A)

Philosophical remark: Why not begin our inquiry with the properties above?

We must find an implied need for their use; thus, we must know whether a function det exists first.