- 335 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/04(火) 18:44:56.27 ID:ytTsiYMH.net]
- >>305
大丈夫
>近傍系Uの全てを走る場合の極限を取って小さな近傍ε(> 0) = 1/n'に対して
>f(1/(n'+1)) = g(1/(n'+1)), f(1/(n'+2)) = g(1/(n'+2)), ...
>が成り立っているんだったら反例になっていないんだが
"極限を取って"がキーワードだ
いくらでも小さいεが取れる（近傍系を考えれば）
そして、区間(0,ε）の中には、1/(n'+1),・・・,1/∞ *) が入って
区間(0,ε）の中には、可算無限長の数列（時枝記事では可算無限個の箱）が、常に含まれるよ
（ 注 *) 表現の簡素化のため∞を使った。正式には、極限）
以上
