大学数学

商線形空間（商空間）V/Wの次元がdimV－dimWとなることを証明します。線形代数で剰余を考える内容となりますが、定義をしっかりと押さえ基礎的な考察を続けることで目的に達します。