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

From Drorbn
Jump to navigationJump to search
No edit summary
(Format, correct mistakes.)
 
(5 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:dec1-1.jpg|700px]]
Image:Dec 1 lecture notes Pg 4.JPG|
[[Image:dec1-2.jpg|700px]]
Image:Dec 1 lecture notes Pg 5.JPG|
[[Image:dec1-3.jpg|700px]]
[[Image:dec1-4.jpg|700px]]
Image:dec1-1.jpg|
[[Image:dec1-5.jpg|700px]]
Image:dec1-2.jpg|
[[Image:dec1-6.jpg|700px]]
Image:dec1-3.jpg|
[[Image:dec1-7.jpg|700px]]
Image:dec1-4.jpg|
[[Image:dec1-8.jpg|700px]]
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 ---
--- Wiki Format ---
Line 17: 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>:

(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.
1. <math>det(E'_{i,j\,\!}A) = -det(A) ; |E'_{i,j\,\!}|= -1. [Note: det(EA) = |E||A|]</math>


The determinant of any matrix can be calculated using the properties above.
* Also, note that exchanging two rows flips the sign.


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


If <math>{\det}' : \mathbb M_{n \times n} \rightarrow F</math> satisfies properties 0-3 above, then <math>\det' = \det</math>
* These are "enough"!


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


Philosophical remark: Why not begin our inquiry with the properties above?
* Adding a multiple of one row to another does not change the determinant.


We must find an implied need for their use; thus, we must know whether a function <math>\det</math> exists first.
The determinant of any matrix can be calculated using the properties above.</math>

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.