Limits: Notation, One-sided Limits, and Formal Definitions

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\exchange }[2]{#2#1} \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 {\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 {\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 {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\sectionOutcomes }[0]{} \newcommand {\qrset }[1]{\setkeys {qr}{#1}} \newcommand {\newrobustcmd }[0]{} \newcommand {\csshow }[1]{\begingroup \expandafter \endgroup \expandafter \show \csname #1\endcsname } \newcommand {\csmeaning }[1]{\ifcsname #1\endcsname \expandafter \meaning \csname #1\endcsname \else \detokenize {undefined}\fi } \newcommand {\ifdefmacro }[0]{} \newcommand {\ifdefparam }[0]{} \newcommand {\ifdefprotected }[0]{} \newcommand {\ifnumequal }[1]{\ifnumcomp {#1}=} \newcommand {\ifnumgreater }[1]{\ifnumcomp {#1}>} \newcommand {\ifnumless }[1]{\ifnumcomp {#1}<} \newcommand {\ifdimequal }[1]{\ifdimcomp {#1}=} \newcommand {\ifdimgreater }[1]{\ifdimcomp {#1}>} \newcommand {\ifdimless }[1]{\ifdimcomp {#1}<} \newcommand {\expandonce }[1]{\unexpanded \expandafter {#1}} \newcommand {\csexpandonce }[1]{\expandafter \expandonce \csname #1\endcsname } \newcommand {\protecting }[0]{} \newcommand {\csdef }[1]{\expandafter \def \csname #1\endcsname } \newcommand {\csedef }[1]{\expandafter \edef \csname #1\endcsname } \newcommand {\csgdef }[1]{\expandafter \gdef \csname #1\endcsname } \newcommand {\csxdef }[1]{\expandafter \xdef \csname #1\endcsname } \newcommand {\cslet }[2]{\expandafter \let \csname #1\endcsname #2} \newcommand {\letcs }[2]{\ifcsdef {#2} {\expandafter \let \expandafter #1\csname #2\endcsname } {\undef #1}} \newcommand {\csletcs }[2]{\ifcsdef {#2} {\expandafter \let \csname #1\expandafter \endcsname \csname #2\endcsname } {\csundef {#1}}} \newcommand {\csuse }[1]{\ifcsname #1\endcsname \csname #1\expandafter \endcsname \fi } \newcommand {\appto }[2]{\ifundef {#1} {\edef #1{\unexpanded {#2}}} {\edef #1{\expandonce #1\unexpanded {#2}}}} \newcommand {\eappto }[2]{\ifundef {#1} {\edef #1{#2}} {\edef #1{\expandonce #1#2}}} \newcommand {\gappto }[2]{\ifundef {#1} {\xdef #1{\unexpanded {#2}}} {\xdef #1{\expandonce #1\unexpanded {#2}}}} \newcommand {\xappto }[2]{\ifundef {#1} {\xdef #1{#2}} {\xdef #1{\expandonce #1#2}}} \newcommand {\preto }[2]{\ifundef {#1} {\edef #1{\unexpanded {#2}}} {\edef #1{\unexpanded {#2}\expandonce #1}}} \newcommand {\epreto }[2]{\ifundef {#1} {\edef #1{#2}} {\edef #1{#2\expandonce #1}}} \newcommand {\gpreto }[2]{\ifundef {#1} {\xdef #1{\unexpanded {#2}}} {\xdef #1{\unexpanded {#2}\expandonce #1}}} \newcommand {\xpreto }[2]{\ifundef {#1} {\xdef #1{#2}} {\xdef #1{#2\expandonce #1}}} \newcommand {\csappto }[1]{\expandafter \appto \csname #1\endcsname } \newcommand {\cseappto }[1]{\expandafter \eappto \csname #1\endcsname } \newcommand {\csgappto }[1]{\expandafter \gappto \csname #1\endcsname } \newcommand {\csxappto }[1]{\expandafter \xappto \csname #1\endcsname } \newcommand {\cspreto }[1]{\expandafter \preto \csname #1\endcsname } \newcommand {\csepreto }[1]{\expandafter \epreto \csname #1\endcsname } \newcommand {\csgpreto }[1]{\expandafter \gpreto \csname #1\endcsname } \newcommand {\csxpreto }[1]{\expandafter \xpreto \csname #1\endcsname } \newcommand {\csnumdef }[1]{\expandafter \numdef \csname #1\endcsname } \newcommand {\csnumgdef }[1]{\expandafter \numgdef \csname #1\endcsname } \newcommand {\csdimdef }[1]{\expandafter \dimdef \csname #1\endcsname } \newcommand {\csdimgdef }[1]{\expandafter \dimgdef \csname #1\endcsname } \newcommand {\csgluedef }[1]{\expandafter \gluedef \csname #1\endcsname } \newcommand {\csgluegdef }[1]{\expandafter \gluegdef \csname #1\endcsname } \newcommand {\mudef }[2]{\ifundef #1{\def #1{0mu}}{}\edef #1{\the \muexpr #2}} \newcommand {\csmudef }[1]{\expandafter \mudef \csname #1\endcsname } \newcommand {\csmugdef }[1]{\expandafter \mugdef \csname #1\endcsname } \newcommand {\listbreak }[0]{} \newcommand {\listadd }[2]{\ifblank {#2}{}{\appto #1{#2|}}} \newcommand {\listgadd }[2]{\ifblank {#2}{}{\gappto #1{#2|}}} \newcommand {\listcsadd }[1]{\expandafter \listadd \csname #1\endcsname } \newcommand {\listcseadd }[1]{\expandafter \listeadd \csname #1\endcsname } \newcommand {\listcsgadd }[1]{\expandafter \listgadd \csname #1\endcsname } \newcommand {\listcsxadd }[1]{\expandafter \listxadd \csname #1\endcsname } \newcommand {\listcsremove }[1]{\expandafter \listremove \csname #1\endcsname } \newcommand {\listcsgremove }[1]{\expandafter \listgremove \csname #1\endcsname } \newcommand {\dolistloop }[0]{\forlistloop \do } \newcommand {\dolistcsloop }[0]{\forlistcsloop \do } \newcommand {\AfterPreamble }[0]{\AtBeginDocument } \newcommand {\tcolorboxenvironment }[2]{\BeforeBeginEnvironment {#1}{\begin {tcolorbox}[savedelimiter={#1},#2]}\AfterEndEnvironment {#1}{\end {tcolorbox}}} \newcommand {\tcbpkgprefix }[0]{} \newcommand {\explanationTitle }[0]{} \newcommand {\desmos }[3]{ \begin {tcolorbox}[ fonttitle=\large ,halign title=center,arc=0pt,left*=24px,right=24px,colback=defaultDesmosBackground,colframe=defaultDesmosBorder,colbacktitle= defaultDesmosTitleBackground,coltext=defaultDesmosText,coltitle=defaultDesmosTitle,title=Desmos Interactive Lesson,] Try the Desmos interactive tool at \url {https://www.desmos.com/calculator/#1} or scan the QR-code below:\\ \begin {center} \qrcode [height=2in]{https://www.desmos.com/calculator/#1} \end {center} \end {tcolorbox} } \newcommand {\youtube }[1]{ \begin {tcolorbox}[ fonttitle=\large ,halign title=center,arc=0pt,left*=24px,right=24px,colback=defaultYouTubeBackground,colframe=defaultYouTubeBorder,colbacktitle= defaultYouTubeTitleBackground,coltext=defaultYouTubeText,coltitle=defaultYouTubeTitle,title=YouTube Hosted Video,] Watch the video via YouTube at \url {https://www.youtube.com/watch?v=#1} or scan the QR-code below:\\ \begin {center} \qrcode [height=2in]{https://www.youtube.com/watch?v=#1} \end {center} \end {tcolorbox} } \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We introduce the notation and formal algebraic definitions for limits.

Video Lecture

Limit Notation

You may have noticed at this point that it can get cumbersome and tiring to keep saying the phrase “the limit of $f(x)$ as $x$ approaches $a$ ” and mathematicians are inherently lazy, so we have defined a notation that encapsulates this entire phrase, which we present next.

We start with a definition:

Limit Notation If the limit of $f(x)$ as $x$ approaches $a$ is $L$ (according to our intuitive definition), then we write this as;

$\lim \limits _{x\rightarrow a} f(x) = L$

This notation breaks down the limit information we need into neat little blocks, which we will pull apart and parse here.

The $\lim$ at the start tells us we’re dealing with a limit (I said mathematicians were lazy, not creative!).
Underneath (or sometimes a subscript in front) of the $\lim$ is “ $x \rightarrow a$ ”. This block is telling us that the $x$ value is approaching the value $a$ , which is where the limit is happening. In other words $a$ is the “ $x$ -value of interest”.
Notice that the whole block $\lim \limits _{x\rightarrow a}$ is saying “the limit, as $x$ approaches $a$ of...” Thus the $f(x)$ is the thing that the limit is being computed for. You can think of the $\lim \limits _{x\rightarrow a}$ as full brick of notation that is then applied to a function. This means it makes no sense to write this thing on its own, it inherently must be applied to something.
Finally, the $= L$ part is just telling us that the thing on the left of the “ $=$ ” sign (the limit as $x$ approaches $a$ of $f(x)$ ) is the same value as $L$ , which is the very wordy way of saying that the limit is $L$ .

The notation above is pretty dense and something that we will be using a lot. Take a few moments to really digest what the notation means. What would it mean to change the $a$ value? How about the $L$ value, or $f(x)$ ? Make sure you understand the notation well before moving forward as we will be adding a couple more notational bits which are subtle, but very important.

One-sided Limits

Thus far we have used tables and graphs to determine limits, and we’ve discussed the possible up and downsides of both. Our next goal is to formalize the analytical idea of the limit; which requires the introduction of the one-sided limit. Recall that it can be helpful to break the region near our point of interest into the (nearby) region to the left of $a$ and the (nearby) region to the right of $a$ . We formalize the notation for these left and right limits next.

We start with a definition:

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

Recall that a limit exists at $a$ and equals $L$ if; for $x$ values sufficiently close to $a$ , $f(x)$ gets as close as we want to $L$ . But notice this is equivalent to saying that both the left and right limits are equal to the same value; namely to $L$ . In other words, a limit exists if, and only if, both one-sided limits exist, and have the same value! We formalize this idea in the following theorem.

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.

If the theorem above doesn’t look like what you remember from another class or textbook, click the blue arrow to the right for a note on how this is often presented in other textbooks/lectures!

The limit $\lim \limits _{x\rightarrow a} f(x)$ exists and equals $L$ if $\lim \limits _{x\rightarrow a^+} f(x) = L = \lim \limits _{x\rightarrow a^-} f(x)$

Notice that this is actually the same thing, but this definition is a little less clear. Specifically

$\lim \limits _{x\rightarrow a^+} f(x)$ and

$\lim \limits _{x\rightarrow a^-} f(x)$ can only equal L (and each other) if they exist. So this definition is hiding the fact that you need to check if the one sided limits exist in the first place by burying it as an assumption into the equality. You can use either definition (they are equivalent after all), but remember that this second definition has more going on than first meets the eye!

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 {-\frac {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}$

Optional Content

If you are interested in how mathematicians actually prove a limit’s value rigorously you can watch the following video on how mathematicians tackle the problem of testing all nearby points simultaneously. [URL to YouTube video, but not an embedded video.]

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$

Video Lecture

Limit Notation

One-sided Limits

Controls

Symbols

Settings