06-240/Classnotes For Tuesday October 10: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
 
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{06-240/Navigation}}
{{06-240/Navigation}}

====Scan of Lecture Notes====

* PDF file by [[User:Alla]]: [[Media:MAT_Lect009.pdf|Week 5 Lecture 1 notes]]
* PDF file by [[User:Gokmen]]: [[Media:06-240-lecture-10-october.pdf|Week 5 Lecture 1 notes]]


==A Quick Summary by {{Dror}}==
==A Quick Summary by {{Dror}}==
(Intentionally terse. A sea of details appears in the book and already appeared on the blackboard. But these are useless without some '''organizing principles'''; in some sense, "understanding" is precisely being able to see those principles with the sea of details. Yet don't fool yourself into thinking that the principles are enough even without the details!)
(Intentionally terse. A sea of details appears in the book and already appeared on the blackboard. But these are useless without some '''organizing principles'''; in some sense, "understanding" is precisely being able to see those principles within the sea of details. Yet don't fool yourself into thinking that the principles are enough even without the details!)


'''Theorem.''' A finite generating set <math>G</math> has a subset which is a basis.
'''Theorem.''' A finite generating set <math>G</math> has a subset which is a basis.
Line 10: Line 15:
'''Lemma.''' (The Replacement Lemma) If <math>G</math> generates and <math>L</math> is linearly independent, then <math>|L|\leq|G|</math> and you can replace <math>|L|</math> of the elements of <math>G</math> by the elements of <math>L</math>, and still have a generating set.
'''Lemma.''' (The Replacement Lemma) If <math>G</math> generates and <math>L</math> is linearly independent, then <math>|L|\leq|G|</math> and you can replace <math>|L|</math> of the elements of <math>G</math> by the elements of <math>L</math>, and still have a generating set.


'''Proof Sketch.''' Insert the elements of <math>L</math> one by one, and for each one that comes in, take one out of <math>G</math>. Which one? One that is used in expressing the newcomer in terms of the vector currently active. Such one must exist or else the newcomer is a linear combination of the elements of <math>L</math>, but <math>L</math> is linearly independent.
'''Proof Sketch.''' Insert the elements of <math>L</math> one by one, and for each one that comes in, take one out of <math>G</math>. Which one? One used in expressing the newcomer in terms of the vectors already in <math>G</math>. Such a vector must exist or else the newcomer is a linear combination of some of the elements of <math>L</math>, but <math>L</math> is linearly independent.


'''Theorem.''' If a vector space <math>V</math> has a finite basis, all bases thereof are finite and have the same number of elements, the "dimension of <math>V</math>".
'''Theorem.''' If a vector space <math>V</math> has a finite basis, all bases thereof are finite and have the same number of elements, the "dimension of <math>V</math>".
Line 22: Line 27:
'''Proof Sketch.'''
'''Proof Sketch.'''
# Find a basis within <math>G</math>; it has <math>n</math> elements.
# Find a basis within <math>G</math>; it has <math>n</math> elements.
# Use replacement to place the elements of <math>L</math> with some other basis.
# Use replacement to place the elements of <math>L</math> within some basis.

Latest revision as of 21:07, 24 October 2006

06-240/Navigation Panel  
# Week of... Notes and Links
1 Sep 11 About, Tue, HW1, Putnam, Thu
2 Sep 18 Tue, HW2, Thu
3 Sep 25 Tue, HW3, Photo, Thu
4 Oct 2 Tue, HW4, Thu
5 Oct 9 Tue, HW5, Thu
6 Oct 16 Why?, Iso, Tue, Thu
7 Oct 23 Term Test, Thu (double)
8 Oct 30 Tue, HW6, Thu
9 Nov 6 Tue, HW7, Thu
10 Nov 13 Tue, HW8, Thu
11 Nov 20 Tue, HW9, Thu
12 Nov 27 Tue, HW10, Thu
13 Dec 4 On the final, Tue, Thu
F Dec 11 Final: Dec 13 2-5PM at BN3, Exam Forum
Register of Good Deeds
06-240-ClassPhoto.jpg
Add your name / see who's in!
edit the panel

Scan of Lecture Notes

A Quick Summary by Dror

(Intentionally terse. A sea of details appears in the book and already appeared on the blackboard. But these are useless without some organizing principles; in some sense, "understanding" is precisely being able to see those principles within the sea of details. Yet don't fool yourself into thinking that the principles are enough even without the details!)

Theorem. A finite generating set has a subset which is a basis.

Proof Sketch. Grab more and more elements of so long as they are linearly independent. When you can't any more, you have a basis.

Lemma. (The Replacement Lemma) If generates and is linearly independent, then and you can replace of the elements of by the elements of , and still have a generating set.

Proof Sketch. Insert the elements of one by one, and for each one that comes in, take one out of . Which one? One used in expressing the newcomer in terms of the vectors already in . Such a vector must exist or else the newcomer is a linear combination of some of the elements of , but is linearly independent.

Theorem. If a vector space has a finite basis, all bases thereof are finite and have the same number of elements, the "dimension of ".

Proof Sketch. By replacement, and .

Theorem. Assume .

  1. If generates, . In case of equality, is a basis.
  2. If is linearly independent, . In case of equality, is a basis.

Proof Sketch.

  1. Find a basis within ; it has elements.
  2. Use replacement to place the elements of within some basis.
Retrieved from "https://drorbn.net/index.php?title=06-240/Classnotes_For_Tuesday_October_10&oldid=2491"