LALect 01
LALect 01
• Introduction
• Linear transformations
0
Welcome to Further Linear Algebra
A reminder of my view:
1
Axioms for Fields
Conventionally:
2
The axioms of arithmetic
(1) a + (b + c) = (a + b) + c [+ is associative]
(2) a+b=b+a [+ is commutative]
(3) a+0=a
(4) (∀ a ∈ F )(∃ b ∈ F )(a + b = 0)
(10) 0 6= 1
3
Vector spaces
Definition: Let F be a field. For example, F could be Q, R,
C, or Fp (same as Zp). A vector space over F is a set V with
distinguished element 0, with a binary operation +, and with a
function × : F × V → V satisfying axioms below.
Conventionally:
4
Vector space axioms
(1) u + (v + w) = (u + v) + w [+ is associative]
(2) u+v =v+u [+ is commutative]
(3) u+0=u
(4) (∀ u ∈ V )(∃ v ∈ V )(u + v = 0)
(5) α(βv) = (αβ)v
(6) α(u + v) = αu + αv
(7) (α + β)v = αv + βv
(8) 1v = v
Note: unquantified axioms are understood to have appropriate
quantifiers ∀ u ∈ V , . . . and/or ∀ α ∈ F , . . . in front.
5
Examples
Example 1: F n is a vector space over F
6
Basic theorems
• ∀ v ∈ V : 0v = 0; ∀ α ∈ F : α0 = 0;
• (∀ α ∈ F )(∀ v ∈ V ) : αv = 0 ⇒ α = 0 or v = 0;
7
Subspaces
Let F be a field, V a vector space over F .
Note: We write U 6 V .
8
Examples
Example 1: Let L1, . . . , Lm be homogeneous linear equations
cij xj = 0 in “variables” x1, . . . , xn with coefficients cij ∈ F ,
P
and let
U := {(x1, . . . , xn) ∈ F n | L1, . . . , Lm} .
Then U 6 F
9
Quotient spaces
Suppose that U 6 V where V is a vector space over a field F .
Define the quotient space V /U as follows:
• set := {x + U | x ∈ V } [additive cosets]
• 0 := U
• addition: (x + U ) + (y + U ) := (x + y) + U
• multiplication by scalars: α(x + U ) := αx + U
10
Revision: dimension
• dimension;
• ∼ F d;
dimV = d ⇒ V =
11
Revision: linear transformations
Let F be a field, V1, V2 vector spaces over F . A map T : V1 → V2
is said to be linear if
T 0 = 0, T (x + y) = T x + T y, and T (λx) = λ(T x)
for all x, y ∈ V and all λ ∈ F .
12
Revision: rank and nullity
13