Theorem List ↑

Vector Spaces

Page 1: Definition of a vector space

Axioms
1. Page 1: Commutativity — v + w = w + v
2. Page 1: Associativity — (u + v) + w = u + (v + w)
3. Page 1: Zero Vector — (∃0)[v + 0 = v]

• Gp Hw 1 Q6 (Proof 1): 0 is unique

• Gp Hw 3 Q3 (Proof 2): 0v = 0
• (Proof 3): α0 = 0
• (Proof 4): αv = 0 iff α = 0 or v = 0
4. Page 1: Additive Inverse — (∀v)(∃w)[v + w = 0]

• Exam 1 Q1 (Proof 5): −1v is the unique additive inverse of v

5. Page 1: Multiplicative Identity — 1v = v
• (Proof 6): αv = v iff α = 1 or v = 0
• (Proof 7): αv = βv iff α = β or v = 0
6. Page 2: Multiplicative Associativity — (αβ)v = α(βv)
7. Page 2: Distributivity Over Vectors — α(v + w) = αv + αw
8. Page 2: Distributivity Over Scalars — (α + β)v = αv + βv
9. Unlisted: Closure Under Addition
10. Unlisted: Closure Under Scalar Multiplication

Examples
R C
• Page 3: Rn , Cn , Mm×n , Mm×n , Mm×n
• Page 4: Pn
• Page 18: L(V, W ) is a vector space
– Page 18: Definition of linear transformation addition
– Page 18: Definition of linear transformation scalar multiplication
• Unlisted: P, F∞
• Unlisted: Diagonal Matrices, Upper Triangular Matrices, Lower Triangular Matrices
• Unlisted: Functions

Non-Examples
• Unlisted: Similar matrices, triangular matrices