What is a limit?

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \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 {\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]{\,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 {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}\hspace {0in}} \newcommand {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \DeclareMathOperator {\proj }{\mathbf {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\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 $f(x) = \frac {\sin (x)}{x}.$ 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 {\sin (x)}{x}$ 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)$ is as close as one wishes to $L$ for all $x$ sufficiently close, but not equal to, $a$ .

Use the graph of $f(x) = \frac {\sin (x)}{x}$ 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 allow x values on the left of 2 to get closer 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.

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 rounding to three decimal places: $\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}$ We may rush and say that, based on the table above, $\lim _{x\to 0}\sin \left (\frac {\pi }{x}\right )=0.$ But, recall the definition of the limit: $L$ is the limit if the value of $f(x)$ is as close as one wishes to $L$ for all $x$ sufficiently close, but not equal to, $a$ .

From this table we can see that $f(x)(=0)$ is as close as one wishes to $L(=0)$ for some values $x$ that are sufficiently close to $a(=0)$ . But this does does not satisfy the definition of the limit, at least, not yet.

But, wait! Fill in another table. $\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 these two tables tell us about $\lim _{x\to 0}\sin \left (\frac {\pi }{x}\right )?$

The limit does not exist. The first table shows that we can always find a value of $x$ as close as we want to $0$ such that $f(x)=0$ . However, the limit is not equal to $0$ , since the second table shows that we can also find a value of $x$ as close as we want to $0$ such that $f(x)=-\frac {\sqrt {3}}{2}$ . It turns out that for any number $y$ , $-1\le y\le 1$ , we can find a value of $x$ as close as we want to $0$ such that $f(x)=y$ . Check the graph of the function $f$ .

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, its graph looks much “nicer” near $a=2$ than does the previous graph near $a=0$ . More can be said about the function $\lfloor x\rfloor$ and its behavior near $a=2$ .

Intuitively,

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

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

Similarly,

for the function $f$ , $L$ is the limit from the left as $x$ approaches $a$ ,

written $\lim _{x\to a^-} f(x) = L,$ if the value of $f(x)$ is as close as one wishes to $L$ for all $x<a$ sufficiently close 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 -3^-} f(x) \begin {prompt}=\answer {6}\end {prompt}$
(d): $\lim _{x\to 0} f(x) \begin {prompt}=\answer {DNE}\end {prompt}$
(e): $\lim _{x\to 0^-} f(x) \begin {prompt}=\answer {-2}\end {prompt}$
(f): $\lim _{x\to 0^+} f(x) \begin {prompt}=\answer {-1}\end {prompt}$
(g): $f(0) \begin {prompt}=\answer {-3/2}\end {prompt}$
(h): $f(-2) \begin {prompt}=\answer {8}\end {prompt}$
(i): $\lim _{x\to -2^+} f(x) \begin {prompt}=\answer {2}\end {prompt}$
(j): $\lim _{x\to -2^-} f(x) \begin {prompt}=\answer {6}\end {prompt}$
(k): $\lim _{x\to 2^-} f(x) \begin {prompt}=\answer {7}\end {prompt}$
(l): $\lim _{x\to 1} f(x) \begin {prompt}=\answer {3}\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