- 締切済み
集合の包含関係について
よろしくお願い致します。 集合Xの部分集合A,Bに対して定義される包含関係A⊂Bは べき集合2^X上の順序関係を定める。 このとき 1 (2^X,⊂)は半順序集合になる 2 |X|≧2なら(2^X,⊂)は全順序集合ではない この2つの証明が分からなく困っています。 どうぞよろしくお願い致します。
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- 集合の包含関係に関する推移律の証明について
3つの集合を A = { x|P(x) }, B = { x|Q(x) }, C = { x|R(x) } とします。直感的には明らかな、集合の包含関係に関する推移律 (A⊆B)∧(B⊆C) ⇒ A⊆C …… (#1) を論理記号を使って、機械的に導くことができるのでしょうか? (#1) は (x∈A ⇒ x∈B)∧(x∈B ⇒ x∈C) ⇒ (x∈A ⇒ x∈C) と同じことなので、任意の a について ( P(a)⇒Q(a)∧Q(a)⇒R(a) )⇒( P(a)⇒R(a) ). したがって (P⇒Q∧Q⇒R) ⇒ (P⇒R) ⇔¬{ (P⇒Q∧Q⇒R) }∨(¬P∨R) ⇔¬{ (¬P∨Q)∧(¬Q∨R) }∨(¬P∨R) ⇔ {¬(¬P∨Q)∨¬(¬Q∨R) }∨(¬P∨R) ⇔ { (P∧¬Q)∨(Q∧¬R) }∨(¬P∨R) が真であることを証明すればよさそうです。で、分配律を使って変形しているのですが、分配変形すればするほどゴチャゴチャして(笑)うまくいきません。 ここから先、どうしたらいいのでしょうか。
- ベストアンサー
- 数学・算数
- 「有限集合の部分集合は有限集合」の証明
有限集合Xの部分集合Aは有限集合であることの証明がわかりません。 X;集合とします X⊇A とします。 とあるテキストによると,Aが有限集合であるとは, __∀F∈P(P(X))[F;A上帰納的 ⇒ A∈F] との事です。 ここで,Xの冪集合の冪集合P(P(X))∋FがA上帰納的であるとは, __φ∈F∧∀C∈F∀x∈A[C∪{x}∈F] であると事,とされています。 この定義に従って, _X;有限集合 ⇒ A;有限集合 を証明したいのですが,証明がさっぱり分かりません。 是非とも証明を御教え下さい。宜しくお願い致します。
- ベストアンサー
- 数学・算数
- 全順序集合と半順序集合
x=(x1,…xn) , y=(y1,…,yn) ∈R^n に対して x≦yを Σ(i=1からkまで)x(i) ≦ Σ(i=1からkまで)y(i) (k=1,2,…,n) によってR^nに関係≦を導入する。 R^nはこの≦に関して半順序集合になっていることを示せ。 また、x≦(にならない)y , y≦(にならない)x となるx,yの例をあげよ。 という順序集合の問題です。 反射的・反対称的・推移的の3つを示せば良いのは分かるのですが、どのように書いて良のか分かりません。 例:推移的を示す 任意のx=(x1,…xn) , y=(y1,…,yn) , z=(z1,…,zn) ∈R^n に対して Σ(i=1からkまで)x(i) ≦ Σ(i=1からkまで)y(i) かつ Σ(i=1からkまで)y(i) ≦ Σ(i=1からkまで)z(i) ならば Σ(i=1からkまで)x(i) ≦ Σ(i=1からkまで)z(i) は成り立つ。 このように、そのまま書けば良いのでしょうか・・・? それから、最後の例をあげよのところは、全順序集合にはならないための反例になっているのだと思いますが、どうしても思いつきません。 ∞を考えるのでしょうか・・・? そもそも全順序集合は半順序集合が成り立つことが前提みたいに習いましたが、反対称的の 任意のa,b∈Xに対して aRb,bRa⇒a=b ここで、aRbとbRaが成り立つことを言ってしまっているので、必ずaRbかbRaになっているような半順序集合は全順序集合という定義も意味がないような気がしてしまいます。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 実数全体の集合,超実数全体の集合,複素数全体の集合の包含関係は?
超実数なるものを知りました。 「公理:Rは完備順序体である 公理:R*はRの真拡大順序体である Rを実数体,R*を超実数体と言い、それぞれの元を実数,超実数と言う」 といったものですが 実数全体の集合,超実数全体の集合,複素数全体の集合の包含関係はどうなっているのでしょうか? また、実数は直線,複素数は縦軸を書き足して平面として表す事が出来ますよね。超実数はこれらに何を書き足して表されるのでしょうか?
- ベストアンサー
- 数学・算数
- 集合の問題でもう一問お願いします。
集合Xの部分集合Aと集合Yの部分集合Bについて、次の等式を証明せよ。 (1)A×B=(A×Y)∩(X×B) (2)(X-A)×(Y-B)=X(エックス)×Y-((X×B)∪(A×Y)) よろしくお願いします。
- ベストアンサー
- 数学・算数
- ブラザー製品のPFキットMP交換方法と費用について教えてください。また、三年使用した型番HL-L5100DNの場合、交換が必要なのでしょうか?
- ブラザー製品のPFキットMP交換はどのようにすればよいのでしょうか?費用はいくらかかるのでしょうか?型番は三年使用したHL-L5100DNです。
- ブラザー製品のPFキットMP交換方法についてお知りたいです。費用も教えていただけますか?三年使用のHL-L5100DNです。