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

From Drorbn
Jump to navigationJump to search
No edit summary
 
(Format, correct mistakes.)
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{09-240/Navigation}}
[[Image:Dec 1 lecture notes Pg 1.JPG|600px]]
<gallery>
[[Image:Dec 1 lecture notes Pg 2.JPG|600px]]
Image:ALA240-2009_-_December_1st.pdf|A complete set of the December 1st lecture notes given by Professor Dror Bar-Natan for the Fall Session of MAT240 at the University of Toronto.
[[Image:Dec 1 lecture notes Pg 3.JPG|600px]]
[[Image:Dec 1 lecture notes Pg 4.JPG|600px]]
Image:Dec 1 lecture notes Pg 1.JPG|
[[Image:Dec 1 lecture notes Pg 5.JPG|600px]]
Image:Dec 1 lecture notes Pg 2.JPG|
Image:Dec 1 lecture notes Pg 3.JPG|
Image:Dec 1 lecture notes Pg 4.JPG|
Image:Dec 1 lecture notes Pg 5.JPG|
Image:dec1-1.jpg|
Image:dec1-2.jpg|
Image:dec1-3.jpg|
Image:dec1-4.jpg|
Image:dec1-5.jpg|
Image:dec1-6.jpg|
Image:dec1-7.jpg|
Image:dec1-8.jpg|
</gallery>

~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 <math>\det : \mathbb M_{n \times n} \rightarrow F</math>:

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

0. <math>\,\! \det(I) = 1</math>

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

: Exchanging two rows flips the sign.

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

: These are "enough"!

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.

'''Theorem''':

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>

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.

Latest revision as of 23:24, 7 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.