Skip to main content
1 of 4

Closing lemma on the Interval

Let $f:$ $\mathbb{R}$ $\rightarrow$ $\mathbb{R}$ a $C^r$ diffeomorphism, $x\in\Omega(f)$.$\space$

How do i proove that $\forall\space\epsilon\gt0$, $\exists\space$ $g:$$\mathbb{R}$ $\rightarrow$ $\mathbb{R}$ with $d\(f,g\)\lt\epsilon$ $\space$ such that $x\in Per(g)$

$\Omega(f)=$ { $y\in\\mathbb{R}\mid\space\forall\space U, y\in U, $ there is $n\ge1 $ such that $f^n\(U\)\cap U\neq\emptyset $ }

The distance is given by the uniform convergence up to the first derivative.