- 522 名前：１３２人目の素数さん mailto:sage [2017/09/13(水) 10:12:42.66 ID:MY7YTESw.net]
- 閉区間 [0,1] は無限個の異なる点を含むので有限集合ではない。
実際、任意の非負整数 n に対して
1/n ∈ [0,1]
が成り立ち、1/n は異なる n に対して必ず違う値を取るから、
結局、閉区間 [0,1] は有限集合ではない。
補足：
閉区間 [0,1] は、静的な完成形が明確にイメージできる対象である
(たとえば、長さが1の線分は閉区間 [0,1] に対応する)。
すなわち、閉区間 [0,1] は、既に集合として完成しており、
誰が [0,1] と書いても、この記号列が表す集合は完全に固定されていて動かず、
常に同じ対象を表している。
そのような、要素の更新が起こらない固定された対象がもし有限集合なのであれば、
完全なる定数 n が存在して、その集合の要素の個数は定数 n となる。
しかし、既に見たように、[0,1] はそのような性質を満たさない。
結局、[0,1] は有限集合ではない。
