# Uniform continuity

### Continuous functions, open intervals and uniform continuity

Card 1 of 3: Uniform continuity

For a continuous function on a closed interval \( [a, b] \) we know it must be [...]; other nice properties follow. If we relax the restriction and consider a continuous function on an open interval, \( (a, b) \), we cannot imply that it is bounded, and we lose subsequence nice properties. Consider \( f: (0, 2) \to \mathbb{R} \) with \( f(x):=\frac{1}{x} \) for an illustration.

#### Measure of stability

We try to rebuild some new structure around functions on an open interval.
The plan is to classify and distinguish continuous functions based on a
*measure of stability*: measure the degree to which they
vary over a certain sized interval of their domain.

#### \( \delta \)-islands of stability

For a function \( f : X \to \mathbb{R} \) to be continuous at \( x_0 \in X \), for any \( \varepsilon > 0 \) there needed to exist some \( \delta > 0 \) such that for all \(x \in (x_0 - \delta, x_0 + \delta)\) we have \( |f(x)-f(x_0)| < \varepsilon \). The \( \delta \) was free to change for both every \( \varepsilon \) and for every \( x_0 \).

Restricting \( \delta \) to [...] we can describe what it means for a function to be *uniformly convergent* over it's *full domain*.

### Uniform continuity

Let \( X \subseteq \mathbb{R} \) be a set, and let \( f : X \to \mathbb{R} \)
be a continuous function. We say that \( f \) is *uniformly
continuous* iff for every real \( \varepsilon > 0 \), there exists a real
\( \delta > 0 \) such that \( |f(x_1) - f(x_2)| < \varepsilon \) whenever
\( x_1, x_2 \in X \) and \( |x_1 - x_2 | < \delta \).

Tao uses an *if* rather than *iff* relationship
in his definition, but I don't see why.