🔭
“我们如何理解自然?”系列 · 1/7
科学最常做的一件事,恰恰是主动把现实的一部分删掉。质点没有大小、理想气体没有复杂分子作用、抛体问题常常没有空气阻力——这些明知“不真实”的假设,为什么反而构成了科学最强大的方法之一?

一、先从一句最熟悉的话开始:“忽略空气阻力”

假设我们研究一个被斜向抛出的物体。
现实中,它会同时受到重力、空气阻力、风、浮力、地球自转的影响;如果足够挑剔,我们还可以继续追问空气密度是否随高度变化、物体是否旋转、表面是否光滑、局部重力场是否完全均匀。
可在最常见的模型里,我们只写
剩下的全部被一句“忽略空气阻力”带过。
这是不是在故意把真实世界说错?
不是。因为科学模型的任务从来不是复制现实,而是提取现实中对当前问题最重要的结构。
如果为了计算一个足球飞行几秒钟的轨迹,却把地球、太阳、月球甚至附近建筑物对它的万有引力全部写进方程,那么模型虽然“包含得更多”,却未必因此更科学。
🎯
科学中的简化,不是因为我们不知道现实更复杂,而是因为我们知道:复杂并不等于重要。

二、模型真正做的,是把世界“压缩”

地图不是城市,地球仪不是地球,函数也不是自然现象本身。
但一张好地图可以删除建筑物内部结构、行人的衣着、树叶的形状,只保留道路、距离和方向;正因为它舍弃了大量信息,我们反而能够更快地找到路线。
科学模型做的事情很相似。
面对真实系统,我们先问:
  • 哪些量必须保留?
  • 哪些作用是主导的?
  • 哪些变化在研究尺度内足够小?
  • 哪些细节虽然真实,却几乎不影响我们关心的结论?
然后把现实压缩成少数变量与关系。
例如单摆最基础的模型只保留摆长 、重力加速度 和偏角
如果进一步研究小角振动,还会使用
得到
第二个方程显然比第一个“更不真实”,却也更容易看出周期
这里发生了一件很重要的事:我们用一点精度,换来了结构上的透明。

三、“忽略”不是随便删:关键在尺度

那么,怎样判断一个因素到底能不能忽略?
最朴素的方法是比较数量级。
如果某个主要作用的典型大小是 ,另一个作用只有 ,而
那么在只要求百分之几精度的问题里,它往往可以作为高阶修正暂时放在一边。
这也是为什么自然科学特别喜欢无量纲参数。
把两个同量纲效应做比值以后,问题会突然清楚很多:
很小时,我们常常得到某种近似理论;当它不再小时,旧模型就会失效。
因此一句“忽略某某因素”真正严谨的潜台词应该是:
在我们关心的尺度、精度和参数范围内,这个因素带来的修正足够小。
这与“它不存在”完全不是一回事。

四、理想化甚至可以描述现实中根本不存在的对象

自然科学里充满了不存在的东西:
  • 质点:有质量,却没有体积;
  • 刚体:受力后永不形变;
  • 理想气体:分子体积和分子间作用被忽略;
  • 点电荷:电荷集中在没有大小的几何点;
  • 无摩擦平面:接触却完全没有切向阻力。
如果要求“理论对象必须在现实里原封不动存在”,这些概念几乎全部不合格。
但它们非常有用,因为理想化对象常常把一种效应单独抽出来。
研究质点,并不是相信世界上真的存在没有体积的物体,而是在讨论:当物体尺寸相对于运动尺度足够小时,它的内部形状是否还重要?
研究刚体,也不是相信任何物体绝不形变,而是在讨论:如果形变小到对当前运动可以忽略,会得到什么结构?
所以理想化并不是逃避现实,而是一种受控制的思想实验。

五、模型不是越复杂越好

我们很容易产生一个直觉:既然遗漏细节会产生误差,那最好的模型应该把细节全部加回来。
可现实并非如此。
一个模型越复杂,通常意味着:
  • 参数更多;
  • 需要测量的初始条件更多;
  • 误差来源更多;
  • 数值计算更昂贵;
  • 很难判断到底是哪一部分机制产生了结果。
于是科学中存在一种长期的张力:
极端简单的模型可能失真,极端复杂的模型又可能只剩下“把现实重新算一遍”。
真正有价值的模型往往位于中间:足够简单,以至于我们看得懂;又足够复杂,以至于它仍然保留我们关心的现象。
这也是为什么“能算得更精确”并不自动等价于“理解得更深”。

六、一个模型最重要的属性之一:知道自己什么时候会失败

科学模型最危险的情况,不是它进行了近似,而是我们忘记了近似存在。
小角近似
很小时很好,但偏角越来越大时误差会迅速增长。
经典力学在日常速度下极其成功,却不能把同一套公式不加修改地推到接近光速的情形。
一个近似模型通常都有自己的“领地”。
可以把它想象成一张地图:地图边界以内,它非常可靠;越靠近边界,省略掉的因素越重要;越过边界,原本的描述甚至可能彻底失效。
🧭
成熟的理论不仅应该告诉你“在这里怎么算”,还应该尽可能告诉你:什么时候不该再这样算。

七、所以,科学是在追求“真模型”吗?

如果把“真”理解成与现实一一对应,那么几乎所有模型都不够真。
一个方程不会包含天空的颜色,一张轨迹图不会包含物体表面的每一道划痕,一个气体模型不会记录每个分子的全部历史。
但这不妨碍它们准确预测我们真正关心的量。
因此,比“这个模型真实吗?”更有意义的问题往往是:
它为了解决什么问题?在什么条件下有效?误差有多大?忽略掉的东西什么时候会重新变得重要?
模型的价值不在于把现实完整搬进数学,而在于让我们用有限的信息抓住稳定结构。
可以把整篇文章压缩成一句话:

八、可真正困难的地方才刚刚开始

即使我们已经决定哪些东西可以忽略,问题仍然没有自动变成一道数学题。
同一个现实问题,可能被写成微分方程、极值问题、概率模型、几何问题,也可能要换一组变量以后才突然变得简单。
所以建模的下一步并不是“开始计算”,而是一个往往更难的问题:
我们到底凭什么知道,这道题应该这样算?
这就是下一篇要讨论的主题。

系列导航

第 1 篇(本文):模型不是现实:科学为什么必须主动“忽略”一些东西?
下一篇:为什么一道题最难的一步往往不是计算,而是决定“该怎么算”?
为什么一道题最难的一步往往不是计算,而是决定“该怎么算”?数学能拥有一个“完美”的公理体系吗?
Loading...