Characterising near continuity constructively

DOI10.1002/1521-3870(200111)47:4%3C535::AID-MALQ535%3E3.0.CO;2-3MaRDI QIDQ2765576zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Luminiţa Viţă

Publication date 4 September 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200111)47:4%3C535::aid-malq535%3E3.0.co;2-3

zbMATH Keywords

apartness spacesconstructive analysismetric spacesnear continuitysequential continuity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Special maps on metric spaces (54E40)

Review text

The authors provide some complements to their paper ``A constructive theory of point-set nearness [Theor. Comput. Sci. (to appear)], which in turn emerged from their fresh constructive approach to topology via apartness relations, initiated with ``Apartness as a framework for constructive topology [Ann. Pure Appl. Logic (to appear)]. They show that a mapping between arbitrary metric spaces respects nearness, between points and subsets, precisely when it preserves cluster points. Besides, any such mapping is proved to be strongly extensional and sequentially nondiscontinuous, but not sequentially continuous unless the domain is complete or one accepts Bishop's limited principle of omniscience. The present work is close in spirit to some work of \textit{Hajime Ishihara}'s: ``Continuity and nondiscontinuity in constructive mathematics [J. Symb. Log. 56, 1349-1354 (1991; Zbl 0745.03048)] and ``Continuity properties in constructive mathematics [J. Symb. Log. 57, 557-565 (1992; Zbl 0771.03018)].

Recommendations

• Continuity and nondiscontinuity in constructive mathematics
• Strong continuity implies uniform sequential continuity
• Strong Versus Uniform Continuity: A Constructive Round
• What is continuity, constructively?
• Apartness spaces as a framework for constructive topology

Cited in

(6)

• Apartness spaces as a framework for constructive topology
• scientific article; zbMATH DE number 3866292 (Why is no real title available?)
• scientific article; zbMATH DE number 5675200 (Why is no real title available?)
• Characterizing Continuity
• scientific article; zbMATH DE number 3997783 (Why is no real title available?)
• Extending strongly continuous functions between apartness spaces

This page was built for publication: Characterising near continuity constructively

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765576)