標題:
[冷知識分享]
1+1=2 的正確解釋
[打印本頁]
作者:
hyden
時間:
2007-11-16 12:58 AM
標題:
1+1=2 的正確解釋
不要小看這個公式，1+1=2登上科學界‘最偉大公式’之一。
9 y+ k4 W! T* c& S+ G
有不少人都可能曾經問過"為何1+1=2？"這個看似多餘(!?)的問題。現在我嘗試向有興趣的網友簡單介紹一下怎樣在公理集合論的框架內証明"1+1=2& quot;這句對絕大多數人來說都"顛撲不破"的數學述句。首先，大家要知道在集合論的脈絡中我們討論的對象是各式各樣的集合（或類(class)，它們和集合的分別在此不贅），故此我們經常碰到的自然數在這裡也是以集合（或類）來定義。例如我們可用以下的方式界定0，1和2(eg.qv. Quine, Mathematical Logic, Revised Ed., Ch. 6, §43-44)：
0 ~" F O( o. x6 c/ D
5.39.217.77! R8 @# a2 n$ _! Z
0 := {x: x ={y: ~(y = y)}}
tvb now,tvbnow,bttvb3 U( ?& t8 d7 [# V' r
1 := {x: y(yεx.&.x\{y}ε0)}
) X6 h, x& i! h3 d% H- e! K2 W公仔箱論壇
2 := {x: y(yεx.&.x\{y}ε1)}
- V* ~) N) d7 {! {
tvb now,tvbnow,bttvb& x s! E& p* h- C
0 ^5 _% | h% J7 E
〔比如說，如果我們從某個屬於１這個類的分子拿去一個元素的話，那麼該分子便會變成0的分子。換言之，１就是由所有只有一個元素的類組成的類。〕
2 B+ F! |$ }" G. ?
0 D/ R) a7 N: { H. T
現在我們一般採用主要由 von Neumann 引入的方法來界定自然數。例如：
2 F3 Q9 D8 O6 d
& d8 @* ^0 o5 D5 x' \4 u9 }2 |7 N3 C
0:= Λ, 1:= {Λ} = {0} =0∪{0},
TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。3 H+ x. q# R' _
2:= {Λ,{Λ}} = {0,1} = 1∪{1}
3 l% O3 D: s# R) o; Q3 C3 p( Gtvb now,tvbnow,bttvb
' ]3 H! t7 ?; ^7 Q3 Z3 D公仔箱論壇
[Λ為空集]
( m) ~8 i H/ v4 h2 c, q5.39.217.77
( Y$ @* [& a& l# Z2 I- e4 zTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。
一般來說，如果我們已經構作集n, 那麼它的後繼元(successor) n* 就界定為n∪{n}。
公仔箱論壇/ F( C4 N9 ]+ A# C8 j( e
TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。/ k" D1 u* Y) S& M
在一般的集合論公理系統中（如ZFC）中有一條公理保證這個構作過程能不斷地延續下去，並且所有由這構作方法得到的集合能構成一個集合，這條公理稱為無窮公理(Axiom of Infinity)(當然我們假定了其他一些公理（如並集公理）已經建立。
TVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。: m }3 S. w8 L3 [3 `8 q7 T
+ z' V: L) `9 ]# c公仔箱論壇
〔注：無窮公理是一些所謂非邏輯的公理。正是這些公理使得以Russell 為代表的邏輯主義學派的某些主張在最嚴格的意義下不能實現。〕
tvb now,tvbnow,bttvb' L. ^, r0 q# k
# |0 K; y8 j2 f7 q公仔箱論壇
跟覑我們便可應用以下的定理來定義關於自然數的加法。
3 {3 S# R! ^7 e6 W! Y6 F r' u
5.39.217.77# ~: p5 c' W7 m7 j4 ~1 n( r, o4 N
定理：命"|N"表示由所有自然數構成的集合，那麼我們可以唯一地定義映射A：|Nｘ|N→|N，使得它滿足以下的條件：
7 C) C9 x5 J0 I/ e; G3 VTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。
(1)對於|N中任意的元素x，我們有A(x,0) = x ；
& l5 E/ w+ N0 z3 Z, _
(2)對於|N中任意的元素x和y，我們有A(x,y*) = A(x,y)*。
* A/ f8 ]. x% a ?1 R/ Y" o公仔箱論壇
tvb now,tvbnow,bttvb4 a: p5 h7 V& Q& R8 `
映射A就是我們用來定義加法的映射，我們可以把以上的條件重寫如下：
5.39.217.777 h* j( Y/ ?# A9 l
(1) x+0 = x ；(2) x+y* = (x+y)*。
3 G5 v) U$ r5 d
7 |6 c3 I- Z( V5 f" R5.39.217.77
現在，我們可以証明"1+1 = 2" 如下：
( a( p7 T) t: Z7 a4 q+ b9 FTVBNOW 含有熱門話題，最新最快電視，軟體，遊戲，電影，動漫及日常生活及興趣交流等資訊。
1+1
2 G+ y! I& u4 X8 h
= 1+0* (因為 1:= 0*)
5.39.217.779 i! P3 b- c- V1 t; s* o
= (1+0)* (根據條件(2))
" y) H' T; _! [ }( l; K- Y( x# d; i& k
= 1* (根據條件(1))
" b) k; Z/ w( w. p3 D" M$ e
= 2 (因為 2:= 1*)
$ H% j: W4 g u4 w% g) ntvb now,tvbnow,bttvb
# l3 Z( w$ T6 p. r$ _
〔注：嚴格來說我們要援用遞歸定理(Recursion Theorem)來保證以上的構作方法是妥當的，在此不贅。]
; ~ e- T* b" N( Y) Y+ stvb now,tvbnow,bttvb
0 c1 V; q) u* m
1+ 1=2"可以說是人類引入自然數及有關的運算後"自然"得到的結論。但從十九世紀起數學家開始為建基於實數系統的分析學建立嚴密的邏輯基礎後，人們才真正審視關於自然數的基礎問題。我相信這方面最"經典"的証明應要算是出現在由Russell和Whitehead合著的"PrincipiaMathematica" ;中的那個。
公仔箱論壇5 z* e( k0 p! ^3 Y* \
我們可以這樣証明"1+1 = 2"：
- z2 E0 f+ f& u. I+ V
首先，可以推知：
5.39.217.77/ n0 `) I9 s( b9 z
αε１<=> (Σx)(α={x})
公仔箱論壇4 D n0 {" n! `, q/ v! o# n
βε2 <=> (Σx)(Σy)(β={x,y}.&.~(x=y))
8 X% o: A( z4 Q8 g7 C
ξε1+1 <=> (Σx)(Σy)(β={x}∪{y}.&.~(x=y))
7 _5 M4 y! ?" h" x, ctvb now,tvbnow,bttvb
所以對於任意的集合γ，我們有
+ p6 N7 L" } H; C
γε1+1
- ~: s0 v# q7 Y& S8 e6 {+ K$ O
<=>(Σx)(Σy)(γ={x}∪{y}.&.~(x=y))
. Y+ d4 l! Y1 j& h+ V
<=>(Σx)(Σy)(γ={x,y}.&.~(x=y))
1 x0 E1 |8 T$ T, F4 Z" I+ T
<=> γε2
" i' b) u/ [; ]$ S
根據集合論的外延公理(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:
5.39.217.77: G" ~. m% x- j4 ^, `. I$ ?3 X
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://5.39.217.77/)
Powered by Discuz! 7.0.0
but still need to thank you for explain to us
!!!!!!!