Honors Calculus I - 2.2 Limits of Functions

Function Limit

Definition of lim⁡x→af(x)=L\lim_{x\to a}f(x)=L

∀ε>0,  ∃δ>0,  ∀x: 0<∣x−a∣<δ∣f(x)−L∣<ε\forall \varepsilon >0, \;\exist \delta >0,\;\forall x:\,0<|x-a|<\delta\\ |f(x)-L|<\varepsilon

The limit of function ff at aa equals LL.

Cauchy criterion:

For every ε>0\varepsilon >0, there exists a δ>0\delta >0 such that ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\varepsilon for all x,yx,y satisfying 0<∣x−a∣<δ,0<∣x−y∣<δ0<|x-a|<\delta, 0<|x-y|<\delta

Heine Theorem

The limit of the function f(x)f(x) as xx approached aa is LL iff for every sequence {xn}\{x_n\}, with xn≠ax_n\neq a for sufficiently large nn that converges to aa, the sequence of function values {f(xn)}\{f(x_n)\} converges to LL.

Rules

  • Arithmetic Rules
  • The order Rules
  • Squeeze Theorem

The composition Rule

Suppose lim⁡y→bf(y)=L,lim⁡x→ag(x)=b\lim_{ y\to b}f(y)=L,\lim_{x\to a}g(x)=b, then

lim⁡x→af(g(x))=L\lim_{x\to a}f(g(x))=L

provided at least one of the following holds:

  1. f(b)=Lf(b)=L
  2. g(x)≠bg(x)\neq b near x=ax=a except possibly at aa

Interpretation:

image-20260922131635193

The order rule for function limits

Suppose that ff and gg with :

lim⁡x→af(x)=A    lim⁡x→ag(x)=B\lim_{x\to a}f(x)=A\;\;\lim_{x\to a}g(x)=B

  1. If A<BA<B, then ∃δ\exist \delta that ∀∣x−a∣<δ\forall |x-a|<\delta, f(x)<g(x)f(x)<g(x)
  2. If there is a δ0\delta_0 that ∀∣x−a∣<δ0\forall |x-a|<\delta_0 that satisfy f(x)≤g(x)f(x)\le g(x), then A≤BA\le B

Remark: If f(x)<g(x)f(x)<g(x) near aa, it is incorrect to conclude that A<BA<B.

Squeeze Theorem for function limits

If exists δ0\delta_0 that ∀x:∣x−a∣<δ\forall x:|x-a|<\delta :

g(x)≤f(x)≤h(x)g(x)\le f(x)\le h(x)

Then if lim⁡x→ag(x)=lim⁡x→ah(x)=L\lim_{x\to a}g(x)=\lim_{x\to a}h(x)=L, then lim⁡x→af(x)=L\lim_{x\to a}f(x)=L.

One Sided Limits

  • Left-hand limit : For ∀ε>0\forall \varepsilon >0, there ∃δ>0\exist \delta > 0 that ∀x:a−δ<x<a\forall x:a -\delta<x<a, then ∣f(x)−L∣<ε|f(x)-L|<\varepsilon, we can write in lim⁡x→a−f(x)=L\lim_{x\to a^{-}}f(x)=L
  • Right-hand limit : same but a<x<a+δa<x<a+\delta. Write in lim⁡x→a+f(x)=L\lim_{x\to a^+}f(x)=L

The limit lim⁡x→af(x)=L\lim_{x\to a}f(x)=L iff both one-sided limits lim⁡x→a−f(x)=lim⁡x→a+f(x)=L\lim_{x\to a^-}f(x)=\lim_{x\to a^+}f(x)=L

Some basic limits of functions

  • lim⁡x→axp=ap\lim_{x\to a}x^p=a^p
  • lim⁡x→abx=ba\lim_{x\to a}b^x=b^a, where b>0b>0
  • lim⁡x→alog⁡bx=log⁡ba\lim_{x\to a}\log_b x=\log_b a, where 0<b≠10<b\neq 1
  • lim⁡x→asin⁡x=sin⁡a\lim_{x\to a}\sin x=\sin a, lim⁡x→acos⁡x=cos⁡a\lim_{x\to a}\cos x=\cos a
  • lim⁡x→asin⁡xx=1\lim_{x\to a}\dfrac{\sin x}x=1
  • lim⁡x→0(1+x)1x=e\lim_{x\to 0}(1+x)^{\frac 1 x}=e

Limits in the Extended Real Number System

Neighborhood of infinite:

For any real cc, the set of real numbers xx such that x>cx>c is called a neighborhood of ∞\infty and is written (c,∞)(c,\infty). Similarly, the set (−∞,c)(-\infty,c) is a neighborhood of −∞-\infty.

Suppose, p,q∈R‾p,q\in \overline {\R}, we denote lim⁡x→pf(x)=q\lim_{x\to p}f(x)=q iff:

for every neighborhood UU of qq, there is a neighborhood VV of pp such that f(x)∈Uf(x)\in U for all x∈V,x≠px\in V,x\neq p

  • Uniqueness

  • Cauchy Criterion also applies

  • In fact, the neighborhoods of ∞\infty and −∞-\infty are inherently one sided

  • The order rule, arithmetic rules, the composition rules, and the Squeeze Theorem also holds.

Limits at infinity

When pp is infinite and qq is finite:

lim⁡x→∞f(x)=q\lim_{x\to \infty}f(x)=q or lim⁡x→−∞f(x)=q\lim_{x\to -\infty}f(x)=q

  • horizontal asymptote
    • lim⁡x→∞f(x)=b\lim_{x\to \infty}f(x)=b or lim⁡x→−∞f(x)=b\lim_{x\to -\infty}f(x)=b
  • slant asymptote
    • lim⁡x→∞[f(x)−(mx+b)]=0\lim_{x\to \infty}[f(x)-(mx+b)]=0 or lim⁡x→−∞[f(x)−(mx+b)]=0\lim_{x\to -\infty}[f(x)-(mx+b)]=0

Infinite Limits

If pp is finite and qq is infinite:

lim⁡x→pf(x)=∞\lim_{x\to p}f(x)=\infty

Vertical asymptote:

image-20260929125812798

It must be noted that a zero of the denominator ⇎\nLeftrightarrowa vertical asymptote.