Hamel基

Hamel基 (Hamel Basis)

Hamel基是线性代数中"基底"概念的最一般形式——它允许我们使用有限个基向量的线性组合表示向量空间中的任意向量。该概念由德国数学家 Georg Hamel 于 1905 年在其关于函数方程的经典论文中首次系统使用。Hamel基区别于泛函分析中常见的Schauder基（允许无穷级数展开），是研究无穷维向量空间代数结构的根本工具，在一般均衡理论、选择公理讨论和函数方程理论中均有深刻应用。

定义与基本性质

设 $V$ 是域 $\mathbb{F}$ 上的向量空间。一个子集 $\mathcal{B} \subset V$ 称为 $V$ 的Hamel基，如果满足以下两个条件：

1. 线性无关性 (Linear Independence)： 对任意有限子集 $\{b_1, \ldots, b_n\} \subset \mathcal{B}$ 和标量 $\alpha_1, \ldots, \alpha_n \in \mathbb{F}$， \[ \alpha_1 b_1 + \cdots + \alpha_n b_n = 0 \implies \alpha_1 = \cdots = \alpha_n = 0. \]
2. 张成性 (Spanning)： 对任意 $v \in V$，存在某个有限子集 $\{b_1, \ldots, b_n\} \subset \mathcal{B}$ 和标量 $\alpha_1, \ldots, \alpha_n \in \mathbb{F}$，使得 \[ v = \alpha_1 b_1 + \cdots + \alpha_n b_n. \]

关键在于"有限"二字：Hamel基要求每个向量的表示只能涉及有限个基向量，即便该向量空间本身可能是无穷维的。这使得 Hamel基成为纯粹代数意义上的基，不涉及任何拓扑或收敛概念。

每个非平凡的向量空间都拥有 Hamel基，但其存在性依赖于选择公理（或其等价形式，如 Zorn 引理）。对有限维空间，Hamel基就是通常的基底，其势（基数）等于空间的维数；对于无穷维空间，Hamel基必然是不可数的。

存在性证明：Zorn 引理的典型应用

Hamel基的存在性是 Zorn 引理在代数中的经典用例。证明思路如下：考虑 $V$ 中所有线性无关子集构成的集合族 $\mathcal{F}$，按包含关系赋予偏序。对 $\mathcal{F}$ 中的任意链（全序子族），其并集仍是线性无关的，因而属于 $\mathcal{F}$——这给出了上界。由 Zorn 引理，$\mathcal{F}$ 存在极大元 $\mathcal{B}_{\max}$。若存在 $v \in V$ 不能被 $\mathcal{B}_{\max}$ 有限张成，则 $\mathcal{B}_{\max} \cup \{v\}$ 也是线性无关的，与极大性矛盾。因此 $\mathcal{B}_{\max}$ 张成 $V$，即为 Hamel基。

值得注意的是，虽然存在性有保证，但对于大多数具体的无穷维 Banach 空间（如 $\ell^2$、$L^2[0,1]$），我们无法显式构造其 Hamel基——这正是选择公理的非构造性特征的体现。

Hamel基与 Schauder 基的区别

这是泛函分析中最重要也最容易被混淆的概念区分：

\begin{tabular}{c|c|c} \hline \& Hamel基 \& Schauder基 \\ \hline 表示方式 \& 有限线性组合 \& 可数无穷级数（依赖拓扑收敛） \\ 适用范围 \& 任意向量空间 \& Banach 空间 / 赋范空间 \\ 存在性 \& 依赖选择公理 \& 非所有可分 Banach 空间都有 \\ 基数 \& 通常不可数（无穷维情形）\& 至多可数（可分空间） \\ 例子 \& $\mathbb{R}$ 作为 $\mathbb{Q}$-向量空间的 Hamel基 \& $\ell^2$ 的标准单位向量序列 \\ \hline \end{tabular}

直观上，Hamel基是代数的基，Schauder基是分析的基。在泛函分析的应用中（如傅里叶级数展开），我们处理的几乎总是 Schauder基而非 Hamel基——但 Hamel基在理论论证中不可或缺。

\texorpdfstring{$\mathbb{R}$ 作为 $\mathbb{Q}$-向量空间}{R 作为 Q-向量空间}

Hamel基最令人惊叹的应用之一是揭示实数域的深层代数结构。将 $\mathbb{R}$ 视为有理数域 $\mathbb{Q}$ 上的向量空间，其 Hamel基 $\mathcal{H}$ 具有以下惊人性质：

• $\mathcal{H}$ 的基数等于连续统 $\mathfrak{c} = 2^{\aleph_0}$。
• 任意实数 $x$ 可唯一表示为有限和 $x = \sum_{h \in \mathcal{H}} q_h \cdot h$，其中仅有限个有理系数 $q_h$ 非零。
• 这意味着 $\mathbb{R}$ 作为 $\mathbb{Q}$-向量空间是 $\mathfrak{c}$ 维的——实数在有理数上的"维数"竟然是不可数的。

这一视角自然引出 Cauchy 函数方程的研究：$f(x + y) = f(x) + f(y)$。若 $f$ 连续，则 $f(x) = cx$。但若仅假设可加性（不要求连续性），则存在高度病态的解：取 Hamel基，在每个基向量上任意指定值，然后线性延拓。这种"怪异"解的存在性完全依赖于 Hamel基，深刻揭示了代数条件与拓扑条件之间的鸿沟。

在经济学中的应用

Hamel基在数理经济学——特别是无穷维商品空间的一般均衡理论——中具有基石性作用：

无穷维商品空间中的均衡存在性： 当考虑包含无穷多种商品（如跨期选择、不确定状态）的经济模型时，商品空间成为无穷维向量空间。阿罗-德布鲁模型的现代推广需要处理诸如 $\ell^\infty$、$L^\infty$ 等空间中的均衡问题。在这些空间中，Hamel基（作为代数基）与价格体系的线性泛函表示紧密相关——每个线性价格函数在代数对偶空间中的表示都依赖于 Hamel基的选择。

Riesz 表示与定价核： 在金融经济学中，若状态空间 $\Omega$ 是无穷的，资产定价基本定理断言：无套利等价于存在正的线性定价泛函。当市场不完备时，该泛函的表示涉及 Hamel基层面的构造，超越了可用的 Riesz 表示定理（后者需要 Hilbert 空间结构）。

福利经济学基本定理的推广：对于无穷维经济体，第二福利定理的证明需要借助分离超平面定理在一般向量空间中的版本——其证明核心用到了 Hamel基保证的代数对偶空间中足够丰富的线性泛函。

Debreu 的评注： Gérard Debreu 在其经典著作《价值理论》中指出，有限维的假设虽然数学上方便，但真正的经济学基础必须能够处理任意维度的商品空间。Hamel基正是在这一框架下保证"线性价格"这一核心经济学概念在数学上始终有意义的底层结构。

在函数方程与加性函数中的应用

Cauchy 函数方程及其推广构成了 Hamel基在分析学中最富戏剧性的应用：

考虑满足 Cauchy 可加方程 $f(x + y) = f(x) + f(y)$ 的所有函数 $f: \mathbb{R} \to \mathbb{R}$。此类函数称为加性函数 (Additive Functions)。若进一步要求 $f$ 在任何区间上有界、在一点连续或可测，则必然有 $f(x) = f(1) \cdot x$，即 $f$ 是线性的。

但若取消所有正则性条件，则存在无穷多个非线性加性函数。构造方法如下：设 $\mathcal{H}$ 为 $\mathbb{R}$ 在 $\mathbb{Q}$ 上的 Hamel基，对每个基向量 $h \in \mathcal{H}$ 任意指定 $f(h) \in \mathbb{R}$，然后通过加性延拓到整个 $\mathbb{R}$：

这个 $f$ 满足可加性但通常不连续，甚至在任何区间上都无界。这类"病态函数"的存在性是 Hamel基非构造性的直接后果。

与其它数学概念的关系

• 选择公理 (Axiom of Choice)：Hamel基的存在性等价于"每个向量空间都有基"这一命题，后者在 ZF 集合论中无法证明——实际上 Blass (1984) 证明了该命题在选择公理上的等价性。这使得 Hamel基成为公理化集合论与线性代数交汇点的标志性概念。
• 线性映射 (Linear Map)：Hamel基赋予线性映射极大的自由度：在基上任意指定像，然后线性延拓，即可得到唯一的线性映射。这在有限维空间中稀松平常，但无穷维时则意味着存在大量"不连续线性泛函"——这也是泛函分析中通常将注意力限制在连续对偶空间的根本原因。
• 对偶空间 (Dual Space)：向量空间 $V$ 的代数对偶 $V^*$ 定义为所有线性泛函 $\varphi: V \to \mathbb{F}$ 的集合。Hamel基的存在性保证了代数对偶空间的丰富性——$V^*$ 的维数通常严格大于 $V$（除非 $V$ 是有限维的，此时二者维数相等）。
• Banach空间：在无穷维 Banach 空间中，Hamel基必然不可数，而 Schauder基至多可数（当空间可分时）。这一基数差距提示我们：绝大多数 Hamel基向量在 Banach 空间中都是极难显式构造的"幽灵对象"。

总之，Hamel基是线性代数在无穷维疆域中的终极延伸——它是纯粹代数思维的极致体现，用"有限"的砖石搭建了"无限"的殿堂。在经济学从有限维向无穷维推进的历程中（跨期选择、不确定性、连续统商品空间），Hamel基始终是保证"线性价格"概念具有坚实数学基础的底层结构。对于每一位严肃学习数理经济学或泛函分析的研究者而言，理解 Hamel基及其与 Schauder基的区别，是从"计算"走向"理解"的关键一步。