撑集是formula_1中的一个紧集。例如，若formula_1是实数轴，那么所有在无穷远处消失的函数都是紧支撑的。事实上，这是函数必须在有界集外为formula_5的一个特例。在下，紧支撑的函数所构成的集合，在所有在无穷远处消失的函数构成的集合中，是稠密集的，当然在给定的具体问题中，这一点可能需要相当的工作才能验证。例如对于任何给定的formula_19，一个定义在实数轴formula_1上的函数formula_2在无穷远处消失，可以粗略通过选取一个紧子集formula_9来描述：其中formula_