l2空间的完备性_[泛函分析手记] 2.1 内积空间

本文使用 Zhihu On VSCode 创作并发布

从这一篇开始，我们进入新的章节：

空间。可以剧透一下，因为

空间的性质非常好，这一部分应该是我们学习线性泛函比较舒服的一部分。

在进入新领域之前，我们还是回顾一下走过的路。

最开始我们有的是线性空间，我们在线性代数里面学习的主要对象就是它。我们研究它的代数性质，比如在集合中定义运算，产生加法，数乘，封闭性……

然后是线性距离空间。我们由3条公设在线性空间引入距离，这就是我们加入的拓扑结构了。

再之后，我们继续引入“长度”：范数

，得到

线性赋范空间。范数可以诱导距离

（反过来不一定成立）。

我们在解析几何里还有一个熟悉的概念：夹角。对于

维欧式空间

的向量

，我们曾经是如何定义夹角的？

我们是用内积来定义夹角的。

那么在泛函分析中，我们要思考的就是如何从具体空间中将内积抽象。

在讨论开始前我们做一些必要的约定

• 向量以列向量形式表达
• 用上标
  表示共轭转置^[共轭转置维基百科]

和学习距离 范数的时候一样，我们从一类具体的例子来体会内积最本质的特征。我们这里考虑

维复向量

的内积

我们用一个具体的例子来展示这个过程，设

那么

到这里第一条为什么成立就很明显了。

和

都是

第一变元线性性的特征

这一条实际上是做共轭的向量不同，导致做内积后虚部正负相反。

如果需要验算，可以仿照

再定义一个向量

，具体计算一下。这个工作交给有需要的读者用纸笔进行。

到这里可以说，如果我们定义一个新的映射可以保持这样四条性质，它就是抽象的内积。

下面插一段题外话，不喜欢的读者可以跳过。

---

我觉得到这里可能读者会有疑问，凭什么就说上面那四条就是内积最本质的特征，这不讲道理对不对。我们会很自然的产生疑问。

对这种疑问，我想说一下自己的理解。换作是几年以前的我，如果不把这样的问题搞清楚，那我是不愿意进行下一段的学习的。所以我希望读者不要这样钻牛角尖，走