线性代数 向量空间の正交 已知 $\forall \vec{v}\in V,\vec{u}\in U$ 满足 $\vec{v}\cdot \vec{u}=0$ 则 $V$ 正交于 $U$ aka $$V^{\perp}=\mathrm{Nul}(V^{T})$$