Sequential Characterization of Continuity

students, imagine checking whether a function is smooth and predictable not by looking at tiny graphs, but by watching what happens to inputs that get closer and closer to a point 📈. That idea is the heart of sequential characterization. In real analysis, it gives a powerful way to understand continuity using sequences instead of only the $\varepsilon$-$\delta$ definition.

What you will learn

What the sequential characterization of continuity says.
How to use sequences to test whether a function is continuous.
Why this idea is equivalent to the usual $\varepsilon$-$\delta$ definition.
How sequential characterization connects to broader topics like compactness and limits.
How to apply the idea in real examples and proofs.

The main goal is simple: if a function is continuous at a point, then whenever inputs move toward that point, the outputs must move toward the function value at that point. That sounds intuitive, but real analysis asks us to state it precisely and prove it carefully.

The idea behind sequential characterization

A sequence is a list of numbers $\{x_n\}$, where the terms may approach some limit $x$. In real analysis, we often say $x_n \to x$ as $n \to \infty$. The sequential characterization of continuity turns the idea of continuity into a statement about all such sequences.

A function $f$ is continuous at a point $a$ if for every sequence $\{x_n\}$ with $x_n \to a$, we also have $f(x_n) \to f(a)$.

This means that continuity preserves limits of sequences. If inputs get closer and closer to $a$, then the outputs must get closer and closer to $f(a)$.

Why this matters

The sequential view is often easier to use than the $\varepsilon$-$\delta$ definition, especially when proving a function is not continuous. Instead of working with two nested quantifiers, you can find just one sequence that behaves badly.

For example, suppose you want to test whether a function is continuous at $a$. If you can find two sequences $\{x_n\}$ and $\{y_n\}$ both converging to $a$ but such that $f(x_n)$ and $f(y_n)$ approach different limits, then $f$ cannot be continuous at $a$.

The formal statement

Let $f : A \to \mathbb{R}$ and let $a$ be a point in $A$. Then the following are equivalent:

f \text{ is continuous at } a

and

\text{for every sequence } \{x_n\} $\subset$ A \text{ with } x_n $\to$ a, \text{ we have } f(x_n) $\to$ f(a).

This is the sequential characterization of continuity.

There is also a closely related statement for general limits. If $\lim_{x \to a} f(x) = L$, then for every sequence $\{x_n\} \subset A \setminus \{a\}$ with $x_n \to a$, we get

$\lim_{n \to \infty} f(x_n) = L.$

So continuity at $a$ is exactly the special case where $L = f(a)$.

How it connects to the $\varepsilon$-$\delta$ definition

The usual definition of continuity at $a$ says that for every $\varepsilon > 0$, there exists a $\delta > 0$ such that whenever

$|x-a| < \delta,$

we have

$|f(x)-f(a)| < \varepsilon.$

This definition is direct but can feel abstract. The sequential characterization says the same thing in a different language.

Why the two definitions match

If the $\varepsilon$-$\delta$ condition holds, then any sequence $x_n \to a$ eventually enters every neighborhood of $a$. That means the corresponding values $f(x_n)$ must eventually enter every neighborhood of $f(a)$, so $f(x_n) \to f(a)$.

In the other direction, if the $\varepsilon$-$\delta$ condition fails, then there is some $\varepsilon_0 > 0$ such that no matter how small $\delta$ is chosen, one can find a point $x$ with

$|x-a| < \delta$

but

$|f(x)-f(a)| \ge \varepsilon_0.$

From this failure, one can build a sequence $\{x_n\}$ with $x_n \to a$ but $f(x_n) \not\to f(a)$. So sequential continuity and $\varepsilon$-$\delta$ continuity are equivalent in $\mathbb{R}$.

A simple example: a continuous function

Take $f(x) = x^2$ and let $a = 3$. If $x_n \to 3$, then because multiplication is continuous,

$ x_n^2 \to 3^2 = 9.$

So $f(x_n) \to f(3)$. This confirms that $f$ is continuous at $3$.

You can also see it directly using algebra:

$|x^2 - 9| = |x-3||x+3|.$

When $x$ is close to $3$, both factors are controlled, so the output is close to $9$. The sequential approach gives the same conclusion using the language of limits.

A useful example: proving discontinuity

Now consider the function

$f(x) = $

$\begin{cases}$

$1, & x \ne 0, \\$

$0, & x = 0.$

$\end{cases}$

Is $f$ continuous at $0$? Use the sequence $x_n = \frac{1}{n}$. Then

$x_n \to 0,$

but

f(x_n) = 1 \quad \text{for every } n.

$f(x_n) \to 1,$

while

$f(0) = 0.$

Since $f(x_n) \not\to f(0)$, the function is not continuous at $0$. This is a classic example of how sequential characterization can detect discontinuity quickly ✅.

How to use sequential characterization in proofs

students, when you use sequential characterization, the structure of your reasoning usually follows one of two paths.

To prove continuity

Start with an arbitrary sequence $\{x_n\}$ such that $x_n \to a$.
Show that $f(x_n) \to f(a)$.
Conclude that $f$ is continuous at $a$.

This method is especially useful when $f$ is built from known continuous functions such as polynomials, rational functions away from zeros in the denominator, roots on their domains, and trigonometric functions.

To prove discontinuity

Find a sequence $\{x_n\}$ with $x_n \to a$.
Show that $f(x_n)$ does not approach $f(a)$.
Conclude that $f$ is not continuous at $a$.

A single bad sequence is enough to disprove continuity.

Connection to compact sets

Sequential characterization also helps explain continuity on compact sets. In real analysis, a subset of $\mathbb{R}$ is compact if and only if it is closed and bounded. One major theorem says that if $f$ is continuous on a compact set $K$, then $f$ is bounded on $K$ and attains both a maximum and a minimum on $K$.

Why does sequential reasoning matter here? Because compactness can be described using sequences: every sequence in a compact set has a convergent subsequence whose limit stays inside the set.

Suppose $f$ is continuous on a compact set $K$. If you take any sequence $\{x_n\} \subset K$, compactness gives a convergent subsequence $\{x_{n_k}\}$ with limit $x \in K$. Since $f$ is continuous, sequential characterization tells us

$f(x_{n_k}) \to f(x).$

This is a key step in proving that $f$ reaches extreme values on $K$. So sequential continuity is not just a definition; it is a tool that powers important theorems.

Common misunderstandings

One common mistake is thinking that if $x_n \to a$, then automatically $f(x_n) \to f(a)$ for every function. That is false. The property holds only for continuous functions.

Another mistake is checking only one sequence and declaring continuity. To prove continuity using sequences, you must check every sequence $\{x_n\}$ with $x_n \to a$. To disprove continuity, however, one counterexample sequence is enough.

It is also important to remember that sequences must stay inside the domain of the function. If $f : A \to \mathbb{R}$, then each $x_n$ must belong to $A$.

Conclusion

The sequential characterization of continuity says that a function is continuous at a point exactly when it preserves limits of all sequences converging to that point. This viewpoint is equivalent to the $\varepsilon$-$\delta$ definition, but it often feels more concrete and easier to use in practice.

students, if you remember one idea from this lesson, remember this: continuity means that approaching inputs produce approaching outputs, no matter how the inputs move toward the point. That idea connects directly to limits, discontinuity tests, and important theorems about compact sets. It is one of the most useful bridges between intuition and proof in real analysis 🌟.

Study Notes

A sequence $\{x_n\}$ converges to $a$ if the terms get arbitrarily close to $a$ as $n \to \infty$.
The sequential characterization of continuity says: $f$ is continuous at $a$ if and only if for every sequence $\{x_n\}$ with $x_n \to a$, we have $f(x_n) \to f(a)$.
This statement is equivalent to the $\varepsilon$-$\delta$ definition of continuity.
To prove continuity with sequences, start with an arbitrary sequence $x_n \to a$ and show $f(x_n) \to f(a)$.
To prove discontinuity, find one sequence $x_n \to a$ such that $f(x_n)$ does not converge to $f(a)$.
Example: $f(x)=x^2$ is continuous everywhere, so if $x_n \to a$, then $x_n^2 \to a^2$.
Example: the function $f(x)=1$ for $x \ne 0$ and $f(0)=0$ is not continuous at $0$, because $x_n=\frac{1}{n} \to 0$ but $f(x_n)=1 \not\to 0$.
Sequential characterization is important for compactness results, including the fact that continuous functions on compact sets are bounded and attain maximum and minimum values.
Always make sure sequences stay inside the domain of the function.
Continuity means outputs follow inputs consistently when inputs move toward a point.