claro, dador2norte→r2
yrnorte, r ≥ 0
puedes concluir inmediatamente quernorte→ r
; esto se deduce porque la función raíz cuadrada es continua y por lo tantornorte=r2norte−−√→r2−−√= r
automáticamente.
Dado esto, entonces se sigue queporqueθnorte→ porqueθ
ypecadoθnorte→ pecadoθ
, por lo que obtenemosθnorte→ θ
, como se desee.
Editar de los comentarios : Permítanme explicar esta última parte.
Primero, ¿cómo obtenemosporqueθnorte→ porqueθ
(y lo mismo parapecado
)? El argumento es que desder ≠ 0
yrnorte→ r
debe existir algunanorte> 0
tal que para todosnorte > norte
tenemos esornorte≠ 0
. Esto entonces nos permite realizar la división porrnorte
(paranorte
suficientemente grande) y obtenerrnorteporqueθnorternorte→r porqueθr
.
Una vez que tengamosporqueθnorte→ porqueθ
, podemos componer con la función inversa continuaporque− 1
para obtenerporque− 1porqueθnorte→porque− 1porqueθ
. El problema ahora es que no conocemos el signo de, por ejemplo,porque− 1porqueθnorte
(podría serθnorte
o−θnorte
). Pero al menos podemos concluir que
|θnorte| = |porque− 1porqueθnorte| → |porque− 1porqueθ | = | θ | .
Siθ = 0
entonces hemos terminado, ya que|θnorte| → 0
si y solo siθnorte→ 0
. En caso contrario podemos suponerθ ≠ 0
, y necesito argumentar que el signo deθnorte
es eventualmente siempre el mismo que el signo deθ
(es decir, paranorte
lo suficientemente grande). Hacemos esto simplemente usando el hecho de quepecadoθnorte→ pecadoθ
; podemos suponer queθnorte≠ 0
también (por el mismo argumento que di arriba pararnorte
), en ese caso
firmar(θnorte) = signo( pecadoθnorte) → signo( pecadoθ ) = signo( θ ) .
Pero ahora podemos simplemente multiplicar este par de secuencias convergentes y obtener:
θnorte= signo(θnorte) |θnorte| → firmar( θ ) | θ | = θ .
(Aquí
firmar
es la llamada "función de signo", que es
1
en reales positivos y
− 1
en reales negativos.)
311411
aproximación