uniform limit theorem

More precisely, let X be a topological space, let Y be a metric space, and let ƒ_n : X → Y be a sequence of functions converging uniformly to a function ƒ : X → Y. According to the uniform limit theorem, if each of the functions ƒ_n is continuous, then the limit ƒ must be continuous as well.

This theorem does not hold if uniform convergence is replaced by pointwise convergence. For example, let ƒ_n : [0, 1] → R be the sequence of functions ƒ_n(x) = xⁿ. Then each function ƒ_n is continuous, but the sequence converges pointwise to the discontinuous function ƒ that is zero on [0, 1) but has ƒ(1) = 1. Another example is shown in the adjacent image.

In terms of function spaces, the uniform limit theorem says that the space C(X, Y) of all continuous functions from a topological space X to a metric space Y is a closed subset of Y^X under the uniform metric. In the case where Y is complete, it follows that C(X, Y) is itself a complete metric space. In particular, if Y is a Banach space, then C(X, Y) is itself a Banach space under the uniform norm.

The uniform limit theorem also holds if continuity is replaced by uniform continuity. That is, if X and Y are metric spaces and ƒ_n : X → Y is a sequence of uniformly continuous functions converging uniformly to a function ƒ, then ƒ must be uniformly continuous.

In order to prove the continuity of f, we have to show that for every ε > 0, there exists a neighbourhood U of any point x of X such that:

:

Consider an arbitrary ε > 0. Since the sequence of functions (f_n) converges uniformly to f by hypothesis, there exists a natural number N such that:

:

Moreover, since f_N is continuous on X by hypothesis, for every x there exists a neighbourhood U such that:

:

In the final step, we apply the triangle inequality in the following way:

:$\backslash begin\{align\}$

d_Y(f(x),f(y)) & \leq d_Y(f(x),f_N(x)) + d_Y(f_N(x),f_N(y)) + d_Y(f_N(y),f(y)) \\

& < \frac{\varepsilon}{3} + \frac{\varepsilon}{3} + \frac{\varepsilon}{3} = \varepsilon, \qquad \forall y \in U

\end{align}

Hence, we have shown that the first inequality in the proof holds, so by definition f is continuous everywhere on X.

There are also variants of the uniform limit theorem that are used in complex analysis, albeit with modified assumptions.

Theorem.Theorems 5.2 and 5.3, pp.53-54 in E. M. Stein and R.Shakarchi's Complex Analysis.

Let $\backslash Omega$ be an open and connected subset of the complex numbers. Suppose that $(f\_n)\_\{n=1\}^\{\backslash infty\}$ is a sequence of holomorphic functions $f\_n:\backslash Omega\backslash to\; \backslash mathbb\{C\}$ that converges uniformly to a function $f:\backslash Omega\; \backslash to\; \backslash mathbb\{C\}$ on every compact subset of $\backslash Omega$. Then $f$ is holomorphic in $\backslash Omega$, and moreover, the sequence of derivatives $(f\text{'}\_n)\_\{n=1\}^\{\backslash infty\}$ converges uniformly to $f\text{'}$ on every compact subset of $\backslash Omega$.

Theorem.Section 6.44, pp.200-201 in E. C. Titchmarsh's The Theory of Functions. Titchmarsh uses the terms 'simple' and 'schlicht' (function) in place of 'univalent'.

Let $\backslash Omega$ be an open and connected subset of the complex numbers. Suppose that $(f\_n)\_\{n=1\}^\{\backslash infty\}$ is a sequence of univalentUnivalent means holomorphic and injective. functions $f\_n:\backslash Omega\backslash to\; \backslash mathbb\{C\}$ that converges uniformly to a function $f:\backslash Omega\; \backslash to\; \backslash mathbb\{C\}$. Then $f$ is holomorphic, and moreover, $f$ is either univalent or constant in $\backslash Omega$.

{{reflist}}

• {{cite book

| author = James Munkres

| author-link = James Munkres

| year = 1999

| title = Topology

| edition = 2nd

| publisher = Prentice Hall

| isbn = 0-13-181629-2

}}

• E. M. Stein, R. Shakarchi (2003). Complex Analysis (Princeton Lectures in Analysis, No. 2), Princeton University Press.

• E. C. Titchmarsh (1939). The Theory of Functions, 2002 Reprint, Oxford Science Publications.

Category:Theorems in real analysis

Category:Topology of function spaces