Blumberg theorem
In mathematics, the Blumberg theorem states that for any real function f : ℝ → ℝ there is a dense subset D of ℝ such that the restriction of f to D is continuous.
For instance, the restriction of the Dirichlet function (the indicator function of the rational numbers ℚ) to ℚ is continuous, although the Dirichlet function is nowhere continuous.
Blumberg spaces
More generally, a Blumberg space is a topological space X for which any function f : X → ℝ admits a continuous restriction on a dense subset of X. Blumberg theorem therefore asserts that ℝ (equipped with its usual topology) is a Blumberg space.
If X is a metric space, then X is a Blumberg space if and only if it is a Baire space.
gollark: You can't consciously see but can apparently unconsciously catch things or avoid obstacles using, presumably, available visual input being routed somewhere else.
gollark: Blindsight is really cool and weird (I read a Wikipedia page on it yesterday and am thus an expert).
gollark: I'm hoping eye thing technology will improve, since I am annoyingly short-sighted but also don't want to deal with glasses.
gollark: There are a bunch available.
gollark: I bruteforced a bunch of available domains with a 3-letter 2LD and 2-letter TLD some time ago.
References
- Blumberg, Henry (1922). "New properties of all real functions" (PDF). Proceedings of the National Academy of Sciences. 8 (1): 283-288.
- Blumberg, Henry (1922). "New properties of all real functions". Transactions of the American Mathematical Society. 24: 113-128.
- Bradford, J. C.; Goffman, Casper (1960). "Metric spaces in which Blumberg's theorem holds". Proceedings of the American Mathematical Society. 11: 667-670.
- White, H. E. (1974). "Topological spaces in which Blumberg's theorem holds". Proceedings of the American Mathematical Society. 44: 454-462.
- https://www.encyclopediaofmath.org/index.php/Blumberg_theorem
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.