问题描述
如何在开放式单位正方形与封闭式单位正方形之间定义这样的函数? 我想不出对函数的任何定义都应该是射影。
解决方法
通过乘以2将(0,1)x(0,1)映射到(0,2)x(0,2),然后截断(0,1)以外的所有内容
证明这是一个循环遍历允许使用的引理和定理的问题。例如,
-
线性函数是连续的
-
R2度量空间中的连续拓扑在拓扑上是连续的
-
常数函数是连续的
-
连续功能的限制是连续的
-
连续函数的组成是连续的
截断是分别在两个不相交的子集上的常数函数和恒等函数;换句话说,截断是两个各自连续函数中两个restrictions的组合
使用第一原理,您可能会发现更容易写出截断部分。