哈梅尔基

哈梅尔基是最纯粹代数意义下的基：一个向量集 B，使得 V 中每个向量都恰以唯一方式表为 B 中元素的有限线性组合。“有限”一词是全部要害——没有无穷和、没有极限、没有收敛，只有朴素的有限相加。这与第一卷的基概念相同，只是在空间为无穷维时仍坚持它。

标志性定理是：每个向量空间都有一组哈梅尔基，无论它多么浩大。证明依赖佐恩引理（等价于选择公理）：考虑一切线性无关子集，按包含关系排序，佐恩保证存在一个极大者，它原来正是一组基。代价是证明非构造性——它断言基存在，却从不交给你一个你能写下的。

这种非构造性不是技术细节；它正是怪异之处的核心。全体实序列空间，或全体连续函数空间，都有一组哈梅尔基，但从无人展示过一组，且可证明无人能——它真正超出了显式描述。你相信它，仅因佐恩如是说。无穷维代数迫使你接受能命名却永远无法展示的对象。

关键对照在于分析学者真正使用的“基”。希尔伯特空间的傅里叶基或标准正交基让你把向量写成无穷收敛和——那是拓扑（绍德尔）基，一个依赖极限概念、不同且更弱的概念。哈梅尔基忽略一切拓扑，只要求有限组合。二者在无穷维中几乎从不重合，混淆它们是经典的初学者错误。