首都师范大学 2026年高等代数第10题
📝 题目
10．设 $V$ 是实数域 $\displaystyle \mathbb{R}$ 上的一个 $n$ 维线性空间，在 $V$ 上定义一个二元实值函数，记为 $\displaystyle [\alpha, \beta]$ ，且满足：对任意的 $\displaystyle \alpha, \beta, \gamma \in V, k \in \mathbb{R}$ ，有
（i）$\displaystyle [k \alpha, \beta]=k[\alpha, \beta]$ ．
（ii）$\displaystyle [\alpha+\beta, \gamma]=[\alpha, \gamma]+[\beta, \gamma]$ ．
（iii）$\displaystyle [\alpha, \beta]=-[\beta, \alpha]$ ．
（iv）如果 $\displaystyle [\alpha, \beta]=0$ 对任意的 $\displaystyle \beta \in V$ 成立，则有 $\displaystyle \alpha=0$ ．
此时我们称 $V$ 关于该二元函数构成一个实数域 $\displaystyle \mathbb{R}$ 上的 $S$ 空间。证明：对于一个 $n$ 为 $S$ 空间 $V$ ，以下结论成立：
（1）$\displaystyle n \neq 1$ ．
（2）对于 $V$ 中的任意非零向量 $\displaystyle \alpha$ ，存在 $\displaystyle \beta \in V$ ，使得 $\displaystyle [\alpha, \beta]=1$ ．
（3）设 $K$ 为 $V$ 中的由（2）中的 $\displaystyle \alpha, \beta$ 生成的子空间，记
$$
K^{\perp}=\{\gamma \in V \mid[\gamma, \delta]=0, \forall \delta \in K\} .
$$
证明：$\displaystyle K^{\perp}$ 也是 $V$ 的子空间，且 $\displaystyle V=K \oplus K^{\perp}$ ．
（4）证明：$n$ 为偶数（记 $\displaystyle n=2 k$ ），且存在 $V$ 的一组基 $\displaystyle \varepsilon_{1}, \varepsilon_{2}, \cdots, \varepsilon_{k}, \varepsilon_{-1}, \varepsilon_{-2}, \cdots, \varepsilon_{-k}$ ，使得
$$
\left[\varepsilon_{i}, \varepsilon_{-i}\right]=1, \forall 1 \leq i \leq k ;\left[\varepsilon_{i}, \varepsilon_{j}\right]=0, \forall i, j \in\{ \pm 1, \pm 2, \cdots, \pm k\} \text {, 并且 } i+j \neq 0 \text {. }
$$
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/6
目标：证明 n ≠ 1
假设 $n=1$，则 $V$ 是一维线性空间。取非零向量 $\alpha \in V$，则对任意 $\beta \in V$，存在 $k \in \mathbb{R}$ 使得 $\beta = k\alpha$。由性质 (iii) 有 $[\alpha, \beta] = [\alpha, k\alpha] = k[\alpha, \alpha]$。又由 (iii) 得 $[\alpha, \alpha] = -[\alpha, \alpha]$，所以 $2[\alpha, \alpha]=0$，即 $[\alpha, \alpha]=0$。于是 $[\alpha, \beta]=0$ 对所有 $\beta$ 成立，由 (iv) 得 $\alpha=0$，矛盾。故 $n \neq 1$。
公式：[\alpha, \alpha] = -[\alpha, \alpha] \Rightarrow [\alpha, \alpha]=0
提示：注意一维空间中任意向量可表示为非零向量的倍数，且性质 (iii) 导致 $[\alpha, \alpha]=0$。
步骤 2/6
目标：存在 β 使得 [α, β]=1
取非零向量 $\alpha \in V$。定义线性映射 $f: V \to \mathbb{R}$ 为 $f(\beta) = [\alpha, \beta]$。由 (i)(ii) 知 $f$ 是线性函数。若 $f$ 是零映射，则 $[\alpha, \beta]=0$ 对所有 $\beta$ 成立，由 (iv) 得 $\alpha=0$，矛盾。故 $f$ 非零，因此存在 $\beta \in V$ 使得 $f(\beta)=1$，即 $[\alpha, \beta]=1$。
公式：f(\beta) = [\alpha, \beta]
提示：利用线性映射的核与性质 (iv) 推出矛盾。
步骤 3/6
目标：证明 K^⊥ 是子空间
设 $K = \operatorname{span}\{\alpha, \beta\}$，其中 $[\alpha, \beta]=1$。定义 $K^\perp = \{\gamma \in V \mid [\gamma, \delta]=0, \forall \delta \in K\}$。对任意 $\gamma_1, \gamma_2 \in K^\perp$ 和 $k \in \mathbb{R}$，有 $[k\gamma_1+\gamma_2, \delta] = k[\gamma_1, \delta]+[\gamma_2, \delta]=0$，故 $k\gamma_1+\gamma_2 \in K^\perp$，因此 $K^\perp$ 是子空间。
提示：验证子空间只需验证对加法和数乘封闭。
步骤 4/6
目标：证明 K ∩ K^⊥ = {0}
若 $\gamma \in K \cap K^\perp$，则 $\gamma = a\alpha + b\beta$，且 $[\gamma, \alpha]=0$，$[\gamma, \beta]=0$。计算：
- $[\gamma, \alpha] = [a\alpha+b\beta, \alpha] = a[\alpha,\alpha] + b[\beta,\alpha] = 0 + b(-[\alpha,\beta]) = -b = 0$，得 $b=0$。
- $[\gamma, \beta] = [a\alpha, \beta] = a[\alpha,\beta] = a = 0$，得 $a=0$。故 $\gamma=0$。
公式：[\alpha, \beta]=1, [\beta, \alpha]=-1
提示：利用 $[\alpha, \alpha]=0$ 和 $[\beta, \beta]=0$ 简化计算。
步骤 5/6
目标：证明 V = K + K^⊥
对任意 $\gamma \in V$，令 $\gamma_1 = [\gamma, \beta]\alpha - [\gamma, \alpha]\beta$，则 $\gamma_1 \in K$。令 $\gamma_2 = \gamma - \gamma_1$，则 $\gamma_2 \in K^\perp$，因为：
- $[\gamma_2, \alpha] = [\gamma, \alpha] - [\gamma_1, \alpha] = [\gamma, \alpha] - ([\gamma, \beta][\alpha,\alpha] - [\gamma, \alpha][\beta,\alpha]) = [\gamma, \alpha] - (0 - [\gamma, \alpha](-1)) = 0$。
- $[\gamma_2, \beta] = [\gamma, \beta] - [\gamma_1, \beta] = [\gamma, \beta] - ([\gamma, \beta][\alpha,\beta] - [\gamma, \alpha][\beta,\beta]) = [\gamma, \beta] - ([\gamma, \beta]\cdot 1 - 0) = 0$。
故 $\gamma = \gamma_1 + \gamma_2$，所以 $V = K \oplus K^\perp$。
公式：\gamma_1 = [\gamma, \beta]\alpha - [\gamma, \alpha]\beta
提示：构造 $\gamma_1$ 时注意符号，确保 $\gamma_2$ 与 $\alpha, \beta$ 正交。
步骤 6/6
目标：证明 n 为偶数且存在标准基（归纳法）
由 (1) 知 $n \neq 1$。对 $n$ 进行归纳。
- 基始：$n=2$ 时，取非零 $\alpha$，由 (2) 存在 $\beta$ 使 $[\alpha, \beta]=1$，则 $K=\operatorname{span}\{\alpha, \beta\}$ 是二维子空间，由 (3) 知 $V=K$，取 $\varepsilon_1=\alpha, \varepsilon_{-1}=\beta$ 即满足条件。
- 归纳步骤：假设对维数小于 $n$ 的 $S$ 空间结论成立。考虑 $n$ 维 $S$ 空间 $V$，取非零 $\alpha$，存在 $\beta$ 使 $[\alpha, \beta]=1$，令 $K=\operatorname{span}\{\alpha, \beta\}$，则 $V = K \oplus K^\perp$，$K^\perp$ 是 $n-2$ 维 $S$ 空间。由归纳假设，$n-2$ 为偶数，故 $n$ 为偶数，且 $K^\perp$ 有基 $\varepsilon_2, \dots, \varepsilon_k, \varepsilon_{-2}, \dots, \varepsilon_{-k}$ 满足条件。再添加 $\varepsilon_1 = \alpha$，$\varepsilon_{-1} = \beta$，则得到 $V$ 的基满足要求。
提示：归纳时注意 $K^\perp$ 上的限制仍满足 (i)-(iv)，且维数减少2。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。