Skip to main content
Mathematics LibreTexts

1.3.1: Resources and Key Concepts

  • Page ID
    192182
  • \( \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

    Theorems

    • Corollary: Basic Limit Laws: For any real number \(a\) and any constant \(c\),
      1. \( \displaystyle \lim_{x \to a} x = a\)
      2. \( \displaystyle \lim_{x \to a} c = c\)
    • Limit Laws: Let \(f(x)\) and \(g(x)\) be defined for all \(x \neq a\) over some open interval containing \(a\). Assume that \(L\) and \(M\) are real numbers such that \( \displaystyle \lim_{x \to a} f(x) = L\) and \( \displaystyle \lim_{x \to a} g(x) = M\). Let \(c\) be a constant. Then:
      • Sum Law for Limits: \( \displaystyle \lim_{x \to a} (f(x) + g(x)) = \lim_{x \to a} f(x) + \lim_{x \to a} g(x) = L + M\)
      • Difference Law for Limits: \( \displaystyle \lim_{x \to a} (f(x) - g(x)) = \lim_{x \to a} f(x) - \lim_{x \to a} g(x) = L - M\)
      • Constant Multiple Law for Limits: \( \displaystyle \lim_{x \to a} cf(x) = c \cdot \lim_{x \to a} f(x) = cL\)
      • Product Law for Limits: \( \displaystyle \lim_{x \to a} (f(x) \cdot g(x)) = \left(\lim_{x \to a} f(x)\right) \cdot \left(\lim_{x \to a} g(x)\right) = L \cdot M\)
      • Quotient Law for Limits: \( \displaystyle \lim_{x \to a} \frac{f(x)}{g(x)} = \frac{\lim_{x \to a} f(x)}{\lim_{x \to a} g(x)} = \frac{L}{M}\), for \(M \neq 0\).
      • Power Law for Limits: \( \displaystyle \lim_{x \to a} (f(x))^n = \left(\lim_{x \to a} f(x)\right)^n = L^n\), for every positive integer \(n\).
      • Root Law for Limits: \( \displaystyle \lim_{x \to a} \sqrt[n]{f(x)} = \sqrt[n]{\lim_{x \to a} f(x)} = \sqrt[n]{L}\), for all \(L\) if \(n\) is odd and for \(L \ge 0\) if \(n\) is even.
    • Theorem: Direct Substitution Property (for polynomial and rational functions): Let \(p(x)\) and \(q(x)\) be polynomial functions. Let \(a\) be a real number. Then, \( \displaystyle \lim_{x \to a} p(x) = p(a)\), and \( \displaystyle \lim_{x \to a} \frac{p(x)}{q(x)} = \frac{p(a)}{q(a)}\) when \(q(a) \neq 0\).
    • One-Sided Limits (application of Limit Laws): Simple modifications to the Limit Laws allow them to be applied to one-sided limits. For \( \displaystyle \lim_{x \to a^-} h(x)\), \(h(x)\) must be defined over an open interval of the form \((b,a)\). For \( \displaystyle \lim_{x \to a^+} h(x)\), \(h(x)\) must be defined over an open interval of the form \((a,c)\).
    • Theorem: Squeeze Theorem: Let \(f(x)\), \(g(x)\), and \(h(x)\) be defined for all \(x \neq a\) over an open interval containing \(a\). If \(f(x) \le g(x) \le h(x)\) for all \(x \neq a\) in an open interval containing \(a\) and \( \displaystyle \lim_{x \to a} f(x) = L = \lim_{x \to a} h(x)\) where \(L\) is a real number, then \( \displaystyle \lim_{x \to a} g(x) = L\).
    • Theorem: Limits Involving Sine and Cosine:
      • \( \displaystyle \lim_{\theta \to 0} (\sin(\theta)) = 0\)
      • \( \displaystyle \lim_{\theta \to 0} (\cos(\theta)) = 1\)
    • Theorem: Important Trigonometric Limits:
      • \( \displaystyle \lim_{\theta \to 0} \frac{\sin\theta}{\theta} = 1\)
      • \( \displaystyle \lim_{\theta \to 0} \frac{1-\cos\theta}{\theta} = 0\)

    Common Mistakes

    • The Limit Laws Require Limits to Exist: Thinking that the Limit Laws apply to every limit encountered. To use the Limit Laws, both of the component limits (e.g., \( \displaystyle \lim_{x \to a} f(x)\) and \( \displaystyle \lim_{x \to a} g(x)\)) must exist and be finite.
    • Misapplying the Direct Substitution Property: The Direct Substitution Property for rational functions \( \displaystyle \lim_{x \to a} \frac{p(x)}{q(x)} = \frac{p(a)}{q(a)}\) can only be applied if the limit in the denominator \(q(a)\) is nonzero. An answer will only be "DNE" if both left- and right-hand limits have been evaluated and found not to be equal (or if one or both tend to infinity differently).
    • Incorrectly Applying Limit Laws to Non-Finite Limits (Breaking the Limit Laws): Applying Limit Laws when one or more component limits are infinite. For example, if \( \displaystyle \lim_{x \to a} f(x) = 0\) and \( \displaystyle \lim_{x \to a} g(x) = \infty\), one cannot use the Product Law to conclude \( \displaystyle \lim_{x \to a} f(x)g(x) = 0 \cdot \infty\). Algebraic simplification is needed first.
    • Using Degree Measure in Calculus for Trigonometric Functions: The proofs of trigonometric limits (e.g., \( \displaystyle \lim_{\theta \to 0} \frac{\sin\theta}{\theta} = 1\)) rely on radian measure. Calculus and degree measure do not get along for trigonometric functions.

    This page titled 1.3.1: Resources and Key Concepts was last modified on Sat, 30 Aug 2025 16:43:20 GMT and is shared under a CC BY-SA license and was authored, remixed, and/or curated by Roy Simpson.

    • Was this article helpful?