- ベストアンサー
集合{1,2}上の半順序関係は何個存在するか?
自分で解いてみると2個になったんですが3個のようです {(1,1),(1,2),(2,2)}と {(1,1),(2,1),(2,2))は出たのですけど もうひとつありますか? {(1,1),(2,2)}だと対称的が入ってしまうので… 誰か教えてください お願いします
- みんなの回答 (2)
- 専門家の回答
関連するQ&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になっているような半順序集合は全順序集合という定義も意味がないような気がしてしまいます。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 「半順序集合になるようにせよ」という問が解けません
急ぎです。 次の問が全く解けません。どなたかお願いします。 以下の集合Aと二項関係Rの組は順序集合ではないが、Rに対して操作(要素の除去や追加)によって半順序集合(A,R)になるようにせよ(反射律、反対称律、推移律を満たすようにせよ)。なお、行ってよい操作は最大で除去は2回、追加は1界までとする。 A={a,b,c,d,e,f,g} R={(a,a),(a,c),(a,e),(a,g),(b,a),(b,b),(b,e),(c,c),(c,g),(d,b),(d,d),(d,f),(e,e),(e,g),(f,f),(f,g),(g,g)} 除去する組:( , ) 除去する組:( , ) 追加する組:( , ) 宜しくお願いします
- ベストアンサー
- 数学・算数
- 正整数の集合上の割り切る関係は半順序関係
正整数の集合Z+上の割り切る関係|は半順序関係であることを示せ。 どういうように考えれば良いかわかりませんので、是非教えてください。
- ベストアンサー
- 数学・算数
- 全順序集合ではあるが整列集合ではない集合って…?
こんにちは。 整列集合の定義は、全順序集合の中で、その部分集合が必ず最小限を持つもの でした。 ところでわざわざ全順序集合と整列集合をわけるということは、全順序集合の中でも整列集合じゃないものがあるってことですよね? しかしその部分集合が最小限を持たないような全順序集合ってどんなものなのでしょうか? 直観的にはよくわかりません… お願いします!
- ベストアンサー
- 数学・算数
- 離散数学の半順序集合に関する問題
離散数学の半順序集合に関する問題 離散数学の問題が解けずに困っています。 以下の問題を詳しく解説を交えて解いていただけるとありがたいです。 Aを集合とするとき、半順序集合(P(A),⊆)について、次の(1)(2)に答えよ。 (1)X,Y∈P(A)の上限、下限をそれぞれsup{X,Y}、inf{X,Y}とする。 このとき、sup{X,Y}=X∪Y inf{X,Y}=X∩Y をそれぞれ証明せよ。 (2)半順序集合(P(A),⊆)は束であるかどうか述べよ。 以上です。よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
そうなんですか,なんかややこしいので困ってました。どうもありがとうございました。