09-240/Classnotes for Tuesday December 1: Difference between revisions

From Drorbn
Jump to navigationJump to search
mNo edit summary
(Format, correct mistakes.)
 
Line 23: Line 23:
MAT240 – December 1st
MAT240 – December 1st


Basic Properties of det: M<sub>nxn</sub>→F: 0 det(I) = 1
Basic Properties of <math>\det : \mathbb M_{n \times n} \rightarrow F</math>:


1. <math>det(E'_{i,j\,\!}A) = -det(A) ; |E'_{i,j\,\!}|= -1. [Note: det(EA) = |E||A|]</math>
(Note that det(''EA'') = det(''E'')·det(''A'') and that det(''A'') may be written as |''A''|.)


0. <math>\,\! \det(I) = 1</math>
* Also, note that exchanging two rows flips the sign.


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


: Exchanging two rows flips the sign.
* These are "enough"!


3. <math>det((E_{i,j,c\,\!}A) = det(A) ; |E^3_{i,j,c\,\!}| = 1</math>
2. <math>\det(E^2_{i,c}A) = c \cdot \det(A) ; |E^2_{i,c}| = c</math>


: These are "enough"!
* Adding a multiple of one row to another does not change the determinant.

3. <math>\det(E^3_{i,j,c}A) = \det(A) ; |E^3_{i,j,c}| = 1</math>

: 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.
The determinant of any matrix can be calculated using the properties above.


<b>Theorem:</b>
'''Theorem''':


If <math> det' : M_{nxn\,\!}</math>→F satisfies properties 0-3 above, then <math>det' = det</math>
If <math>{\det}' : \mathbb M_{n \times n} \rightarrow F</math> satisfies properties 0-3 above, then <math>\det' = \det</math>


<math>det(A) = det'(A)</math>
<math>\det(A) = \det'(A)</math>


Philosophical remark: Why not begin our inquiry with the properties above?
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 <math>det</math> exists first.
We must find an implied need for their use; thus, we must know whether a function <math>\det</math> exists first.

Latest revision as of 00:24, 8 December 2009

~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 :

(Note that det(EA) = det(E)·det(A) and that det(A) may be written as |A|.)

0.

1.

Exchanging two rows flips the sign.

2.

These are "enough"!

3.

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 satisfies properties 0-3 above, then

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 exists first.