同构算子与线性空间同构

上一次的笔记中,我们讲到了 线性算子线性算子其实就是满足某些条件的从一个线性空间转换到另一个线性空间转换过程,可以说线性算子是一种特殊的转换过程。而现在要讲的同构算子是一种特殊的线性算子

定义: 设X,Y是线性空间,T是\(X\rightarrow Y\)的线性算子,且是"一对一"的,即满足:

  1. \(T(X)=Y(全映射)\)
  2. \(x_1,x_2\in X\),当\(x_1\neq x_2\)时,有\(T(x_1)\neq T(x_2)\)

那么,就称T为X与Y间的一个同构算子

若X与Y之间存在同构算子,则称X与Y是同构的线性空间

同构的线性空间有如下的性质:

  1. 传递性,若\(V_1\)\(V_2\)同构,\(V_2\)\(V_3\)同构,则\(V_1\)\(V_3\)也同构
  2. 同构的线性空间中的零向量必定是相互对应的1
  3. 同构的线性空间中的线性相关向量系对应于线性相关向量系,线性无关向量系对应于线性无关向量系

根据同构空间的定义,我们很容易得出这样的结论:同构空间的维数一定是相等的!

事实上,存在着如下的定理:

定理1 数域\(F\)上的两个有限维线性空间同构的充要条件是两空间的维数相等

同构空间的概念是非常有用的,可以使得不同的线性空间\(V^n\)的问题转化到向量空间\(F^n\)中的问题加以研究。

线性算子的矩阵表示

一个线性空间可以用其坐标来表示,那么线性算子能否使用具体的数字来表示呢?为了回答这个问题,我们首先要定义线性算子相等的概念:

定义2: 设\(T_1\)\(T_2\)是由\(V^n\)\(V^m\)的两个线性算子,如果对于任何\(x\in V^n\)恒有\(T\_1(x)=T\_2(x)\in V^m\),则说线性算子\(T\_1\)\(T\_2\)相等

定义3: 设\(\alpha_1,\alpha_2,\cdots,\alpha_n\)\(n\)维线性空间\(V^n\)的一组基,T是由\(V^n\)\(V^m\)的线性算子,则\(T(\alpha_1),T(\alpha_2),\cdots T(\alpha_n)\in V^m\)叫做\(V^n\)在算子T下的基象

有了上述两个概念,我有如下的定理:

定理2 \(V^n\)\(V^m\)的线性算子T是由基象\(T(\alpha_1),T(\alpha_2),\cdots T(\alpha_n)\)唯一确定的

\(x\in V^n\)\(x=\lambda_1\alpha_1+\lambda_2\alpha_2+\cdots\lambda_n\alpha_n\),则

$$ \begin{align} T(x)&=T(\lambda_1\alpha_1+\lambda_2\alpha_2+\cdots+\lambda_n\alpha_n)\\ &=\lambda_1T(\alpha_1)+\lambda_2T(\alpha_2)+\cdots+\lambda_nT(\alpha_n) \end{align} $$

其中\(\lambda\_1,\lambda\_2,\cdots,\lambda\_n\)是已知的,所以只要知道\(T(\alpha\_1),T(\alpha\_2),\cdots T(\alpha\_n)\)便确定了\(T(x)\)

因为\(T(x)\in V^m\),所以

$$ \begin{align} T(\alpha_1)=a_{11}\beta_1&+a_{21}\beta_2+\cdots +a_{m1}\beta_m\\ T(\alpha_2)=a_{12}\beta_1&+a_{22}\beta_2+\cdots +a_{m2}\beta_m\\ & \cdots \\ T(\alpha_n)=a_{1n}\beta_1&+a_{2n}\beta_2+\cdots +a_{mn}\beta_m\\ \end{align} $$

其中\(\beta_i\)\(V^m\)中的基。

因此,我们可以得到:

$$ \begin{equation} T(\alpha_1,\alpha_2,\cdots,\alpha_n)=(\beta_1,\beta_2,\cdots,\beta_n)\left[ \begin{array}{ccc} a_{11} & a_{1,2} &\cdots & a_{1n} \\ a_{21} & a_{2,2} &\cdots &a_{2n} \\ \vdots & \vdots & &\vdots \\ a_{m1} & a_{m,2} &\cdots &a_{mn} \\ \end{array} \right] =(\beta_1,\beta_2,\cdots,\beta_m)A_{m\times n} \end{equation} $$

其中,\(a_{11},a_{21},\cdots,a_{m1}\)\(\alpha_1\)经过\(T\)变换后,在象空间的坐标表示。

上式中的\(A_{m\times n}\)称为线性算子\(T\)在基底\(\{\alpha_1,\alpha_2,\cdots,\alpha_n\}\)\(\{\beta_1,\beta_2,\cdots,\beta_m\}\)下的矩阵表示

从上述的推导过程中,我们可以知道,要求一个线性算子\(T\)的矩阵表示,只需要求出线性空间\(V^n\)的一组基底\(\{\alpha_1,\alpha_2,\cdots,\alpha_n\}\)在经过\(T\)转换之后在线性空间\(V^m\)中以\(\{\beta_1,\beta_2,\cdots,\beta_m\}\)为基底的坐标,这些坐标所形成的矩阵就是线性算子\(T:V^n\rightarrow V^m\)的矩阵表示。

线性算子的运算

假设把线性空间\(V_1\)\(V_2\)的所有线性算子组成的集合表示为\(L(V_1,V_2)\),则\(L(V_2,V_3)\)\(L(V_1,V_3)\)分别表示\(V_2\)\(V_3\)\(V_1\)\(V_3\)的所有线性算子的集合。

则线性算子的 分别定义为:

定义1: 设\(T_1,T_2 \in L(V_1,V_2)\),则线性算子\(T_1\)\(T_2\)的和为:\((T_1+T_2)(x)=T_1(x)+T_2(x) \forall{x}\in V_1\)

定义2: 设\(T_1\in L(V_1,V_2)\),\(T_1\in L(V_2,V_3)\),则定义\(T_2T_1\)\(T_1\)\(T_2\)的积:\(T_2T_1(x)=T_2(T_1(x)) \forall{x}\in V_1\)

根据上述定义,线性算子的 可以证明仍然是线性算子2


  1. 再次强调,线性空间中必定含有零元素! 

  2. 证明一个变换是线性算子,只需要证明这个变换满足两个条件: 1.\(T(x_1+x_2)=T(x_1)+T(x_2)\) 2.\(T(\lambda x)=\lambda T(x)\) 

Share on: TwitterFacebookEmail


Flyaway is the owner of this blog.

Published

Category

matrix-theory

Tags

Contact