We give a nonstandard variant of Jordan's proof of the Jordan curve theorem which is free of the defects his contemporaries criticized and avoids the epsilontic burden of the classical proof. The proof is self-contained, except that the Jordan theorem for polygons is taken for granted.
References
L. D. Ames, On the theorem of Analysis Situs relating to the division of a plane or of space by a closed curve or surface, Bull. Amer. Math. Soc. (2), 10 (1904), 301. MR1558113 10.1090/S0002-9904-1904-01114-3 euclid.bams/1183417861
L. D. Ames, On the theorem of Analysis Situs relating to the division of a plane or of space by a closed curve or surface, Bull. Amer. Math. Soc. (2), 10 (1904), 301. MR1558113 10.1090/S0002-9904-1904-01114-3 euclid.bams/1183417861
N. Bertoglio, R. Chuaqui, An elementary geometric nonstandard proof of the Jordan curve theorem, Geometriae Dedicata, 51 (1994), 14 – 27. MR1286135 0807.54035 10.1007/BF01264098 N. Bertoglio, R. Chuaqui, An elementary geometric nonstandard proof of the Jordan curve theorem, Geometriae Dedicata, 51 (1994), 14 – 27. MR1286135 0807.54035 10.1007/BF01264098
G. A. Bliss, The exterior and interior of a plane curve, Bull. Amer. Math. Soc. (2), 10 (1904), 398. MR1558133 10.1090/S0002-9904-1904-01134-9 euclid.bams/1183417921
G. A. Bliss, The exterior and interior of a plane curve, Bull. Amer. Math. Soc. (2), 10 (1904), 398. MR1558133 10.1090/S0002-9904-1904-01134-9 euclid.bams/1183417921
T. Lindstrøm, An invitation to nonstandard analysis, in: N. Cutland (ed.) Nonstandard analysis and its applications (London Math. Soc. Student Texts 10), Cambridge Univ. Press, 1988, 1 – 105. MR971064 T. Lindstrøm, An invitation to nonstandard analysis, in: N. Cutland (ed.) Nonstandard analysis and its applications (London Math. Soc. Student Texts 10), Cambridge Univ. Press, 1988, 1 – 105. MR971064
L. Narens, A nonstandard proof of the Jordan curve theorem, Pacific J. Math., 36, No. 1 (1971), 219 – 229. MR276940 0212.55405 euclid.pjm/1102971282
L. Narens, A nonstandard proof of the Jordan curve theorem, Pacific J. Math., 36, No. 1 (1971), 219 – 229. MR276940 0212.55405 euclid.pjm/1102971282
E. Nelson, Internal set theory; a new approach to nonstandard analysis, Bull. Amer. Math. Soc. 1977, 83, pp. 1165 – 1198. MR469763 0373.02040 10.1090/S0002-9904-1977-14398-X euclid.bams/1183539849
E. Nelson, Internal set theory; a new approach to nonstandard analysis, Bull. Amer. Math. Soc. 1977, 83, pp. 1165 – 1198. MR469763 0373.02040 10.1090/S0002-9904-1977-14398-X euclid.bams/1183539849
L. N. Stout, Two discrete forms of the Jordan curve theorem, Amer. Math. Monthly 95 (1988), 332 – 336. MR935207 10.2307/2323568 L. N. Stout, Two discrete forms of the Jordan curve theorem, Amer. Math. Monthly 95 (1988), 332 – 336. MR935207 10.2307/2323568
O. Veblen, A system of axioms for geometry, Trans. Amer. Math. Soc. 5 (1904), 343 – 384. MR1500678 10.1090/S0002-9947-1904-1500678-X O. Veblen, A system of axioms for geometry, Trans. Amer. Math. Soc. 5 (1904), 343 – 384. MR1500678 10.1090/S0002-9947-1904-1500678-X
O. Veblen, Theory on plane curves in non-metrical Analysis Situs, Trans. Amer. Math. Soc. 6 (1905), 83 – 98. MR1500697 10.1090/S0002-9947-1905-1500697-4 O. Veblen, Theory on plane curves in non-metrical Analysis Situs, Trans. Amer. Math. Soc. 6 (1905), 83 – 98. MR1500697 10.1090/S0002-9947-1905-1500697-4