贡献者： 叶月2_
定义 1
设 $V$ 是域 $\mathbb F$ 上的线性空间，$f$ 是 $V$ 上的双线性函数，
- 若 $f$ 是对称的，称 $(V,f)$ 是正交空间；
- 若 $f$ 是反对称的，称 $(V,f)$ 是辛空间；
$f$ 则为广义内积，$(V,f)$ 为广义内积空间。对任意 $ \boldsymbol{\mathbf{x}} , \boldsymbol{\mathbf{y}} \in V$，简记广义内积为 $( \boldsymbol{\mathbf{x}} , \boldsymbol{\mathbf{y}} )\equiv f( \boldsymbol{\mathbf{x}} , \boldsymbol{\mathbf{y}} )$
引入广义内积的概念后，向量关系不再是直观的几何关系。在欧几里得空间下，由于内积是正定对称双线性型，我们可以定义两个点之间的距离，向量长度和角度。然而在广义内积下，这些概念无法再定义。譬如一般定义长度 $l_{ \boldsymbol{\mathbf{x}} }=\sqrt{ \boldsymbol{\mathbf{x}} ^2}\ge 0$，但在辛空间内向量内积都为 0，不再具有区分性，所以没有这个概念。
同理，正交性不再由角度定义，而是采取内积为 $0$ 的定义。由于正交关系是对称的，左根和右根等同，统称为根，以 $ \operatorname {Rad}$ 表示。
需要注意的是，在平面几何里，两向量正交则线性无关。但在广义内积空间内并不一定成立，比如退化的正交空间内总有与自身内积为 0 的向量，因此 “正交基” 要严格保证既是线性无关也是相互正交。
一般称与自身正交为 $0$ 的向量为迷向向量。
定义 2
设 $V$ 是域 $F$ 的内积空间，$S,T$ 为其子空间。若对于任意 $ \boldsymbol{\mathbf{x}} \in S, \boldsymbol{\mathbf{y}} \in T$ 有 $( \boldsymbol{\mathbf{x}} . \boldsymbol{\mathbf{y}} )$，则称这两个空间互相垂直。若任意与 $S$ 垂直的向量都在 $T$ 内，则可以表示 $T=S^{\bot}$。
定理 1
设特征不为 2 的域 $F$ 上有 $n$ 维正交空间 $(V,f)$，则该正交空间一定存在正交基。
证明：
由于 $f$ 是对称的，则度量矩阵是对称矩阵，设为 $A$。$A$ 可以通过正交矩阵来对角化，每一列是 $A$ 的两两正交的特征向量。
定理 2
$(V,f)$ 是正交空间，A 是 $f$ 的度量矩阵表示，则有子空间 $W$ 非退化 $\Longleftrightarrow W^{\bot}$ 非退化 $\Longleftrightarrow A|_{W}$ 满秩 $\Longleftrightarrow V=W\oplus W^{\bot} $
证明：
$W$ 非退化 $\Longleftrightarrow \operatorname {Rad}W=W\cap W^{\bot}=0\Longleftrightarrow W^{\bot}$ 非退化。前两条得证。
设任意 $ \boldsymbol{\mathbf{x}} \in \operatorname {Rad} W, \boldsymbol{\mathbf{y}} \in W$，$W$ 的退化性意味着 $( \boldsymbol{\mathbf{x}} ^{T}A|_{W}) \boldsymbol{\mathbf{y}} =0$ 只有 $ \boldsymbol{\mathbf{0}} $ 解，因此 $A|_{W}$ 是单射，满秩。
接下来证明最后一条。因为 $W\cap W^{\bot}=0$，只需证明 $V=W+W^{\bot}$ 即可。正交空间必有正交基，设 $\{ \boldsymbol{\mathbf{e}} _i\}_{i=1}^k$ 是 $W$ 上的一组由非迷向向量组成的正交基，任意 $ \boldsymbol{\mathbf{z}} \in V$，$ \boldsymbol{\mathbf{z}} '$ 为任意向量在 $W$ 上的分量。剩余分量为
\begin{equation}
\boldsymbol{\mathbf{z}} - \boldsymbol{\mathbf{z}} '= \boldsymbol{\mathbf{z}} -\sum\limits_{i=1}^k\frac{f( \boldsymbol{\mathbf{z}} , \boldsymbol{\mathbf{e}} _i)}{f( \boldsymbol{\mathbf{e}} _i, \boldsymbol{\mathbf{e}} _i)} \boldsymbol{\mathbf{e}} _i~.
\end{equation}
若剩余分量属于 $W$ 的正交补，则必然与 $W$ 上的基向量内积为 $0$。验证有：
\begin{equation}
f( \boldsymbol{\mathbf{z}} - \boldsymbol{\mathbf{z}} ', \boldsymbol{\mathbf{e}} _j)=f( \boldsymbol{\mathbf{z}} , \boldsymbol{\mathbf{e}} _j)-\sum\limits_{i=1}^k\frac{f( \boldsymbol{\mathbf{z}} , \boldsymbol{\mathbf{e}} _i)}{f( \boldsymbol{\mathbf{e}} _i, \boldsymbol{\mathbf{e}} _i)}f( \boldsymbol{\mathbf{e}} _i, \boldsymbol{\mathbf{e}} _j)=0~,
\end{equation}
得证。
辛空间也有一条类似的定理：
定理 3
$(V,f)$ 是有限维辛空间，$W$ 是其非退化的子空间，则 $V=W\oplus W^{\bot}$
证明：1
由于 $W$ 非退化，所以 $ \operatorname {Rad} W=W\cap W^{\bot}={ \boldsymbol{\mathbf{0}} }$ 且 $W$ 是偶数维的辛空间。设 $\{ \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _{-i}\}_{i=1}^k$ 是 $W$ 的一组基并满足 $f( \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _{-i})=1$，若 $i\neq t$ 则有 $f( \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _{\pm t})= 0$2。扩展其为 $V$ 上的一组基：$\{ \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _{-i}\}_{i=1}^k\cup\{ \boldsymbol{\mathbf{\eta}} _i\}_{i=1}^{t}$。
设 $ \boldsymbol{\mathbf{\eta}} '_i= \boldsymbol{\mathbf{\eta}} _i-\sum\limits_{t=1}^kf( \boldsymbol{\mathbf{\eta}} _i, \boldsymbol{\mathbf{\theta}} _{-t}) \boldsymbol{\mathbf{\theta}} _t+\sum\limits_{t=1}^kf( \boldsymbol{\mathbf{\eta}} _i, \boldsymbol{\mathbf{\theta}} _t) \boldsymbol{\mathbf{\theta}} _{-t}$，则有：
\begin{equation}
\begin{aligned}
f( \boldsymbol{\mathbf{\eta}} '_j, \boldsymbol{\mathbf{\theta}} _i)&=f( \boldsymbol{\mathbf{\eta}} _j, \boldsymbol{\mathbf{\theta}} _i)-f( \boldsymbol{\mathbf{\eta}} _j, \boldsymbol{\mathbf{\theta}} _{-i}) \boldsymbol{\mathbf{f}} ( \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _i)+f( \boldsymbol{\mathbf{\eta}} _j, \boldsymbol{\mathbf{\theta}} _i) \boldsymbol{\mathbf{f}} ( \boldsymbol{\mathbf{\theta}} _{-i}, \boldsymbol{\mathbf{\theta}} _{i})=0\\
f( \boldsymbol{\mathbf{\eta}} '_j, \boldsymbol{\mathbf{\theta}} _{-i})&=f( \boldsymbol{\mathbf{\eta}} _j, \boldsymbol{\mathbf{\theta}} _{-i})-f( \boldsymbol{\mathbf{\eta}} _j, \boldsymbol{\mathbf{\theta}} _{-i}) \boldsymbol{\mathbf{f}} ( \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _{-i})+f( \boldsymbol{\mathbf{\eta}} _j, \boldsymbol{\mathbf{\theta}} _i) \boldsymbol{\mathbf{f}} ( \boldsymbol{\mathbf{\theta}} _{-i}, \boldsymbol{\mathbf{\theta}} _{-i})=0~.
\end{aligned}
\end{equation}
因而 $\{ \boldsymbol{\mathbf{\eta}} '_i\}_{i=1}^t\in W^{\bot}$，可以证明 $\{ \boldsymbol{\mathbf{\theta}} _i, \boldsymbol{\mathbf{\theta}} _{-i}\}_{i=1}^k\cup\{ \boldsymbol{\mathbf{\eta}} '_i\}_{i=1}^t$ 是 $V$ 上的一组基，得证。
由定理 2 可知，总可以找到一组基使得辛空间的度量矩阵为：
\begin{equation}
\operatorname{diag}\left\{\left(\begin{array}{rr}
0 & 1 \\
-1 & 0
\end{array}\right), \cdots,\left(\begin{array}{rr}
0 & 1 \\
-1 & 0
\end{array}\right), 0, \cdots, 0\right\} \text {, }
~.\end{equation}
这组基又称为
辛基。改变基的顺序，从满足上述形式的 ${ \boldsymbol{\mathbf{\theta}} _1, \boldsymbol{\mathbf{\theta}} _{-1}, \boldsymbol{\mathbf{\theta}} _2, \boldsymbol{\mathbf{\theta}} _{-2}... \boldsymbol{\mathbf{\theta}} _k, \boldsymbol{\mathbf{\theta}} _{-k}... \boldsymbol{\mathbf{\eta}} _1... \boldsymbol{\mathbf{\eta}} _t}$ 变为 ${ \boldsymbol{\mathbf{\theta}} _1, \boldsymbol{\mathbf{\theta}} _2, \boldsymbol{\mathbf{\theta}} _k, \boldsymbol{\mathbf{\theta}} _{-k}... \boldsymbol{\mathbf{\theta}} _{-1} \boldsymbol{\mathbf{\theta}} _{-2} \boldsymbol{\mathbf{\theta}} _{-k}... \boldsymbol{\mathbf{\eta}} _1... \boldsymbol{\mathbf{\eta}} _t}$。则可以证明在这组基下度量矩阵的形式为：
\begin{equation}
\begin{pmatrix}
0 & \boldsymbol E_k \\
-\boldsymbol E_k& 0\\
\end{pmatrix}~.
\end{equation}
1. ^ 参考丘维声《高等代数》
2. ^ 有限维辛空间总可以找到这么一组基。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。