Epsilon-delta definition

The epsilon-delta definition is the formal way to say a multivariable limit exists: for every ε-sized output window, you can choose a δ-sized input neighborhood that keeps f(x,y) inside it.

Last updated July 2026

What is the epsilon-delta definition?

The epsilon-delta definition is the precise way Multivariable Calculus says a limit exists for a function of several variables. Instead of just eyeballing a graph or checking a few paths, you prove that values of the function stay close to a target number whenever the input stays close enough to a point.

Here is the core idea. You pick any positive number ε, which marks how close the output should be to the proposed limit L. Then you have to find a positive number δ so that whenever the input point (x,y) is within δ of the point (a,b), the function value f(x,y) is within ε of L. In symbols, |f(x,y) - L| < ε whenever 0 < \sqrt{(x-a)^2 + (y-b)^2} < δ.

That radius style of input closeness matters in multivariable calculus. In one variable, you only move along a line, so approaching c from left or right is enough. With two variables, you can approach the same point from infinitely many directions, along curves, spirals, or straight lines. The epsilon-delta definition does not care which path you choose, because it uses distance in the plane, not just x-distance or y-distance.

This is why the definition shows up right next to limits and continuity. If you can prove the limit of f(x,y) at (a,b) is L with epsilon-delta, then continuity at that point is just the extra step of checking whether f(a,b) equals L. So the definition is not just a formalism, it is the tool that makes the course’s limit and continuity statements rigorous.

A common mistake is thinking that checking a few paths is enough. It is useful for finding a limit that does not exist, but it does not prove existence. Epsilon-delta proofs are the opposite: they prove a limit exists by controlling every possible approach at once.

Why the epsilon-delta definition matters in Multivariable Calculus

This definition is the backbone of the limit and continuity section in Multivariable Calculus. When you later work with partial derivatives, tangent planes, or optimization, you are relying on ideas that assume functions behave predictably near a point, and epsilon-delta is the standard way to justify that predictability.

It also gives you the language to separate guesswork from proof. A graph may look like a function approaches a value, and path checks may support that guess, but epsilon-delta is what turns that guess into a proof. That matters when a problem asks you to show a limit exists, show it does not exist, or explain why a function is continuous at a point.

The definition also teaches you how closeness works in several variables. You are not just shrinking x or y independently, you are shrinking the whole distance to a point. That shift shows up again in level curves, level surfaces, and later multivariable topics where geometry and algebra have to match.

Keep studying Multivariable Calculus Unit 3

How the epsilon-delta definition connects across the course

Limit

The epsilon-delta definition is the formal version of a limit. In multivariable problems, it tells you exactly what it means for f(x,y) to approach a number as (x,y) gets close to a point. When a limit is asked for, epsilon-delta is the proof language behind the answer.

Continuity

Continuity at a point means the limit exists there and matches the function value. Epsilon-delta is how you justify that statement rigorously. If a function is continuous in a region, this definition is what lets you treat nearby output values as controlled by nearby input values.

Neighborhood

A neighborhood is the set of points within a small distance of a point. That idea is built into epsilon-delta, since δ describes how close your input must stay. In multivariable calculus, neighborhoods are usually circular or spherical, not just intervals on a line.

Existence of Limits

This is the bigger question epsilon-delta answers. A multivariable limit exists only if you can control the output for every allowed approach to the point. Path checking can suggest nonexistence, but epsilon-delta is what proves existence when the function behaves well.

Is the epsilon-delta definition on the Multivariable Calculus exam?

A problem set or quiz will usually ask you to prove a limit using the epsilon-delta definition, show that a function is continuous at a point, or explain why a limit fails to exist. Your job is to translate the words into inequalities: start with |f(x,y) - L| < ε and find a matching δ condition on the distance from (x,y) to (a,b).

You may also be asked to compare epsilon-delta reasoning with path checking. If a surface looks suspicious, path tests can show a limit cannot exist, but if the limit does exist, you need a real bound on the function value. In proof-style questions, the final answer is not just the limit number, it is the logical chain that connects ε to δ.

The epsilon-delta definition vs path checking

Path checking looks at a few routes into a point to test a limit, while epsilon-delta proves the limit works for every possible route at once. Path checking can catch a missing limit, but it cannot prove one exists. Epsilon-delta is the rigorous definition.

Key things to remember about the epsilon-delta definition

  • The epsilon-delta definition is the formal meaning of a limit in Multivariable Calculus.

  • Epsilon controls how close the output must stay to the limit, and delta controls how close the input must stay to the point.

  • In two or more variables, closeness is measured by distance from a point, not by just one coordinate changing.

  • Checking a few paths can help you spot a limit problem, but epsilon-delta is what proves the result.

  • The same idea is the basis for continuity at a point and for later proof-style work in the course.

Frequently asked questions about the epsilon-delta definition

What is epsilon-delta definition in Multivariable Calculus?

It is the formal way to define a multivariable limit. For every ε, you find a δ so that all input points within that distance of the target point make the function value stay within ε of the limit.

How do you use epsilon-delta with two variables?

You measure how close (x,y) is to the point (a,b) using distance, usually \sqrt{(x-a)^2 + (y-b)^2}. Then you show that keeping that distance small forces f(x,y) to stay close to the proposed limit. The proof has to work for every point in that neighborhood.

Is checking a few paths enough to prove a multivariable limit?

No. A few paths can show a limit does not exist if they give different answers, but they cannot prove existence. Epsilon-delta is the rigorous method because it controls every possible approach at once.

How is epsilon-delta related to continuity?

A function is continuous at a point if its limit exists there and equals the function value. Epsilon-delta gives the exact limit statement you need before you check that the function value matches it.