公仔箱論壇 - Powered by Discuz! Board

標題: [冷知識分享] 1+1=2 的正確解釋 [打印本頁]

作者: hyden 時間: 2007-11-16 12:58 AM 標題: 1+1=2 的正確解釋

不要小看這個公式，1+1=2登上科學界‘最偉大公式’之一。公仔箱論壇" }9 Q! c# q1 m+ q: c. A
有不少人都可能曾經問過"為何1+1=2？"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明"1+1=2& quot;這句對絕大多數人來說都"顛撲不破"的數學述句。首先，大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合（或類(class)，它們和集合的分別在此不贅），故此我們經常碰到的自然數在這裡也是以集合（或類）來定義。例如我們可用以下的方式界定0，1和2(eg.qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44)：
tvb now,tvbnow,bttvb/ \4 x4 R" V. I# L) V  I: ?# o
0 := {x: x ={y: ~(y = y)}} os.tvboxnow.com! \" p! u' r$ S+ t8 P' B) V# R
1 := {x: y(yεx.&.x\{y}ε0)}
2 := {x: y(yεx.&.x\{y}ε1)} 公仔箱論壇1 A" m) k, R, Z3 i3 m2 ~
9 y) B7 h6 V' G( M( L: U) N

〔比如說，如果我們從某個屬於１這個類的分子拿去一個元素的話，那麼該分子便會變成0的分子。換言之，１就是由所有只有一個元素的類組成的類。〕 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。' [2 P* z4 o1 H3 b$ @
9 Q+ ^0 Q) i  }8 |8 M: ]
現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如： tvb now,tvbnow,bttvb. P# z  c% z) ]5 ?2 f% \
tvb now,tvbnow,bttvb7 o* e8 C+ F+ b- w
0:= Λ, 1:= {Λ} = {0} =0∪{0},
2:= {Λ,{Λ}} = {0,1} = 1∪{1}
/ ~) v6 ~! Q/ P. H0 |4 Z
[Λ為空集]

一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。 os.tvboxnow.com9 g3 d3 g+ u! Q: M6 G4 _3 a7 y
! O- U  P" {  X5 ?
在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。

〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕

跟覑我們便可應用以下的定理來定義關於自然數的加法。
os.tvboxnow.com2 ~$ E( c; q: K( M$ x3 t3 b$ `: @
定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件：公仔箱論壇- W+ e& x% L% C9 H
(1)對於|N中任意的元素x，我們有A(x,0) = x ； 3 y# K. @' L6 ?2 b
(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。

映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下：
(1) x+0 = x ；(2) x+y* = (x+y)*。 3 I9 i7 T) w! }' G/ D) `. A- H; C

現在，我們可以証明"1+1 = 2" 如下：
1+1 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。: c; J# F; W4 @& O2 [% s5 b
= 1+0* (因為 1:= 0*)
= (1+0)* (根據條件(2))
= 1* (根據條件(1))
= 2 (因為 2:= 1*)
; C  t, i" ?, V' [- K9 ^. @% X
〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。] # B& G1 x; T$ p
tvb now,tvbnow,bttvb1 P( {2 j1 c- c7 M, ]
1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。
我們可以這樣証明"1+1 = 2"：公仔箱論壇7 [/ M( y' t/ e$ n
　首先，可以推知： tvb now,tvbnow,bttvb6 k/ X7 j. H* }! l9 p- L$ z  u
αε１<=> (Σx)(α={x}) tvb now,tvbnow,bttvb# T' Y3 l4 g6 U: O
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y))
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y)) ( i" K" X# ?6 g2 @5 U9 K6 _
所以對於任意的集合γ，我們有
　γε1+1 os.tvboxnow.com7 b7 b) W8 X# [7 U, l0 q  o
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y))
<=>(Σx)(Σy)(γ={x,y}.&.~(x=y)) : `% z1 `# F7 K& m/ h, O$ L' c# j
<=> γε2 TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。" c/ |6 D8 {* h& v
根據集合論的外延公理(Axiom of Extension)，我們得到1+1 = 2。]

作者: ~天穎~ 時間: 2007-11-16 12:59 AM

謝謝分享!

作者: nd126 時間: 2007-11-16 02:20 AM

Wow!!Even tho. i don't get it at all

but still need to thank you for explain to us

作者: smsl 時間: 2007-11-16 12:49 PM

wa , add math , logic all come out :019: + d# Q+ _/ }. I0 z6 T
thank nice info !!!

作者: VuiLoong 時間: 2007-11-17 05:18 PM

thx for sharing

作者: meowmeow520 時間: 2007-11-18 08:10 PM

thanks for sharing....

作者: yaya1818 時間: 2007-11-29 03:49 PM

好像很复杂！？

作者: pk21 時間: 2008-4-23 12:24 AM

好難......我無腦!

作者: joriver 時間: 2008-4-24 09:40 AM

原來還有推導

作者: lova127 時間: 2008-4-26 01:08 AM

waw...very hard...

作者: sunnyxsonny 時間: 2008-5-3 12:08 PM

very difficult...

作者: mintymint77 時間: 2008-5-4 04:34 AM

confuse... :019:

作者: ffgodlikeff 時間: 2008-5-11 09:24 PM

还是不知道比较好!!!:onion05: :onion05:

作者: fkingu 時間: 2008-5-14 10:46 AM

thanks for sharing

作者: chungary919 時間: 2008-5-17 03:32 AM

too bad, i didn't know Axiom of Extension theory

作者: wendywoo 時間: 2008-5-18 09:40 AM

懂了...

作者: tvbsao 時間: 2008-5-20 03:12 AM

提示: 作者被禁止或刪除內容自動屏蔽

作者: chuakeanfei 時間: 2008-5-22 04:45 PM

too bad, i didn't know Axiom of Extension theory.............................

作者: billow 時間: 2008-5-23 09:18 AM

好复杂，睇唔明阿

作者: mwk1234 時間: 2008-5-27 10:21 PM

!!!!!!!

作者: saury 時間: 2008-5-29 10:36 PM

雖然我不會。BUT沒那么簡單吧？:sleeps:

作者: rsxer 時間: 2008-5-30 05:23 AM

wow... u can keep it to yourself...

作者: ppoollkk 時間: 2008-5-31 07:09 PM

太牛了！！数学不行，先顶:019:

作者: lukyiwai 時間: 2008-5-31 07:46 PM

ppl like to make things difficolt and let other dont understand.....

作者: rono123 時間: 2008-6-5 02:09 AM 標題: 回復 #1 hyden 的帖子

what ... blur

作者: honvui 時間: 2008-6-5 05:47 PM

thank you

作者: stanley 時間: 2008-6-6 11:35 PM

thanks 4 sharing

歡迎光臨公仔箱論壇 (http://os.tvboxnow.com/)