ction::::检验函数空间.函数formula_3: U → R具有紧支撑集，当且仅当存在U的紧子集K，使得对任意 U\K 中的元素formula_29，都有formula_30。定义D(U)为所有在某个紧支撑集上无穷可微的函数（也就是所谓的隆起函数）的集合，则这个集合是一个实向量空间。这个空间中的拓扑可以通过定义序列的极限而定义。具体如下：在如此定义下的拓扑中，D(U)是一个完备、局部凸的拓扑向量空间，且满足海涅－博雷尔定理，但不是可度量的空间（不同胚于任何的度量空间）。而D(U)上的泛函f