Abstract
We give an elementary proof, using nonstandard analysis, of the Jordan curve theorem. We also give a nonstandard generalization of the theorem. The proof is purely geometrical in character, without any use of topological concepts and is based on a discrete finite form of the Jordan theorem, whose proof is purely combinatorial.
Some familiarity with nonstandard analysis is assumed. The rest of the paper is self-contained except for the proof a discrete standard form of the Jordan theorem. The proof is based on hyperfinite approximations to regions on the plane.
Similar content being viewed by others
References
Albeverio, S., Fenstad, J. E., Høegh-Krohn, R. and Lindstrøm, T.:Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press, New York, 1986.
Chuaqui, R.:Truth, Possibility, and Probability: New Logical Foundations of Probability and Statistical Inference, North-Holland, Amsterdam, 1991.
Narens, L.: A nonstandard proof of the Jordan curve theorem,Pacific J. Math. 36 (1971), 219–229.
Nelson, E.:Radically Elementary Probability Theory, Annals of Mathematics Studies, Princeton U. Press, Princeton, N.J., 1987.
Richter, M. M.:Ideal Punkte, Monaden und Nichtstandard-Methoden, Vieweg, Wiesbaden, 1982.
Stout, L. N.: Two discrete forms of the Jordan curve theorem,Amer. Math. Monthly 95 (1988), 332–336.
Author information
Authors and Affiliations
Additional information
Research of the first author partially supported by FONDECYT Grant # 91-1208 and of the second author, by FONDECYT Grant # 90-0647.
Rights and permissions
About this article
Cite this article
Bertoglio, N., Chuaqui, R. An elementary geometric nonstandard proof of the Jordan curve theorem. Geom Dedicata 51, 15–27 (1994). https://doi.org/10.1007/BF01264098
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01264098