p.112 の定理 6, 7, 9 の関係です．
いわゆる「次元定理」とか「線型代数学の基本定理」といわれています．Strang 先生の本を元に解説した記事もあります．
佐武の『線型代数学』についてその他の記事は以下より．
More than 3 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme