在数学中，一个定义在集合formula_1上的实值函数formula_2的支撑集，或简称支集，是指formula_1的一个子集，满足formula_2恰好在这个子集上非formula_5。最常见的情形是，formula_1是一个拓扑空间，比如实数轴等等，而函数formula_2在此拓扑下连续。此时，formula_2的支撑集被定义为这样一个闭集formula_9：formula_2在formula_11中为formula_5，且不存在formula_9的真闭子集也满足这个条件，即，formula_9是所有这