陪集

商空间是由矢量空间与其子空间构造的抽象空间，通过陪集划分与良定义的代数运算形成。其维数（余维数）等于原空间维数减去子空间维数，揭示了空间结构的互补性。

本文系统解析商空间的构造原理，详细阐述陪集划分的证明过程与余维数的本质，通过典型示例说明商空间的几何意义，并验证代数运算的良定义性。