从度量空间到Hilbert空间：核心理论的逻辑体系综述

From Metric Spaces to Hilbert Spaces: A Review on Logical System of Core Theories

摘要: 泛函分析以度量空间、内积空间为底层框架，完备性、可分性、正交结构、投影算子是贯穿理论的四大核心板块。本文作为一篇教学综述，从一般度量空间拓扑性质切入，系统梳理稠密性、可分空间、完备度量空间与完备化理论，依托Cantor闭球套定理建立完备性等价判定准则；由内积空间过渡至Hilbert空间，剖析正交系、标准正交基的四类等价刻画，对比Bessel不等式与Parseval恒等式的内在联系，结合勒让德多项式实例说明标准正交基的函数空间实现；借助独立章节以有限元法为案例，完整演示Hilbert空间最佳逼近理论从偏微分方程问题提出、空间建模到数值求解的全过程；最后依托正交投影定理阐述闭子空间正交分解结构与投影算子核心性质，串联起从一般拓扑度量空间到具备几何正交结构的Hilbert空间完整逻辑链条，阐释各理论在函数分析、积分空间以及工程数值计算中的实践价值。本文适合泛函分析课程辅助学习，有助于消解抽象理论与实际应用之间的隔阂。

Abstract: As a teaching review paper, this paper takes metric spaces and inner-product spaces as the underlying framework of functional analysis, where completeness, separability, orthogonal structures and projection operators are four core components. Starting from topological properties of general metric spaces, we systematically investigate density, separable spaces, complete metric spaces and completion theory. Based on Cantor’s nested closed-ball theorem, equivalent criteria for completeness are established. Then we move from inner-product spaces to Hilbert spaces, analyze four equivalent characterizations of orthogonal systems and orthonormal bases, and compare the intrinsic relation between Bessel’s inequality and Parseval’s identity. Legendre polynomials are adopted to illustrate orthonormal bases in function spaces. As a typical application, finite element method is discussed in an independent section, demonstrating the whole procedure including problem formulation, mathematical modeling in Hilbert space and numerical solution by best approximation. With the orthogonal projection theorem, we explain orthogonal decomposition for closed subspaces and key properties of projection operators. A complete logical chain is constructed from general metric spaces to Hilbert spaces with orthogonal geometry. This article can serve as supplementary reading for functional-analysis courses, narrowing the gap between abstract theory and practical computation.