同伦：开集D中两条同始终的连续道路，或者两道闭合回路
线性同伦：两条同伦道路γ_1，γ_2的连线始终不出D，线性同伦映射记为h(s,t)=s γ_1+(1-s) γ_2
一致连续：以任意正数作为上界的像(image)距离度量对满足另一个一致的距离度量上界的任意两个原像点成立
如题，不会捏