プロが教えるわが家の防犯対策術!

集合Sの冪集合φ(s)上の2項関係⊆が半順序関係であることを示せ。また、全順序関係でないことを
S={1,2,3}の場合で反例を挙げて示せ。が分からないです。

含まれる項の数で比較できないから半順序? 分からないです。
無知な僕にも分かるように解説していただけると嬉しいです

A 回答 (2件)

判順序 という言葉の定義をしっかりと確認するればすぐに解ける問題です。


つまり、
任意の集合X,Y,Z∈Φ(S)に対して
X ⊆ X
X ⊆ Y ∧ Y ⊆ X ⇒ X = Y
X ⊆ Y ∧ Y ⊆ Z ⇒ X ⊆ Z
を示すだけです。どの程度細かく証明(説明)するかは、あなたの授業(勉強)の程度によりますが。







S = {1,2,3}
なら、{1,2},{1,3}が⊇の意味で比較不能ですよね。これも、定義に従うだけで解けます。
    • good
    • 0
この回答へのお礼

理解できました ありがとうございます。

お礼日時:2011/06/30 17:17

定義に突っ込む

    • good
    • 0

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!