Hola
Hola, ¿sabes de alguna prueba para 1)? Por ejemplo, en el caso de que \( \displaystyle\lim_{x \to{a}}{g(x)}=\infty \) creo que esa igualdad no tiene sentido.
¡Claro! No escribí las condiciones en detalle. Se sobreentiende que para que funcione tiene que existir el límite \( \displaystyle\lim_{x \to{a}}{g(x)} \); igualmente para la posterior identificación del límite como derivada, tiene que existir la derivada.
La prueba la hacemos en un momento.
Sean \( f:U\subset \mathbb{R}\to \mathbb{R} \), \( g:V\subset \mathbb{R}\to \mathbb{R} \), con \( U,V \) abiertos y tales que \( Im(g)\subset U \).
Sea \( \displaystyle\lim_{x \to a}{}g(x)=b\subset U \). Entonces si \( f(x) \)es continua en \( b \) se tiene que:
\( \displaystyle\lim_{x \to a}{}f(g(x))=f(b) \)Prueba:
Sea \( \epsilon>0 \) por definición de continuidad existe un \( \delta>0 \) tal que:
\( |y-b|<\delta,\quad y\in U\quad \Rightarrow{}\quad |f(y)-f(b)|<\epsilon \)
Ahora como \( \displaystyle\lim_{x \to a}{}g(x)=b\subset U \), existe un \( \delta' \) tal que:
\( 0<|x-a|<\delta'\quad \Rightarrow{}\quad |g(x)-b|<\delta \)
Combinando ambas cosas, dado \( \epsilon>0 \) existe un \( \delta'>0 \) tal que:
\( 0<|x-a|<\delta'\quad \Rightarrow{}\quad |g(x)-b|<\delta\quad \Rightarrow{}\quad |f(g(x))-f(b)|<\epsilon \)
y por tanto:
\( \displaystyle\lim_{x \to a}{}f(g(x))=f(b) \)
Saludos.