Théorème de Blumberg

En mathématiques, le théorème de Blumberg énonce que pour toute fonction f : ℝ → ℝ, il existe une partie dense D de ℝ telle que la restriction de f à D soit continue.

Par exemple la restriction de la fonction de Dirichlet aux rationnels, qui sont denses dans les réels, est continue (car constante), alors que la fonction de Dirichlet est continue nulle part. De même, elle est continue sur les irrationnels qui sont également denses dans les réels.

Espaces de Blumberg

Plus généralement, un espace de Blumberg est un espace topologique X pour lequel toute fonction f : X → ℝ admet une restriction continue sur un sous-ensemble dense dans X. Le théorème de Blumberg affirme donc que ℝ (muni de sa topologie usuelle) est un espace de Blumberg.

Si X est un espace métrique, alors X est un espace de Blumberg si et seulement si c'est un espace de Baire.

Références

• (en) Henry Blumberg, « New properties of all real functions », Proceedings of the National Academy of Sciences, vol. 8, n^o 1,‎ 1922, p. 283-288 (lire en ligne)
• (en) Henry Blumberg, « New properties of all real functions », Transactions of the American Mathematical Society, vol. 24,‎ 1922, p. 113-128 (lire en ligne)
• (en) J. C. Bradford et Casper Goffman, « Metric spaces in which Blumberg's theorem holds », Proc. Amer. Math. Soc., vol. 11,‎ 1960, p. 667-670 (lire en ligne)
• (en) Z. Piotrowski, « Blumberg theorem », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• (en) H. E. White, « Topological spaces in which Blumberg's theorem holds », Proc. Amer. Math. Soc., vol. 44,‎ 1974, p. 454-462 (lire en ligne)