フルランク行列の性質
統括1
を行列としよう。すると、がフルランクを持つための必要十分条件はが可逆行列であることだ。
証明
がフルランクを持つと仮定しよう。は正方行列なので、線形系 が自明解のみを持つことを示せば良い。これは可逆である同値条件による。を任意の解とすると、はの零空間に属する。また、はの列空間に属する。だが、この2つは互いに直交補空間である。
したがって、である。しかし、がフルランクを持つと仮定したので、これを満たすは自明解のみである。したがって、は可逆である。
が可逆であると仮定しよう。すると、以下の線形系は自明解のみを持つ。
すると、が成立し、この線形系も自明解のみを持つことになる。したがって、同値条件により、はフルランクを持つ。
■
Howard Anton, Elementary Linear Algebra: Aplications Version (12th Edition, 2019), p422 ↩︎