关于Hilbert spaces作为其有限维子空间directed colimit的证明及相关范畴论性质的问询

嘿，好问题！这俩点刚好是泛函分析和范畴论交叉领域里基础又核心的内容，我来给你拆解明白。

一、证明Hilbert空间是其有限维子空间的定向余极限（Directed Colimit） #

咱先从定向集的构造说起：

• 任取一个Hilbert空间( H )，记( \mathcal{F}(H) )为( H )所有有限维子空间构成的集合。给这个集合加个偏序：如果子空间( V \subseteq W )，就定义( V \leq W )。这个偏序是定向的——随便挑两个有限维子空间( V )和( W )，它们的线性张成( \text{span}(V \cup W) )也是有限维的，而且( V \leq \text{span}(V \cup W) )、( W \leq \text{span}(V \cup W) )，满足定向集“任意两个元素有共同上界”的要求。

接下来定义余锥（cocone）并验证它是余极限：

• 对每个( V \in \mathcal{F}(H) )，取包含映射( i_V: V \to H )——这是个有界线性映射（范数就是1，很好验证）。现在要证明：这个包含映射构成的余锥，就是( \mathcal{F}(H) )在Hilbert空间范畴中的定向余极限。
• 怎么验证？按照余极限的定义，我们需要证明：对任意另一个余锥( {f_V: V \to K \mid K \text{是Hilbert空间}, f_V \text{是有界线性映射，且对} V \leq W, f_W \circ i_{V,W} = f_V} )（这里( i_{V,W}: V \to W )是包含映射），存在唯一的有界线性映射( f: H \to K )，使得对所有( V \in \mathcal{F}(H) )，都有( f \circ i_V = f_V )。

一步步来构造并验证这个( f )：

1. 良定性：对任意( x \in H )，取包含( x )的某个有限维子空间( V )（比如( \text{span}{x} )），定义( f(x) = f_V(x) )。为啥这个定义不依赖于( V )的选择？如果( x )同时在( V )和( W )里，那( x \in V \cap W )，而( V \cap W )也是有限维的，且( V \cap W \leq V )、( V \cap W \leq W )，所以( f_V(x) = f_{V \cap W}(x) = f_W(x) )，完全没问题。
2. 线性性：对( x,y \in H )，取包含( x,y )的有限维子空间( V = \text{span}{x,y} )，则( f(x+y) = f_V(x+y) = f_V(x) + f_V(y) = f(x) + f(y) )；数乘的情况同理，直接用( f_V )的线性性就能推出来。
3. 有界性：假设( f )无界，那会存在序列( x_n \in H )，( |x_n| = 1 )，使得( |f(x_n)| \to \infty )。但每个( x_n )都在( V_n = \text{span}{x_n} )里，( f(x_n) = f_{V_n}(x_n) )。考虑定向集里的上界( W_n = \text{span}{x_1,...,x_n} )，则( f_{W_n}(x_k) = f(x_k) )对( k \leq n )。每个( f_{W_n} )是有限维空间到( K )的有界线性映射，所以( |f_{W_n}| )是有限数。根据一致有界原理（Banach-Steinhaus定理），如果对每个( x \in H )，( \sup_{V \ni x} |f_V(x)| < \infty )，那么( \sup_{V \in \mathcal{F}(H)} |f_V| < \infty )，这样( f )的范数就不超过这个上确界，自然是有界的。而对任意( x \in H )，( x )在某个( V )里，所有包含( x )的( V' \geq V )都满足( f_{V'}(x) = f_V(x) )，所以这个上确界是有限的，矛盾。因此( f )一定有界。
4. 唯一性：如果还有另一个有界线性映射( g: H \to K )满足( g \circ i_V = f_V )，那对任意( x \in H )，( x )在某个( V )里，( g(x) = g(i_V(x)) = f_V(x) = f(x) )，所以( g = f )。

这样就完整证明了( H )是其有限维子空间构成的定向集的余极限。

二、Hilbert空间范畴是不是有限维Hilbert空间范畴的Ind-completion？ #

答案是是的，不过得先明确几个范畴论的细节：

• 首先，Ind-completion的核心定义是：小范畴( \mathcal{C} )的Ind-completion( \text{Ind}(\mathcal{C}) )，是所有由( \mathcal{C} )中定向图的余极限构成的范畴——对象是这些余极限，态射是余极限之间由相容态射族诱导的映射。
• 这里我们的( \mathcal{C} )是有限维Hilbert空间和有界线性映射构成的范畴( \text{FHilb} )（严格来说，( \text{FHilb} )的骨架是小范畴，因为每个维度的有限维Hilbert空间都同构于( \mathbb{C}^n )，所以取骨架后满足Ind-completion对“小范畴”的要求）。

为啥Hilbert空间范畴( \text{Hilb} )就是( \text{Ind}(\text{FHilb}) )？

1. 对象层面：刚才已经证明了每个Hilbert空间都是( \text{FHilb} )中定向图的余极限；反过来，( \text{Ind}(\text{FHilb}) )中的每个对象，都是( \text{FHilb} )定向图的余极限，而这样的余极限在( \text{Hilb} )中存在——作为向量空间的定向余极限是预Hilbert空间，完备化后就是Hilbert空间，且这个完备化过程和有界线性映射的相容性是一致的。
2. 态射层面：( \text{Ind}(\text{FHilb}) )中两个对象( X = \text{colim} V_i )和( Y = \text{colim} W_j )之间的态射，是所有满足交换图的相容态射族的等价类；而在( \text{Hilb} )中，从( X )到( Y )的有界线性映射，正好对应这样的相容态射族——因为每个有界线性映射限制在有限维子空间( V_i )上，就是( \text{FHilb} )中的态射，且这些限制满足相容性；反过来，每个相容态射族也能唯一诱导出( X )到( Y )的有界线性映射（就是我们第一部分构造的( f )）。

唯一需要注意的小细节：如果考虑的是Banach-enriched的范畴（而不是Set-enriched），Ind-completion的余极限需要满足Banach空间范畴的余极限条件，不过我们第一部分构造的( f )是有界的，完全符合这个要求，所以结论依然成立。

备注：内容来源于stack exchange，提问作者Amaru