วิธีการแนวทแยงของคันทอร์

จากวิกิพีเดีย สารานุกรมเสรี

วิธีการแนวทแยงของคันทอร์ (Cantor's diagonal argument) เป็นวิธีการพิสูจน์ของ เกออร์ก คันทอร์ ที่แสดงให้เห็นว่า จำนวนจริงไม่เป็นอนันต์นับได้ (countably infinite).

วิธีการแนวทแยง ไม่ได้เป็นการพิสูจน์การนับไม่ได้ของจำนวนจริงอันแรกของคันทอร์ แต่เป็นการพิสูจน์ที่เผยแพร่หลัง 3 ปีของการพิสูจน์อันแรก วิธีการพิสูจน์อันแรกของเขาไม่เกี่ยวข้องกับการกระจายทศนิยม หรือระบบตัวเลข

ตั้งแต่ที่มีการใช้วิธีพิสูจน์นี้ ได้มีการพิสูจน์ที่คล้ายๆกันอีกหลายแบบ ซึ่งเรียกว่าเป็นวิธีการแนวทแยง โดยดูจากวิธีที่ใช้ในการพิสูจน์

[แก้] จำนวนจริง

การพิสูจน์ของคันทอร์ แสดงให้เห็นว่า ช่วง [0,1] ไม่เป็น อนันต์นับได้

การพิสูจน์โดยข้อขัดแย้ง มีขั้นตอนดังนี้

สมมติว่าช่วง [0,1] เป็น อนันต์นับได้
เราจะแจงจำนวนทั้งหมดในช่วงนี้ด้วยลำดับ ( r₁, r₂, r₃, ... )
เรารู้ว่าจำนวนเหล่านี้สามารถเขียนในรูปการกระจายทศนิยมได้
เราจะเรียงจำนวนให้เป็นแถว ในกรณีที่การกระจายทศนิยมเป็น 0.499 ... = 0.500 ..., เราจะเลือกอันที่ลงท้ายด้วย 9. จากตัวอย่าง การกระจายทศนิยมที่เริ่มต้นของลำดับเป็นดังนี้

r₁ = 0 . 5 1 0 5 1 1 0 ...

r₂ = 0 . 4 1 3 2 0 4 3 ...

r₃ = 0 . 8 2 4 5 0 2 6 ...

r₄ = 0 . 2 3 3 0 1 2 6 ...

r₅ = 0 . 4 1 0 7 2 4 6 ...

r₆ = 0 . 9 9 3 7 8 3 8 ...

r₇ = 0 . 0 1 0 5 1 3 5 ...

...
เราจะสร้างจำนวนจริง x ซึ่งอยู่ใน [0,1] โดยการพิจารณา เลขหลักที่ k หลังจุดทศนิยมของการกระจายทศนิยมของ r_k ซึ่งเราจะขีดเส้นใต้และทำตัวหนาเอาไว้ การพิสูจน์นี้จึงมีชื่อเรียกว่า การพิสูจน์แนวทแยง

r₁ = 0 . 5 1 0 5 1 1 0 ...

r₂ = 0 . 4 1 3 2 0 4 3 ...

r₃ = 0 . 8 2 4 5 0 2 6 ...

r₄ = 0 . 2 3 3 0 1 2 6 ...

r₅ = 0 . 4 1 0 7 2 4 6 ...

r₆ = 0 . 9 9 3 7 8 3 8 ...

r₇ = 0 . 0 1 0 5 1 3 5 ...

...
จากทศนิยมเหล่านี้ เราจะนิยามทศนิยมของ x ดังนี้
- ถ้าเลขหลักที่ k ของ r_k เป็น 5 แล้ว เลขหลักที่ k ของ x เป็น 4
- ถ้าเลขหลักที่ k ของ r_k ไม่เป็น 5 แล้ว เลขหลักที่ k ของ x เป็น 5
ดังนั้น x จึงเป็นจำนวนจริง (เพราะว่าการกระจายทศนิยมอยู่ในรูปจำนวนจริง) ที่อยู่ในช่วง [0,1]. จากตัวอย่างข้างบน เราจะได้การกระจายทศนิยมดังนี้

x = 0 . 4 5 5 5 5 5 4 ...
เรารู้ว่าจะต้องมี n ที่ทำให้ r_n = x เพราะว่าเรากำหนดให้ ( r₁, r₂, r₃, ... ) แจงจำนวนจริงทั้งหมดในช่วง [0,1]
แต่ว่าการเลือกเลข 4 และเลข 5 ของ x ในข้อ (6) จะทำให้ x จะแตกต่างในหลักที่ n ของ r_n ดังนั้น x ไม่อยู่ในลำดับ ( r₁, r₂, r₃, ... )
ดังนั้น ลำดับนี้ไม่ได้เป็นการแจงจำนวนจริงทั้งหมดในช่วง [0,1] เกิดข้อขัดแย้ง
ดังนั้น สมมติฐาน (1) ที่ว่าช่วง [0,1] เป็นอนันต์นับได้ จึงเป็นเท็จ

บทพิสูจน์นี้แสดงให้เห็นว่าเซต R ของจำนวนจริงทั้งหมดนั้นนับไม่ได้. ถ้า R นับได้แล้ว เราจะแจงจำนวนจริงทั้งหมดให้อยู่ในลำดับนี้ได้ และทำให้เป็นลำดับ [0,1] โดยการลบจำนวนจริงที่อยู่นอกช่วงนี้ออกไป แต่เราเห็นแล้วว่าไม่สามารถทำได้. นอกจากนี้ เราจะแสดงให้เห็นว่า [0,1] และ R มีขนาดเท่ากันโดยการสร้างฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงระหว่างกัน ซึ่งอาจจะไม่สะดวกสำหรับการทำในช่วง [0,1]; สำหรับช่วงเปิด (0,1) เราจะให้ $f\colon (0,1)\rightarrow\mathbb{R}$ โดยนิยามว่า $f(x) = \tan\left(\pi\left(x-\frac{1}{2}\right)\right)$ .

วิธีการแนวทแยงของคันทอร์ เป็นบทความเกี่ยวกับ คณิตศาสตร์ ที่ยังไม่สมบูรณ์ ต้องการตรวจสอบ เพิ่มเนื้อหา หรือเพิ่มแหล่งอ้างอิง คุณสามารถช่วยเพิ่มเติมหรือแก้ไข เพื่อให้สมบูรณ์มากขึ้น

ข้อมูลเกี่ยวกับ วิธีการแนวทแยงของคันทอร์ ในภาษาอื่น สามารถหาอ่านได้จากเมนู ภาษาอื่น ๆ ด้านซ้ายมือ

ดึงข้อมูลจาก "http://th.wikipedia.org../../../%E0%B8%A7/%E0%B8%B4/%E0%B8%98/%E0%B8%A7%E0%B8%B4%E0%B8%98%E0%B8%B5%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B9%81%E0%B8%99%E0%B8%A7%E0%B8%97%E0%B9%81%E0%B8%A2%E0%B8%87%E0%B8%82%E0%B8%AD%E0%B8%87%E0%B8%84%E0%B8%B1%E0%B8%99%E0%B8%97%E0%B8%AD%E0%B8%A3%E0%B9%8C.html".

หมวดหมู่: บทความเกี่ยวกับ คณิตศาสตร์ ที่ยังไม่สมบูรณ์ | ทฤษฎีเซต | การพิสูจน์

วิธีการแนวทแยงของคันทอร์

จากวิกิพีเดีย สารานุกรมเสรี

[แก้] จำนวนจริง

Views

ป้ายบอกทาง

ค้นหา

ภาษาอื่น