Theorem 1
If is finite-dimensional, then is finite dimensional and,
Remark 1
There is a canonical map , given by .
Theorem 2
is a direct sum if and only if is injective.
Example 3
Suppose is linear.
The graph of is the subspace of given by graph of
Quotient Spaces
Notation
Let and , then is the subset of defined by
Example 1
Let . What is ?
is a translate of .
Defined Quotient Space
Proposition
Suppose is a subspace of and , then
First Isomorphism Theorem of Vector Spaces
Theorem
Suppose is a subspace of such that is finite-dimensional, then
Duality
Dual Vector Space
For some vector space over the field , we have that the dual vector space .
Example
If , , then .