Let $M$ be a smooth manifold ($dim\ge 1$). Let $f:M\to\mathbb{R}$ be a positive continuous function. Prove there is a smooth map $g\in C^{\infty}(M)$ such that $0 I knew this would involve a partition of unity. I took a locally finite cover of $M$ by precompact open sets ${\bf U}=\{U_i\}_{i\in I}$. Since $f$ is continuous I know $f$ attains a minimum on each ${\rm cl}(U_i)$, say at $x_i$, and that this minimum is still positive. So I defined maps $g_i: U_i\to\mathbb{R}$ given as a constant maps: $g_i(x)=\epsilon_i$, where $\epsilon_i$ is chosen to be $0<\epsilon_i Thanks for your help
Finding a smooth function less than some given (positive) continuous function
-
0The stitching together to make h a smooth function is tricky, since taking a min of smooth functions doesn't give you a smooth function. Otherwise, what you are doing is reasonable. I'd personally take a good cover of $M$ by coordinate charts so I could do the smoothing in $\mathbb{R}^n$, for simplicity. – 2011-10-05
1 Answers
Do not start by fixing a covering ${\bf U}=\{U_i\}_{i\in I}$ of $M$ ! Here is how you might proceed.
For each $m\in M$ choose an open neigbourhood $ U_m$ of $m$ and a constant $\epsilon _m\gt0$ with $\epsilon_m \lt f$ on $ U_m$.
Then choose a partition of unity $(\phi _m)_{m\in M}$ subordinate to the covering $\mathcal U=(U_m)_{m\in M}$.
The map $g=\sum\limits_{m\in M} \epsilon_m \phi _m$ is of class $\mathcal C^\infty$ and satisfies, as required, $0\lt g\lt f$. That's all.
Warning I think the apparent difficulty of this exercise comes from the common misconception that if you have an open covering $(U_i)_{i\in I}$ of a paracompact manifold and you want a subordinate partition of unity $(\phi_i)_{i\in I}$, then you should impose something on the covering, like being locally finite or denumerable, or on the $U_i$'s, like being relatively compact.
This is actually not necessary at all: the $\phi_i$'s always exist, they are $\geq 0$, their supports form a locally finite collection of closed sets $supp(\phi_i)\subset U_i$ [even if the initial covering $(U_i)_{i\in I}$ was $not$ locally finite!] and of course $\sum\limits_{i\in I} \phi_i=1$.
This pleasantly general result is stated and proved correctly in John M. Lee's book, on page 55.