Partition of unity. Does this one exist?

134 Views Asked by At

Let $X:=\mathbb{R^n}$ be given and $M \subset X$ be a compact set in it. Then my question is: Are there $\alpha_i \in C^{\infty}(X,\mathbb{R})$ such that $supp(\alpha_i) \subset N$, where $N$ is an epsilon surrounding of $M$, such that those $\alpha_i$ form a partition of unity on M?

1

There are 1 best solutions below

0
On

As Harald Hanche-Olsen said, one $\alpha_i$ is enough. Let $E$ be the $\epsilon/3$ neighborhood of $M$. Convolve $\chi_{E}$ with a $C^\infty$ bump function $\phi$ such that $$\int_{\mathbb R^n} \phi=1\quad \text{and}\quad \operatorname{supp}\phi\subset \{x:|x|<\epsilon/3\}$$ The convolution $\chi_E*\phi$ is $C^\infty$-smooth, is equal to $1$ on $M$, and its support is contained in $N$.