嘿，这个问题问到点子上了！其实[0,1]能成为同伦研究的“标配”参数空间，完全是因为它的拓扑性质刚好踩中了所有需求的点，而且足够简单直观。咱们拆解来看：

为什么[0,1]这么受欢迎？ #

• 紧性拉满，省心省力：[0,1]是紧拓扑空间，这意味着任何从它出发的连续映射，像都是紧的。在证明同伦的传递性、同伦等价的性质时，紧性能帮我们避开很多“极限不存在”“映射跑飞”的麻烦，不用额外处理边界的异常情况。
• 连通性完美匹配“连续变形”：同伦的核心是“从一个映射连续变到另一个”，而[0,1]的连通性保证了参数t能从0毫无断点地滑到1，正好对应变形的全过程——你总不能用一个分成两段的空间当参数吧？那变形就直接断成两截了。
• 可缩性，不添乱的“纯工具人”：[0,1]本身是可缩的（能连续收缩到其中任意一个点），这意味着它自己没有任何非平凡的拓扑结构，作为参数空间，它只负责提供“变形的时间线”，不会给被研究的映射或空间带来额外的拓扑复杂度。
• 行业通用的“标准模型”：就像程序员写代码用标准库一样，拓扑学家用[0,1]是因为所有人都懂。你写H(x,t), t∈[0,1]，没人会问“t=0是啥意思”——默认就是初始映射，t=1是目标映射，沟通成本为零。

必须用闭区间[0,1]吗？答案是：不一定，但得用“等价替代品” #

其实同伦的定义核心是参数空间要能代表一个“连续的过程”，只要满足这个核心需求，你可以替换成其他空间，但有几个关键点要注意：

• 不能用开区间(0,1)：虽然(0,1)也是连通可缩的，但它不是紧的。如果用它当参数，当t趋近于0或1时，映射可能没有极限，这样定义出来的“变形”就不符合我们对同伦的直观要求——毕竟同伦需要从一个确定的初始映射变到确定的目标映射，不能两头没着落。
• 可以用和[0,1]同胚的空间：比如[0,2]、[-1,1]，甚至是单位正方形的一条边，只要能通过连续可逆的映射和[0,1]对应上，用它们定义的同伦和用[0,1]的完全等价，只是参数缩放了一下而已。
• 更广义的情况：在一些进阶的同伦理论中，比如研究高阶同伦群，或者范畴论里的同伦，可能会用到更复杂的参数空间（比如n维立方体Iⁿ），但本质上它们都是[0,1]的乘积，核心还是延续了[0,1]的“连续过程”属性。

总结一下：[0,1]是最优解，但不是唯一解——只要你的参数空间是紧、连通、可缩的，并且能直观代表“从起点到终点的连续过程”，都能用来代替它。但为啥大家还是死磕[0,1]？因为它最简单，最通用，没人愿意给自己找麻烦呀！

内容的提问来源于stack exchange，提问作者zeraoulia rafik