不要小看這個公式，1+1=2登上科學界‘最偉大公式’之一。0 G4 l! z% v5 H: }* F/ q
有不少人都可能曾經問過"為何1+1=2？"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明"1+1=2& quot;這句對絕大多數人來說都"顛撲不破"的數學述句。首先，大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合（或類(class)，它們和集合的分別在此不贅），故此我們經常碰到的自然數在這裡也是以集合（或類）來定義。例如我們可用以下的方式界定0，1和2(eg.qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44)： " X a# g$ m2 f0 y& b/ F& K
5.39.217.76" }, ~$ o- E# j8 [3 U0 I- w2 n9 D
0 := {x: x ={y: ~(y = y)}}
) Z/ j- c' W! {; t" d7 cTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。1 := {x: y(yεx.&.x\{y}ε0)} 5.39.217.76+ f- H m/ e9 c* P5 {
2 := {x: y(yεx.&.x\{y}ε1)}
i3 K0 ~- Q0 t- W4 w' S/ fTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。1 N' D- `& J+ X8 w
" J" i4 x% c: N8 Q2 Q5.39.217.76〔比如說，如果我們從某個屬於１這個類的分子拿去一個元素的話，那麼該分子便會變成0的分子。換言之，１就是由所有只有一個元素的類組成的類。〕
! c. `4 A$ z- G) K( v. ftvb now,tvbnow,bttvb
9 b' k/ `+ a: }" k, b' u現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如：
: U/ X! V6 s, w' }" ?8 P/ D& `1 E$ J
) R- b' C* S* }& e. H: ]! Atvb now,tvbnow,bttvb0:= Λ, 1:= {Λ} = {0} =0∪{0},
2 e( k* q" W' F6 {TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。2:= {Λ,{Λ}} = {0,1} = 1∪{1} 5.39.217.763 x6 T* J, ^8 h0 }
1 d: a! j- u" v" C0 W. m
[Λ為空集]
! o! h! q+ O+ j: s. K: @* q8 W0 F公仔箱論壇
0 H. C. ^, Y! U+ l3 h* Z0 n公仔箱論壇一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。
( u8 b" {/ h5 N5 Q6 pTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。/ w; w0 @1 T5 C( O- P0 V
在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。 5.39.217.76! ^* C& A/ V0 W, `) @8 C- ^) a" X
2 W5 |! M G$ {1 n$ a! k s4 `- D+ CTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕
' v% Q) c; T0 z2 wtvb now,tvbnow,bttvb
" ^& E( _6 G; j0 H跟覑我們便可應用以下的定理來定義關於自然數的加法。
9 F4 r( v* W) c. n3 g2 g$ ]5 j0 s6 |! ?TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。tvb now,tvbnow,bttvb$ ]# t" W3 G4 |- `% A
定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件： 5.39.217.76: [( |# [. i0 G, ` p" J
(1)對於|N中任意的元素x，我們有A(x,0) = x ；
x |- @; t1 A- L/ }# b1 H公仔箱論壇(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。+ V3 p' {+ I9 ^" t
tvb now,tvbnow,bttvb3 @8 |' E+ j6 t' E* c% x* |
映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下：
+ s$ v9 s# M$ r# utvb now,tvbnow,bttvb(1) x+0 = x ；(2) x+y* = (x+y)*。
$ d5 @! U' V& m/ c3 j/ t: H j8 p5.39.217.76公仔箱論壇/ u R8 [( {3 E" u# g
現在，我們可以証明"1+1 = 2" 如下： 5.39.217.764 W( Q- H% L8 y% X; P' z D
1+1 公仔箱論壇" t1 N9 l) g3 E4 S& }$ z# I/ t6 O
= 1+0* (因為 1:= 0*)
' u2 u! u% P+ l9 P; ?+ C3 ^公仔箱論壇= (1+0)* (根據條件(2)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。6 n ^7 E5 f( O: M; Q- C
= 1* (根據條件(1))
7 p" d6 W' F& |= 2 (因為 2:= 1*)
0 x p* X2 {& q' r8 z
( M0 V1 h* c) h- Y- C5 u5 a' Xtvb now,tvbnow,bttvb〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] 公仔箱論壇4 e* N# x& d; S& w; c0 \
公仔箱論壇: i8 ~) Q7 v3 z9 z, P
1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。
" e& G% W$ A8 h) ]( l6 C: ^2 H$ y4 K公仔箱論壇我們可以這樣証明"1+1 = 2"： 9 y2 O( ?! A7 Z4 l- E& r+ ~& Y
首先，可以推知： tvb now,tvbnow,bttvb+ `& D4 n; B$ G! m2 a2 }
αε１<=> (Σx)(α={x}) 公仔箱論壇/ l- r% a2 z! a1 L* ^
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y)) TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。/ {3 N+ J7 T% \+ F2 y- M' ?
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y))
, N. z- b% V. O8 d5 F1 hTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。所以對於任意的集合γ，我們有
) X9 v) S# a" P2 Q+ x γε1+1 tvb now,tvbnow,bttvb; i4 v) k% U0 l+ z
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y)) 5.39.217.76. M7 B2 Z0 ? h- v
<=>(Σx)(Σy)(γ={x,y}.&.~(x=y))
3 D# z8 l3 W% f9 b2 D; [- y* A<=> γε2 7 K, m0 q6 Q0 O! h* c1 d
根據集合論的外延公理(Axiom of Extension)，我們得到1+1 = 2。] |
發表於 2007-11-16 12:58 AM
| 
but still need to thank you for explain to us
