notevector-spaces

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 .