0.99999……は１ではない　その12　　　

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ではない