定义:
分布是从 D ( U ) {\displaystyle {\mathcal {D}}(U)} 到 R {\displaystyle \mathbb {R} } 的线性连续映射,其中 U ⊆ R d {\displaystyle U\subseteq \mathbb {R} ^{d}} 是一个开集。
构造:
我们现在构造 D ( U ) {\displaystyle {\mathcal {D}}(U)} 上的 LCTVS(局部凸拓扑向量空间)分布,记为 D ′ ( U ) {\displaystyle {\mathcal {D}}'(U)} 。事实上,为了诱导局部凸拓扑,我们使用一个由以下半范数给出的族:
其中 n {\displaystyle n} 在自然数 N {\displaystyle \mathbb {N} } 中取值, K {\displaystyle K} 在 U {\displaystyle U} 的所有紧子集上取值。
给定一个分布,我们对它可以做很多事情。这些包括