------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 1 阶:直观加法(小学算术)
1+1=21 + 1 = 2 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 2 阶:集合基数(直观集合论)
设
A={a}A = \{a\}A={a},B={b}B = \{b\}B={b},且 A∩B=∅A \cap B = \varnothingA∩B=∅,则
∣A∣=1,∣B∣=1,∣A∪B∣=2|A| = 1,\quad |B| = 1,\quad |A \cup B| = 2 ∣A∣=1,∣B∣=1,∣A∪B∣=2
于是
1+1=21 + 1 = 2 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 3 阶:皮亚诺公理(PEANO ARITHMETIC)
定义:
* 1=S(0)1 = S(0)1=S(0)
* 2=S(1)2 = S(1)2=S(1)
加法递归定义:
* a+0=aa + 0 = aa+0=a
* a+S(b)=S(a+b)a + S(b) = S(a + b)a+S(b)=S(a+b)
推导:
1+1=1+S(0)=S(1+0)=S(1)=21 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2 1+1=1+S(0)=S(1+0)=S(1)=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 4 阶:一阶算术(形式系统)
在语言 L={0,S,+}\mathcal{L} = \{0, S, +\}L={0,S,+} 中,使用公理:
1. a+0=aa + 0 = aa+0=a
2. a+S(b)=S(a+b)a + S(b) = S(a + b)a+S(b)=S(a+b)
可构造有限步证明:
⊢1+1=2\vdash 1 + 1 = 2 ⊢1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 5 阶:ZFC 集合论(冯·诺依曼自然数)
定义:
* 0=∅0 = \varnothing0=∅
* 1={0}1 = \{0\}1={0}
* 2={0,1}2 = \{0, 1\}2={0,1}
加法递归定理保证:
1+1=21 + 1 = 2 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 6 阶:整数构造(Z\MATHBB{Z}Z)
将自然数嵌入整数,定义等价类:
[(a,b)]+[(c,d)]=[(a+c,b+d)][(a,b)] + [(c,d)] = [(a+c, b+d)] [(a,b)]+[(c,d)]=[(a+c,b+d)]
可得:
1Z+1Z=2Z1_{\mathbb{Z}} + 1_{\mathbb{Z}} = 2_{\mathbb{Z}} 1Z +1Z =2Z
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 7 阶:有理数构造(Q\MATHBB{Q}Q)
11+11=21\frac{1}{1} + \frac{1}{1} = \frac{2}{1} 11 +11 =12
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 8 阶:实数构造(DEDEKIND 截 / CAUCHY 列)
在 R\mathbb{R}R 中,常数 1,21, 21,2 有明确定义,加法连续:
1+1=21 + 1 = 2 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 9 阶:实数域公理(ORDERED FIELD)
R\mathbb{R}R 是有序域,满足:
* 加法结合律
* 加法交换律
* 单位元存在
因此:
1+1=21 + 1 = 2 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 10 阶:极限定义(数列)
limn→∞(1+1n)=1\lim_{n \to \infty} \left(1 + \frac{1}{n}\right) = 1 n→∞lim (1+n1 )=1
limn→∞(1+1n+1)=2\lim_{n \to \infty} \left(1 + \frac{1}{n} + 1\right) = 2 n→∞lim (1+n1 +1)=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 11 阶:函数加法(初等函数)
设 f(x)=1f(x) = 1f(x)=1,则
f(x)+f(x)=2f(x) + f(x) = 2 f(x)+f(x)=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 12 阶:黎曼和定义(RIEMANN SUM)
区间 [0,1][0,1][0,1] 分割 P={x0,x1,…,xn}P = \{x_0, x_1, \dots, x_n\}P={x0 ,x1 ,…,xn },取样本点 ξi\xi_iξi :
∑i=1n1⋅(xi−xi−1)=1\sum_{i=1}^n 1 \cdot (x_i - x_{i-1}) = 1 i=1∑n 1⋅(xi −xi−1 )=1
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 13 阶:黎曼积分定义
∫011 dx=lim∥P∥→0∑i=1n1⋅Δxi=1\int_0^1 1 \, dx = \lim_{\|P\| \to 0} \sum_{i=1}^n 1 \cdot \Delta x_i = 1 ∫01 1dx=∥P∥→0lim i=1∑n 1⋅Δxi =1
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 14 阶:积分线性性定理(RIEMANN INTEGRAL LINEARITY)
对任意可积函数 f,gf, gf,g:
∫ab(f+g) dx=∫abf dx+∫abg dx\int_a^b (f+g) \, dx = \int_a^b f \, dx + \int_a^b g \, dx ∫ab (f+g)dx=∫ab fdx+∫ab gdx
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 15 阶:用积分表示 1+11 + 11+1
1+1=∫011 dx+∫011 dx1 + 1 = \int_0^1 1 \, dx + \int_0^1 1 \, dx 1+1=∫01 1dx+∫01 1dx
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 16 阶:积分合并
∫011 dx+∫011 dx=∫01(1+1) dx\int_0^1 1 \, dx + \int_0^1 1 \, dx = \int_0^1 (1 + 1) \, dx ∫01 1dx+∫01 1dx=∫01 (1+1)dx
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 17 阶:积分计算
∫01(1+1) dx=∫012 dx=2\int_0^1 (1 + 1) \, dx = \int_0^1 2 \, dx = 2 ∫01 (1+1)dx=∫01 2dx=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 18 阶:LEBESGUE 积分(测度论)
在测度空间 ([0,1],B,μ)([0,1], \mathcal{B}, \mu)([0,1],B,μ) 上:
∫[0,1]1 dμ=1\int_{[0,1]} 1 \, d\mu = 1 ∫[0,1] 1dμ=1
线性性仍成立,故:
1+1=21 + 1 = 2 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 19 阶:L1L^1L1 空间(泛函分析)
L1([0,1])L^1([0,1])L1([0,1]) 是线性空间,范数:
∥f∥1=∫01∣f(x)∣ dx\|f\|_1 = \int_0^1 |f(x)| \, dx ∥f∥1 =∫01 ∣f(x)∣dx
对 f(x)=1f(x) = 1f(x)=1:
∥1+1∥1=2\|1 + 1\|_1 = 2 ∥1+1∥1 =2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
第 20 阶:分布 / 广义函数(DISTRIBUTION THEORY)
常数函数 111 是分布,作用在函数 φ\varphiφ 上:
⟨1,φ⟩=∫011⋅φ(x) dx\langle 1, \varphi \rangle = \int_0^1 1 \cdot \varphi(x) \, dx ⟨1,φ⟩=∫01 1⋅φ(x)dx
线性性:
⟨1+1,φ⟩=2⟨1,φ⟩\langle 1 + 1, \varphi \rangle = 2 \langle 1, \varphi \rangle ⟨1+1,φ⟩=2⟨1,φ⟩
因此在分布意义下:
1+1=2\boxed{1 + 1 = 2} 1+1=2
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
求赞