Dini's theorem

{{Short description|Sufficient criterion for uniform convergence}}

In the mathematical field of analysis, Dini's theorem says that if a monotone sequence of continuous functions converges pointwise on a compact space and if the limit function is also continuous, then the convergence is uniform.{{harvnb|Edwards|1994|page=165}}. {{harvnb|Friedman|2007|page=199}}. {{harvnb|Graves|2009|page=121}}. {{harvnb|Thomson|Bruckner|Bruckner|2008|page=385}}.

Formal statement

If $X$ is a compact topological space, and $(f_n)_{n\in\mathbb{N}}$ is a monotonically increasing sequence (meaning $f_n(x)\leq f_{n+1}(x)$ for all $n\in\mathbb{N}$ and $x\in X$ ) of continuous real-valued functions on $X$ which converges pointwise to a continuous function $f\colon X\to \mathbb{R}$ , then the convergence is uniform. The same conclusion holds if $(f_n)_{n\in\mathbb{N}}$ is monotonically decreasing instead of increasing. The theorem is named after Ulisse Dini.According to {{harvnb|Edwards|1994|page=165}}, "[This theorem] is called Dini's theorem because Ulisse Dini (1845–1918) presented the original version of it in his book on the theory of functions of a real variable, published in Pisa in 1878".

This is one of the few situations in mathematics where pointwise convergence implies uniform convergence; the key is the greater control implied by the monotonicity. The limit function must be continuous, since a uniform limit of continuous functions is necessarily continuous. The continuity of the limit function cannot be inferred from the other hypothesis (consider $x^n$ in $[0,1]$ .)

Proof

Let $\varepsilon > 0$ be given. For each $n\in\mathbb{N}$ , let $g_n=f-f_n$ , and let $E_n$ be the set of those $x\in X$ such that $g_n(x)<\varepsilon$ . Each $g_n$ is continuous, and so each $E_n$ is open (because each $E_n$ is the preimage of the open set $(-\infty, \varepsilon)$ under $g_n$ , a continuous function). Since $(f_n)_{n\in\mathbb{N}}$ is monotonically increasing, $(g_n)_{n\in\mathbb{N}}$ is monotonically decreasing, it follows that the sequence $E_n$ is ascending (i.e. $E_n\subset E_{n+1}$ for all $n\in\mathbb{N}$ ). Since $(f_n)_{n\in\mathbb{N}}$ converges pointwise to $f$ , it follows that the collection $(E_n)_{n\in\mathbb{N}}$ is an open cover of $X$ . By compactness, there is a finite subcover, and since $E_n$ are ascending the largest of these is a cover too. Thus we obtain that there is some positive integer $N$ such that $E_N=X$ . That is, if $n>N$ and $x$ is a point in $X$ , then $|f(x)-f_n(x)|<\varepsilon$ , as desired.

Notes

References

Bartle, Robert G. and Sherbert Donald R.(2000) "Introduction to Real Analysis, Third Edition" Wiley. p 238. – Presents a proof using gauges.
{{Cite book

| last = Edwards

| first = Charles Henry

| title = Advanced Calculus of Several Variables

| publisher = Dover Publications

| location = Mineola, New York

| year = 1994

| orig-year = 1973

| isbn = 978-0-486-68336-2

}}

{{Cite book

| last = Graves

| first = Lawrence Murray

| title = The theory of functions of real variables

| publisher = Dover Publications

| location = Mineola, New York

| year = 2009

| orig-year = 1946

| isbn = 978-0-486-47434-2

}}

{{Cite book

| last = Friedman

| first = Avner

| author-link = Avner Friedman

| title = Advanced calculus

| publisher = Dover Publications

| location = Mineola, New York

| year = 2007

| orig-year = 1971

| isbn = 978-0-486-45795-6

}}

Jost, Jürgen (2005) Postmodern Analysis, Third Edition, Springer. See Theorem 12.1 on page 157 for the monotone increasing case.
Rudin, Walter R. (1976) Principles of Mathematical Analysis, Third Edition, McGraw–Hill. See Theorem 7.13 on page 150 for the monotone decreasing case.
{{cite book|last1=Thomson|first1=Brian S.|last2=Bruckner|first2=Judith B.|last3=Bruckner|first3=Andrew M.|author3-link=Andrew M. Bruckner|title=Elementary Real Analysis|year=2008|orig-year=2001|publisher=ClassicalRealAnalysis.com|isbn=978-1-4348-4367-8}}

Category:Theorems in real analysis

Category:Articles containing proofs