2015-05-30から1日間の記事一覧

完備全順序における開区間は基本開区間である

齋藤正彦『数学の基礎』p34、第1章§3問題6-1の解答を自分で書いてみた。【補題1】\(A\)は全順序集合\( (X, (証明)\(\{x\in X\mid x 同様にして、\(X\)の基本開区間の合併で表される集合が最大元\(q\)を持つとき、\(q\)は\(X\)の最大元であるか、さもなくば…