有限维子空间单位球的有限ε-稠密子集构造方法问询

这问题其实很好理解，核心就是利用有限维希尔伯特空间与欧氏/酉空间的拓扑等价性——毕竟有限维希尔伯特空间本质上就是带内积的欧氏（实空间）或酉（复空间）空间，咱们一步步来构造：

• 第一步：给K找一组标准正交基
  因为K是可分希尔伯特空间H的有限维子空间，它本身也是一个有限维希尔伯特空间。取K的一组标准正交基${e_1,e_2,\dots,e_n}$（n是K的维数），那么K中任意元素$x$都可以唯一表示为：
  $$x = \sum_{i=1}^n a_i e_i$$
  其中$a_i = \langle x, e_i \rangle$，而且范数满足：
  $$|x|^2 = \sum_{i=1}^n |a_i|^2$$
  这时候K的单位球${x\in K : |x|\leq1}$就完全对应$\mathbb{C}^{n$（复空间）或$\mathbb{R}}n$（实空间）中的单位球$B_n = {(a_1,\dots,a_n) : \sum_{i=1}^n |a_i|^2 \leq1}$。

• 第二步：在欧氏/酉单位球里构造ε-稠密的网格点集
  先处理实空间的情况：
  取$\delta = \frac{\epsilon}{2\sqrt{n}}$，然后把每个坐标的区间$[-1,1]$按步长$\delta$划分，得到分点集合$S = {k\cdot\delta \mid k\in\mathbb{Z}, |k\cdot\delta|\leq1}$。
  接下来，取所有满足$\sum_{i=1}^n |b_i|^2 \leq1$的n元组$(b_1,b_2,\dots,b_n) \in S^{n$，这些点组成的集合就是$\mathbb{R}}n$单位球里的一个有限集（因为S是有限的，笛卡尔积的子集自然有限）。

  复空间的情况类似：把每个复数坐标拆成实部和虚部，取$\delta = \frac{\epsilon}{2\sqrt{2n}}$，对实部和虚部分别按上述方式划分，再取落在$\mathbb{C}^n$单位球里的所有复坐标组合即可。

• 第三步：把网格点映射回K得到集合A
  把第二步里得到的每个n元组$(b_1,\dots,b_n)$对应到K中的元素$\sum_{i=1}^n b_i e_i$，这些元素组成的集合就是我们要找的有限集$A\subset K$。

• 验证ε-稠密性
  任取K单位球中的元素$x = \sum a_i e_i$，对应$\mathbb{R}^{n$（或$\mathbb{C}}n$）单位球里的$(a_1,\dots,a_n)$。对每个$a_i$，取最近的分点$b_i\in S$，满足$|a_i - b_i|\leq\delta$。计算范数差：
  $$|x - \sum b_i e_i|^2 = \sum_{i=1}^n |a_i - b_i|^2 \leq n\cdot\delta^2 = n\cdot\frac{\epsilon^2}{4n} = \frac{\epsilon^2}{4} < \epsilon^2$$
  所以$|x - \sum b_i e_i| < \epsilon$，说明A在K的单位球中是ε-稠密的。

本质上，这就是把有限维空间的紧性转化为欧氏空间单位球的紧性，再用“网格覆盖”的经典构造来得到有限稠密集——毕竟紧空间的ε-网存在性本身就是紧性的等价刻画之一嘛。

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