定義域 R^n
値域 R^m
行空間
次元 r
核
次元 n − r
像（列空間）
次元 r
左核
次元 m − r
A
上下は互いに直交補空間