Professional Documents
Culture Documents
LA Lect 9 (Vspace) 2023
LA Lect 9 (Vspace) 2023
Department of Mathematics
IIT Guwahati
March-June 2023
1 / 17
Vector spaces
Topics:
Vector Spaces and Subspaces
Linear Independence
Basis and Dimension
2 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 Associative: For all α, β, γ, (α + β) + γ = α + (β + γ) and (α · β) · γ = α · (β · γ).
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 Associative: For all α, β, γ, (α + β) + γ = α + (β + γ) and (α · β) · γ = α · (β · γ).
4 Identity: There exist 0 ∈ F and 1 ∈ F such that α + 0 = α and 1 · α = α for all
α ∈ F.
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 Associative: For all α, β, γ, (α + β) + γ = α + (β + γ) and (α · β) · γ = α · (β · γ).
4 Identity: There exist 0 ∈ F and 1 ∈ F such that α + 0 = α and 1 · α = α for all
α ∈ F.
5 Inverse: For α ∈ F, there exist β, γ ∈ F such that α + β = 0, and α · γ = 1 when
α 6= 0.
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 Associative: For all α, β, γ, (α + β) + γ = α + (β + γ) and (α · β) · γ = α · (β · γ).
4 Identity: There exist 0 ∈ F and 1 ∈ F such that α + 0 = α and 1 · α = α for all
α ∈ F.
5 Inverse: For α ∈ F, there exist β, γ ∈ F such that α + β = 0, and α · γ = 1 when
α 6= 0. β is denoted by −α and γ by α−1 or 1/α.
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 Associative: For all α, β, γ, (α + β) + γ = α + (β + γ) and (α · β) · γ = α · (β · γ).
4 Identity: There exist 0 ∈ F and 1 ∈ F such that α + 0 = α and 1 · α = α for all
α ∈ F.
5 Inverse: For α ∈ F, there exist β, γ ∈ F such that α + β = 0, and α · γ = 1 when
α 6= 0. β is denoted by −α and γ by α−1 or 1/α.
6 Distributive: For all α, β, γ ∈ F, α · (β + γ) = (α · β) + (α · γ).
3 / 17
Fields
A field is a set F with two binary operations called addition, denoted by +, and
multiplication, denoted by ·, satisfying the following field axioms:
1 Closure: For all α, β ∈ F, the sum α + β ∈ F and the product α · β ∈ F.
2 Commutative: For all α, β ∈ F, α + β = β + α and α · β = β · α.
3 Associative: For all α, β, γ, (α + β) + γ = α + (β + γ) and (α · β) · γ = α · (β · γ).
4 Identity: There exist 0 ∈ F and 1 ∈ F such that α + 0 = α and 1 · α = α for all
α ∈ F.
5 Inverse: For α ∈ F, there exist β, γ ∈ F such that α + β = 0, and α · γ = 1 when
α 6= 0. β is denoted by −α and γ by α−1 or 1/α.
6 Distributive: For all α, β, γ ∈ F, α · (β + γ) = (α · β) + (α · γ).
Remark: Elements of F are referred to as scalars. For vector spaces, the real field R
can be replaced with any field F.
3 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z?
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5.
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field.
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field. Here 3 + 4 = 2, 4 · 2 = 3, etc.
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field. Here 3 + 4 = 2, 4 · 2 = 3, etc.
" #
1 2
Consider A = over Z5 . Then A is invertible and the inverse is given by
2 1
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field. Here 3 + 4 = 2, 4 · 2 = 3, etc.
" #
1 2
Consider A = over Z5 . Then A is invertible and the inverse is given by
2 1
" #
3 4
A−1 = .
4 3
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field. Here 3 + 4 = 2, 4 · 2 = 3, etc.
" #
1 2
Consider A = over Z5 . Then A is invertible and the inverse is given by
2 1
" # " #−1 " #
3 4 a b d −b
A−1 = . Use the formula = (ad − bc)−1 .
4 3 c d −c a
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field. Here 3 + 4 = 2, 4 · 2 = 3, etc.
" #
1 2
Consider A = over Z5 . Then A is invertible and the inverse is given by
2 1
" # " #−1 " #
3 4 a b d −b
A−1 = . Use the formula = (ad − bc)−1 .
4 3 c d −c a
The system Ax = [3 4]T has unique solution and is given by x = A−1 [3 4]T = [0 4]T .
4 / 17
Examples
The sets of real, complex and rational numbers R, C and Q, respectively, are fields
with usual addition and multiplication.
What about Z? For instance, 2 does not have a multiplicative inverse. Hence Z is
NOT a field.
Consider Z5 = {0, 1, 2, 3, 4}, and define a + b := (a + b) mod 5 and a · b := (ab)
mod 5. Then Z5 is a field. Here 3 + 4 = 2, 4 · 2 = 3, etc.
" #
1 2
Consider A = over Z5 . Then A is invertible and the inverse is given by
2 1
" # " #−1 " #
3 4 a b d −b
A−1 = . Use the formula = (ad − bc)−1 .
4 3 c d −c a
The system Ax = [3 4]T has unique solution and is given by x = A−1 [3 4]T = [0 4]T .
Remark: For any field, usually one writes ab instead of a · b.
4 / 17
Vector Spaces
A vector space (VS) over a field F is a nonempty set V with two binary operations
called vector addition, denoted by +, and scalar multiplication, denoted by ·, satisfying
the following axioms:
5 / 17
Vector Spaces
A vector space (VS) over a field F is a nonempty set V with two binary operations
called vector addition, denoted by +, and scalar multiplication, denoted by ·, satisfying
the following axioms: For u, v, w in V and scalars α, β in F
1 Closure: u + v ∈ V and α · u ∈ V
2 Commutativity: u + v = v + u
3 Associativity: (u + v) + w = u + (v + w)
4 Identity: u + 0 = u
5 Inverse: u + (−u) = 0
5 / 17
Vector Spaces
A vector space (VS) over a field F is a nonempty set V with two binary operations
called vector addition, denoted by +, and scalar multiplication, denoted by ·, satisfying
the following axioms: For u, v, w in V and scalars α, β in F
1 Closure: u + v ∈ V and α · u ∈ V
2 Commutativity: u + v = v + u
3 Associativity: (u + v) + w = u + (v + w)
4 Identity: u + 0 = u
5 Inverse: u + (−u) = 0
6 Distributivity : α(u + v) = αu + αv
7 Distributivity : (α + β)u = αu + βu
8 Associativity: α(βu) = (αβ)u
9 Identity: 1u = u.
5 / 17
Vector Spaces
A vector space (VS) over a field F is a nonempty set V with two binary operations
called vector addition, denoted by +, and scalar multiplication, denoted by ·, satisfying
the following axioms: For u, v, w in V and scalars α, β in F
1 Closure: u + v ∈ V and α · u ∈ V
2 Commutativity: u + v = v + u
3 Associativity: (u + v) + w = u + (v + w)
4 Identity: u + 0 = u
5 Inverse: u + (−u) = 0
6 Distributivity : α(u + v) = αu + αv
7 Distributivity : (α + β)u = αu + βu
8 Associativity: α(βu) = (αβ)u
9 Identity: 1u = u.
The elements of V are vectors and the elements of F are scalars.
5 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
Fm×n := {[aij ]m×n : aij ∈ F} is a vector space over F under matrix addition and
scalar-matrix multiplication.
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
Fm×n := {[aij ]m×n : aij ∈ F} is a vector space over F under matrix addition and
scalar-matrix multiplication.
Exercise: Check whether the following are vector spaces (under the usual operations).
(a) All n × n symmetric matrices?
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
Fm×n := {[aij ]m×n : aij ∈ F} is a vector space over F under matrix addition and
scalar-matrix multiplication.
Exercise: Check whether the following are vector spaces (under the usual operations).
(a) All n × n symmetric matrices? (b) All n × n skew symmetric matrices?
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
Fm×n := {[aij ]m×n : aij ∈ F} is a vector space over F under matrix addition and
scalar-matrix multiplication.
Exercise: Check whether the following are vector spaces (under the usual operations).
(a) All n × n symmetric matrices? (b) All n × n skew symmetric matrices? (c) All
m × n upper-triangular matrices?
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
Fm×n := {[aij ]m×n : aij ∈ F} is a vector space over F under matrix addition and
scalar-matrix multiplication.
Exercise: Check whether the following are vector spaces (under the usual operations).
(a) All n × n symmetric matrices? (b) All n × n skew symmetric matrices? (c) All
m × n upper-triangular matrices? (d) All m × n matrices with a11 = 0?
6 / 17
Examples
Fn over F, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication induced from F.
Cn over R, for n ≥ 1, is a vector space w.r.t. usual addition and scalar
multiplication.
Rn over Q, for n ≥ 1, is a vector space w.r.t. usual operations of addition and
scalar multiplication.
Fm×n := {[aij ]m×n : aij ∈ F} is a vector space over F under matrix addition and
scalar-matrix multiplication.
Exercise: Check whether the following are vector spaces (under the usual operations).
(a) All n × n symmetric matrices? (b) All n × n skew symmetric matrices? (c) All
m × n upper-triangular matrices? (d) All m × n matrices with a11 = 0? (e) All n × n
matrices A such that A2 = A?
6 / 17
Vector spaces
7 / 17
Vector spaces
Remark: A vector space V over R is called a real vector space. A vector space V over
C is called a complex vector space.
7 / 17
Vector spaces
Remark: A vector space V over R is called a real vector space. A vector space V over
C is called a complex vector space. We mostly consider real and complex vector spaces.
7 / 17
Vector spaces
Remark: A vector space V over R is called a real vector space. A vector space V over
C is called a complex vector space. We mostly consider real and complex vector spaces.
Remark: Notice that the definition of a vector space neither specifies what the set V
consists of
7 / 17
Vector spaces
Remark: A vector space V over R is called a real vector space. A vector space V over
C is called a complex vector space. We mostly consider real and complex vector spaces.
Remark: Notice that the definition of a vector space neither specifies what the set V
consists of nor does it specify what the operations on V called vector addition and
scalar multiplication look like.
7 / 17
Vector spaces
Remark: A vector space V over R is called a real vector space. A vector space V over
C is called a complex vector space. We mostly consider real and complex vector spaces.
Remark: Notice that the definition of a vector space neither specifies what the set V
consists of nor does it specify what the operations on V called vector addition and
scalar multiplication look like. Often, they will be familiar, but they need not be.
7 / 17
Vector spaces
Remark: A vector space V over R is called a real vector space. A vector space V over
C is called a complex vector space. We mostly consider real and complex vector spaces.
Remark: Notice that the definition of a vector space neither specifies what the set V
consists of nor does it specify what the operations on V called vector addition and
scalar multiplication look like. Often, they will be familiar, but they need not be.
Remark: The vector addition + and the scalar multiplication · are actually functions
and they should not be confused with addition and multiplication of real or complex
numbers.
7 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed.
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check).
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check). What is the zero vector?
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check). What is the zero vector? Since u + 1 = u and u + u1 = 1,
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check). What is the zero vector? Since u + 1 = u and u + u1 = 1, it
follows that 1 is the zero vector
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check). What is the zero vector? Since u + 1 = u and u + u1 = 1, it
follows that 1 is the zero vector and 1/u is the additive inverse −u of u in V.
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check). What is the zero vector? Since u + 1 = u and u + u1 = 1, it
follows that 1 is the zero vector and 1/u is the additive inverse −u of u in V.
8 / 17
An exotic example
Let V := {u ∈ R : u > 0}. For u, v ∈ V and α ∈ R, define vector addition and scalar
multiplication on V by
u + v := uv and α · v := vα .
Note that 1 + 1 = 1 and 2 · 1 = 12 = 1 - strange indeed. Nevertheless, V is a vector
space over R (check). What is the zero vector? Since u + 1 = u and u + u1 = 1, it
follows that 1 is the zero vector and 1/u is the additive inverse −u of u in V.
9 / 17
Properties of vectors
9 / 17
Properties of vectors
0u + 0u = (0 + 0)u = 0u
9 / 17
Properties of vectors
9 / 17
Properties of vectors
9 / 17
Properties of vectors
2 α0 = 0 for all α ∈ F.
9 / 17
Properties of vectors
9 / 17
Properties of vectors
9 / 17
Properties of vectors
9 / 17
Properties of vectors
u + (−1)u = 1u + (−1)u
9 / 17
Properties of vectors
9 / 17
Properties of vectors
9 / 17
Properties of vectors
9 / 17
Properties of vectors
4 If αu = 0 then either α = 0 or u = 0.
9 / 17
Properties of vectors
9 / 17
Vector space of polynomials
The vector space Pn : Let Pn denote the set of all polynomials of degree at most n. For
p, q ∈ Pn and α ∈ R, define
The zero vector is the zero polynomial. Then Pn is a vector space over R.
10 / 17
Vector space of polynomials
The vector space Pn : Let Pn denote the set of all polynomials of degree at most n. For
p, q ∈ Pn and α ∈ R, define
The zero vector is the zero polynomial. Then Pn is a vector space over R.
The vector space R[x] : Let R[x] denote the set of all polynomials in x with real
coefficients. For p, q ∈ R[x] and α ∈ R, define
The zero vector is the zero polynomial. Then R[x] is a vector space over R.
10 / 17
Vector space of polynomials
The vector space Pn : Let Pn denote the set of all polynomials of degree at most n. For
p, q ∈ Pn and α ∈ R, define
The zero vector is the zero polynomial. Then Pn is a vector space over R.
The vector space R[x] : Let R[x] denote the set of all polynomials in x with real
coefficients. For p, q ∈ R[x] and α ∈ R, define
The zero vector is the zero polynomial. Then R[x] is a vector space over R.
Vector space of polynomials over the field Q, C and F is defined similarly.
10 / 17
Function spaces
The vector space C [a, b] : Let C [a, b] denote the set of all continuous functions
f : [a, b] −→ R. For f , g ∈ C [a, b] and α ∈ R, define
The zero vector is the zero function. Then C [a, b] is a vector space over R.
11 / 17
Function spaces
The vector space C [a, b] : Let C [a, b] denote the set of all continuous functions
f : [a, b] −→ R. For f , g ∈ C [a, b] and α ∈ R, define
The zero vector is the zero function. Then C [a, b] is a vector space over R.
The vector space C m [a, b] : Let C m [a, b] denote the set of all m times continuously
differentiable functions f : [a, b] −→ R. For f , g ∈ C [a, b] and α ∈ R, define
The zero vector is the zero function. Then C m [a, b] is a vector space over R.
11 / 17
Function spaces
The vector space C [a, b] : Let C [a, b] denote the set of all continuous functions
f : [a, b] −→ R. For f , g ∈ C [a, b] and α ∈ R, define
The zero vector is the zero function. Then C [a, b] is a vector space over R.
The vector space C m [a, b] : Let C m [a, b] denote the set of all m times continuously
differentiable functions f : [a, b] −→ R. For f , g ∈ C [a, b] and α ∈ R, define
The zero vector is the zero function. Then C m [a, b] is a vector space over R.
The set V := {f : (a, b) → R | f 00 − 3f 0 + 7f = 0} is a vector space over R.
11 / 17
Function spaces
12 / 17
Function spaces
The vector space F(R): Let F(R) denote the set of all functions f : R −→ R. For
f , g ∈ F(R) and α ∈ R, define
The zero vector is the zero function. Then F(R) is a vector space over R.
13 / 17
Function spaces
The vector space F(R): Let F(R) denote the set of all functions f : R −→ R. For
f , g ∈ F(R) and α ∈ R, define
The zero vector is the zero function. Then F(R) is a vector space over R.
Even functions: Let Fe (R) := {f ∈ F(R) : f (−x) = f (x)} be the set of all even
functions. Then Fe (R) is a vector space over R
13 / 17
Function spaces
The vector space F(R): Let F(R) denote the set of all functions f : R −→ R. For
f , g ∈ F(R) and α ∈ R, define
The zero vector is the zero function. Then F(R) is a vector space over R.
Even functions: Let Fe (R) := {f ∈ F(R) : f (−x) = f (x)} be the set of all even
functions. Then Fe (R) is a vector space over R
Odd functions: Let Fo (R) := {f ∈ F(R) : f (−x) = −f (x)} be the set of all odd
functions. Then Fo (R) is a vector spaces over R.
13 / 17
Subspace
14 / 17
Subspace
14 / 17
Subspace
14 / 17
Subspace
14 / 17
Subspace
14 / 17
Subspace
14 / 17
Examples
(" # )
a −b
Let W := : a, b ∈ R . Then W is a subspace of R2×2 .
b a
15 / 17
Examples
(" # )
a −b
Let W := : a, b ∈ R . Then W is a subspace of R2×2 .
b a
The set Sn of all symmetric matrices in Cn×n is a subspace of Cn×n .
15 / 17
Examples
(" # )
a −b
Let W := : a, b ∈ R . Then W is a subspace of R2×2 .
b a
The set Sn of all symmetric matrices in Cn×n is a subspace of Cn×n .
The vector space Pn is a subspace of R[x].
15 / 17
Examples
(" # )
a −b
Let W := : a, b ∈ R . Then W is a subspace of R2×2 .
b a
The set Sn of all symmetric matrices in Cn×n is a subspace of Cn×n .
The vector space Pn is a subspace of R[x].
The vector space C m [a, b] is a subspace of C [a, b].
15 / 17
Examples
(" # )
a −b
Let W := : a, b ∈ R . Then W is a subspace of R2×2 .
b a
The set Sn of all symmetric matrices in Cn×n is a subspace of Cn×n .
The vector space Pn is a subspace of R[x].
The vector space C m [a, b] is a subspace of C [a, b].
The vector spaces Fe (R) and Fo (R) are subspaces of F(R).
15 / 17
Linear combination and span
16 / 17
Linear combination and span
The collection of all linear combinations of the vectors v1 , . . . , v` is called the span of
v1 , . . . , v` and is denoted by span(v1 , . . . , v` ).
16 / 17
Linear combination and span
The collection of all linear combinations of the vectors v1 , . . . , v` is called the span of
v1 , . . . , v` and is denoted by span(v1 , . . . , v` ).
16 / 17
Linear combination and span
The collection of all linear combinations of the vectors v1 , . . . , v` is called the span of
v1 , . . . , v` and is denoted by span(v1 , . . . , v` ).
16 / 17
Examples
P2 = span(1, x, x 2 ) = span(1 + x, 1 − x, 1 + x + x 2 ).
17 / 17
Examples
P2 = span(1, x, x 2 ) = span(1 + x, 1 − x, 1 + x + x 2 ).
R[x] = span({x n−1 : n ∈ N}).
17 / 17
Examples
P2 = span(1, x, x 2 ) = span(1 + x, 1 − x, 1 + x + x 2 ).
R[x] = span({x n−1 : n ∈ N}).
R2×3 = span(E11 , E12 , E13 , E21 , E22 , E23 ), where
" # " # " #
1 0 0 0 1 0 0 0 1
E11 = , E12 = , E13 =
0 0 0 0 0 0 0 0 0
" # " # " #
0 0 0 0 0 0 0 0 0
E21 = , E22 = , E23 =
1 0 0 0 1 0 0 0 1
17 / 17
Examples
P2 = span(1, x, x 2 ) = span(1 + x, 1 − x, 1 + x + x 2 ).
R[x] = span({x n−1 : n ∈ N}).
R2×3 = span(E11 , E12 , E13 , E21 , E22 , E23 ), where
" # " # " #
1 0 0 0 1 0 0 0 1
E11 = , E12 = , E13 =
0 0 0 0 0 0 0 0 0
" # " # " #
0 0 0 0 0 0 0 0 0
E21 = , E22 = , E23 =
1 0 0 0 1 0 0 0 1
17 / 17