线性代数/线性变换

基本定义

$(V,\,\oplus ,\,\cdot )$ 是定义在体 $(F,\,+,\,\times )$ 上的线性空间，若函数 $f:V\to V$ 满足

$(\forall v\in V)(\forall w\in V)(\forall a\in F)(\forall b\in F)[\,f(a\cdot v\oplus b\cdot w)=a\cdot f(v)\oplus b\cdot f(w)\,]$

称函数 $f$ 是定义在 $V$ 的线性变换(Linear Transformation)或线性算子(linear operator)。

有时会定义

$L(V):=\{f\,|\,(f:V\to V)\wedge (\forall v\in V)(\forall w\in V)(\forall a\in F)(\forall b\in F)[\,f(a\cdot v\oplus b\cdot w)=a\cdot f(v)\oplus b\cdot f(w)\,]\}$

并以

$f\in L(V)$

来表示 $f$ 是定义在 $V$ 的线性变换。

我们可以把上面的定义稍作推广

$(V,\,\oplus ,\,\cdot )$ 和 $(W,\,\odot ,\,\circ )$ 是定义在体 $(F,\,+,\,\times )$ 上的线性空间，若函数 $f:V\to W$ 满足

$(\forall v\in V)(\forall w\in W)(\forall a\in F)(\forall b\in F)[\,f(a\cdot v\oplus b\cdot w)=a\circ f(v)\odot b\circ f(w)\,]$

称函数 $f$ 是从 $V$ 映射到 $W$的 线性变换。