论文信息 - Proximal and uniform convergence on apartness spaces

Proximal and uniform convergence on apartness spaces

The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity.

Luminita Vîta

[1] Anna Di Concilio,et al. Proximal set-open topologies , 2000 .

[2] Douglas S. Bridges,et al. Apartness spaces as a framework for constructive topology , 2003, Ann. Pure Appl. Log..

[3] G. Stolzenberg,et al. Review: Errett Bishop, Foundations of constructive analysis , 1970 .

[4] M. Beeson. Foundations of Constructive Mathematics , 1985 .

[5] Douglas S. Bridges,et al. Apartness as a Relation Between Subsets , 2001, DMTCS.

[6] Douglas S. Bridges,et al. Characterising Near Continuity Constructively , 2001, Math. Log. Q..

[7] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .

[8] D. Bridges,et al. CAUCHY NETS IN THE CONSTRUCTIVE THEORY OF APARTNESS SPACES , 2002 .

[9] Douglas S. Bridges,et al. A constructive theory of point-set nearness , 2003, Theor. Comput. Sci..

[10] S. Leader. On completion of proximity spaces by local clusters , 1960 .

[11] Douglas S. Bridges,et al. Strong continuity implies uniform sequential continuity , 2005, Arch. Math. Log..