##  [Baire Category Theorem](/baire-category-theorem-0) 

 Definition

A theorem in topology and functional analysis stating that in a complete metric space (or more generally a Baire space) the countable intersection of dense open sets is dense; equivalently, the space cannot be written as a countable union of nowhere-dense sets.

 

 

 

 

 

 





## Principle

Principle

Completeness forces residual sets (countable intersections of dense opens) to be dense, so 'generic' properties described by dense G_delta sets are topologically typical even if measure-theoretically small.

 

 

 

 

 





## Demonstration

Demonstration

In the complete metric space C[0,1] with the sup norm, the set of functions that are nowhere differentiable can be constructed as a countable intersection of dense open sets, hence is dense by the Baire Category Theorem.

 

 

 

 

## Misapplication

Misapplication

Applying the theorem to incomplete metric spaces (e.g., rationals with the usual metric) or conflating category-based 'generic' with measure-theoretic 'almost every'; also misusing it to claim existence of a specific canonical element rather than density.

 

 

 

 

 





## Consequence

Consequence

Explains why many pathological or 'generic' objects exist densely in function spaces and underlies arguments in functional analysis (open mapping, closed graph theorems) and dynamical systems about typical behavior.

 

 

 

 

## Reversal

Reversal

If a space can be expressed as a countable union of nowhere-dense sets, it fails to be a Baire space and completeness (or the Baire property) must be absent; such pathological decomposition is the negation of the theorem's hypothesis.

 

 

 

 

 





## Boundary

Boundary

Applies to complete metric spaces and more generally Baire spaces; does not hold for arbitrary topological spaces or incomplete metrics without additional hypotheses, and says nothing about measure or cardinality of sets.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension exists between topological genericity (category) and probabilistic typicality (measure); a set can be comeager (topologically large) while having measure zero, leading to differing intuitions of 'typical'.

 

 

 

 

 





## Synthesis

Synthesis

The Baire Category Theorem organizes notions of typicality in complete metric (or Baire) spaces: countable intersections of dense opens remain dense, making many counterintuitive or pathological properties topologically generic.