12-240/Classnotes for Thursday October 4: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
Line 1: Line 1:
== Reminders ==
'''Recap'''
Web Fact: No link, doesn't exist!
Life Fact: Dror doesn't do email math!
Riddle: Professor and lion in a ring with V_p = V_l, help the professor live as long as possible.

== Recap == '


Base - what were doing today
Base - what were doing today
Line 9: Line 14:
Generate - We say S generates a vector space V is span(S) = V
Generate - We say S generates a vector space V is span(S) = V


==== Introduction to Basis ====
== Pre - Basis ==


'''Linear dependance'''
'''Linear dependance'''




'''Definition''' A set S subsetof V is called linearly dependant if you can express the zero vector as a linear combination of distinct vectors from S, excluding the non-trivial linear combination where all of the scalars are 0.
'''Definition''' A set S V is called linearly dependant if you can express the zero vector as a linear combination of distinct vectors from S, excluding the non-trivial linear combination where all of the scalars are 0.




Line 37: Line 42:
⇒ a1 = a2 = ... = an = 0!
⇒ a1 = a2 = ... = an = 0!


=== Comments ===
1. {∅} is linearly independent. (Think about logical statements like "all elements of the empty set are purple")
2. {u} is linearly independent when u≠0.


Proof:
Proof:
⇐ If u≠0, suppose au =0
By property (a*u = 0, a = 0 or u = 0), a = 0. Thus, {u} is linearly independent.

⇒ By definition, au = 0 for {u} only when a = 0.


Exercise: Prove: '''Theorem''' Suppose S1 ⊂ S2 ⊂ V.

-> If S1 is linearly dependant, then S2 is dependant.
-> If S2 is linearly independent, then S1 is linearly independent. (Hint: contrapositive)

== Basis ==

'''Definition''': A subset β is called a basis if 1. β generates V → span(β) = V and 2. β is linearly independent.


===Examples===

1. V = {0}, β = {}

2. {ei} for F^n, this is what we call the '''standard basis'''

3. B = {(1,1),(1, -1)} is a basis for R^2

4. P_n(F) β = {x^n, x^n-1, ... , x^1, x^0}

5. P(F), β = (x^0, x^1 ... and on} ('''Infinite basis'''!)

Revision as of 20:04, 4 October 2012

Reminders

Web Fact: No link, doesn't exist! Life Fact: Dror doesn't do email math! Riddle: Professor and lion in a ring with V_p = V_l, help the professor live as long as possible.

== Recap == '

Base - what were doing today

Linear combination (lc) - We say v is a linear combination of a set S = {u1 ... un} if v = a1u1 ... anun for scalars from a field F.

Span - span(S) is the set of all linear combination of set S

Generate - We say S generates a vector space V is span(S) = V

Pre - Basis

Linear dependance


Definition A set S ⊂ V is called linearly dependant if you can express the zero vector as a linear combination of distinct vectors from S, excluding the non-trivial linear combination where all of the scalars are 0.


Otherwise, we call S linearly independant.

Examples

1. In R^3, take S = {u1 = (1,4,7), u2 = (2,5,8), u3 = (3,6,9)}

u1 - 2u2 + u3 = 0

S is linearly dependant.

2. In R^n, take {e_i} = {0, 0, ... 1, 0, 0, 0} where 1 is in the ith position, and (ei) is a vector with n entries.

Claim: This set is linearly independent.

Proof: Suppose (∑ ai*ei) = 0 ({ei} is linearly dependant.)

(∑ ai*ei) = 0 ⇔ a1(1, 0, ..., 0) + ... + an(0, ..., 0, 1) = 0 ⇔ (a1, 0, ... , 0) + ... + (0, ... , an) = 0

⇒ a1 = a2 = ... = an = 0!


Proof: ⇐ If u≠0, suppose au =0 By property (a*u = 0, a = 0 or u = 0), a = 0. Thus, {u} is linearly independent.

⇒ By definition, au = 0 for {u} only when a = 0.


Exercise: Prove: Theorem Suppose S1 ⊂ S2 ⊂ V.

-> If S1 is linearly dependant, then S2 is dependant. -> If S2 is linearly independent, then S1 is linearly independent. (Hint: contrapositive)

Basis

Definition: A subset β is called a basis if 1. β generates V → span(β) = V and 2. β is linearly independent.


Examples

1. V = {0}, β = {}

2. {ei} for F^n, this is what we call the standard basis

3. B = {(1,1),(1, -1)} is a basis for R^2

4. P_n(F) β = {x^n, x^n-1, ... , x^1, x^0}

5. P(F), β = (x^0, x^1 ... and on} (Infinite basis!)