Recall

Recall

  1. An matrix . . . kernel of , image of .
  2. Dim(Ker ) = # non pivot columns in RREF(A).
  3. Dim(Im) = # of pivot columns in RREF(A).
  4. Rank nullity theorem

Linear maps

Definition 77.1.

A map is called linear if it satisfies

  1. .
  2. for all ,

Linear map and linear transformation are synonyms.

The goal: to show “Dim(Ker )+ Dim(Im )=Dim ” for any linear map .

Remarks (prove as necessary)

  1. A linear map is a map that preserves the vector space structure, i.e, first adding in V and then applying T is the same as applying T first and then adding in W.
  2. Clearly, preserves linear combinations.
  3. Kernel of is a subspace.
    1. must always map to ()
    2. implies .
  4. Image of is a subspace of .
  5. If spans , then spans , i.e, image of .
  6. if is linearly dependent, then is linearly dependent.

Examples

  1. The set of functions associated with matrices
  2. = set of all differentiable functions .
    = set of all functions .
    Consider , .
    , .
    The kernel of is the set of all constant functions.
    Consider the same map on the subspace of polynomial of degree .
    .
    has dimension , and has dimension . Also, Dim(Ker ) = 1.
    So, Dim(Ker D)+Dim(Im D)=Dim(Domain D).
  3. = set of matrices.

    , .
    Check the dimension formula holds, find a basis for the kernel.

Neither homogeneity nor additivity alone is enough to imply that a function is a linear map.

  • , is an example of a function which satisfies for all and but is not linear since it does not satisfy additivity.
  • , is an example of a function which satisfies additivity but is not linear since it is not homogeneous ( is though of as a complex vector space, i.e, the scalars are drawn from ). , but . There also exists a function such that satisfies the additivity condition but is not homogeneous. However, showing the existence of such a function involves considerably more advanced tools.

Rank nullity theorem for general linear maps over fdvsps

Theorem 77.2.

For a linear map , where is a fdvsp, dim(ker T) + dim(im T)= dim V.

1d9280