16/09/03 09:11:34.41 PeRmcQf6.net
>>414
>>418
どうも、愛すべきキャラのおっちゃんです。+∞が自然数だと思っていたのか…。
+∞が実数だったとしよう。x＝+∞ とおく。有理直線Qを全体集合とする。
xは実数直線R上の点で x∈R。また、Q⊂R。従って、実数の定義から、
xは、Qの或る空ではない部分集合 A＝{r∈Q|r＜x} を用いて、
有理直線Qのデデキント切断により、x＝<A,A'> A'はAのQについての補集合 と表される。
1は有理直線Q上の点で 1∈Q。定義から、有理直線Qの部分集合 A+1 は
A+1＝{r+1|r∈Q} と表される。AはQの真部分集合だから、A+1 はQの真部分集合である。
従って、実数の定義から、xと1の実数の加法+についての和 x+1 は、
有理直線Qのデデキント切断により、x+1＝<S,S'> S＝A+1 S'はSについての補集合
と表される。点 r∈A を任意に取ると、A⊂Q から r⊂Q であって r-1∈Q であり、
r-1∈A だから、定義から、(r-1)+1＝r+((-1)+1)＝r+0＝r∈S。従って、A⊂S であり、
x＜x+1。x+1∈R だから、定義からxは上に有界である。しかし、+∞の定義から、
xは上に有界ではない。従って、矛盾が導けた。故に、+∞は実数ではない。
自然数の全体Nと、実数直線Rの間には N⊂R の包含関係があるから、+∞は自然数ではない。
これで分からなかったら、やはり微分積分以前の問題だな。
それ以前に、どうせスレ主は読まないと思うが。