Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-18T11:20:41.934Z Has data issue: false hasContentIssue false
  • English
  • Français

Monadic binary relations and the monad systems at near-standard points

Published online by Cambridge University Press:  12 March 2014

Nader Vakil
Nader Vakil*
Affiliation:
Department of Mathematics, University of Washington, Seattle, Washington 98195
*
Department of Mathematics, Western Illinois University, Macomb, Illinois 61455
Get access Rights & Permissions [Opens in a new window]

Abstract

Let (*X, *T) be the nonstandard extension of a Hausdorff space (X, T). After Wattenberg [6], the monad m(x) of a near-standard point x in *X is defined as m{x) = μT (st(x)). Consider the relation

Frank Wattenberg in [6] and [7] investigated the possibilities of extending the domain of R ns to the whole of *X. Wattenberg's extensions of R ns were required to be equivalence relations, among other things. Because the nontrivial ways of constructing such extensions usually produce monadic relations, the said condition practically limits (to completely regular spaces) the class of spaces for which such extensions are possible. Since symmetry and transitivity are not, after all, characteristics of the kind of nearness that is obtained in a general topological space, it may be expected that if these two requirements are relaxed, then a monadic extension of R ns to *X should be possible in any topological space. A study of such extensions of R ns is the purpose of the present paper. We call a binary relation W ⊆ *X × *X an infinitesimal on *X if it is monadic and reflexive on *X. We prove, among other things, that the existence of an infinitesimal on *X that extends R ns is equivalent to the condition that the space (X, T) be regular.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 3 , September 1987 , pp. 689 - 697
Copyright
Copyright © Association for Symbolic Logic 1987

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

REFERENCES

[1] Hurd, A. E. and Loeb, P. A., An introduction to nonstandard analysis, Academic Press, New York, 1985.Google Scholar
[2] Luxemburg, W. A. J., A general theory of monads, Applications of model theory to algebra, analysis, and probability (Luxemburg, W. A. J., editor), Holt, Reinhart and Winston, New York, 1969, pp. 18–86.Google Scholar
[3] Luxemburg, W. A. J. and Stroyan, K. D., Introduction to the theory of infinitesimals, Academic Press, New York, 1976.Google Scholar
[4] Davis, Martin, Applied nonstandard analysis, Wiley, New York, 1977.Google Scholar
[5] Robinson, A., Nonstandard analysis, North-Holland, Amsterdam, 1969.Google Scholar
[6] Wattenberg, F., Nonstandard topology and extensions of monad systems to infinite points, this Journal, vol. 36(1971), pp. 463–476.Google Scholar
[7] Wattenberg, F., Monads of infinite points and finite product spaces, Transactions of the American Mathematical Society, vol. 176(1973), pp. 351–368.CrossRefGoogle Scholar
[8] Vakil, Nader, Topological classification of Wallenberg infinitesimals, Abstracts of Papers Presented to the American Mathematical Society, vol. 5 (1984), p. 94 (abstract 809-54-128).Google Scholar