是数域 上的线性空间, 自身的一个映射. 如果 满足

  1. 对任意的 ,都有 ;
  2. 对任意的 ,都有 , 则称 为线性空间 的一个线性变换.