设 $A,B$ 为 $M$ 上的闭集, 且 $A\cap B=\emptyset$, 则存在光滑函数 $f:M\rightarrow\mathbb{R}$, 使得 $f|_{A}\equiv 1$, $f|_{B}\equiv 0.$
设 $A,B$ 为 $M$ 上的闭集, 且 $A\cap B=\emptyset$, 则存在光滑函数 $f:M\rightarrow\mathbb{R}$, 使得
\[
f|_{A}\equiv 1,\quad f|_{B}\equiv 0.
\]
设 $A,B$ 为 $M$ 上的闭集, 且 $A\cap B=\emptyset$, 则存在光滑函数 $f:M\rightarrow\mathbb{R}$, 使得
\[
f|_{A}\equiv 1,\quad f|_{B}\equiv 0.
\]