ノート:線型連続体

1[編集]

翻訳からのいくつか補足です。一部訳していない部分があります。それは線型連続体#位相的性質において、

次に上限性質を持つことを証明しよう。CをX の上に有界な部分集合で上限を持たないとし、DをbをCの上界として(b,+∞)の形のすべての半直線(open ray)の和であるとする。そうすると、Dは

を満たす。このDとその補集合はX上の分離(separation(en))を形成する。これはXが連結であることに反する。よって、上限性質を満たす。

の部分において、閉であることと非空であることの証明は訳していません。特別な理由はなくただやる気が起きなかっただけです。元の版を見ていだければと思います。--Tkcom（会話） 2013年3月4日 (月) 14:38 (UTC)[返信]