商空间的万有性质

定理：商空间的万有性质

thm.quotient-universal-vs · 定理 · 线性代数

陈述

设 $U \subseteq V$ 是子空间、 $\pi : V \to V/U$ 是商映射。则对每个线性映射 $T : V \to W$ 满足 $U \subseteq \ker T$ ，存在唯一的线性映射 $\overline{T} : V/U \to W$ 使下图交换：

T = \overline{T} \circ \pi

（即： $U \subseteq \ker T$ $\iff$ $T$ 能「穿过」商映射分解。）

⭐ 「万有性质」= 把商空间刻划成「压掉 $U$ 的最一般的落点」：任何在 $U$ 上消失的映射，都唯一地经由 $V/U$ 分解。存在性来自定义、唯一性来自 $\pi$ 满。

⭐ 这条性质是「余核 / 商」这一族概念的通用配方，在范畴论里叫余等化子的万有性质（def.equalizer 那一支）。

⚠ 条件是 $U \subseteq \ker T$ （ $T$ 在 $U$ 上为零），不是 $U = \ker T$ —— 允许多压掉一点。