##### 射影子空间 - 射影子空间 - **射影子空间**是[[射影空间]]的[[子集]], 由[[向量空间]]的[[子空间]]诱导而来, 例如[[超平面|射影超平面]]. 给定一个向量空间 $V$, 射影空间 $\mathbb{P}(V)$ 的一个子空间是形如 $S = p(U \setminus \{0\})$ 的子集, 其中 $U \subseteq V$ 是一个非零子空间, $p: V \setminus \{0\} \to \mathbb{P}(V)$ 是标准投影, 将非零向量 $u$ 映射到其等价类 $[u]_{\sim}$ - $S = p(U \setminus \{0\})$