Approach Spaces, Limit Tower Spaces, and Probabilistic Convergence Spaces

The category LTS of limit tower spaces is defined and shown to be isomorphic to the category CAP of convergence approach spaces. The full subcategory of LTS determined by the objects satisfying a diagonal axiom due to Cook and Fischer is shown to be isomorphic to the category AP of approach spaces. A family of isomorphisms is also obtained between LTS and certain full subcategories of the category PCS of probabilistic convergence spaces.

[1]  Gerhard Preuss,et al.  Theory of topological structures , 1987 .

[2]  E. Lowen,et al.  Topological quasitopos hulls of categories containing topological and metric objects , 1989 .

[3]  M. J. Frank,et al.  Probabilistic topological spaces , 1971 .

[4]  E. Lowen,et al.  A QUASITOPOS CONTAINING CONV AND MET AS FULL SUBCATEGORIES , 1988 .

[5]  C. H. Cook,et al.  Regular convergence spaces , 1967 .

[6]  D. C. Kent,et al.  Probabilistic convergence spaces , 1996, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

[7]  Hans-Joachim Kowalsky,et al.  Limesräume und Komplettierung , 1954 .

[8]  Liviu C. Florescu,et al.  Probabilistic convergence structures , 1989 .

[9]  R. Lowen.  Approach Spaces A Common Supercategory of TOP and MET , 1989 .

[10]  B. Schweizer,et al.  Statistical metric spaces. , 1960 .

[11]  K. Menger.  Statistical Metrics. , 1942, Proceedings of the National Academy of Sciences of the United States of America.