2015-01-17から1日間の記事一覧

切片関係について全順序をなす整列集合族の和集合は、この族の上界である

【定理】半順序集合\( (X, (証明)次の補題を準備しておく。【補題】\(\mathcal V\)の任意の元\(V_1\)と、その任意の元\(v\)について、\(v\)より小さい\(V_0\)の元はすべて\(V_1\)に属す。 (証明)\(x\in V_0\)かつ\(x \(V_0\)が\( 次に、\(V_0\)の任意の…