能否构造所有序列构成的向量空间的一组基？（虽向量空间均有基，但能否构造？）

嘿，这个问题戳中了线性代数里一个很有意思的点——存在性和可构造性的本质区别，还牵扯到选择公理这个集合论里的“争议选手”。先明确一下我们说的空间：这里的“所有序列”指的是某个域（比如实数域ℝ或复数域ℂ）上的无穷序列空间，记为$F^\mathbb{N}$，每个元素都是形如$(a_1,a_2,a_3,...)$的无穷数列，加法和数乘都是逐分量定义的。

根据线性代数的基本结论（依赖于佐恩引理，而佐恩引理和选择公理是等价的），每个向量空间都存在哈默尔基（代数基）——也就是一组线性无关的向量，使得空间里的任何向量都能唯一表示为这组基中有限个元素的线性组合。所以对于$F^\mathbb{N}$来说，基肯定是存在的。

不过这里要注意：我们平时熟悉的“标准单位序列”（比如$e_1=(1,0,0,...)$、$e_2=(0,1,0,...)$、$e_3=(0,0,1,...)$…）并不是这个空间的基，因为像$(1,1,1,...)$这样的序列根本没法写成它们的有限线性组合——有限个单位序列加起来，后面的分量必然都是0，不可能全是1。

答案是不能，至少在“构造”指的是“可以明确写出基的元素、或者给出有限可描述的规则来生成基”的前提下做不到。

为什么？因为哈默尔基的存在性完全依赖于选择公理，而选择公理是一个非构造性的公理：它只保证满足条件的集合存在，但不给出任何具体的构造方法。对于$F^\mathbb{N}$这个不可数无穷维空间，我们没有办法写出基里的任何一个具体元素，也没法给出一个能被有限步骤定义的规则来生成基的成员。

换句话说，我们只能通过选择公理“证明”基存在，但没法把它实实在在地“写出来”或者“构造出来”——任何声称构造出这个基的尝试，本质上都得依赖选择公理的非构造性假设，没法给出具体的例子。

内容的提问来源于stack exchange，提问作者Sameer Pande