在数学中，一个定义在集合X上的实值函数f的支撑集，或简称支集，是指X的一个子集，满足f恰好在这个子集上非0。最常见的情形是，X是一个拓扑空间，比如实数轴等等，而函数f在此拓扑下连续。此时，f的支撑集被定义为这样一个闭集C：f在X\C中为0，且不存在C的真闭子集也满足这个条件，即，C是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。特别地，在概率论中，一个概率分布是随机变量的所有可能值组成的集合的闭包。（https://zh.wikipedia.org/wiki/%E6%94%AF%E6%92%91%E9%9B%86）
f的集合论支撑supp(f)={x∈X|f(x)≠0}是X的最小子集，它在子集的补上f为0。如果f(x)除X中有限数量的点x外所有点均为0，则f具有有限支撑。
基本支撑 essential support
ess supp(f)=X\∪{Ω⊂X|Ω是最大开放集，在Ω上f几乎处处为0}是最大开放集的补，通常简称为supp(f)
（https://en.wikipedia.org/wiki/Support_(mathematics)）
用人话表示就是：支撑集是函数的一个子集，满足函数在这个子集上函数值不为零，而在子集的补上都为零。它的元素数量就是非零元素的数量。
支撑集就是L0范数