两个线性空间的可逆线性映射

线性映射的逆映射

对于从 $m$ 维线性空间 $U$ 到 $n$ 维线性空间 $V$ 的任意一个线性映射 $f,$ 若存在从 $V$ 到 $U$ 的一个映射 $g,$
使得 $f \circ g = \mathbf {I}_n, g \circ f = \mathbf {I}_m,$ 则称 $g$ 为 $f$ 的逆映射，记为 $f^{-1}$ 。

逆映射的唯一性

若存在从 $U$ 到 $V$ 的两个线性映射 $g, g'$ 使得 $f \circ g = \mathbf {I}_n, g \circ f = \mathbf {I}_m,$ 且 $f \circ g' = \mathbf {I}_n, g' \circ f = \mathbf {I}_m,$ 则 $g = g'$ 。

证明

$g = g \circ \mathbf {I}_n = g \circ (f \circ g' ) = (g \circ f) \circ g' = \mathbf {I}_m \circ g' = g'$

可逆的必要条件

1. 若 f