Podemos mostrar el resultado siguiendo las líneas que has esbozado. En primer lugar, observamos que basta con considerar el aumento monótono de $f$ para la transformación $g \mapsto 1-g$ es una isometría que preserva los polinomios.
Ahora necesitamos aproximar el homeomorfismo $f$ por homeomorfismos continuamente diferenciables. Para ello, extender $f$ a $\mathbb{R}$ al establecer
$$g(x) = \begin{cases} f(x) &, x \in [0,1] \\ x &, x \notin [0,1].\end{cases}$$
Además, dejemos que $\varphi$ sea una función uniforme no negativa con soporte compacto y $\int_\mathbb{R} \varphi(x)\,dx = 1$ . La convolucración da lugar a una familia
$$g_\eta(x) = \int_\mathbb{R} g(x-\eta y)\varphi(y)\,dy$$
de funciones suaves estrictamente crecientes que convergen uniformemente a $g$ en $\mathbb{R}$ pour $\eta \searrow 0$ con $g_\eta(x) = x$ pour $x \leqslant -\eta K$ o $x \geqslant 1+\eta K$ si el apoyo de $\varphi$ está contenida en $[-K,K]$ .
Dado $0 < \varepsilon < \frac{1}{2}$ , elija $\eta > 0$ tan pequeño que $\lvert g_\eta(x)-g(x)\rvert < \frac{\varepsilon}{10}$ para todos $x\in\mathbb{R}$ . Entonces
$$h(x) = \frac{g_\eta(x) - g_\eta(0)}{g_\eta(1) - g_\eta(0)}$$
define un homeomorfismo suave de $[0,1]$ . Tenemos
$$\begin{align} \lvert g_\eta(x) - h(x)\rvert &= \left\lvert \frac{g_\eta(x)(g_\eta(1)-g_\eta(0)) - (g_\eta(x)-g_\eta(0))}{g_\eta(1)-g_\eta(0)}\right\rvert\\ &\leqslant \frac{\lvert g_\eta(x)\rvert\cdot\lvert g_\eta(1)-1\rvert + \lvert g_\eta(0)\rvert\cdot \lvert 1-g_\eta(x)\rvert}{g_\eta(1)-g_\eta(0)}\\ &\leqslant 2\frac{\varepsilon}{10}\frac{1+\frac{\varepsilon}{10}}{1-2\frac{\varepsilon}{10}}\\ &< \frac{\varepsilon}{4}, \end{align}$$
así que $\lvert g(x) - h(x)\rvert < \frac{\varepsilon}{2}$ para todos $x\in [0,1]$ .
Ahora bien, como $h$ es suave y estrictamente creciente, $h'$ es continua y estrictamente positiva, por lo que se puede aproximar uniformemente $h'$ por polinomios positivos. Si $Q$ es un polinomio positivo tal que $\lvert Q(x)-h'(x)\rvert < \frac{\varepsilon}{5}$ pour $x\in [0,1]$ y $P(x) = \int_0^x Q(t)\,dt$ entonces $P$ es estrictamente creciente (en $[0,1]$ ) polinomio con $\lvert P(x) - h(x)\rvert < \frac{\varepsilon}{5}$ para todos $x\in [0,1]$ y $R(x) = \frac{P(x)}{P(1)}$ es un homeomorfismo polinómico de $[0,1]$ con
$$\lvert P(x) - R(x)\rvert = \left\lvert \frac{P(x)(P(1)-1)}{P(1)}\right\rvert\leqslant \frac{\varepsilon}{5}\cdot\frac{1+\frac{\varepsilon}{5}}{1-\frac{\varepsilon}{5}} < \frac{\varepsilon}{4},$$
así que
$$\lvert f(x) - R(x)\rvert \leqslant \lvert f(x) - h(x)\rvert + \lvert h(x) - P(x)\rvert + \lvert P(x) - R(x)\rvert < \varepsilon.$$
0 votos
Desde $f$ es continua en la compacta $[0,1]$ un teorema de Weirstrass ( es.wikipedia.org/wiki/Teorema de aproximación de Weierstrass ) garantiza que existe una secuencia de polinomios $(P_{n})_{n \in \mathbb{N}}$ que converge uniformemente a $f$ en $[0,1]$ . La secuencia $(P_{n})_{n \in \mathbb{N}}$ puede construirse a partir de $f$ utilizando los polinomios de Bernstein ( es.wikipedia.org/wiki/Bernstein_polynomial ). No estoy seguro, pero creo que esta secuencia de polinomios servirá en este caso.
0 votos
@jibounet No lo hará. No hay forma de garantizar que esos polinomios sean homeomorfismos de $[0,1]$ a sí mismo.
0 votos
@Potato : Lo siento. Supongo que mi idea era demasiado ingenua.
0 votos
Parece que faltan algunas cosas en tu post. ¿Es la secuencia $(P_n)$ se supone que convergen a $f$ ? Usted escribió que $Q_n$ convergen uniformemente. ¿Quiere decir que convergen a $f'$ ?
1 votos
Una biyección continua desde $[0,1]$ a $[0,1]$ es un homeomorfismo - ProofWiki . Así que bastaría con encontrar polinomios que sean biyectivos.
0 votos
$f'$ puede ser fácilmente negativo. Tome $f(x)=1-x$ .
0 votos
@Martin Sleiziak : Sí, exactamente. He editado.
0 votos
Esto se preguntó antes, pero no recibió respuestas: math.stackexchange.com/questions/846444/
0 votos
@MartinSleziak: sí exactamente bastaría con encontrar polinomios que sean biyectivos.
0 votos
@zibadawatimmy: Cuando f es un homeomorfismo de $[0,1]$ a sí misma es una función monótona por lo que $f'$ es no negativo o no positivo. por lo que Sin pérdida de generalidad podemos pensar que f es monotónicamente creciente, porque si no $-f$ es monótonamente decreciente.
0 votos
Creo que vas por buen camino. Puedes reducir el problema a la aproximación por $C^1$ homeomorfismos. De hecho, se puede hacer con $C^\infty$ los. Un geómetra sólo diría que hay que elegir $n$ y tomar cualquier difeomorfismo que coincida con $f$ en estos. Sin embargo, no estoy seguro de cuáles son los detalles técnicos que justifican que dicha función exista siempre.
0 votos
@Potato No funcionará como se indica, pero seguramente funcionará si el $Q_n$ se reescalan adecuadamente para que la imagen sea $[0,1]$ (el factor de escala tenderá a $1$ ).