分布理论

1. 前言

分布（distribution）概念的起源可以追溯到1830年，当时开始使用Green函数来解常微分方程，但是当时还只是零碎的知识点，并未形成完整的体系。根据Kolmogorov和Fomin的整理，Sergi Sobolev于1936年在解二阶双曲微分方程时正式提出广义函数的概念，该想法在40年代被Laurent Schwartz正式发展成如今称为“分布理论”的数学理论。通过Schwartz的自传，他类比电量的分布，给这种广义函数命名为“分布”。Gårding在1997年评论道，虽然Schwartz在1951年出版的巨著《Theorie des distributions》的想法不是新的，但通过Schwarz的努力和强烈的信念，使得分布理论成为整个分析学科的基石，发挥了强大的威力。

------摘自Wikipedia.

拓扑线性空间是Banach空间的推广，分布理论是建立在拓扑线性空间的基础上的，然而，拓扑线性空间是一个大的课题，我们不可能对其详细的介绍，因此我们只介绍对我们有用的那部分知识。在此之前，由于我还没写点集拓扑方面的Notes，因此我们不得不补充一些拓扑的知识。

2. 预备知识

我们假设读者已经了解点集拓扑的一些基础概念，例如开集，邻域，紧空间等等，我们现在讨论拓扑空间中的收敛性。
我们知道，在度量空间中，许多拓扑性质可以用序列刻画，例如

• 在度量空间$X$中，集合$A\subset X$，则$A$的闭包可以被序列刻画：
  A ‾ = { x ∈ X : 存 在 序 列 x n ∈ A ， 且 d ( x n , x ) → 0 } . \overline{A}=\{x\in X:存在序列x_n\in A，且d(x_n,x)\rightarrow 0\}. A={ x∈X:存在序列xn​∈A，且d(xn​,x)→0}.

但是在一般的拓扑空间中，序列这个概念已经不足以刻画拓扑性质了，例如

(第一不可数序，the first uncountable ordinal) 我们在文章集合与拓扑/第一不可数序中介绍了第一不可数序${\omega }_1$，在序拓扑中，${\omega }_1=\mathbf{s}\mathbf{e}\mathbf{g}{y}_0\subset (-\infty ,y_0]$，验证：

• $\omega$