Skip to main content
Mathematics LibreTexts

1.1.1: Resources and Key Concepts

  • Page ID
    192178
  • \( \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{\ket}[1]{\left| #1 \right>}\)
    \(\newcommand{\bra}[1]{\left< #1 \right|}\)
    \(\newcommand{\braket}[2]{\left< #1 \vphantom{#2} \right| \left. #2 \vphantom{#1} \right>}\)
    \(\newcommand{\braopket}[3]{\left< #1 \vphantom{#2}\vphantom{#3} \right| #2 \vphantom{#1}\vphantom{#3} \left| #3 \vphantom{#1}\vphantom{#2} \right>}\)
    \(\newcommand{\qmvec}[1]{\mathbf{\vec{#1}}}\)
    \(\newcommand{\op}[1]{\hat{\mathbf{#1}}}\)
    \(\newcommand{\expect}[1]{\langle #1 \rangle}\)
    \(\newcommand{\dfn}[1]{\emph{\textbf{#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}\)

    Key Concepts

    Definitions

    • Finite Limit at a Finite Number (Intuitive Definition): Let \(f(x)\) be a function defined at all values in an open interval containing a finite number \(a\), with the possible exception of \(a\) itself, and let \(L\) be a finite real number. If the values of the function \(f(x)\) approach the real number \(L\) as the values of \(x\) (where \(x \neq a\)) approach the number \(a\), then we say that the finite limit of \(f(x)\) as \(x\) approaches the finite number \(a\) is \(L\). Symbolically, \( \displaystyle \lim_{x \to a} f(x) = L\).
    • DNE (Notation): An abbreviation for "does not exist," used to indicate that a limit does not approach a single value (whether finite or infinity).
    • Limit from the left: Let \(f(x)\) be a function defined at all values in an open interval of the form \((z, a)\), and let \(L\) be a real number. If the values of \(f(x)\) approach \(L\) as the values of \(x\) (where \(x < a\)) approach \(a\), then \(L\) is the limit of \(f(x)\) as \(x\) approaches \(a\) from the left, written \( \displaystyle \lim_{x \to a^-} f(x) = L\).
    • Limit from the right: Let \(f(x)\) be a function defined at all values in an open interval of the form \((a, c)\), and let \(L\) be a real number. If the values of \(f(x)\) approach \(L\) as the values of \(x\) (where \(x > a\)) approach \(a\), then \(L\) is the limit of \(f(x)\) as \(x\) approaches \(a\) from the right, written \( \displaystyle \lim_{x \to a^+} f(x) = L\).
    • Infinite limits from the left: If the values of \(f(x)\) increase without bound as \(x\) approaches \(a\) from the left (\(x < a\)), the limit is positive infinity (\( \displaystyle \lim_{x \to a^-} f(x) = +\infty\)). If \(f(x)\) decrease without bound, the limit is negative infinity (\( \displaystyle \lim_{x \to a^-} f(x) = -\infty\)).
    • Infinite limits from the right: If the values of \(f(x)\) increase without bound as \(x\) approaches \(a\) from the right (\(x > a\)), the limit is positive infinity (\( \displaystyle \lim_{x \to a^+} f(x) = +\infty\)). If \(f(x)\) decrease without bound, the limit is negative infinity (\( \displaystyle \lim_{x \to a^+} f(x) = -\infty\)).
    • Two-sided infinite limit: If the values of \(f(x)\) increase without bound as \(x\) (where \(x \neq a\)) approaches \(a\), the limit is positive infinity (\( \displaystyle \lim_{x \to a} f(x) = +\infty\)). If \(f(x)\) decrease without bound, the limit is negative infinity (\( \displaystyle \lim_{x \to a} f(x) = -\infty\)).

    Theorems

    • Theorem: Two Important Limits

      Let \(a\) be a real number and \(c\) be a constant.

      1. \( \displaystyle \lim_{x \to a} x = a\) (Limit of the Identity Function)
      2. \( \displaystyle \lim_{x \to a} c = c\) (Limit of a Constant)
    • Theorem: Relating One-Sided and Two-Sided Limits

      Let \(f(x)\) be a function defined at all values in an open interval containing \(a\), with the possible exception of \(a\) itself, and let \(L\) be a real number, \(\infty\), or \(-\infty\). Then, \[ \lim_{x \to a} f(x) = L \nonumber \] if and only if \[ \lim_{x \to a^-} f(x) = L \quad \text{and} \quad \lim_{x \to a^+} f(x) = L. \nonumber \]

    Common Mistakes

    • Caution: \(x \neq a\): The intuitive definition of a finite limit at a finite number states that \(x\) need not equal \(a\). The limit is concerned with function values as \(x\) gets closer to \(a\), not what \(f(a)\) is. It could be that \(f(a)\) does not exist or \(L \neq f(a)\).
    • Caution: Be prepared to try "wiggle" sizes other than powers of ten: While choosing \(x\)-values like \(a \pm 0.1, a \pm 0.01\), etc., often works, one may need to modify the choice of "wiggle" sizes (the difference from \(a\)) on some occasions to better observe the limiting behavior.
    • Caution: Calculus Does Not Work in Degrees: When working with trigonometric functions in Calculus, angles must be expressed in radians, not degrees.
    • Caution: Observations Are Not Proofs: Observing a trend in a table of function values that suggests a limit (e.g., that \( \displaystyle \lim_{x \to a} c\) looks to be \(c\)) is not a mathematical proof. Formal proofs are required for such statements.
    • Caution: Using Tables for Limits is a Terrible Idea: Attempting to estimate a limit using a table of values outside of introductory exercises in this section is highly discouraged. This method can be misleading due to finite precision arithmetic or by not choosing appropriate \(x\)-values.

    This page titled 1.1.1: Resources and Key Concepts was last modified on Wed, 27 Aug 2025 17:51:58 GMT and is shared under a CC BY-SA license and was authored, remixed, and/or curated by Roy Simpson.

    • Was this article helpful?