09-240/Classnotes for Tuesday December 1: Difference between revisions
From Drorbn
Jump to navigationJump to search
No edit summary |
(Format, correct mistakes.) |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{09-240/Navigation}} |
|||
⚫ | |||
<gallery> |
|||
⚫ | |||
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 1.JPG| |
|||
Image:Dec 1 lecture notes Pg 2.JPG| |
|||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
Image:dec1-1.jpg| |
|||
Image:dec1-2.jpg| |
|||
Image:dec1-3.jpg| |
|||
Image:dec1-4.jpg| |
|||
Image:dec1-5.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: |
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.