Lecture 15
Chapter III Linear maps
Assumption: are vector spaces (over )
Products and Quotients of Vector Spaces 3E
Quotient Space
Idea: For a vector space and a subspace . Construct a new vector space which is elements of up to equivalence by .
Definition 3.97
For and a subspace of . Then is the translate of by . (also called a coset of )
Example
Let be , ,
Describe the solutions to , . Let be the constant functions then the set of solutions to is
Definition 3.99
Suppose is a subspace of , then the quotient space is given by
This is not subset of .
Example:
Let be , then is the set of all lines of slope in
Lemma 3.101
Let be a subspace of and then the following are equivalent
a)
b)
c)
Proof:
Suppose , we wish to show that .
Let then
So and by symmetry, so
Suppose So let be such that but then
Definition 3.102
Let be a subspace, define the following:
Theorem 3.103
Let be a subspace, then is a vector space.
Proof:
Assume for now that Definition 3.102 is well defined.
- commutativity: by commutativity on .
- associativity: by associativity on .
- distributive: law by .
- additive identity: .
- additive inverse: .
- multiplicative identity:
Why is 3.102 well defined.
Let such that and
Note by lemma 3.101
and
same idea for scalar multiplication.
Definition 3.104
Let . The quotient map is
Lemma 3.104.1
is a linear map
Theorem 3.105
Let be finite dimensional then
Proof:
Note , since if
By the Fundamental Theorem of Linear Maps says
but is surjective, so we are done.
Theorem 3.106
Suppose then,
Define by Then we have the following.
- is injective
- and are isomorphic