 |
พิสูจน์โดยไม่เอากับดักทางสามัญสำนึกก็ได้
นิยามจากช่วงตัดเดเดคินส์
เราจะหาจำนวนจริงใดๆระหว่างจำนวนจริง 2 จำนวนได้เสมอ เช่น เราสามารถหา จำนวนที่อยู่ระหว่าง 0.49 กับ 0.5 ได้ ก็คือ 0.491 , 0.492 , 0.493 , 0.494 , .... เราสามารถหาหาจำนวนที่อยู่ระหว่าง 0.498 กับ 0.499 ได้ ก็คือ 0.4991 , 0.4992 , 0.4993 , 0.4994, ....
หรือเราสามารถหาจำนวนที่อยู่ระหว่าง 0.49999999 กับ 0.5 ก็ยังได้อยู่ดี ก็คือ 0.499999991 , 0.499999992 , 0.499999993 , ........
จำนวนจริงสองจำนวนที่มีค่าไม่เท่ากัน เราจะสามารถหาจำนวนจริงที่อยู่ระหว่างนั้นได้เสมอ (เป็นอนันต์ตัว) ไม่มีจำนวนจริงใดๆใกล้เคียงจำนวนนั้นมากที่สุดจนไม่มีค่าอื่นอีกแล้ว นอกจากมันจะเป็นจำนวนเดียวกัน
ถ้าจะบอกว่า 0.999... เป็นจำนวนที่ใกล้เคียง 1 มากๆแต่ไม่ใช่จำนวนเดียวกัน แสดงว่ามันจะต้องมีจำนวนที่อยู่ระหว่าง 0.999... กับ 1 อยู่อีก แล้วจำนวนนั้นคืออะไร ? มีมั้ย ? สามารถยกขึ้นมาให้ดูได้มั้ย ? (ผมหมายถึง 0.999... ที่มี 9 ไปไม่มีที่สิ้นสุดนะครับ ไม่ใช่ สุดที่ตรงใดตรงหนึ่ง)
ถ้าคุณไม่สามารถหาจำนวนที่อยู่ระหว่าง 0.999... กับ 1 ได้ ก็แสดงว่า 1 กับ 0.999... นั้นเป็นจำนวนเดียวกัน เช่นเดียวกับ 0.49... กับ 0.5 มันก็คือจำนวนเดียวกันเช่นกัน
Q.E.D.
(จริงๆผมไม่ชอบพิสูจน์ด้วยวิธีนี้เท่าไรนัก ทำไมการพิสูจน์อนุกรมอนันต์ถึงใช้ทฤษฎีของอนุกรมอนันต์ไม่ได้ ทั้งๆที่มันตรงหัวข้อกว่า ?)
แก้ไขเมื่อ 26 ก.ย. 54 13:17:47
จากคุณ |
:
Firion
|
เขียนเมื่อ |
:
26 ก.ย. 54 13:13:02
|
|
|
|
 |