天津
提起“数学运算”，大多数人脑海里浮现的是加减乘除四则运算。
这是小学就烙下的认知框架。
但如果问一句：这四种运算的根基是什么？得到的回答往往是“这就是规定，没什么为什么”。
这种“规定说”恰恰遮蔽了数学中最深刻的一次结构革命。
加法和乘法，才是真正的运算
在数学的严格定义里，减法根本不算一种独立的运算。
a-b 只是 a+(-b) 的简写，其中 -b 是 b 的加法逆元。
同理，a÷b 只是 a·b⁻¹ 的简写，其中 b⁻¹ 是 b 的乘法逆元。
所以根基处只有两种运算：加法和乘法。
减法和除法是它们的“逆运算”——这个词本身已经说明了一切：它们是寄生在加法和乘法上的。换句话说，我们从小学习的“四则运算”，在结构上其实只有“两则”。
运算的根基不在数，而在“结构”
那加法和乘法本身又从哪来？大多数人会回答“这是自然数上天然存在的运算”。
但数学家的回答更抽象：加法和乘法之所以能成立，是因为自然数集上定义了一种“代数结构”
具体来说，自然数集配上加法和乘法，满足一系列公理：加法有交换律、结合律，有单位元0，乘法有交换律、结合律，有单位元1；乘法对加法满足分配律。这一整套公理，在抽象代数里被称为半环。
换句话说，运算的根基不是“数”，而是这些公理。
一个集合如果满足同样的公理，它上面就可以定义“加法”和“乘法”——哪怕它的元素根本不是数。
比如多项式、矩阵、函数，它们各有各的“加法”和“乘法”，但遵循的公理完全一致。运算的根基是结构，而不是元素本身。
最反直觉的一步：加法能被“定义”出来
如果继续往下追问：自然数上的加法是怎么定义的？这就要提到19世纪末意大利数学家皮亚诺的工作。他用两条公理定义了加法：
对任意自然数 a，a+0=a
对任意自然数 a 和 b，a+S(b)=S(a+b)
其中 S 是“后继”函数，S(0)=1，S(1)=2，以此类推。
这两条规则看起来简单到近乎废话，但它们严格定义了整个自然数上的加法。乘法同理，用加法和归纳法定义。
这个构造的震撼之处在于：加法不是“天然存在”的，它是被“定义”出来的。
而定义它的工具，只有“后继”这一个最原始的概念。整座算术大厦，从“0的后继是1”开始搭建。
数学运算的根基，从表层看是加减乘除，往下挖一层是加法和乘法，再往下挖是半环公理，最底层是后继函数和归纳法。
每一层都在问同一个问题：这个东西到底建立在什么之上？
而数学给出的答案，永远是下一个更抽象、更简洁、也更普遍的结构。
运算不是数的专属品，它是结构赋予集合的能力。
这才是“运算根基”四个字真正的分量。
【AI配图】
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
