20/09/13 21:35:51.41 l1tHCm1R.net
0.999...9(9がn個)=a_nとし、
0.999...:=lim(n→∞)a_nと定義する.
1=0.999...と仮定すると、
N(1)を1の開近傍系として
任意U∈N(1)に対して、ある自然数N_0が存在し、
n≧N_0ならばa_n∈U となる
しかし、{1}∈N(1)であるが、任意の自然数nに対してa_n∈{1}ではない
これは矛盾
したがって0.999...は1ではない
20/09/13 21:35:51.41 l1tHCm1R.net
0.999...9(9がn個)=a_nとし、
0.999...:=lim(n→∞)a_nと定義する.
1=0.999...と仮定すると、
N(1)を1の開近傍系として
任意U∈N(1)に対して、ある自然数N_0が存在し、
n≧N_0ならばa_n∈U となる
しかし、{1}∈N(1)であるが、任意の自然数nに対してa_n∈{1}ではない
これは矛盾
したがって0.999...は1ではない