The range sets of continuous functions from [0, 1] into a complete separate metric space are closed, connected, compact, and bounded. The classification of these properties in reverse mathematics has not yet been fully explored prior to this work. Over \(\mathsf{{RCA}}_0\) , the existence of closed set codes for the range sets of continuous functions is equivalent to \(\textsf{WKL}_0\) . The connectedness property is provable in \(\mathsf{{RCA}}_0\) and the compactness and boundedness properties are equivalent to \(\textsf{WKL}_0\) , as long as these properties are carefully defined to avoid the use of a closed code of \(\textsf{range}(f)\) .

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Properties of Range Sets of Continuous Functions in Reverse Mathematics

  • Corrie Ingall

摘要

The range sets of continuous functions from [0, 1] into a complete separate metric space are closed, connected, compact, and bounded. The classification of these properties in reverse mathematics has not yet been fully explored prior to this work. Over \(\mathsf{{RCA}}_0\) , the existence of closed set codes for the range sets of continuous functions is equivalent to \(\textsf{WKL}_0\) . The connectedness property is provable in \(\mathsf{{RCA}}_0\) and the compactness and boundedness properties are equivalent to \(\textsf{WKL}_0\) , as long as these properties are carefully defined to avoid the use of a closed code of \(\textsf{range}(f)\) .