巴拿赫塔斯基分球定理-巴拿赫定理分球

巴拿赫 - 塔斯基分球定理这事儿，听起来像是个数学家的浪漫仪式，实则在逻辑上却是某种“客观存有”的必然。
这就好比你在沙滩上随意撒了一把沙子，你绝对无法确定其中有多少粒是粗粒的，有多少是细粒的。
只要你没打算把沙粒重新整理成完美的沙堡，也不去管它们是不是均匀分布，你分出来的沙堆，粗粒和细粒的比例，在数学上就彻底无法确定。
这玩意儿不是靠某种神秘的直认定出的，而是数学结构本身所准的。 我们先来看看这个定理到底是如何说的。想象一下你要把一个立方体切成两半，比如切成两个长方体。
这时候你问：“这两个长方体，长宽高比例是多少？”你彻底没法指望答案是一二三四五六七八九十那样规整划一的。出于立方体本身就没有这样固定的比例。你能够切出一个贼扁平的块，长宽比接近 100:1，这就是塔斯基定理的第一层含义。你能够再切出一个极度高耸的块，长宽比接近 1:100，这就是第二层含义。
这个定理的核心在于，它准你进行“任意”的分割，而不是“特定”的分割。 这就引出了那个最关键的、常被误解的局部：它说的并不是“你不能确定”，而是“你确定不了”。
这是物理世界中常见的误解。
要是你确实拿着刀去切一个具体的立方体，按照某些特殊的切割方式，比如你故意把两个中间层的厚度做成了 1:9999 的比例，那你确实能算出确切的比例。但这并不代表塔斯基定理在说“所有可能的比例都是准的”。塔斯基定理是在说，对于任意一个具体的立方体，甭管你采用多么随机、多么极端、就连彻底随机的切割方式，你一辈子无法预先保证输出的比例是特定值。 它强调的是“不确定性”的普遍性。就像你点了一份菜，菜单上写着各种口味，但系统默认并不会自动把辣酱和蒜蓉的比例锁定在某种固定配比上，要不就你手动设定。 为了更直观地理解，我们能够看看现实生活中的例子。想象你在超市里买面包，货架上摆着各种规格的面包。作为一个理性的花者，你会认定“我知道这个面包如何吃”，对吧？你一般会按照自己的习惯，把几片面包叠在一起，要么切成几块，然后启动享用。在这个过程中，你没有任何痛苦的证据，出于你的目标是“吃”。你不需求去纠结面包的表面积和体积比是多少，要么它是不是某种古老的几何比例。你只关心它能不能入口，能不能供给能量。
这个“吃”的过程，就是塔斯基分球定理在描述的状态。 在这个模型里，要是你强行要求面包务必严格按照某种特定的几何逻辑来分割，比如要求每一片都务必完美地符合欧几里得几何的某种比例，那你可能连买面包都买不到，出于超市的货架本身就是按实际体积比例摆放的，而不是按理论比例摆放的。
故此，你买的每一片面包，实际上际尺寸比例，既不是理论上的最优解，也不是固定不变的常量。 这就好比你在定义一个数学集合，你能够说这个集合包含所有“体积大于 1"以外的所有东西。你能够定义一个逻辑，其中的对象要么是“小于 1"的，要么是“大于 1"的。当你把这两个集合合并起来时，你就拿到了一个“大于 1"要么“小于 1"的集合。
这个集合里的元素，根据你的喜好，能够是任意的。塔斯基定理并没有说所有比例都是可能的（别看大局部比例确实都是可能的），它只是说，你无法证明某个特定的比例是唯一的。它准事实是多种多样的。 再深入一点，这个定理在哲学层面实际上是个庞大的挑战。大量哲学家喜爱用这种“分球”的比喻，来解释世界的本质。他们认定世界应当像这个球一样，不能被任何单一的观点彻底定义。就像你切面包时，你无法在一个瞬间与此同时定义好所有的属性。世界的复杂性，恰恰在于它回绝被任何单一的、线性的或算术的模型所彻底捕捉。
要是你试图用一个单一的公式去概括所有可能的分割情况，那一定是个毛病的模型。
这个模型忒简陋了，它忽略了那些细碎的、非整数化的、充满摩擦和不确定性的局部。 故此，当我们聊聊这个定理时，不要把它看作是一个确定性的法则，而应当把它看作是一个描述自由的宣言。它告诉我们，在数学这个宇宙里，存有一种结构，这种结构准“无限”的可能性。它准你既有粗粒的、宏观的、整体感的认知，也有细粒的、微观的、细节感的体验。
这两种体验，能够与此同时存有，互不冲突，却又互相依存。 这就解释了为啥我们在生活中会遇到各种各样的“不完美”。
为啥我们的计算结局一辈子会有误差？
为啥物理定律在不同尺度下表现不同？
为啥数学模型有时忒粗糙，有时又忒精确？出于塔斯基分球定理告诉我们，精确性本身就是一种相对的属性。它依赖于你选择的“参照物”和“切割方式”。
没有参照物，就没有精确；没有切割方式，就没有分球。 最终，我想说，这个定理实际上挺有力量，出于它打破了我们对“整个”和“确定性”的执着。它告诉我们，世界不是由几个完美的整数组成的，世界是由无数种可能性的碎片构成的。当你试图用这种碎片去拼凑一个完美的整体时，你会发现，那个整体本身就是一个抽象的概念，它包含了所有可能的碎片，与此同时也排除了那些无法被定义的碎片。
这就是一个数学结构所揭示的真理。它不是告诉我们世界是啥样，而是告诉我们，关于世界的“样子”，我们一辈子只能看到它的一角，而那角本身，就是由无数种不同的可能性组成的。