Носитель меры

Носитель меры μ ― множество $\operatorname{supp}(\mu) = X\backslash X_0$, где X ― локально компактное пространство, на котором определена мера μ, X₀ ― наибольшее открытое множество, для которого μ(X₀) = 0. Другими словами, $\operatorname{supp}(\mu)$ ― наименьшее замкнутое множество, на котором сосредоточена мера μ. Если $\operatorname{supp}(\mu)$ компакт, то мера μ называется финитной.

См. также

• Носитель функции