What is a limit?

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\CancelColor }[0]{} \newcommand {\cancelto }[0]{1} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$ $% This file was *autogenerated* from digInWhatIsALimitB.sagetex.sage with % sagetex.py version 2015/08/26 v3.0-92d9f7a %20fa6fe305340ac5242c363520d24736% md5sum of corresponding .sage file (minus "goboom","current_tex_line",and pause/unpause lines)$

We introduce limits.

The basic idea

Consider the function $f(x) = \frac {x^{2}}{4x}.$ While $f(x)$ is undefined at $x=0$ , we can still plot $f(x)$ at other values near $x = 0$ .

Use the graph of $f(x) = \frac {x^{2}}{4x}$ above to answer the following question: What is $f(0)$ ?

$0$ $f(0)$ $1$ $f(0)$ is undefined it is impossible to say

Nevertheless, we can see that as $x$ approaches zero, $f(x)$ approaches one. From this setting we come to our definition of a limit.

Intuitively,

the limit of $f(x)$ as $x$ approaches $a$ is $L$ ,

written $\lim _{x\to a} f(x) = L,$ if the value of $f(x)$ can be made as close as one wishes to $L$ for all $x$ sufficiently close, but not equal to, $a$ .

Use the graph of $f(x) = \frac {x^{2}}{4x}$ above to finish the following statement: ‘‘A good guess is that…’’

$\lim _{x\to 0}\frac {x^{2}}{x} = 0$ . $\lim _{x\to 1}\frac {x^{2}}{x} = 1$ . $\lim _{x\to 1}f(x) = \frac {(0)^{2}}{4}$ . $\lim _{x\to 0}f(x) = \frac {(0)^{2}}{0}=\infty$ .

Consider the following graph of $y=f(x)$

Use the graph to evaluate the following. Write DNE if the value does not exist.

(a): $f(-2) \begin {prompt}=\answer {1}\end {prompt}$
(b): $\lim _{x\to -2}f(x)\begin {prompt}=\answer {1}\end {prompt}$
(c): $f(-1) \begin {prompt}=\answer {2}\end {prompt}$
(d): $\lim _{x\to -1}f(x) \begin {prompt}=\answer {2}\end {prompt}$
(e): $f(0) \begin {prompt}=\answer {-2}\end {prompt}$
(f): $\lim _{x\to 0} f(x) \begin {prompt}=\answer {0}\end {prompt}$
(g): $f(1) \begin {prompt}=\answer {DNE}\end {prompt}$
(h): $\lim _{x\to 1} f(x) \begin {prompt}=\answer {-2}\end {prompt}$

Limits might not exist

Limits might not exist. Let’s see how this happens.

Consider the graph of $f(x) = \lfloor x\rfloor$ .

Explain why the limit $\lim _{x\to 2} f(x)$ does not exist.

The function $\lfloor x \rfloor$ is the function that returns the greatest integer less than or equal to $x$ . Recall that $\lim _{x\to 2} \lfloor x \rfloor = L$ if $\lfloor x\rfloor$ can be made arbitrarily close to $L$ by making $x$ sufficiently close, but not equal to, $2$ . So let’s examine $x$ near, but not equal to, $2$ . Now the question is: What is $L$ ?

If this limit exists, then we should be able to look sufficiently close, but not at, $x=2$ , and see that $f$ is approaching some number. Let’s look at a graph:

If we allow x values on the left of 2 to get close and closer to 2, we see that $f(x) = 1$ . However, if we allow the values of x on the right of 2 to get closer and closer to 2 we see

So just to the right of 2, $f(x)=2$ . We cannot find a single number that $f(x)$ approaches as $x$ approaches 2, and so the limit does not exists.

One-sided limits

While we have seen that $\lim _{x\to 2}\lfloor x\rfloor$ does not exist, more can still be said.

Intuitively,

the limit from the right of $f$ as $x$ approaches $a$ is $L$ ,

written $\lim _{x\to a^+} f(x) = L,$ if the value of $f(x)$ can be made as close as one wishes to $L$ for all $x>a$ sufficiently close, but not equal to, $a$ .

Similarly,

the limit from the left of $f(x)$ as $x$ approaches $a$ is $L$ ,

written $\lim _{x\to a^-} f(x) = L,$ if the value of $f(x)$ can be made as close as one wishes to $L$ for all $x<a$ sufficiently close, but not equal to, $a$ .

Compute: $\lim _{x\to 2^-} f(x)\qquad \text {and}\qquad \lim _{x\to 2^+} f(x)$ by using the graph below

From the graph we can see that as $x$ approaches $2$ from the left, $\lfloor x\rfloor$ remains at $y=1$ up until the exact point that $x=2$ . Hence $\lim _{x\to 2^-} f(x)=1.$ Also from the graph we can see that as $x$ approaches $2$ from the right, $\lfloor x\rfloor$ remains at $y=2$ up to $x=2$ . Hence $\lim _{x\to 2^+} f(x)=2.$

When you put this all together

One-sided limits help us talk about limits.

A limit $\lim _{x \to a} f(x)$ exists if and only if

$\lim _{x \to a^-} f(x)$ exists
$\lim _{x \to a^+} f(x)$ exists
$\lim _{x \to a^-} f(x) = \lim _{x \to a^+} f(x)$

In this case, $\lim _{x \to a} f(x)$ is equal to the common value of the two one sided limits.

Evaluate the expressions by referencing the graph below. Write DNE if the limit does not exist.

(a): $\lim _{x\to 4} f(x) \begin {prompt}=\answer {8}\end {prompt}$
(b): $\lim _{x\to -3} f(x)\begin {prompt}=\answer {6}\end {prompt}$
(c): $\lim _{x\to 0} f(x) \begin {prompt}=\answer {DNE}\end {prompt}$
(d): $\lim _{x\to 0^-} f(x) \begin {prompt}=\answer {-2}\end {prompt}$
(e): $\lim _{x\to 0^+} f(x) \begin {prompt}=\answer {-1}\end {prompt}$
(f): $f(-2) \begin {prompt}=\answer {8}\end {prompt}$
(g): $\lim _{x\to 2^-} f(x) \begin {prompt}=\answer {7}\end {prompt}$
(h): $\lim _{x\to -2^-} f(x) \begin {prompt}=\answer {6}\end {prompt}$
(i): $\lim _{x\to 0} f(x+1) \begin {prompt}=\answer {3}\end {prompt}$
(j): $f(0) \begin {prompt}=\answer {-3/2}\end {prompt}$
(k): $\lim _{x\to 1^-} f(x-4) \begin {prompt}=\answer {6}\end {prompt}$
(l): $\lim _{x\to 0^+} f(x-2) \begin {prompt}=\answer {2}\end {prompt}$