Metrization of the one-point compactification
HTML articles powered by AMS MathViewer
- by Mark Mandelkern
- Proc. Amer. Math. Soc. 107 (1989), 1111-1115
- DOI: https://doi.org/10.1090/S0002-9939-1989-0991703-4
- PDF | Request permission
Abstract:
A new, more widely applicable, constructive definition of locally compact metric space is given, and a metric one-point compactification is constructed. Classically, this provides a simpler, more direct, construction of a metric on the one-point compactification of a separable locally compact metric space.References
- Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto-London, 1967. MR 0221878
- Errett Bishop and Douglas Bridges, Constructive analysis, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 279, Springer-Verlag, Berlin, 1985. MR 804042, DOI 10.1007/978-3-642-61667-9
- Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97, Cambridge University Press, Cambridge, 1987. MR 890955, DOI 10.1017/CBO9780511565663
- James Dugundji, Topology, Allyn and Bacon, Inc., Boston, Mass., 1966. MR 0193606
- Mark Mandelkern, Constructive continuity, Mem. Amer. Math. Soc. 42 (1983), no. 277, v+117. MR 690901, DOI 10.1090/memo/0277
Bibliographic Information
- © Copyright 1989 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 107 (1989), 1111-1115
- MSC: Primary 54E35
- DOI: https://doi.org/10.1090/S0002-9939-1989-0991703-4
- MathSciNet review: 991703