Locally Constant Constructive Functions and Connectedness of Intervals

DOI10.1093/LOGCOM/EXAA038MaRDI QIDQ6341706arXivFDO

Authors Viktor Chernov

Publication date 29 May 2020

Published in arXiv

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAA038

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

arXiv classification

math.LO

Abstract: We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real numbers is in fact connected, but can be decomposed into the disjoint union of two sequentially closed nonempy sets.

This page was built for publication: Locally Constant Constructive Functions and Connectedness of Intervals

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