3.2: Teoremas de Límite
- Page ID
- 107864
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Aquí exponemos y probamos diversos teoremas que facilitan el cómputo de límites generales.
Dejemos\(f, g: D \rightarrow \mathbb{R}\) y dejemos\(c\) ser una constante. Las funciones\(f+g\),\(fg\), y\(cf\) se definen respectivamente como funciones de\(D\) a\(\mathbb{R}\) por
\((f+g)(x)=f(x)+g(x)\),
\((f g)(x)=f(x) g(x)\),
\((c f)(x)=c f(x)\)
para\(x \in D\). Vamos\(\widetilde{D}=\{x \in D: g(x) \neq 0\}\). La función\(\dfrac{f}{g}\) se define como una función de\(\widetilde{D}\) a\(\mathbb{R}\) por
\[\left(\dfrac{f}{g}\right)(x)=\dfrac{f(x)}{g(x)}\]
para\(x \in \widetilde{D}\).
Dejar\(f, g: D \rightarrow \mathbb{R}\) y dejar\(c \in \mathbb{R}\). Supongamos que\(\bar{x}\) es un punto límite de\(D\) y
\[\lim _{x \rightarrow \bar{x}} f(x)=\ell, \lim _{x \rightarrow \bar{x}} g(x)=m.\]
Entonces
- \(\lim _{x \rightarrow \bar{x}}(f+g)(x)=\ell+m\),
- \(\lim _{x \rightarrow \bar{x}}(f g)(x)=\ell m\),
- \(\lim _{x \rightarrow \bar{x}}(c f)(x)=c \ell\),
- \(\lim _{x \rightarrow \bar{x}}\left(\dfrac{f}{g}\right)(x)=\dfrac{\ell}{m}\)siempre que\(m \neq 0\).
Primero probemos (a). \(\left\{x_{n}\right\}\)Sea una secuencia en la\(D\) que converja hacia\(\bar{x}\) y\(x_{n} \neq \bar{x}\) para cada uno\(n\). Por Teorema 3.1.2,
\[\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\ell \text { and } \lim _{n \rightarrow \infty} g\left(x_{n}\right)=m.\]
Del Teorema 2.2.1 se deduce que
\[\lim _{n \rightarrow \infty}\left(f\left(x_{n}\right)+g\left(x_{n}\right)\right)=\ell+m.\]
Aplicando nuevamente el Teorema 3.1.2, obtenemos\(\lim _{x \rightarrow \bar{x}}(f+g)(x)=\ell+m\). Las pruebas de (b) y (c) son similares.
Demostremos ahora que si\(m \neq 0\), entonces\(\bar{x}\) es un punto límite de\(\widetilde{D}\). Ya que\(\bar{x}\) es un punto límite de\(D\), hay una secuencia\(\left\{u_{k}\right\}\) en\(D\) converger a\(\bar{x}\) tal que\(u_{k} \neq \bar{x}\) para cada uno\(k\). Ya que\(m \neq 0\), se deduce de una fácil aplicación del Teorema 3.1.6 que existe\(\delta > 0\) con
\(g(x) \neq 0\)siempre que\(0<|x-\bar{x}|<\delta, x \in D.\)
Esto implica
\(x \in \widetilde{D}\)siempre que\(0<|x-\bar{x}|<\delta, x \in D.\)
Entonces\(u_{k} \in \widetilde{D}\) para todos\(k\) suficientemente grandes, y por lo tanto\(\bar{x}\) es un punto límite de\(\widetilde{D}\). El resto del comprobante de (d) podrá cumplimentarse fácilmente siguiendo el comprobante de (a). \(\square\)
Considerar\(f: \mathbb{R} \backslash\{-7\} \rightarrow \mathbb{R}\) dado por\(f(x)=\dfrac{x^{2}+2 x-3}{x+7}\).
Solución
Luego, combinando todas las partes del Teorema 3.2.1, obtenemos
\[\begin{align*} \lim _{x \rightarrow-2} f(x) &=\dfrac{\lim _{x \rightarrow-2}\left(x^{2}+2 x-3\right)}{\lim _{x \rightarrow-2}(x+7)}=\dfrac{\lim _{x \rightarrow-2} x^{2}+\lim _{x \rightarrow-2} 2 x-\lim _{x \rightarrow-2} 3}{\lim _{x \rightarrow-2} x+\lim _{x \rightarrow-2} 7} \\[4pt] &=\dfrac{\left(\lim _{x \rightarrow-2} x\right)^{2}+2 \lim _{x \rightarrow-2} x-\lim _{x \rightarrow-2} 3}{\lim _{x \rightarrow-2} x+\lim _{x \rightarrow-2} 7}=\dfrac{(-2)^{2}+2(-2)-3}{-2+7}=-\dfrac{3}{5} \end{align*}\]
Se procede de la misma manera para calcular el siguiente límite.
\[\lim _{x \rightarrow 0} \dfrac{1+(2 x-1)^{2}}{x^{2}+7}. \nonumber\]
Solución
\[ \begin{align*} \lim _{x \rightarrow 0} \dfrac{1+(2 x-1)^{2}}{x^{2}+7} &=\dfrac{\lim _{x \rightarrow 0} 1+\lim _{x \rightarrow 0}(2 x-1)^{2}}{\lim _{x \rightarrow 0} x^{2}+\lim _{x \rightarrow 0} 7} \\[4pt] &=\dfrac{1+1}{0+7}=\dfrac{2}{7}. \end{align*}\]
Ahora consideramos
\[\lim _{x \rightarrow-1} \dfrac{x^{2}+6 x+5}{x+1}. \nonumber\]
Solución
Dado que el límite del denominador no\(0\) podemos aplicar directamente la parte (d) del Teorema 3.2.1. En cambio, primero simplificamos la expresión teniendo en cuenta que en la definición de límite nunca necesitamos evaluar la expresión en el propio punto límite. En este caso, esto significa que podemos suponer que\(x \neq-1\). Para cualquiera de tales\(x\) tenemos
\[\dfrac{x^{2}+6 x+5}{x+1}=\dfrac{(x+1)(x+5)}{x+1}=x+5. \nonumber\]
Por lo tanto,
\[\lim _{x \rightarrow-1} \dfrac{x^{2}+6 x+5}{x+1}=\lim _{x \rightarrow-1} x+5=4. \nonumber\]
Dejar\(f: D \rightarrow \mathbb{R}\) y dejar\(\bar{x}\) ser un punto límite de\(D\). Entonces\(f\) tiene un límite en\(\bar{x}\) si y solo si para alguno\(\varepsilon>0\), existe\(\delta > 0\) tal que
\(|f(r)-f(s)|<\varepsilon\)cuando\(r, s \in D\) y\(0<|r-\bar{x}|<\delta, 0<|s-\bar{x}|<\delta .\)
- Prueba
-
Supongamos\(\lim _{x \rightarrow \bar{x}} f(x)=\ell\). Dado\(\varepsilon>0\), existe\(\delta > 0\) tal que
\(|f(x)-\ell|<\dfrac{\varepsilon}{2}\)cuando\(x \in D\) y\(0<|x-\bar{x}|<\delta .\)
Así, para\(r, s \in D\) con\(0<|r-\bar{x}|<\delta\) y\(0<|s-\bar{x}|<\delta\), tenemos
\[|f(r)-f(s)| \leq|f(r)-\ell|+|\ell-f(s)|<\varepsilon .\]
Demostremos lo contrario. Fijar una secuencia\(\left\{u_{n}\right\}\) en\(D\) tal con\(\lim _{n \rightarrow \infty} u_{n}=\bar{x}\) y\(u_{n} \neq \bar{x}\) para cada\(n\). Dado\(\varepsilon>0\), existe\(\delta > 0\) tal que
\(|f(r)-f(s)|<\varepsilon\)cuando\(r, s \in D\) y\(0<|r-\bar{x}|<\delta\),\(0<|s-\bar{x}|<\delta .\)
Entonces existe\(N \in \mathbb{N}\) satisfactorio
\(0<\left|u_{n}-\bar{x}\right|<\delta\)para todos\(n \geq N .\)
Esto implica
\(\left|f\left(u_{n}\right)-f\left(u_{m}\right)\right|<\varepsilon\)para todos\(m, n \geq N .\)
Así,\(\left\{f\left(u_{n}\right)\right\}\) es una secuencia de Cauchy, y por lo tanto existe\(\ell \in \mathbb{R}\) tal que
\[\lim _{n \rightarrow \infty} f\left(u_{n}\right)=\ell .\]
Ahora demostramos que\(f\) tiene límite\(\ell\) en el\(\bar{x}\) uso del Teorema 3.1.2. Que\(\left\{x_{n}\right\}\) sea una secuencia en\(D\) tal que\(\lim _{n \rightarrow \infty} x_{n}=\bar{x}\) y\(x_{n} \neq \bar{x}\) para cada uno\(n\). Por el argumento anterior, existe\(\ell^{\prime} \in \mathbb{R}\) tal que
\[\lim _{n \rightarrow \infty} f\left(x_{n}\right)=\ell^{\prime} .\]
Fijar cualquiera\(\varepsilon > 0\) y dejar\(\delta > 0\) satisfacer (3.3). Existe\(K \in \mathbb{N}\) tal que
\(\left|u_{n}-\bar{x}\right|<\delta\)y\(\left|x_{n}-\bar{x}\right|<\delta\)
para todos\(n \geq K\). Entonces\(\left|f\left(u_{n}\right)-f\left(x_{n}\right)\right|<\varepsilon\) para tal\(n\). Dejando\(n \rightarrow \infty\), tenemos\(\left|\ell-\ell^{\prime}\right| \leq \varepsilon\). Así pues,\(\ell=\ell^{\prime}\) ya que\(\varepsilon\) es arbitrario. Ahora se deduce del Teorema 3.1.2 que\(\lim _{x \rightarrow \bar{x}} f(x)=\ell\). \(\square\)
El resto de esta sección discutió algunos límites especiales y sus propiedades.
Dejar\(a \in \mathbb{R}\) y\(\delta > 0\). Definir
\[B_{-}(a ; \delta)=(a-\delta, a) \text { and } B_{+}(a ; \delta)=(a, a+\delta) .\]
Dado un subconjunto\(A\) de\(\mathbb{R}\), decimos que\(a\) es un punto límite izquierdo de\(A\) si para alguno\(\delta > 0\),\(B_{-}(a ; \delta)\) contiene un número infinito de elementos de\(A\). Del mismo modo,\(a\) se denomina punto límite derecho de\(A\) si para alguno\(\delta>0\),\(B_{+}(a ; \delta)\) contiene un número infinito de elementos de\(A\).
De la definición se desprende que\(a\) es un punto límite de\(A\) si y sólo si es un punto límite izquierdo de\(A\) o es un punto límite derecho de\(A\).
(Límites unilaterales) Dejar\(f: D \rightarrow \mathbb{R}\) y dejar\(\bar{x}\) ser un punto límite izquierdo de\(D\). Escribimos
\[\lim _{x \rightarrow \bar{x}^{-}} f(x)=\ell\]
si por cada\(\varepsilon > 0\), existe\(\delta > 0\) tal que
\[|f(x)-\ell|<\varepsilon \text { for all } x \in B_{-}(\bar{x} ; \delta) .\]
Decimos que\(\ell\) es el límite zurdo de\(f\) at\(\bar{x}\). El límite derecho de\(f\) at\(\bar{x}\) can bee se define de manera similar y se denota\(\lim _{x \rightarrow \bar{x}^{+}} f(x)\).
Considere la función\(f: \mathbb{R} \backslash\{0\} \rightarrow \mathbb{R}\) dada por
\[f(x)=\dfrac{|x|}{x} .\]
Solución
Vamos\(\bar{x} = 0\). Tenga en cuenta primero que\(0\) es un punto límite del conjunto\(D=\mathbb{R} \backslash\{0\} \rightarrow \mathbb{R}\). Ya que\(x>0\), para\(f(x)=x / x=1\), tenemos, tenemos
\[\lim _{x \rightarrow \bar{x}^{+}} f(x)=\lim _{x \rightarrow 0^{+}} 1=1 .\]
De igual manera,\(x<0\) pues tenemos\(f(x)=-x / x=-1\). Por lo tanto,
\[\lim _{x \rightarrow \bar{x}^{-}} f(x)=\lim _{x \rightarrow 0^{-}}-1=-1 .\]
Considere la función\(f: \mathbb{R} \rightarrow \mathbb{R}\) dada por
\ [f (x) =\ left\ {\ begin {array} {ll}
x+4, &\ text {if} x<-1\ text {;}\\
x^ {2} -1, &\ text {si} x\ geq-1\ texto {.}
\ end {array}\ derecho.\]
Solución
Tenemos
\[\lim _{x \rightarrow-1^{+}} f(x)=\lim _{x \rightarrow-1^{+}} x^{2}-1=0 ,\]
y
\[\lim _{x \rightarrow-1^{-}} f(x)=\lim _{x \rightarrow-1^{-}} x+4=3 ,\]
El siguiente teorema se desprende directamente de la definición de límites unilaterales.
Dejar\(f: D \rightarrow \mathbb{R}\) y dejar\(\bar{x}\) ser tanto un punto límite izquierdo de\(D\) como un punto límite derecho de\(D\). Entonces
\[\lim _{x \rightarrow \bar{x}} f(x)=\ell\]
si y solo si
\[\lim _{x \rightarrow \bar{x}^{+}} f(x)=\ell \text { and } \lim _{x \rightarrow \bar{x}^{-}} f(x)=\ell .\]
- Prueba
-
Agrega prueba aquí y automáticamente se ocultará
Del Ejemplo 3.2.4 se desprende que\(\lim _{x \rightarrow 0} \dfrac{|x|}{x}\) no existe, ya que los límites unilaterales no coinciden.
Solución
Agrega texto aquí.
(monotonicidad) Vamos\(f:(a, b) \rightarrow \mathbb{R}\).
- Decimos que\(f\) va en aumento sobre\((a, b)\) si, para todos\(x_{1}, x_{2} \in(a, b)\),\(x_{1}<x_{2}\) implica\(f\left(x_{1}\right) \leq f\left(x_{2}\right)\).
- Decimos que\(f\) está disminuyendo sobre\((a, b)\) si, para todos\(x_{1}, x_{2} \in(a, b)\),\(x_{1}<x_{2}\) implica\(f\left(x_{1}\right) \geq f\left(x_{2}\right)\).
Si\(f\) va aumentando o disminuyendo en\((a, b)\), decimos que\(f\) es monótono en este intervalo. La monotonicidad estricta se puede definir de manera similar usando desigualdades estrictas:\(f\left(x_{1}\right)<f\left(x_{2}\right)\) en (1) y\(f\left(x_{1}\right)>f\left(x_{2}\right)\) en (2).
Supongamos que\(f:(a, b) \rightarrow \mathbb{R}\) está aumentando en\((a, b)\) y\(\bar{x} \in(a, b)\). Entonces\(\lim _{x \rightarrow \bar{x}^{-}} f(x)\) y\(\lim _{x \rightarrow \bar{x}^{+}} f(x)\) existir. Por otra parte,
\[\sup _{a<x<\bar{x}} f(x)=\lim _{x \rightarrow \bar{x}^{-}} f(x) \leq f(\bar{x}) \leq \lim _{x \rightarrow \bar{x}^{+}} f(x)=\inf _{\bar{x}<x<b} f(x) .\]
- Prueba
-
Ya que\(f(x) \leq f(\bar{x})\) para todos\(x \in(a, \bar{x})\), el conjunto
\[\{f(x): x \in(a, \bar{x})\}\]
no está vacío y delimitado arriba. Por lo tanto,
\[\ell=\sup _{a<x<\bar{x}} f(x)\]
es un número real. Eso lo demostraremos\(\lim _{x \rightarrow \bar{x}^{-}} f(x)=\ell\). Para cualquiera\(\varepsilon > 0\), por la definición del límite mínimo superior, existe\(a<x_{1}<\bar{x}\) tal que
\[\ell-\varepsilon<f\left(x_{1}\right) .\]
Vamos\(\delta=\bar{x}-x_{1}>0\). Usando la creciente monotonicidad, obtenemos
\[\ell-\varepsilon<f\left(x_{1}\right) \leq f(x) \leq \ell<\ell+\varepsilon \text { for all } x \in\left(x_{1}, \bar{x}\right)=B_{-}(\bar{x} ; \delta) .\]
Por lo tanto,\(\lim _{x \rightarrow \bar{x}^{-}} f(x)=\ell\). El resto de la prueba del teorema es similar. \(\square\)
Let
\[B_{0}(\bar{x} ; \delta)=B_{-}(\bar{x} ; \delta) \cup B_{+}(\bar{x} ; \delta)=(\bar{x}-\delta, \bar{x}+\delta) \backslash\{\bar{x}\} .\]
(límites infinitos) Dejar\(f: D \rightarrow \mathbb{R}\) y dejar\(\bar{x}\) ser un punto límite de\(D\). Escribimos
\[\lim _{x \rightarrow \bar{x}} f(x)=\infty]\]
si por cada\(M \in \mathbb{R}\), existe\(\delta > 0\) tal que
\[f(x)>M \text { for all } x \in B_{0}(\bar{x} ; \delta) \cap D .\]
Del mismo modo, escribimos
\[\lim _{x \rightarrow \bar{x}} f(x)=-\infty\]
si por cada\(M \in \mathbb{R}\), existe\(\delta > 0\) tal que
\[f(x)<M \text { for all } x \in B_{0}(\bar{x} ; \delta) \cap D .\]
Los límites infinitos de funciones tienen propiedades similares a las de las secuencias del Capítulo 2 (ver Definición 2.3.2 y Teorema 2.3.6).
Lo demostramos\(\lim _{x \rightarrow 1} \dfrac{1}{(x-1)^{2}}=\infty\) directamente desde la Definición 3.2.5.
Solución
Vamos\(M \in \mathbb{R}\). Queremos encontrar\(\delta > 0\) que garantizará\(\dfrac{1}{(x-1)^{2}}>M\) cuando sea\(0<|x-1|<\delta\). Como en el caso de los límites finitos, trabajamos hacia atrás de\(\dfrac{1}{(x-1)^{2}}>M\) una desigualdad para\(|x-1|\). Para simplificar los cálculos, tenga en cuenta que\(|M|+1>M\). Siguiente nota que\(\dfrac{1}{(x-1)^{2}}>|M|+1\), es equivalente a\(\sqrt{\dfrac{1}{|M|+1}>|x-1|}\).
Ahora, elige\(\delta\) tal que\(0<\delta<\sqrt{\dfrac{1}{|M|+1}}\). Entonces, si\(0<|x-1|<\delta\) tenemos
\[\dfrac{1}{(x-1)^{2}}>\dfrac{1}{\delta^{2}}>\dfrac{1}{\dfrac{1}{|M|+1}}=|M|+1>M ,\]
según se desee.
(límites al infinito) Vamos\(f: D \rightarrow \mathbb{R}\), donde no\(D\) está delimitado arriba. Escribimos
\[\lim _{x \rightarrow \infty} f(x)=\ell\]
si por cada\(\varepsilon > 0\), existe\(c \in \mathbb{R}\) tal que
\[|f(x)-\ell|<\varepsilon \text { for all } x>c, x \in D .\]
Vamos\(f: D \rightarrow \mathbb{R}\), donde no\(D\) se limita a continuación. Escribimos
\[\lim _{x \rightarrow-\infty} f(x)=\ell\]
si por cada\(\varepsilon > 0\), existe\(c \in \mathbb{R}\) tal que
\[|f(x)-\ell|<\varepsilon \text { for all } x<c, x \in D .\]
También podemos definir
\[\lim _{x \rightarrow \infty} f(x)=\pm \infty \text { and } \lim _{x \rightarrow-\infty} f(x)=\pm \infty\]
de manera similar.
Demostramos formar la definición que
\[\lim _{x \rightarrow-\infty} \dfrac{3 x^{2}+x}{2 x^{2}+1}=\dfrac{3}{2} .\]
Solución
El enfoque es similar al de las secuencias, con la diferencia de que no\(x\) necesita ser un entero.
Vamos\(\varepsilon > 0\). Queremos indentificar\(c\) para que
\[\left|\dfrac{3 x^{2}+x}{2 x^{2}+1}-\dfrac{3}{2}\right|<\varepsilon ,\]
para todos\(x<c\).
Ahora,\(\text { v, }\left|\dfrac{3 x^{2}+x}{2 x^{2}+1}-\dfrac{3}{2}\right|=\dfrac{|2 x-3|}{2\left(2 x^{2}+1\right)}\).
Por lo tanto, simplificando, 3.5 equivale a
\[\dfrac{1}{\varepsilon}<\dfrac{2\left(2 x^{2}+1\right)}{|2 x-3|} .\]
Primero restringimos\(x\) a ser menos que\(0\), entonces\(|2 x-3|>3\). Entonces, ya que\(\dfrac{4 x^{2}}{3}<\dfrac{2\left(2 x^{2}+1\right)}{|2 x-3|}\), el 3.6 se garantizará si\(1 / \varepsilon<4 x^{2} / 3\) o de manera equivalente\(\sqrt{3 /(4 \varepsilon)}<|x|\). Nos fijamos\(c<\min \{0,-\sqrt{3 /(4 \varepsilon)}\}\). Entonces, si\(x<c\), tenemos\(\sqrt{3 /(4 \varepsilon)}<-x=|x|\). Así,\(1 / \varepsilon<\dfrac{2\left(2 x^{2}+1\right)}{|2 x-3|}\) y, por lo tanto,
\[\left|\dfrac{3 x^{2}+x}{2 x^{2}+1}-\dfrac{3}{2}\right|=\dfrac{|2 x-3|}{2\left(2 x^{2}+1\right)}<\varepsilon .\]
Ejercicio\(\PageIndex{1}\)
Encuentra los siguientes límites:
- \(\lim _{x \rightarrow 2} \dfrac{3 x^{2}-2 x+5}{x-3}\),
- \(\lim _{x \rightarrow-3} \dfrac{x^{2}+4 x+3}{x^{2}-9}\)
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{2}\)
Let\(f: D \rightarrow \mathbb{R}\) y let\(\bar{x}\) es un punto límite de\(D\). Demostrar que si\(\lim _{x \rightarrow \bar{x}} f(x)\) existe, entonces
\[\lim _{x \rightarrow \bar{x}}[f(x)]^{n}=\left[\lim _{x \rightarrow \bar{x}} f(x)\right]^{n}, \text { for any } n \in \mathbb{N} .\]
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{3}\)
Encuentra los siguientes límites:
- \(\lim _{x \rightarrow 1} \dfrac{\sqrt{x}-1}{x^{2}-1}\),
- \(\lim _{x \rightarrow 1} \dfrac{x^{m}-1}{x^{n}-1}, \text { where } m, n \in \mathbb{N}\),
- \(\lim _{x \rightarrow 1} \dfrac{\sqrt[n]{x}-1}{\sqrt[m]{x}-1}, \text { where } m, n \in \mathbb{N}, m, n \geq 2\),
- \(\lim _{x \rightarrow 1} \dfrac{\sqrt{x}-\sqrt[3]{x}}{x-1}\).
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{4}\)
Encuentra los siguientes límites:
- \(\lim _{x \rightarrow \infty}\left(\sqrt[3]{x^{3}+3 x^{2}}-\sqrt{x^{2}+1}\right)\).
- \(\lim _{x \rightarrow-\infty}\left(\sqrt[3]{x^{3}+3 x^{2}}-\sqrt{x^{2}+1}\right)\).
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{5}\)
Dejar\(f: D \rightarrow \mathbb{R}\) y dejar\(\bar{x}\) ser un punto límite de\(D\). Supongamos que
\[|f(x)-f(y)| \leq k|x-y| \text { for all } x, y \in D \backslash\{\bar{x}\} ,\]
donde\(k \geq 0\) es una constante. Demostrar que\(\lim _{x \rightarrow \bar{x}} f(x)\) existe.
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{6}\)
Determinar los límites unilaterales\(\lim _{x \rightarrow 3^{+}}[x]\) y\(\lim _{x \rightarrow 3^{-}}[x]\), donde\([x]\) denota el mayor número entero que es menor o igual a\(x\).
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{7}\)
Encuentra cada uno de los siguientes límites si existen:
- \(\lim _{x \rightarrow 1^{+}} \dfrac{x+1}{x-1}\).
- \(\lim _{x \rightarrow 0^{+}}\left|x^{3} \sin (1 / x)\right|\).
- \(\lim _{x \rightarrow 1}(x-[x])\).
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{8}\)
Para\(a \in \mathbb{R}\), deja\(f\) ser la función dada por
\ [f (x) =\ left\ {\ begin {array} {ll}
x^ {2}, &\ text {if} x>1\ text {;}\\
a x-1, &\ text {if} x\ leq 1\ text {.}
\ end {array}\ derecho.\]
Encontrar el valor de\(a\) tal que\(\lim _{x \rightarrow 1} f(x)\) existe.
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{9}\)
Determinar todos los valores de\(\bar{x}\) tal manera que\(\lim _{x \rightarrow \bar{x}}(1+x-[x])\) exista el límite.
- Responder
-
Agrega textos aquí. No elimine primero este texto.
Ejercicio\(\PageIndex{10}\)
Vamos\(a, b \in \mathbb{R}\) y supongamos que\(f:(a, b) \rightarrow \mathbb{R}\) va en aumento. Demostrar lo siguiente.
- Si\(f\) está delimitado arriba, entonces\(\lim _{x \rightarrow b^{-}} f(x)\) existe y es un número real.
- Si no\(f\) está delimitado arriba, entonces\(\lim _{x \rightarrow b^{-}} f(x)=\infty\).
Estado y probar reasultas análogas en caso de que\(f\) se acote a continuación y en caso de que el dominio de\(f\) sea uno de\((-\infty, b)\),\((a, \infty)\), o\((-\infty, \infty)\).
- Responder
-
Agrega textos aquí. No elimine primero este texto.