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になっているような半順序集合は全順序集合という定義も意味がないような気がしてしまいます。
よろしくお願いします。
No.1
- 回答日時:
n=2 として、
x = (1, 0)
y = (0, 1)
とすると、
x ≦ y
かつ
y ≦ x
しかし、
x と yは等しくない。
したがって、半順序集合ではない。
はずしてたらごめんなさい。
参考URL:http://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F% …
No.2
- 回答日時:
反例として例えば、
x=(1,2,10)、y=(3,5,0)
n=1, 1<3
n=2, 1+2<3+5
n=3, 1+2+10>3+5+0
なのですから、このx,yには、その大小関係はない訳でしょう。
順序関係の証明は、
x,yに順序がつき、x<y、かつy,zに順序がつきy<z
ならば、x,zにも順序がつき、x<z である。と言う証明パターンです。任意のx、y,zではありません。半順序で集合で、上の例のように順序がつかない例もあるのですから。
なるほど、ありがとうございます。
反例はそのように考えるのですね、勘違いをしていました。
順序関係の証明ですが、任意のx,y,zでなければ、何なのでしょうか?
特定の、という意味なのでしょうか?
半順序集合の証明は任意のx,y,zについて反射的・反対称的・推移的を示すように習ったのですが・・・。
すみませんが、お願いします。
No.3
- 回答日時:
最後のところで
「反対称的の
任意のa,b∈Xに対して
aRb,bRa⇒a=b
ここで、aRbとbRaが成り立つことを言ってしまっている」
とは, 何を意味しているのでしょうか? これは言い換えると「a ≠ b なら aRb と bRa 高々一方が成り立つ」という意味であり, 「aRb と bRa の少なくとも一方が成り立つ」という意味は含まれません.
ついでに言うと「全順序集合は半順序集合が成り立つことが前提」というのは日本語として正しくありません. 「半順序集合が成り立つ」というのが変です. 「半順序集合の条件が成り立つ」なら意味が通る.
ありがとうございます。
日本語として正しくない、理解しました、すみません。
全順序集合の条件が成り立つには半順序集合の条件が成り立つことが必須ですよね。
その上で、任意のa,b∈Xに対して、aRbかbRaが成り立てば全順序集合という意味なのですが、半順序集合の条件の中にすでにaRb,bRa⇒a=bという条件が存在しています。
つまり、aRb,bRaは成り立っていることが前提なので、「半順序集合なら全順序集合」になってしまわないのでしょうか・・・。
お手数おかけします、お願いします。
No.4
- 回答日時:
おそらく誤解があります。
全順序集合は、任意の二要素a,bに対して、a≦b or b≦a が定義されている。
半順序集合は、任意の要素aに、a≦b or b≦a、となる要素bは、存在するが、任意の二要素a,b間に、a≦b or b≦a が定義されているわけではない。この事を示しているのが、先に挙げた「反例」なのです。
--半順序集合の定義を再確認される事をお勧めします。
また、任意のx, y, z ではないと言うのは舌ったらずでした。
x≦y が成立する任意の二要素x, y に対して y≦z が成立するならば、x≦z となる、というパターンの証明です。
ありがとうございます。
ようやく理解できた気がします。
先ほどの例を使うと、
~半順序集合~
x=(1,2,3) (任意の要素)
これにx≦yとなる要素はy=(5,5,5)が存在する。
~全順序集合~
x=(1,2,3) (任意の要素)
y=(0,3,1) (任意の要素)
n=1の時、1>0
n=2の時、2<3
となって、x≦yが定義されない。
ということですね(便宜上省いたところがあります)。
ありがとうございました。
No.5
- 回答日時:
それは誤解です.
「aRb,bRa⇒a=b」
に
「aRb,bRaは成り立っていることが前提」
という意味は全く含まれていません. 単純に「aRb と bRa の両方が成り立っていれば」と言っているだけです.
ここはきちんと理解してください. 「p⇒q」という式は「p が成り立っていれば q が成り立つ」と言っているだけで, そこに「p は必ず成り立っている」という意味は全く含まれません.
なるほど。
ということは、aRb と bRa の両方が成り立っていないこともあるのですね。
aRb と bRa の両方が成り立っている時でないと反対称的の証明はできなくなりますよね。
つまり、半順序集合になっていることを示す際に、3つの条件のうち、反対称的の条件が満たされていない場合もあるということですかね。
半順序集合になっていることを示す際、「aRb と bRa の両方が成り立っている時に限り、反対称的の証明もする必要がある」と言えるのでしょうか。
すると、↑のΣの例では半順序集合になっていることを示す際に、反対称的の証明はする必要がなくなるわけですかね。
No.6ベストアンサー
- 回答日時:
まだまだ、道は険しそうですが、定義の確認が不充分なようです。
再度、この問題にある、順序 ≦ は、R^nにおいて定義されています。その順序と R^nとをあわせて、{ R^n, ≦ }と書いて、順序集合と呼びます。そしてそれは、半順序集合です。全順序集合ではありません。
ーー以上の事を示すのが問題ですよね。
まずすべき事は、その ≦ の定義にもとづいて、それが、順序に関する3つの性質を持っている事を示さなければなりません。
---ということは、この段階ではまだ、半順序集合とも、全順序集合とも決まっていないわけです。
1)任意のx=(x1,…xn) ∈R^n に対して
Σ(i=1からkまで)x(i) ≦ Σ(i=1からkまで)x(i) (k=1,2,…,n)
は明らかに成立する、よって
x ≦ x
2)x=(x1,…xn) , y=(y1,…,yn) , z=(z1,…,zn) ∈R^n において x ≦ y かつ y ≦ z であるとするならば、
---ここから、あの ≦ の定義式を持ちだして証明を始めるのです。「任意の」ということばを使っていませんが、仮定法を使っているので 、文字を使ってx ≦ y 、 y ≦ z という関係のみを使って記述すれば、その関係を満たす任意のものに対する証明になります。
---また、ここからが肝心な所で、人によって書き方が異なるでしょう。ガンバッテ!
……
……
故にx ≦ z
---と締める事が出来れば終わりです。
3)x=(x1,…xn) , y=(y1,…,yn) ∈R^n において x ≦ y かつ y ≦ x ならば
---ここも、「任意の」ということばを使っていません。一つ例を書いてみますと、
x1≦y1かつ y1≦x1であるから、 x1=y1 …(1)
x1+x2 ≦ y1+ y2 かつ y1+y2 ≦ x1+ x2 であるから、x1+x2 = y1+ y2 …(2)
---以下同様と言うわけですが、これも工夫した書き方があるでしょう。
故にx=y
よって「≦」は順序である。---と、ここまで来ればよいのですが。
以上で示したのは、「≦」 が順序であると言う事です。これだけで半順序集合である事は証明されています。半順序集合であるが、それは全順序集合ではない事を示せ、というのが、反例を示せと言うことです。この順序の定義では大小を示す事が出来ない例を一つ示せば、任意のx,yに順序がある「全順序集合」ではないことが、証明されるのです。
以上。一寸おせっかいかなと思いつつ書いてみました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 前順序集合についての違和感なんですが、全順序と違ってすべての要素の間に順序があるわけではないですよね 3 2022/08/09 00:05
- 数学 英単語の集合に、普通の英和辞典の順序(辞書的順序)とは違う順序を定義せよ。 数学の問題なのですが意味 2 2022/07/28 00:39
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 自然数の集合をNとする。直積集合N×N={(a,b)|a,b∈N}において関係Rを、 (a,b)R( 2 2022/07/28 02:00
- gooポイント gooポイントをdポイントに交換できない。 3 2022/04/22 20:39
- Excel(エクセル) Excel 同一セル内 年、日 入れ替え 5 2022/04/09 01:48
- 物理学 運動量演算子の交換関係について 5 2022/06/14 17:17
- 計算機科学 アルゴリズムについて 1 2023/01/01 19:43
- 兄弟・姉妹 弟の結婚についてです 長文です。 最近、弟が授かり婚をすることを父からLINEで聞かされました。 授 8 2022/07/16 15:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なにしてるかわからない。。
-
皆さん定義を教えてください 「...
-
自然数 整数 有理数 実数 加法 ...
-
無限から無限を引いたら何にな...
-
べき乗
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
ACCESS VBAでインポート定義の場所
-
ネットストーカーの定義 最近SN...
-
「互いに素」の定義…「1と2は互...
-
定義付けできない言葉について
-
マイナス7は素数ですか?
-
普通の人は人を激しい責めます...
-
環の乗法に関して左(右)逆元...
-
2進数の符号ビットの入った数...
-
集合間演算に関する質問
-
日本語 ことば ひとまわり ふた...
-
三角関数(たとえばf(x)=sinxと...
-
ACCESS IIF関数 複数条件の設...
-
数学の「無定義」での理論の展開
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報