What is a limit?

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \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 }$

We introduce limits.

The basic idea

Consider the function graphed below. 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$ above to answer the following question: What is $f(0)$ ?

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$ above to finish the following statement: “A good guess is that …”

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 look closer and closer to $x=2$ (on the left of $x=2$ ) we see that $f(x) = 1$ . However, if we look closer and closer to $x=2$ (on the right of $x=2$ ) we see

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

Tables can be used to help guess limits, but one must be careful.

Consider $f(x) = \sin \left (\frac {\pi }{x}\right )$ . Fill in the tables below: $\begin {array}{l|l} x & f(x) \\ \hline 0.1 & \begin {prompt}\answer {0}\end {prompt}\\ 0.01 & \begin {prompt}\answer {0}\end {prompt}\\ 0.001 & \begin {prompt}\answer {0}\end {prompt}\\ 0.0001 & \begin {prompt}\answer {0}\end {prompt} \end {array} \qquad \text {and}\qquad \begin {array}{l|l} x & f(x) \\ \hline 0.3 & \begin {prompt}\answer {-.866}\end {prompt} \\ 0.03 & \begin {prompt}\answer {-.866}\end {prompt} \\ 0.003 & \begin {prompt}\answer {-.866}\end {prompt} \\ 0.0003 & \begin {prompt}\answer {-.866}\end {prompt} \end {array}$ What do the tables tell us about $\lim _{x\to 0}\sin \left (\frac {\pi }{x}\right )?$

Neither tables nor graphs can ever tell us for certain what a limit is. However, sometimes they can help “guess” the limit. In this case the graph of $f(x)$ is somewhat more helpful:

We see that $f(x)$ oscillates “wildly” as $x$ approaches $0$ , and hence does not approach any one number.

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}$

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

The basic idea

Limits might not exist

One-sided limits

When you put this all together

Controls

Symbols

Settings