分佈理論/支撐集和奇異支撐集
外觀
定義(在開集上為零):
設 為一個光滑流形,設
為開集,並設
。設
為開子集。我們說
**在**
**上為零**當且僅當對於所有
,我們有
。
命題(分佈在開集並集上為零):
設(
為光滑流形),並設
。假設
在一系列開子集
(
)上為零。則
也在
證明:令。則
是
的一個緊子集。因此,提取一個有限子覆蓋
。然後在
上選擇一個有限單位分解,這些函式從屬於
(利用
是
的一個緊子集,並用足夠小的支撐的軟化函式與該指示函式進行卷積),並使用
的線性性。
定義(支撐):
令,其中
是光滑流形的一個開子集。
的支撐是集合
其中並集取遍所有開集,在這些開集上
為零。