You have 3 free guides left 😟
Unlock your guides
You have 3 free guides left 😟
Unlock your guides

5.1 Definition of Function Limits

3 min readjuly 30, 2024

Function limits are a key concept in calculus, describing how a function behaves as it approaches a specific point. They help us understand a function's behavior near a value, even if the function isn't defined there.

The definition of a limit involves both left-hand and right-hand limits. If these are equal, the overall limit exists. The epsilon-delta definition provides a rigorous mathematical way to prove limits exist.

Limits of Functions

Definition of a Limit

Top images from around the web for Definition of a Limit
Top images from around the web for Definition of a Limit
  • The f(x)f(x) as xx approaches a value aa is written as limxaf(x)=L\lim_{x \to a} f(x) = L, where LL is a real number
  • For the limit to exist, the left-hand limit limxaf(x)\lim_{x \to a^-} f(x) and right-hand limit limxa+f(x)\lim_{x \to a^+} f(x) must be equal to LL
    • If limxaf(x)limxa+f(x)\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x), then limxaf(x)\lim_{x \to a} f(x) does not exist
  • One-sided limits are written as limxaf(x)\lim_{x \to a^-} f(x) for the left-hand limit and limxa+f(x)\lim_{x \to a^+} f(x) for the right-hand limit
  • Limits can be infinite
    • If f(x)f(x) increases without bound as xx approaches aa, then limxaf(x)=\lim_{x \to a} f(x) = \infty
    • If f(x)f(x) decreases without bound as xx approaches aa, then limxaf(x)=\lim_{x \to a} f(x) = -\infty

Epsilon-Delta Definition of a Limit

  • The epsilon-delta (ε\varepsilon-δ\delta) definition of a limit states: limxaf(x)=L\lim_{x \to a} f(x) = L if for every ε>0\varepsilon > 0, there exists a δ>0\delta > 0 such that if 0<xa<δ0 < |x - a| < \delta, then f(x)L<ε|f(x) - L| < \varepsilon
  • Graphically, for any ε\varepsilon-neighborhood (Lε,L+ε)(L-\varepsilon, L+\varepsilon) around the limit LL, there is always a δ\delta-neighborhood (aδ,a+δ)(a-\delta, a+\delta) around aa such that f(x)f(x) falls within the ε\varepsilon-neighborhood whenever xx is within the δ\delta-neighborhood (except possibly at aa)
  • To prove a limit exists using the ε\varepsilon-δ\delta definition, assume an arbitrary ε>0\varepsilon > 0 and demonstrate there exists a δ>0\delta > 0 that satisfies the definition
  • The ε\varepsilon-δ\delta definition provides a rigorous proof of a
    • Infinite limits require using the definition with different inequalities

Evaluating Limits

Graphical Evaluation

  • Graphically, the limit LL of a function ff at x=ax=a can be estimated by observing the yy-values that f(x)f(x) approaches on the graph as xx gets closer to aa from both sides
  • If there is an open circle at (a,f(a))(a, f(a)) on the graph, the function is undefined at x=ax=a but the limit still exists if the left and right-hand limits are equal
  • If there is a closed circle at (a,f(a))(a, f(a)), the function is defined at x=ax=a and limxaf(x)=f(a)\lim_{x \to a} f(x) = f(a)
  • Jump discontinuities on the graph indicate the left and right-hand limits are not equal, so the limit does not exist at that point

Numerical Evaluation

  • Numerically, limits can be approximated using tables of values for xx approaching aa
    • If f(x)f(x) approaches a single value LL from both sides of aa, the limit is LL
  • Numerical approximations may not always be conclusive, so other methods like graphing or the ε\varepsilon-δ\delta definition are needed to verify the limit

Limit vs Function Value

  • The limit of a function f(x)f(x) as xx approaches aa describes the behavior of the function near aa, but not necessarily at aa itself
    • It represents what yy-value the function gets arbitrarily close to
  • The value of the function f(a)f(a) is the yy-value of the function evaluated exactly at x=ax=a, if it is defined
  • Limits describe what is happening very close to a point, while the function value is exactly at that point
  • A limit can exist even if the function is not defined at the point
    • For example, f(x)=(x21)/(x1)f(x) = (x^2-1)/(x-1) is undefined at x=1x=1 but limx1f(x)=2\lim_{x \to 1} f(x) = 2
  • If a function is continuous at a point aa, then limxaf(x)=f(a)\lim_{x \to a} f(x) = f(a)
    • For discontinuous functions, the limit and function value are not equal
  • Jump discontinuities occur when limxaf(x)limxa+f(x)\lim_{x \to a^-} f(x) \neq \lim_{x \to a^+} f(x)
    • The function may still be defined at aa, but the sided limits are not equal so there is no overall limit
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Glossary
Glossary