Connectivity of an interval
HTML articles powered by AMS MathViewer
- by Mark Mandelker PDF
- Proc. Amer. Math. Soc. 54 (1976), 170-172 Request permission
Abstract:
Constructivizations are given for the classical theorem that an interval is connected in the sense that it cannot be the union of two nonvoid disjoint open subsets, and also for the theorem that an open set is the union of disjoint open intervals.References
- Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221878
Additional Information
- © Copyright 1976 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 54 (1976), 170-172
- DOI: https://doi.org/10.1090/S0002-9939-1976-0390140-4
- MathSciNet review: 0390140