博苏克-乌拉姆定理
定理:在任意时刻,地球上总存在对称的两点,他们的温度和大气压的值正好都相同。
波兰数学家乌拉姆(Stanisław Marcin Ulam)曾经猜想,任意给定一个从 n 维球面到 n 维空间的连续函数,总能在球面上找到两个与球心相对称的点,他们的函数值是相同的。1933 年,波兰数学家博苏克(Karol Borsuk)证明了这个猜想,这就是拓扑学中的博苏克-乌拉姆定理(Borsuk–Ulam theorem)。
博苏克-乌拉姆定理有很多推论,其中一个推论就是,在地球上总存在对称的两点,他们的温度和大气压的值正好都相同(假设地球表面各地的温度差异和大气压差异是连续变化的)。这是因为,我们可以把温度值和大气压值所有可能的组合看成平面直角坐标系上的点,于是地球表面各点的温度和大气压变化情况就可以看作是二维球面到二维平面的函数,由博苏克-乌拉姆定理便可推出,一定存在两个函数值相等的对称点。
当 n = 1 时,博苏克-乌拉姆定理则可以表述为,在任一时刻,地球的赤道上总存在温度相等的两个点。对于这个弱化版的推论,我们有一个非常直观的证明方法:假设赤道上有 A、B 两个人,他们站在关于球心对称的位置上。如果此时他们所在地方的温度相同,问题就已经解决了。下面我们只需要考虑他们所在地点的温度一高一低的情况。不妨假设,A 所在的地方是 10 度,B 所在的地方是 20 度吧。现在,让两人以相同的速度相同的方向沿着赤道旅行,保持两人始终在对称的位置上。假设在此过程中,各地的温度均不变。旅行过程中,两人不断报出自己 当地的温度。等到两人都环行赤道半周后,A 就到了原来 B 的位置,B 也到了 A 刚开始时的位置。在整个旅行过程中,A 所报的温度从 10 开始连续变化(有可能上下波动甚至超出 10 到 20 的范围),最终变成了 20;而 B 经历的温度则从 20 出发,最终连续变化到了 10。那么,他们所报的温度值在中间一定有“相交”的一刻,这样一来我们也就找到了赤道上两个温度相等的对称点。