>>923
定義は間違いだった。以前に書いたのは
Σ[k=-∞,∞]a_k×10^k
だった。

1. 計算する必要はないだろう
2. 0.9999...は-∞<k<0までで、a_k=9, 0≦k<∞でa_k=0
1はk≠0でa_k=0、k=0でa_k=1
0.9999....=1の証明は、0.9+0.09+0.009+...の公比数列のn番目の項までの和を
計算して、その∞の極限を求める。
3. 知らない
4. 全ての小数を表した式だから、全て実数になる