21/11/08 07:39:24.05 CF7SYpmS.net
>>293 補足の補足
下記より ”実数直線は標準的な大小関係 < による順序に関して線型連続体である” ”、実数直線は 大小関係 < に関して全順序集合”
それは、実数R自身が持つ性質でもある
”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
URLﾘﾝｸ(ja.wikipedia.org)
実数直線
URLﾘﾝｸ(upload.wikimedia.org)
実数直線の模式図
線型連続体
実数直線は標準的な大小関係 < による順序に関して線型連続体である。具体的に言えば、実数直線は 大小関係 < に関して全順序集合であり、またこの順序は稠密で、上限性質を持つ。
上記の性質に加えて、実数直線は最大元も最小元も持たない。また、部分集合として可算で稠密なもの（要するに有理数の全体）を含む。可算稠密部分集合を持ち、最大元も最小元も持たないような任意の線型連続体は実数直線に順序同型であるという定理がある。
実数直線は可算鎖条件 (ccc):
「R における互いに交わらない空でない開区間からなる任意の族は可算である」
を満足する。順序集合論においてよく知られるススリンの問題は「