应力偏张量的物理意义_形式化的意义

Phybi

Physics group

Math group

Carridon University

“在自然科学中，数学的巨大应用，有点介于神秘的边界，对此还没有合理的解释.”

——Eugene Wigner

引子

在从事科学活动的时候，我们需要知道自己在做什么吗？我们如何理解一个公式的意义？所谓理解，就是将事物纳入自己已有的框架之中——我们必须先要有一个框架，否则任何理解都是不可能发生的. 框架（framework）一词在某个意义上和形式（form）是同义的. 熟悉的形式能给我们带来对信息和理论的理解. 因此形式是重要. 此外，形式化也是科学美学的需要，甚至，形式化就是科学理论及其发展的一部分，是人们进行科学活动的脚手架.

1. 什么是形式化？

形式化（formalization），即将新的科学对象，整理为我们已知的熟悉的形式. 在物理学中有三个典型的例子：1. 流和力；2. 量子力学中概率流及连续性方程. 3. 哈密顿力学和量子力学的对应. 狄拉克的量子力学符号系统，则是另一种形式的形式化. 这种形式化，是完全用符号表征理论. 这点我们希望有能力日后加以讨论.

图1 狄拉克符号

为了形式的经济性，理论家经常需要对某些量打包，定义一个能满足已有形式方程的量. 比如量力中的概率流，就是为了让它满足连续性的流体方程硬生生的定义出来的. 我们需要付出些代价（将某些量打包），损失一部分理论的经济性，而达到最终的经济性——一个简