一点可能需要相当的工作才能验证。例如对于任何给定的formula_19，一个定义在实数轴formula_1上的函数formula_2在无穷远处消失，可以粗略通过选取一个紧子集formula_9来描述：其中formula_24表示formula_9的指示函数。注意，任何定义在紧空间上的函数都是紧支撑的。当然也可以更一般地，将支撑集的概念推广到分布，比如狄拉克函数：定义在直线上的formula_26。此时，我们考虑一个测试函数formula_27，并且formula_27是光滑的，其支撑集不包括fo