定义 3.1 (线性变换)
设 是数域 上的线性空间, 是 到 自身的一个映射. 如果 满足
Link to original
- 对任意的 ,都有 ;
- 对任意的 ,都有 , 则称 为线性空间 的一个线性变换.
在定义中, (1) 要求对 中的向量 而言,它们的和在 下的像等于它们像的和. 这一事实称为 保持加法; (2) 要求向量 与 的数乘的像等于 的像与 的数乘. 这一事实称 保持数乘.
例题 3.1 (投影变换)
设在空间中建立了直角坐标系, 全体从原点出发的向量组成了三维线性空间 ,令
则 是 的线性变换, 常称为投影变换, 它的几何意义是把向量 投影到 平面上.
Link to original
例题 3.2. (数乘变换)
设 为 上的 维线性空间. ,定义 , 则易验证 是 的一个线性变换,称为由数 决定的数乘变换.
特别地,取 ,即 ,定义 ,即把 中每个向量都映射成 的零向量,此时变换称为零变换,记为 . 若定义 (即取 ),常称为恒等变换或单位变换,记为 .
Link to original
例题 3.3. (微分变换)
设 为次数小于 的实系数多项式以及零多项式组成的线性空间, 则求导数运算
是 的线性变换,称为微分变换.
证明 对任意的 有
故它是 的线性变换.
Link to original