线性空间上的线性算子
设 M 与 M′ 为两个集合,对于每个 x∈M, 如果根据某种法则 A, 在 M′ 中有确定的 x′ 与之对应,那么称 A 为由 M 到 M′ 的一个映射,或称算子,记为 A:M→M′, 或 A(x)=x′.
此时, x′ 叫做 x 在 A 下的像, x 叫做 x′ 的原像, M 是 A 的定义域, x′ 的全体构成 A 的值域,记为 A(M), 显然 A(M)⊆M′.
设 V 与 V′ 为数域 P 上的两个线性空间, A 是由 V 到 V′ 的一个算子,且对于 V 的任何两个向量 x1,x2∈V 和任何数 λ∈P, 有
A(x1+x2)=A(x1)+A(x2),A(λx1)=λA(x1)
则称 A 是由 V 到 V′ 的线性算子(或称映射).它的充分必要条件是
A(λ1x1+λ2x2)=λ1A(x1)+λ2A(x2)
线性算子有以下性质:
- 线性算子 A 把 V 中零向量变为 V′ 中的零向量; 把向量 x 的负向量 −x 变为 x 的像 A(x) 的负向量 A(x).
- 线性算子 A 把线性相关的向量组仍变为线性相关的向量组,即若 x1,x2,⋯,xn 线性相关, 则它们的像 A(x1),A(x2),⋯,A(xn)
同构
设 A 是由 V 到 V′ 的线性算子,且是"一对一"的,即满足:
- A(V)=V′;
- 若 x1,x2∈V, 当 x1=x2 时, 有 A(x1)=A(x2); 换言之,由 A(x1)=A(x2), 就有 x1=x2 (可逆映射).
则称 A 为 V 与 V′ 间的一个同构算子.
若 V 与 V′ 之间存在同构算子,则称 V 与 V′ 是同构的线性空间,简称 V 与 V′ 同构.简单地说,一对一的线性算子称为同构算子.
同构线性空间有以下 3 个基本性质:
- 传递性.设 V1,V2,V3 是数域 P 上的线性空间,若 V1 与 V2 同构, V2 与 V3 同构,则 V1 与 V3 同构.
- 同构的线性空间中的零向量必定是互相对应的.
- 同构的线性空间中的线性相关向量组对应于线性相关向量组,线性无关向量组对应于线性无关向量组.
数域 P 上的两个有限维线性空间同构的充分必要条件是两空间的维数相同.
线性算子的矩阵表示
设 e1,e2,⋯,en 是 Vn 的一组基, A 是由 Vn 到 Vm 的线性算子,则 A(e1),A(e2),⋯,A(en)∈Vm 叫做 Vn 在算子 A 下的基像.
如果 A 和 B 都是 Vn 到 Vm 的线性算子,且对于任意 x∈Vn, 均有 A(x)=B(x)∈Vm, 则说线性算子 A 和 B 相等.
由 Vn 到 Vm 的线性算子 A 是由基像 A(e1),A(e2),⋯,A(en) 唯一确定的,因此在建立线性算子和具体矩阵之间的联系时,只要考察它的一组基像坐标.
设 A 是由 Vn 到 Vm 的一个线性算子,取 e1,e2,⋯,en 作为 Vn 的基, e1′,e2′,⋯,en′ 作为 Vm 的基, 令
⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧A(e1)=a11e1′+a21e2′+⋯+am1em′A(e2)=a12e1′+a22e2′+⋯+am2em′⋮A(en)=a1ne1′+a2ne2′+⋯+amnem′
即
===A(e1,e2,⋯,en)(A(e1),A(e2),⋯,A(en))(e1′,e2′,⋯,en′)⎝⎜⎜⎜⎜⎛a11a21⋮am1a12a22⋮am2⋯⋯⋯a1na2n⋮amn⎠⎟⎟⎟⎟⎞(e1′,e2′,⋯,en′)A
称 A 为 A 在基偶 {e1,e2,⋯,en} 与 {e1′,e2′,⋯,en′} 下的矩阵表示.
线性算子的运算
记线性空间 V1 到 V2 的所有线性算子组成的集合为 D(V1,V2).
若 A,B∈D(V1,V2), 且 (A+B)(x)=A(x)+B(x), 则称 A+B 为 A 与 B 的和.
若 A∈D(V1,V2),B∈D(V2,V3), 且 (BA)(x)=B(A(x)), 则称 BA 为 A 与 B 的乘积.
线性变换
由 V 到自身的变换 A 称为 V 上的线性变换.
如果对于任何 x∈V, 恒有 A(x)=x, 则称 A 为恒等变换或单位变换.记为 I, 对应的矩阵记为 I 或 E.
零变换 O 与任意线性变换 A 的和仍然等于 A, 且
A+(−A)=O
单位变换 I 与任意线性变换 A 的乘积仍然等于 A, 且
AI=IA=A
如果
AB=BA=I
则称 B 为 A 的逆变换, 记作 A−1. 如果线性变换 A 可逆, 那么 A−1 也是线性变换.