Linear algebra MOC

Linear map

A linear map1 is a structure-preserving map of vector spaces. That is, given two vector spaces over the same field ๐‘‰,๐‘Š โˆˆ๐–ต๐–พ๐–ผ๐—๐•‚ a mapping ๐‘“ :๐‘‰ โ†’๐‘Š is linear iff for any ๐œ†,๐œ‡ โˆˆ๐•‚ and โƒ—๐ฏ,โƒ—๐ฎ โˆˆ๐‘‰ linalg

๐‘“(๐œ†โƒ—๐ฏ+๐œ‡โƒ—๐ฎ)=๐œ†๐‘“(โƒ—๐ฏ)+๐œ‡๐‘“(โƒ—๐ฎ)

It follows that ๐‘“(โƒ—๐ŸŽ) =โƒ—๐ŸŽ. A linear map is an example of a Module homomorphism.

Geometric interpretation

If a map ๐‘“ :โ„๐‘› โ†’โ„๐‘š is interpreted as the warping of space, the above rules are equivalent to the following

  • The origin remains in place
  • Grid lines remain evenly spaced
  • Grid lines remain parallel

Properties

Some of these properties apply for a more general Module homomorphism

  • A linear map ๐‘‡ โˆˆ๐–ต๐–พ๐–ผ๐—๐•‚(๐‘ˆ,๐‘‰) is epic iff it is surjective iff imโก๐‘‡ =๐‘‰
  • A linear map ๐‘‡ โˆˆ๐–ต๐–พ๐–ผ๐—๐•‚(๐‘ˆ,๐‘‰) is monic iff it is injective iff kerโก๐‘‡ ={โƒ—๐ŸŽ}
  • A linear map is an isomorphism iff it is bijective iff it is epic and monic
  • Rank-nullity theorem


tidy | SemBr | en

Footnotes

  1. variously called a linear transformation, linear operator, linear function, linear morphism. โ†ฉ