Codex Wiki OurBigBook logoOurBigBook.comSite Source code
In with the uniform norm, the continuous functions that are monotone on some interval of positive length form a meagre set. Indeed, it is enough to use intervals with rational endpoints. For each such interval, the nondecreasing and nonincreasing functions form closed sets with empty interior: a sufficiently small local triangular perturbation breaks the relevant inequality. The Baire category theorem therefore shows that a dense set of continuous functions is monotone on no nontrivial interval.

Ancestors (8)

  1. Baire category theorem
  2. Complete metric space
  3. Metric space
  4. Topological analysis
  5. Analysis
  6. Area of mathematics
  7. Mathematics
  8. Home