抱歉,您的浏览器无法访问本站
本页面需要浏览器支持(启用)JavaScript
了解详情 >

线性空间上的线性算子

MMMM' 为两个集合,对于每个 xMx \in M, 如果根据某种法则 A\mathscr{A}, 在 MM' 中有确定的 xx' 与之对应,那么称 A\mathscr{A} 为由 MMMM' 的一个映射,或称算子,记为 A:MM\mathscr{A}:M \rightarrow M', 或 A(x)=x\mathscr{A}(x) = x'.

此时, xx' 叫做 xxA\mathscr{A} 下的, xx 叫做 xx'原像, MMA\mathscr{A} 的定义域, xx' 的全体构成 A\mathscr{A} 的值域,记为 A(M)\mathscr{A}(M), 显然 A(M)M\mathscr{A}(M) \subseteq M'.

VVVV' 为数域 PP 上的两个线性空间, A\mathscr{A} 是由 VVVV' 的一个算子,且对于 VV 的任何两个向量 x1,x2Vx_1, x_2 \in V 和任何数 λP\lambda \in P, 有

A(x1+x2)=A(x1)+A(x2),A(λx1)=λA(x1)\large \begin{array}{ll} \mathscr{A}(x_1 + x_2) = \mathscr{A}(x_1) + \mathscr{A}(x_2), \\ \mathscr{A}(\lambda x_1) = \lambda \mathscr{A}(x_1) \end{array}

则称 A\mathscr{A} 是由 VVVV'线性算子(或称映射).它的充分必要条件是

A(λ1x1+λ2x2)=λ1A(x1)+λ2A(x2)\mathscr{A}(\lambda _1 x_1 + \lambda _2 x_2) = \lambda _1 \mathscr{A}(x_1) + \lambda _2 \mathscr{A}(x_2)

线性算子有以下性质:

  1. 线性算子 A\mathscr{A}VV 中零向量变为 VV' 中的零向量; 把向量 x\bm{x} 的负向量 x-\bm{x} 变为 x\bm{x} 的像 A(x)\mathscr{A}(\bm{x}) 的负向量 A(x)\mathscr{A}(\bm{x}).
  2. 线性算子 A\mathscr{A} 把线性相关的向量组仍变为线性相关的向量组,即若 x1,x2,,xn\bm{x}_1, \bm{x}_2, \cdots, \bm{x}_n 线性相关, 则它们的像 A(x1),A(x2),,A(xn)\mathscr{A}(\bm{x}_1), \mathscr{A}(\bm{x}_2), \cdots, \mathscr{A}(\bm{x}_n)

同构

A\mathscr{A} 是由 VVVV' 的线性算子,且是"一对一"的,即满足:

  1. A(V)=V\mathscr{A}(V) = V';
  2. x1,x2V\bm{x}_1, \bm{x}_2 \in V, 当 x1x2\bm{x}_1 \neq \bm{x}_2 时, 有 A(x1)A(x2)\mathscr{A}(\bm{x}_1) \neq \mathscr{A}(\bm{x}_2); 换言之,由 A(x1)=A(x2)\mathscr{A}(\bm{x}_1) = \mathscr{A}(\bm{x}_2), 就有 x1=x2\bm{x}_1 = \bm{x}_2 (可逆映射).

则称 A\mathscr{A}VVVV' 间的一个同构算子.

VVVV' 之间存在同构算子,则称 VVVV'同构线性空间,简称 VVVV' 同构.简单地说,一对一的线性算子称为同构算子.

同构线性空间有以下 3 个基本性质:

  1. 传递性.设 V1,V2,V3V_1, V_2, V_3 是数域 PP 上的线性空间,若 V1V_1V2V_2 同构, V2V_2V3V_3 同构,则 V1V_1V3V_3 同构.
  2. 同构的线性空间中的零向量必定是互相对应的.
  3. 同构的线性空间中的线性相关向量组对应于线性相关向量组,线性无关向量组对应于线性无关向量组.

数域 PP 上的两个有限维线性空间同构的充分必要条件是两空间的维数相同.

线性算子的矩阵表示

e1,e2,,en\bm{e}_1, \bm{e}_2, \cdots, \bm{e}_nVnV^n 的一组基, A\mathscr{A} 是由 VnV^nVmV^m 的线性算子,则 A(e1),A(e2),,A(en)Vm\mathscr{A}(\bm{e}_1), \mathscr{A}(\bm{e}_2), \cdots, \mathscr{A}(\bm{e}_n) \in V^m 叫做 VnV^n 在算子 A\mathscr{A} 下的基像.

如果 A\mathscr{A}B\mathscr{B} 都是 VnV^nVmV^m 的线性算子,且对于任意 xVnx \in V^n, 均有 A(x)=B(x)Vm\mathscr{A}(x) = \mathscr{B}(x) \in V^m, 则说线性算子 A\mathscr{A}B\mathscr{B} 相等.

VnV^nVmV^m 的线性算子 A\mathscr{A} 是由基像 A(e1),A(e2),,A(en)\mathscr{A}(\bm{e}_1), \mathscr{A}(\bm{e}_2), \cdots, \mathscr{A}(\bm{e}_n) 唯一确定的,因此在建立线性算子和具体矩阵之间的联系时,只要考察它的一组基像坐标.

A\mathscr{A} 是由 VnV^nVmV^m 的一个线性算子,取 e1,e2,,en\bm{e}_1, \bm{e}_2, \cdots, \bm{e}_n 作为 VnV^n 的基, e1,e2,,en\bm{e}'_1, \bm{e}'_2, \cdots, \bm{e}'_n 作为 VmV^m 的基, 令

{A(e1)=a11e1+a21e2++am1emA(e2)=a12e1+a22e2++am2emA(en)=a1ne1+a2ne2++amnem\left \{ \begin{array}{} \mathscr{A}(\bm{e}_1) = a_{11}\bm{e}'_1 + a_{21}\bm{e}'_2 + \cdots + a_{m1}\bm{e}'_m \\ \mathscr{A}(\bm{e}_2) = a_{12}\bm{e}'_1 + a_{22}\bm{e}'_2 + \cdots + a_{m2}\bm{e}'_m \\ \vdots \\ \mathscr{A}(\bm{e}_n) = a_{1n}\bm{e}'_1 + a_{2n}\bm{e}'_2 + \cdots + a_{mn}\bm{e}'_m \end{array} \right.

A(e1,e2,,en)=(A(e1),A(e2),,A(en))=(e1,e2,,en)(a11a12a1na21a22a2nam1am2amn)=(e1,e2,,en)A\begin{array}{ll} &\mathscr{A}(\bm{e}_1, \bm{e}_2, \cdots, \bm{e}_n) \\ = &(\mathscr{A}(\bm{e}_1), \mathscr{A}(\bm{e}_2), \cdots, \mathscr{A}(\bm{e}_n)) \\ = &(\bm{e}'_1, \bm{e}'_2, \cdots, \bm{e}'_n) \begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \\ \end{pmatrix} \\ = &(\bm{e}'_1, \bm{e}'_2, \cdots, \bm{e}'_n)A \end{array}

AAA\mathscr{A} 在基偶 {e1,e2,,en}\{\bm{e}_1, \bm{e}_2, \cdots, \bm{e}_n\}{e1,e2,,en}\{\bm{e}'_1, \bm{e}'_2, \cdots, \bm{e}'_n\} 下的矩阵表示.

线性算子的运算

记线性空间 V1V_1V2V_2 的所有线性算子组成的集合为 D(V1,V2)\mathscr{D}(V_1, V_2).

A,BD(V1,V2)\mathscr{A}, \mathscr{B} \in \mathscr{D}(V_1, V_2), 且 (A+B)(x)=A(x)+B(x)(\mathscr{A+B})(\bm{x}) = \mathscr{A}(\bm{x}) + \mathscr{B}(\bm{x}), 则称 A+B\mathscr{A} + \mathscr{B}A\mathscr{A}B\mathscr{B} 的和.

AD(V1,V2),BD(V2,V3)\mathscr{A} \in \mathscr{D}(V_1, V_2), \mathscr{B} \in \mathscr{D}(V_2, V_3), 且 (BA)(x)=B(A(x))(\mathscr{BA})(\bm{x}) = \mathscr{B}(\mathscr{A}(\bm{x})), 则称 BA\mathscr{BA}A\mathscr{A}B\mathscr{B} 的乘积.

线性变换

VV 到自身的变换 A\mathscr{A} 称为 VV 上的线性变换.

如果对于任何 xV\bm{x} \in V, 恒有 A(x)=x\mathscr{A}(\bm{x}) = \bm{x}, 则称 A\mathscr{A}恒等变换单位变换.记为 I\mathscr{I}, 对应的矩阵记为 I\bm{I}E\bm{E}.

零变换 O\mathscr{O} 与任意线性变换 A\mathscr{A} 的和仍然等于 A\mathscr{A}, 且

A+(A)=O\mathscr{A} + (-\mathscr{A}) = \mathscr{O}

单位变换 I\mathscr{I} 与任意线性变换 A\mathscr{A} 的乘积仍然等于 A\mathscr{A}, 且

AI=IA=A\mathscr{AI} = \mathscr{IA} = \mathscr{A}

如果

AB=BA=I\mathscr{AB} = \mathscr{BA} = \mathscr{I}

则称 B\mathscr{B}A\mathscr{A}逆变换, 记作 A1\mathscr{A}^{-1}. 如果线性变换 A\mathscr{A} 可逆, 那么 A1\mathscr{A}^{-1} 也是线性变换.

评论