Skip to main content
Mathematics LibreTexts

Limits

  • Page ID
    217534
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \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{\longvect}{\overrightarrow}\)

    \( \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}\)

    Limits

     

    Example

    Consider the function 

            \( f(x) = \frac{x^2 - 1}{x^2 + 2x - 3} \)

    If we plug in 1 we arrive at \( \frac{0}{0} \) which is undefined.  What does this function look like near \( x = 1 \)?

    We can construct the following table:

     

    x .9 .99 1.1 1.01 1.001
    f(x) .487 .499 .512 .501 .5001

    We can see that this function approaches .5 as x approaches 1.  Below is the graph of this functions.

    graph of a curve with an open circle at (1,0.5)

     

    This example leads us to the following definition

     

    Definition of the Limit

    If f(x) becomes arbitrarily close to a single number L as x approaches c form either side then 

            \( \displaystyle \lim_{x \to c} f(x) = L \)    

    We can think of the definition of a limit as \(x \to c\) as two hikers, one traveling from the right and the other traveling from the left.  If they will hike towards the same place, then that place is called the limit.  

     


     

    Properties of Limits

    suppose that 

         \( \displaystyle \lim_{x \to c} f(x) = L \) and \( \displaystyle \lim_{x \to c} g(x) = M \)

    and that a is a constant.  then

    A)   \( \displaystyle \lim_{x \to c} af(x) = aL \) 

    B)   \( \displaystyle \lim_{x \to c} f(x)g(x) = LM \) 

    C)  \( \displaystyle \lim_{x \to c} \frac{f(x)}{g(x)} = \frac{L}{M} \) if \( M \neq 0 \)

    D)  \( \displaystyle \lim_{x \to c} f(x) \pm g(x) = L \pm M \) 

     E)  \( \displaystyle \lim_{x \to c} (f(x))^n = L^n \) 

     

    Example

    Suppose that 

            \( \displaystyle \lim_{x \to c} f(x) = 3 \) and \( \displaystyle \lim_{x \to c} g(x) = 5 \) 

    then 

            \( \displaystyle \lim_{x \to c} (4f(x)g(x) - (g(x))^2 = (4)(3)(5) - 5^2 = 35 \) 

     


     

    Algebra and Limits

    When finding a limit, always plug in the number first.  If you get a defined value, then that is the answer.  Otherwise you may have to do algebra to find the limit.

     

    Example:

    Find the limit

         \( \displaystyle \lim_{x \to 1} \frac{x^2 - 1}{x^2 + 2x - 3} \) 

     

    Solution

    Notice first, if we plug in 1 for \( x \), we get \( \frac{0}{0} \).  The algebra that will work is factoring.

            

         \( \displaystyle \lim_{x \to 1} \frac{x^2 - 1}{x^2 + 2x - 3} \) 

     

            \( = \displaystyle \lim_{x \to 1} \frac{(x - 1)(x + 1)}{(x + 3)(x - 1)} \) 

     

            \( = \displaystyle \lim_{x \to 1} \frac{x + 1}{x + 3}  \) 

     

    Now plug in 1 to get

     

         \( = \frac{2}{4} = \frac{1}{2}  \) 

     

    Example

    Find the limit

             \( \displaystyle \lim_{x \to 9} \frac{\sqrt{x + 7} - 4}{x - 9} \) 

     

    Solution

    Again, if we plug in, we get \( \frac{0}{0}  \) .  What kind of algebra will work for this problem?  Recall from basic algebra how to rationalize the denominator.  Our strategy, will be to rationalize the numerator.  We multiply the numerator and the denominator by the conjugate root.

            \( \displaystyle \lim_{x \to 9} \frac{\sqrt{x + 7} - 4}{x - 9} \frac{\sqrt{x + 7} + 4}{\sqrt{x + 7} + 4}  \) 

     

            \( \displaystyle \lim_{x \to 9} \frac{\sqrt{x + 7} - 16}{(x - 9)(\sqrt{x + 7} + 4)}  \) 

    Now we can plug in 9 for \( x \) to get

         \( \frac{1}{4 + 4} = \frac{1}{8}  \) 

     

     


     

    One Sided Limits

    We define the left limit

           \( \displaystyle \lim_{x \to c^-} f(x) \)

    as the \( y \) coordinate of the curve as the point moves from the left.

    Similarly, we define the right limit  

            \( \displaystyle \lim_{x \to c^+} f(x) \)

    as the \( y \)  coordinate of the curve as the point moves from the left.

     

    Example

    Find

            \( \displaystyle \lim_{x \to 0^-} \frac{|x|}{x} \)

     

    Solution

    The graph of the function is pictured below.

            The graph of y = |x|.  To the left of the x-axis, it has a horizontal line 1 unit below the y-axis and to the right of the x-axis, it has a horizontal line 1 unit above the y-axis.

    Taking a stroll from the left hand side, the y value approaches -1.  Hence the limit is -1.  Notice that without the "-" sign, the limit would not exist.

    We say that the limit exists if the left and the right limits are equal.

     


     

    Unbounded limits

     

    Example

    Find

            \( \displaystyle \lim_{x \to 2^-} \frac{6}{x - 2} \)

     

    Solution

    Plugging in 2 we get \(\frac{6}{0} \) which is undefined.  If we plug in a number to the left of 2, such as 1.99999, we get a very large negative number.  We say that the limit is negative infinity.

     


    Back to the Limits and Continuity home page

     

     

    Limits is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?