
こんにちは.順序対について質問します.
順序対を求めることは,分かるのですが,下記の順序対の定義の意味がわかりません.
x,yの順序対の定義は,
(x,y)≡{{x},{x,y}}
と定義されます.
たとえば,
X={a,b},Y={c}という集合である場合,
順序対X*Y={(a,c),(b,c)}となりますが,
この定義は,どのように解釈すればよいのでしょうか?
(前提)
集合X,Yの2つの要素x∈X,y∈Yについて,{x,y}は集合となる.また,{x}={x,x}も集合となるので,{{x},{x,y}}も集合となる.
No.7ベストアンサー
- 回答日時:
こんばんわ、あれから、いろいろ考えてみたんですが
(a,b)={{a,b}{a}} は直感的にも理解できるかと思います
集合論で自然数を定義したあと
再帰的に
(a1,・・・,a(n+1)):={(a1,・・・,an),{(a1,・・・,an),a(n+1)}} と定義できると思います
ですが、あまりこのような話は聞きません
もう、一般的に任意有限の順序対では{1,・・・,n}からの写像で定義しているような気がします(ex R^nの定義)
ただ、構造的には、同等だろうから基礎論にこだわらない
解析学などでは、OKということなんでしょうか?
(以下の部分自信全くなしでお願いします)
これをもっと拡張して任意濃度の順序対なるものを考えることはやはり、写像による定義でないと難しいかもしれません.
なんどもお付き合いいただきまして,ありがとうございます.頭が下がります.
確かに,その順序対の定義を前提にして,順序対( ,)を利用した再帰的な方法で考えることで幾分か自然数の大きさという観点から,序列が見えてきそうですね.
ただ,順序対を受け入れなければならないという前提が必要となりますね.
いきなりの直感的解釈は難しいようですね.
No.10
- 回答日時:
> 勝手に思ってはいけない
>
順序対というモノが存在するという定理の証明だと思うと、(x,y)={{x},{x,y}}が定義であると思うよりも、一般性が増すと思います。
お礼が遅くなりました.追記のご説明どうもありがとうございました.
この場をお借りして,皆様にもう一度お礼をさせていただきます.ありがとうございました.
まだ,謎というのが正直な感想ですが,いろいろな角度から再検討ができましたので,たいへん有意義な時間をすごさせて頂きました.また,質問を見つけたときには,ぜひ回答を寄せていただければ幸いです.
No.6
- 回答日時:
どのように対等でないと思えばいいか
{{x},{x,y}}も,{{x},{y,x}}も
二個使われている文字(この場合x)が左に並ぶ
一個しか使われている文字(この場合y)が右に並ぶ
と解釈できます
yumisamisiidesuさん,ありがとうございます.
そうですか.
{{x},{x,y}}も,{{x},{y,x}}
集合ですから,
{{x,y},{x}}と{{y,x},{x}}に変形可能だと思います.
No.5
- 回答日時:
数学において,「同じか違うかが分かれば良い」という考え方は良く行われます.
この場合にも,この考え方を用いるわけです.
例えば,[1,2,3,4]という並びと,[2,1,3,4]という並びは違って,[1,2,3,4]と[1,2,3,4]は同じだ,ということが分かればよいわけです.
数学の「厳密化」が行われてきた歴史の中で,その根底にあったのはいわゆる集合論でした.この集合論のみによる議論で順序を考えるとどうなるか.そこで生まれた順序を表すものが順序対なのだと思います.
os21さん,ありがとうございます.
論理式や集合論を利用して,厳密に証明されていますね.
その定義がどうして同じか違うかを表現できているといえるのか...直感的には無理なのでしょうか?
No.4
- 回答日時:
2です
3さまの説明と重なるかもしれませんが
(a,b):={{a},{a,b}}と定義する直感的意義は
{{a},{a,b}}はaとbの扱いが対等でないということを意味できればいいと思います
一方{{a},{b}}では={{b},{a}}となってしまい、a,bが対等的に扱われてしまいます
この対等でない扱いによって順序という区別を生み出していると解釈できると思います
ありがとうございます.
そうすると,{{a},{a,b}}は,
{{a},{b,a}}とも同じとなると思いますが,
これは,どのようにa,bが対等でないことを解釈すればよろしいのでしょうか?
また,何かわかりましたら,教えていただければ幸いです.
PS インターネットカフェをでなければなりません.
また明日にお礼申し上げます.
No.3
- 回答日時:
つまり,集合論の範囲で議論をするときには,
例えば,
{x,y}={y,x}となってしまいものの順番に関する概念が表現できません.それで,新たに順序というものを定義しなおさなければならないわけです.
ここで,順序を表す記号(x,y)をx,yからの作用として定義したいのですが,私たちが要請したいのは以下の性質です.
以下の2条件が同値:
1. (x,y)=(z,w)
2. x=z and y=w
この性質を先の順序対( , )は満たしています.
(x,y)=(z,w)⇔{{x},{x,y}}={{z},{z,w}}
これは{a}や{a,b}の定義から明らかですね.
ありがとうございます.
集合{x,y}は,確かにその順序について,なにも表現していませんね.
しかし,その順序をなぜ,{{x},{x,y}}なら,表現できるのか?
たとえば,
x=1,z=2
とすると,順序対の定義では,
{{1},{1,2}}ですよね.
これが順序を表す定義と言われても分からないのです.
No.2
- 回答日時:
順序対の本質は以下です
(a,b)=(c,d) ⇔ a=c,b=d
この性質を成立させたくて(a,b):={{a},{a,b}}としてます
ありがとうございます.
その(a,b)=(c,d) ⇔ a=c,b=dを証明に,(a,b):={{a},{a,b}}という定義を利用するということですね.
ただ,その定義の直感的解釈ができかねないのです.
直感的解釈がもし存在すれば,それを教えてもらえれば幸いです.
No.1
- 回答日時:
> 順序対X*Y={(a,c),(b,c)}
でなく正しくは
直積X*Y={(a,c),(b,c)}
です
直積と順序対は別物です
ここまでは自信ありですが
以下は自信なしで・・・
わたしはご質問を読んで次のようなことなどを疑問に思いました
1.(x,y)=x*yとなる集合はないことの証明
2.ある集合xがx=(a,b)=c*dと表せるか
3.(a)=aと定義すべきでないことの理由
4.(a,b,c):={{(a,b)},{(a,b),c}}と定義すべきか
など
この回答への補足
早々ありがとうございます.
失礼しました.巷のゴールデンウィークで頭がやられたのか,順序対の話なのに,直積をもってきてしまいました.
ただ,この
x,yの順序対の定義は,
(x,y)≡{{x},{x,y}}と書くことができますが,なぜ?これが,
xとyの順序に対するルールを記述していることになるのか?つまり,xを先に書き,yを後に書くという順序の公理を表しているか?を教えていただきたいと思っています.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 英単語の集合に、普通の英和辞典の順序(辞書的順序)とは違う順序を定義せよ。 数学の問題なのですが意味 2 2022/07/28 00:39
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 前順序集合についての違和感なんですが、全順序と違ってすべての要素の間に順序があるわけではないですよね 3 2022/08/09 00:05
- 数学 自然数の集合を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
- 工学 論理回路 上限 下限 上界 下界 は、どのようにちがいますか? 順序関係が定義された中 1 2022/12/10 03:18
- 計算機科学 アルゴリズムについて 1 2023/01/01 19:43
- Excel(エクセル) [条件付き書式]の設定順の変更は可能か? 4 2022/12/07 10:37
- Excel(エクセル) Excel 同一セル内 年、日 入れ替え 5 2022/04/09 01:48
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
数学の質問です loge 3=1.1に...
-
1未満と1以下の違い
-
nC0 について
-
直和分解とは? 同値関係、同値類
-
最大元と極大元の定義の違いが...
-
「互いに素」の定義…「1と2は互...
-
0^1(0の1乗)はいくつでしょ...
-
複雑な家庭とは
-
Excel関数で、セル内の文字列の...
-
数字の1とは何なのか?
-
ヘシアンが0の場合どうやって極...
-
電磁誘導に法則 V=ーdφ/dt...
-
0で割る
-
0で割る
-
スパコン1台いくらで国内保有...
-
「コンパイルエラー 変数が定...
-
数学の両辺2乗と√について教え...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
電磁誘導に法則 V=ーdφ/dt...
-
1未満と1以下の違い
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
eの0乗は1ってどういう原理です...
-
複雑な家庭とは
-
ヘシアンが0の場合どうやって極...
-
最大の自然数mが存在すると仮定...
-
最大元と極大元の定義の違いが...
-
ACCESS VBAでインポート定義の場所
-
p⇒q=(¬p)∨qについて
-
√6=√(-2)(-3)=√(-...
-
\\mathrmと\\rmの違いについて...
-
なぜ、直角三角形ではないのにs...
-
0に限りなく近い数は存在するの?
-
エクセルで「”」インチの表示形...
-
「logx^2=2logx」が間違って...
おすすめ情報