Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've seen Baire category theorem used to prove existence of objects with certain properties. But it seems there is another class of interesting applications of Baire category theorem that I have yet to see.

First I found this MathOverflow problem:

Let $f$ be an infinitely differentiable function on $[0,1]$ and suppose that for each $x \in [0,1]$ there is an integer $n \in \mathbb{N}$ such that $f^{(n)}(x)=0$. Then $f$ coincide on $[0,1]$ with some polynomial.

I found another one from Ben Green's notes:

Suppose that $f:\mathbb{R}^+\to\mathbb{R}^+$ is a continuous function with the following property: for all $x\in\mathbb{R}^+$, the sequence $f(x),f(2x),f(3x),\ldots$ tends to $0$. Prove that $\lim_{t\to\infty}f(t)=0$.

Are there any other classic problems of this type?

share|improve this question
4  
A nice survey paper: MR1640007 (99h:26012). Jones, Sara Hawtrey. Applications of the Baire category theorem Real Anal. Exchange 23 (2), (1997/98), 363–394. It should be available through Project Euclid. See also math.stackexchange.com/q/165696/462 –  Andres Caicedo May 4 '13 at 20:48
2  
Even if it's not closed, it should definitely be community wiki. –  Asaf Karagila May 6 '13 at 19:29
    
The topic seems too wide... There are so many applications in in General Topology, Real Analysis, Differential Geometry, Dynamical Systems, Complex Function Theory, Linear and Nonlinear Functional Analysis... what am I forgetting? –  Pietro Majer Sep 16 '13 at 16:55
    
... what am I forgetting? Convex Geometry –  Dave L Renfro Sep 16 '13 at 18:44
    
There is a question at MSE: Your favourite application of the Baire Category Theorem –  Martin Sleziak Apr 10 at 10:50
add comment

7 Answers

I have multiple reasons to single out one particular application of Baire Category Theorem. First, it is a result about holomorphic functions, so it belongs outside the-usual-suspects of real analysis, topology or functional analysis. Second, it is due to William Fogg Osgood, who formulated a version of Baire's theorem before Baire came up with his. The theorem I want to mention is as follows:

Let $D$ be a domain (in the complex plane) and let $\{f_n\}$ be a sequence of functions analytic in $D$. Suppose $f_n(z) \to f(z)$ for each $z \in D$. Then $f$ is analytic in an open set $D_1 \subset D$ which is dense in $D$, and convergence is uniform on compact subsets of $D_1$.

Originally it appeared in MR1502274 Osgood, W. F. Note on the functions defined by infinite series whose terms are analytic functions of a complex variable; with corresponding theorems for definite integrals. Ann. of Math. (2) 3 (1901/02), no. 1-4, 25–34.

It is stated and proved (as Theorem 2.1.25) in the book in Spanish by Brito mentioned in Ljubomir Cukic's answer, and in the article

MR0328028 Zalcman, Lawrence Real proofs of complex theorems (and vice versa). Amer. Math. Monthly 81 (1974), 115–137. (Reviewer: D. Gaier)

These publications refer to Osgood, unlike the article MR2463290
Krantz, Steven G. Complex analysis as catalyst. Amer. Math. Monthly 115 (2008), no. 9, 775–794, which also states and proves this theorem.

share|improve this answer
add comment

There are a very important applications of the Baire Category Theorem: the Banach-Steinhauss Theorem, the Vitali-Hahn-Saks Theorem, the Nikodym Theorem,...There is a nice book on the Baire Category Theorem (Spanish, 564 pages): Wilman Brito, El Teorema de Categoría de Baire y aplicaciones,

http://www.ciens.ula.ve/matematica/publicaciones/libros/por_profesor/wilman_brito/Teorema_de_Baire_Aplicaciones.pdf

http://www.amazon.com/El-Teorema-Categor%C3%ADa-Baire-aplicaciones/dp/3846575909

share|improve this answer
    
Nice reference. Thanks! –  Andres Caicedo May 5 '13 at 18:30
    
Nice reference indeed! Thanks. –  alvarezpaiva May 5 '13 at 18:44
add comment

I got some mileage out of the Baire category theorem in abelian group theory, in particular in the study of the group $\mathbb Z^{\aleph_0}$, the additive group of sequences of integers (which, contrary to some people's expectations, is not free). See the papers "Baer meets Baire" (joint with John Irwin) at http://www.math.lsa.umich.edu/~ablass/bb.pdf and "Specker's theorem for Nöbeling's group" at http://www.math.lsa.umich.edu/~ablass/spno.pdf .

share|improve this answer
add comment

Yes, there are many applications besides proving the existence of objects with pathological properties. I recommend the nice book MR0584443 Oxtoby, John C. Measure and category. A survey of the analogies between topological and measure spaces.

share|improve this answer
add comment

Many applications of Baire Category Theorem, such as the characterization of real polynomials you cited, follow from the strengthening of a pointwise statement
$$ \forall x \in X, \exists d \in D, \ P_d(x)$$ to an uniform statement $$ \exists d \in D, \forall x \in X, \ P_d(x), $$ where $D$ is a enumerable set and $X$ is a complete metric space.

For this, one uses the following strategy (translated from BwataBaire, a wiki in French that contains a lot of applications of Baire Category Theorem):

  1. Define the set $F_d = \{x \in X \mid P_d(x) \}$.
    Since the pointwise statement is valid, we have that $ X = \bigcup_{d \in D} F_d $.
  2. If we are lucky, the set $F_d$ is closed in $X$ for each $d$. By Baire Category Theorem, then there exists a $D$ such that $F_D$ has a non-empty interior.
  3. By using that $\mathrm{int}(F_D)\ne\emptyset$, we try to prove that $F_D = X$, from which will follow the uniform statement.

As an example, you can try to use this strategy to prove the following:

Let $X$ be a Banach space and $f:X\rightarrow X$ a continuous linear application such that $$ \forall x \in X, \exists n \in \mathbb{N},\ f^{n}(x)=0. $$ Then $f$ is nilpotent, that is, $$ \exists n \in \mathbb{N}, \forall x \in X,\ f^{N}(x)=0.$$

It is interesting to remark that there also exists a lot of another common strategies to change a pointwise statement to an uniform statement. One good place to learn about them is this article from tricki.

P.S. There is also a community wiki question in math.stackexchange with a lot of this kind of applications of Baire Category Theorem: "Your favorite application of the Baire category theorem".

share|improve this answer
add comment

The Uniform Boundedness Principle, Open Mapping Theorem, Closed Graph Theorem are all derived via Baire Category theorem (they can all be derived from each-other as well).

share|improve this answer
add comment

One can prove--using the Baire category property--that certain Hausdorff spaces (e.g. $\mathbb Q$) do not majorize any Hausdorff compact space, or even H-minimal (or even certain more general spaces).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.