Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-25T19:18:16.861Z Has data issue: false hasContentIssue false

Nonstandard topology and extensions of monad systems to infinite points

Published online by Cambridge University Press:  12 March 2014

Frank Wattenberg*
Affiliation:
Harvard University, Cambridge, Massachusetts 02138

Extract

Intuitively, a topological space is a set together with some notion of “nearness”. Classically, this notion of nearness is usually described by a collection of open sets. With the development of Non-standard analysis by Abraham Robinson [11], we have an alternative way to describe this notion. If X is any set and *X is a nonstandard extension of X then we can describe a topology on X by means of a relationship of “infinitely close” on some points of X. In many ways this latter approach is more intuitive and leads to more straightforward proofs [11] than the classical approach. The first section of this paper explores the connections between these two approaches. In the main section of the paper we extend the notion of “infinitely close” to infinite points of *X. In the final section we give a very intuitive characterization of the compact-open topology (when the domain is locally compact) and use it to give quick, straight-forward proofs of the usual facts about this topology [1], [2]. This last section can be read independently of the second section.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1972

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Arens, R., Topologies for homeomorphism groups, American Journal of Mathematics, vol. 68 (1946), pp. 593610.CrossRefGoogle Scholar
[2]Arens, R., A topology for spaces of transformations. Annals of Mathematics, (2) Vol. 47 (1946), pp. 480495.CrossRefGoogle Scholar
[3]Bell, J. L. and Slomson, A. B., Models and ultraproducts, North-Holland, Amsterdam, 1969.Google Scholar
[4]Keisler, H. J., Good ideals in fields of sets, Annals of Mathematics, (2) vol. 79 (1969), pp. 338359.CrossRefGoogle Scholar
[5]Keisler, H. J., Ultraproducts and elementary classes, Koninklijke Nederlandse Akademie van Wetenschappen. Proceedings. Series A, vol. 64 = Indagationes Mathematicae, vol. 23 (1961), pp. 477495.Google Scholar
[6]Keisler, H. J., Ultraproducts and saturated models, Koninklijke Nederlandse Akademie van Wetenschappen. Proceedings. Series A, vol. 67 = Indagationes Mathematlcae, vol. 26 (1964), pp. 178186.Google Scholar
[7]Luxemburg, W. A. J., A new approach to the theory of monads, California Institute of Technology, Pasadena, 1967.Google Scholar
[8]Luxemburg, W. A. J. (Editor), Applications of model theory to algebra, analysis and probability, Holt, Rinehart and Winston, New York, 1969.Google Scholar
[9]Machover, M. and Hirschfeld, J., Lectures on non-standard analysis, Lecture notes in Mathematics, No. 94, Springer, Berlin, 1969.Google Scholar
[10]Morley, M. and Vaught, R., Homogeneous universal models, Mathematica Scandinavica, vol. 11 (1962), pp. 3757.CrossRefGoogle Scholar
[11]Robinson, A., Non-standard analysis, North-Holland, Amsterdam, 1966.Google Scholar