Classification of Compact One-Manifolds/Lemma 1

From ProofWiki
Jump to navigation Jump to search

Lemma for Classification of Compact One-Manifolds

Let $f$ be a function on $\closedint a b$ that is smooth and has a positive derivative everywhere except one interior point, $c$.

Then there exists a globally smooth function $g$ that agrees with $f$ near $a$ and $b$ and has a positive derivative everywhere.


Let $r$ be a smooth nonnegative function that vanishes outside a compact subset of $\openint a b$, which equals $1$ near $c$, which satisfies:

$\ds \int_a^b r = 1$


$\ds \map g x = \map f a + \int_a^x \paren {k \map r s + \map {f'} s \paren {1 - \map r s} } \rd s$

where the constant:

$\ds k = \map f b = - \map f a - \int_a^b \map {f'} s \paren {1 - \map r s} \d s$