1 基本概念
1.1 定义
商空间是指把一个集合或带有代数、拓扑结构的对象，按照某种等价关系将“彼此视为相同”的元素合并后得到的新对象。直观上，它相当于把原对象中冗余、可识别为同一类的部分压缩为一个整体，以便更清楚地研究剩余结构。
在不同数学分支中，商空间的具体形式会有所差异，但基本思想一致：先确定一套可接受的“相同”标准，再把所有满足该标准的元素归为同一类，最后在这些类上重新定义运算或结构。
1.2 等价关系与划分
商空间的基础是等价关系。等价关系通常要求满足自反性、对称性和传递性，因此它能够把集合划分为若干互不相交的部分，每一部分内部元素彼此等价。
这种划分把原集合拆分成多个类别，每个类别对应一个等价类。商空间中的元素不再是原来的单个点，而是这些等价类本身。这样处理后，原来复杂的对象常常会呈现出更紧凑的结构。
1.3 陪集与等价类
在代数结构中，等价类常以陪集的形式出现。给定一个子结构后，可以把整个母结构分成若干个按该子结构平移得到的集合，这些集合彼此不交，并且覆盖整个空间。
在群、环、模和向量空间中，陪集与等价类往往是同一思想的不同表达。等价类强调“哪些元素被看作相同”，陪集则强调“如何由子结构生成这些类”。
1.4 商映射
商映射是把原对象中的元素送到其对应等价类的自然映射。它是构造商空间时最基本的函数，通常将每个元素映到包含它的那个类中。
商映射既反映了压缩过程，也为后续在商空间上定义结构提供了入口。很多重要定理都可以借助它来表述和证明。
1.4.1 自然投影
自然投影是最典型的商映射。它把每个元素直接送到自己的等价类，因而具有最直接的对应关系。由于映射方式天然、无须额外选择，所以常被称为“典范”或“自然”构造。
自然投影往往记作从原结构到商结构的标准箭头，是连接两者的基本桥梁。
1.4.2 核与像的关系
在很多代数场景下，商结构与映射的核密切相关。核记录了哪些元素在映射下被压到“零”或单位元附近，而这些被压缩掉的部分正是构造商对象的重要依据。
映射的像则描述了能被保留下来的结果。核越大，商结构通常越“粗”；像越大，映射保留的信息越多。二者的关系构成了同构定理的核心背景。
2 代数中的商空间
2.1 商群
商群是群论中最基本的商结构之一。它把群按照某个正规子群所诱导的等价关系划分成若干陪集，并在这些陪集上定义新的群运算。
商群的存在使得我们能够把复杂群拆解为更简单的部分，从而研究群的结构、同态以及分类问题。
2.1.1 正规子群
正规子群是构造商群所必需的条件。只有当子群在群内与任意元素共轭后仍保持不变时，按其形成的陪集运算才具有良好定义。
这类子群保证了左陪集与右陪集一致，从而使商群运算不依赖代表元的选择。
2.1.2 群同态与第一同构定理
群同态把一个群的运算结构映射到另一个群中，并保持乘法关系不变。其核自动构成正规子群，因此可以进一步得到商群。
第一同构定理说明：原群按同态核取商后，与像群同构。这一定理揭示了“用核消去冗余，再由像保留有效信息”的基本机制。
2.2 商环
商环是在环中按理想生成的等价关系构造出的新环。与商群类似，它通过把某些元素视为同类，形成更简化的代数对象。
商环在整数模运算、多项式约化和代数结构分析中都十分常见。
2.2.1 理想
理想是环中的特殊子结构，具有适合做商的稳定性。它确保环乘法与加法在商结构中能够顺利继承。
与正规子群类似，理想是“可以被压缩掉”的那部分结构，商环正是把它作为零类处理后得到的结果。
2.2.2 环同态与同构定理
环同态保持加法与乘法，同时把一个环的结构传递到另一个环。其核是理想，因此自然可用于构造商环。
对应的同构定理表明，原环除以同态核后，与同态像同构。这使得环论中的结构分析可以通过商与像之间的联系来完成。
2.3 商模
商模是模论中的基本商结构。给定模及其子模，可以把模元素按子模的平移分成若干类，再在这些类上定义模运算。
这种构造在研究线性方程组、生成关系和模同态时非常常见。
2.3.1 子模
子模是模结构中适合用于商构造的子对象。它需要在加法与标量作用下保持封闭，以保证商后运算的合法性。
子模的作用类似于“可忽略部分”，其陪集构成了商模的基本元素。
2.3.2 模同态与同构定理
模同态保留模的加法和标量乘法结构。其核是子模，因此能够直接用于商模构造。
同构定理指出，模按同态核取商后，与像模同构。这一结论与群和环中的对应版本形式相似，体现了商构造在代数中的统一性。
2.4 商向量空间
商向量空间是线性代数中常见的商结构。它通过把一个向量空间按子空间分成若干陪集，形成新的向量空间。
这种构造常用于消去某些“已知方向”，从而研究剩余自由度。
2.4.1 子空间
子空间是构造商向量空间的基础。只要子集在向量加法与数乘下封闭，就可以作为商的“零方向”来处理。
在几何上，它表示一组被整体折叠掉的方向或平面；在代数上，它则是定义陪集的依据。
2.4.2 维数公式
在有限维向量空间中，商空间的维数与原空间和子空间的维数之间存在明确关系。通常可理解为：原空间的维数减去被压缩掉的子空间维数，得到商空间的维数。
这一公式直观反映了“删去一部分自由度”后剩余维度的变化，是线性代数中的重要工具。
2.4.3 坐标表示
商向量空间中的元素往往可通过选取代表元来描述。由于同一陪集中不同代表元相差一个子空间元素，因此坐标表示并不唯一，但在商空间内部却对应同一个对象。
在具体计算中，常通过选定基和补空间，使商空间的坐标更容易处理。
3 构造方法
3.1 按等价关系构造
最一般的商空间构造方法是先在集合上给出等价关系，再把每个等价类当作一个新元素。这样无需预先依赖任何代数运算，只要等价关系满足基本性质即可。
这一方法体现了商空间的抽象本质：先“识别相同”，再“重建结构”。
3.2 按子结构构造
在代数系统中，更常见的做法是从子结构出发构造商对象。子群、理想、子模和子空间都可以提供相应的划分方式。
这种方法的好处是兼顾直观与可操作性，因为子结构通常已携带了足够的封闭性，能够支撑商上的运算定义。
3.3 按映射核构造
给定一个保持结构的映射，其核常常决定了商结构如何形成。先根据核识别被压缩掉的部分，再把其余元素按核诱导的关系分组，就能得到自然的商对象。
这种构造尤其适合证明同构定理，也常用于从映射反推结构特征。
3.4 陪集的运算定义
商空间一旦由陪集组成，就必须在陪集上重新定义运算。定义时通常选取代表元，再验证运算与代表元的选择无关。
只有满足这一要求，商空间中的运算才是真正可靠的。
3.4.1 加法运算
在商群、商模和商向量空间中，陪集加法通常由代表元相加后再取陪集给出。若两个陪集分别由元素表示，则它们的和对应于这些代表元之和所在的陪集。
这种定义简洁，但必须证明与代表元无关，才能成为合法运算。
3.4.2 乘法运算
在商环中，乘法同样通过代表元定义。两个陪集的乘积通常取自代表元相乘后所属的陪集。
环的商结构比群更复杂，因为乘法与加法需要同时兼容，因此理想的稳定性显得尤为关键。
3.4.3 标量乘法运算
在商向量空间和商模中，还要定义标量与陪集的作用。一般做法是用标量乘代表元，再取其所在陪集。
该定义必须与代表元选取无关，否则商结构无法保持线性或模性质。
4 重要性质
4.1 良定义性
商空间的核心要求之一是良定义性。也就是说，虽然计算时可以任选代表元，但最终结果必须相同，不应依赖具体选择。
良定义性是商结构能否成立的前提，也是验证陪集运算时最关键的一步。
4.2 结构保持性
商空间并不是任意压缩，而是尽量保留原结构的本质特征。只要构造得当，商对象仍然维持群、环、模或向量空间的基本公理。
因此，商空间是一种“删繁就简”而非“随意改造”的工具。
4.3 普遍性质
许多商结构都满足普遍性质：原对象到任意满足相应条件的目标对象的映射，往往都可以唯一地通过商对象分解。
这类性质使商对象具有高度概括性，能把许多看似不同的问题统一到同一种框架下处理。
4.4 同构判定
商空间常用于判定两个结构是否同构，或帮助寻找它们之间的对应关系。通过比较核、像、陪集结构及生成关系，可以判断某些对象是否本质相同。
4.4.1 商结构与原结构的对应
原结构中的信息并不会全部消失，而是以陪集或等价类的形式保留在商结构中。很多性质可以通过“原对象中的哪些部分被合并”来反向分析。
这种对应关系是理解商对象的关键。
4.4.2 典范态射
典范态射指从原结构到商结构的自然映射。它通常没有人为选择，具有标准性和唯一性，因而在表述和证明中极为重要。
它既是构造商对象的入口，也是连接原对象与商对象的标准桥梁。
5 典型例子
5.1 整数模 n 的剩余类
整数按“同余于模 n”这一关系划分后，会得到有限个剩余类。这些类构成最常见的商结构之一，常记为整数模 n 的体系。
它在计算中十分实用，尤其适用于循环、周期和有限算术的处理。
5.2 多项式环的商
多项式环可以按某个多项式生成的理想取商，得到新的代数对象。若生成元选择得当，商环中的元素可用较低次数的多项式代表。
这种方法在代数方程、编码理论和构造扩域时都非常常见。
5.3 线性空间对子空间的商
设有一个向量空间和其中一个子空间，则可将所有向量按该子空间作陪集划分。商空间中的元素可以理解为“只关心在子空间之外的那部分信息”。
这是处理线性约束、消去冗余方向的标准方法。
5.4 群作用下的轨道空间
当群作用于一个集合时，集合中的元素可按同一轨道归类。轨道中的点在群作用下互相可达，因此可视为同一类对象。
这种轨道空间在几何和组合问题中非常常见。
5.4.1 轨道划分
群作用会把集合分成若干轨道，每条轨道内部的元素通过群元素相互联系。轨道划分实质上就是一种等价关系诱导的分组。
它常用于简化对称性问题，把许多重复情形合并处理。
5.4.2 稳定子与商结构
稳定子记录的是在群作用下保持某个点不变的群元素。它与轨道之间有紧密联系，并能帮助理解群作用所形成的商式结构。
通过稳定子和轨道的配合，可以更清楚地描述集合被群“折叠”后的形态。
6 应用
6.1 结构分类
商空间是分类数学对象的重要工具。通过按某种标准识别相同部分，可以把复杂对象划分为可比较的类别。
这种分类方法常用于代数对象、几何对象和拓扑对象的组织与比较。
6.2 化简复杂对象
在面对高维或高复杂度结构时，商构造能有效去除不必要的细节，使问题变得更容易处理。很多原本难以直接分析的对象，经过商化后会呈现出更清晰的模式。
因此，商空间常被视作一种“降维”式的研究手段。
6.3 证明同构定理
同构定理是商结构理论中的核心成果之一，而商空间恰恰是其最自然的语言。通过核、像与陪集的关系，许多同构结论可以统一证明。
这使得商构造不仅是结果本身，也是证明工具。
6.4 构造新代数对象
商空间还能用于从已有对象中生成新的代数系统。只要给出恰当的等价关系或生成关系，就能从原结构中“提炼”出新的研究对象。
6.4.1 生成关系
生成关系决定了哪些元素被合并、哪些算作同类。它是商对象构造中最关键的设定之一，直接影响最终得到的结构形态。
不同的生成关系会导出不同的商结构，因此它常作为构造设计的起点。
6.4.2 模型与表示
在某些情况下，商空间可作为抽象结构的具体模型，用来表示一个复杂对象的简化版本。通过这种表示，抽象规则能够转化为更易计算的形式。
这在代数展示、符号计算和结构刻画中都很有价值。
7 相关概念
7.1 等价类
等价类是商空间的基本组成单位，表示在某种等价关系下彼此视为相同的一组元素。商对象的元素通常就是这些等价类本身。
7.2 陪集
陪集是由子结构平移形成的集合，在群、环、模和向量空间中都十分常见。它常作为等价类的具体实现形式。
7.3 直积与直和
直积与直和是构造复合结构的重要方式，常与商结构形成对照。前者强调并列组合，后者强调有限支撑下的组合方式。
7.4 逆像与核
逆像描述映射下某个元素或子集对应的原像集合，核则是映射到单位元或零元的那部分元素。二者都与商构造中的“压缩”思想密切相关。
7.5 商拓扑的联系
在拓扑学中，也可以通过等价关系构造商拓扑。它与代数中的商空间思想相通，都是先合并被视为等同的点，再在结果上重新定义结构。