因为不存在从[0,1)到[0,t]的连续双射
否则假设存在从[0,t]到[0,1)的连续双射
则f(0)=0
考虑f(t), f(t)<1
于是[f(t),1)在[0,t]上无原像,与f是双射矛盾
从拓扑上讲,[0,t]是闭集,而[0,1)是非开非闭的集合
连续等价于闭集的原像闭
区间[0,t](0
而[0,1)是一个明确的区间
后者根据t值不同可以指不同的区间,前者则是一个固定的区间。
或者说,从逻辑关系讲,区间[0,t](0
[0,1)与区间[0,t](0
前面的区间固定,后面的区间可以变的