# The Unapologetic Mathematician

## Bump Functions, part 2

As an immediate application of our partitions of unity, let’s show that we can always get whatever bump functions we need.

Let $U$ be an open subset of $M$, and $V$ be a set whose closure $\bar{V}$ is contained within $U$. I say that there is a nonnegative smooth function $\phi:M\to\mathbb{R}$ which is identically $1$ on $\bar{V}$, and which is supported within $U$.

To find this function, we start with a cover of $M$. Specifically, let $U$ be one set of the cover, and let $M\setminus\bar{V}$ be the other set. Then we know that there is a countable smooth partition of unity subordinate to this cover. That is, for every $k$ we either have $\phi_k$ supported in $U$, or $\phi_k$ supported in $M\setminus\bar{V}$ (or possibly both).

In fact, no matter what countable partition we come up with, we can take all the $\phi_k$ supported within $U$ and add them all up into one function $\phi$, and then take all the remaining functions and add them all up into one function $\psi$. Then $\{\phi,\psi\}$ is a partition of unity subordinate to our cover, and I say that $\phi$ is exactly the function we’re looking for.

Indeed, as a part of a partition of unity, $\phi$ is a nonnegative smooth function, and we know it’s supported in $U$. The only thing we need to determine is if it’s identically $1$ on $\bar{V}$. But for $p\in\bar{V}$ we know that $\phi(p)+\psi(p)=1$, and yet we also know that $\psi(p)=0$, since $\psi$ is supported in $M\setminus\bar{V}$. Thus we must have $\phi(p)=1$, and $\phi$ is indeed our bump function.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 3 Comments	»

1. [...] of homeomorphic to a ball in , and we can certainly find within such a neighborhood. Anyhow, we know that there exists a bump function which is identically on and supported within . We can thus [...]

Pingback by | March 24, 2011 | Reply

2. [...] each . We let be a neighborhood of whose closure is contained in . We know we can find a smooth bump function supported in and with on [...]

Pingback by | July 9, 2011 | Reply

3. [...] of then . Equivalently (given linearity), if in a neighborhood of then . But then we can pick a bump function which is on a neighborhood of and outside of . Then we have [...]

Pingback by | July 19, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 34, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.947486162185669, "perplexity_flag": "head"}