creatio ex nihilo

ศล
Location :
กรุงเทพ Thailand

[Profile ทั้งหมด]

ให้ทิปเจ้าของ Blog [?]
ฝากข้อความหลังไมค์
Rss Feed
Smember
ผู้ติดตามบล็อก : 85 คน [?]




Group Blog
 
All Blogs
 
Friends' blogs
[Add ศล's blog to your web]
Links
 

 
cantor's Uncountability


Georg Ferdinand Ludwig Philipp Cantor
(March 3, 1845 – January 6, 1918)



มีลำดับของ 0 กับ 1 อยู่นับอนันต์

พิสูจน์
1. มีลำดับของ 0 กับ 1 อยู่จำกัดลำดับ
2. ให้ S1, S2, S3, ... คือลิสต์ของลำดับ และเขียน Si(j) แทนสมาชิกตัวที่ j ของลำดับ Si



3. ให้ S คือ complement ของลำดับเส้นทะแยง Si(i) นั่นคือ S(i) = 1 - Si(i)



4. สำหรับทุกค่า i เราได้ S(i) แตกต่างจาก Si(i)
5. ดังนั้น S ไม่เป็นสมาชิกของ {S1, S2, S3, ... }
6. ข้อ 5 ขัดแย้งกับข้อ 1 # quod erat demonstrandum












Create Date : 20 ธันวาคม 2550
Last Update : 20 ธันวาคม 2550 14:33:21 น. 0 comments
Counter : 920 Pageviews.

ชื่อ : * blog นี้ comment ได้เฉพาะสมาชิก
Comment :
  *ส่วน comment ไม่สามารถใช้ javascript และ style sheet
 
 Pantip.com | PantipMarket.com | Pantown.com | © 2004 BlogGang.com allrights reserved.