No.5ベストアンサー
- 回答日時:
そかな?
一般の順序関係「≦」を定義したとき、
a<b ⇔ (a≦b かつ a≠b)
a≧b ⇔ b≦a
a>b ⇔ b<a
は、付随して定義しておくのが慣習
…というか人情で、
「≦」の存在下に「<」を他の意味に定義
したりすれば、まず間違いなく
後で混乱する。
そのような定義下で、
「<」が「より小さい」を表すか否かではなく、
「より小さい」という語句の意味を
「<」によって定義する。
例えば、
集合 a が集合 b に含まれることを a≦b
と定義すれば、その意味においては、
a が b の真部分集合であることを
「a は b より小さい」と言ってしまう。
順序を定義するってのは、
そういうことだと思うけど。
No.7
- 回答日時:
通常の数の大小関係の記号と順序関係の記号とを同じものにするから、このような誤解が生じるのかも知れませんね。
「≦」とか「<」はやめて、「く」(か、き、く、の「く」の字に似た記号。角の丸くて斜線部が湾曲した記号)を採用している本もあります。
また既に指摘されているように、順序関係を「より大きい」とか「より小さい」と言うのも(習慣的に使われる表現ですが)通常の大小関係と混同したり誤解したりする可能性があるので、避けた方が良いと思います。
順序関係を抽象的に把握するためには、この記号は(初心者には)不適切な気がします。
回答ありがとうございます!ウェキペディアでは関係を~やRであらわしてa~bやaRbなどで表していますが、それでも関係を表していることになりますよね?!くの字が使われたりするのですね。ありがとうございます。
No.6
- 回答日時:
いやいや, 「< は定義しないままにする」というオプションが常に存在しまっせ>#5... って, まあそういう妙な突っ込みをするやつがいるかもしれんから「慣習というか人情」という表現をしているんだろうとは思いますけど. ただ, 個人的には「それはやっぱり一言断ってほしい」と思う.
でつらつらかんずるにそもそも最初に「順序関係」とか言いながらそいつに名前がないのが問題ではないかと思えてきた. もちろんこの順序関係が「≦」であらわされてるんだろうなぁとは思うけど, 厳密には問題になりえるかなぁ, と思ったりするわけでして.
No.4
- 回答日時:
「順序関係の反射律は、『任意の元aについてa≦aが成立』という条件ですが」って書いたときに「この『≦』で表される関係は一般の順序関係であって『(整数や実数などの) 大小関係』を表すものではない」ってことをきちんと認識していましたか?
そして, ここでは「≦」で表される関係が出てきているだけであって, 実は「<」で表される関係は定義されていない. だから, 「より大きい」とか述べること自体が不当. もちろん #2 の最後でいわれるように「a≦b かつ a≠b」として a<b を定義すればいいんだけど, この定義もなくいきなり出すんだとしたら間違っているし, この定義を採用するなら「a<a はありえない」というのはある意味当然.
ととと, 見返してみると最初の文章がそもそもおかしい. 「反射律」自体は順序関係とか同値関係とかそういったことは全くお構いなしに考えることができる性質です (反対称性などもそう). つまり「順序関係の反射律」というのは変. こう書かれると「じゃあ『同値関係の反射律』とか『順序関係でも同値関係でもない一般の関係の反射律』とかが別にあるのか?」と突っ込まれたときに困るかもしれない.
再度確認しておくと, 整数や実数の大小関係を表すという場面においては「a≦b」は「a<b または a=b」を表すんだけど, 一般的な順序関係を表す場面では「≦」で 1つの記号です. 分けて扱ってはいけません.
回答ありがとうございます!!
「この『≦』で表される関係は一般の順序関係であって『(整数や実数などの) 大小関係』を表すものではない」のですか!?順序関係は順序がついているのでどちらが大きいかという大小関係をあらわすものだと思いました。そうではないのでしょうか!?
No.2
- 回答日時:
a≦a は、「a=a または a<a」という意味です。
a=a のほうが成立していますから、
a<a の成立・不成立は
a≦a の真偽に影響しません。
ピンとこなければ、「または」の意味について
勉強してみるとよいでしょう。
本当は、
反射律を含むいくつかの法則(公理)によって、
最初に、≦ の意味を定め(定義し)、
a<b ⇔ (a≦b かつ a≠b) で、
< のほうを定義するんですがね。
なるほど!順序関係の性質に、反射律が入っているのは、二項関係≦が反射律、推移律、反対称律の三つすべてで成り立つというためには、反射律の条件がa=aではだめですもんね。二項関係≦が全ての律で成り立つようにするために、あえて、a≦a のように書いたのでしょうね・・。どうでしょうか?!実際にa<aという状態はありえないんですよね。
a≦a が、「a=a または a<a」という意味だということを知りませんでした!!ありがとうございました!!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 物理学 運動量演算子の交換関係について 5 2022/06/14 17: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
- 世界情勢 韓国政府が最近、哨戒機レーザー照射と関連、降伏を決めた意図は何でしょう。? 6 2023/06/06 16:03
- その他(法律) 配偶者が合意の上での不倫は、法的に問題ありますか? 夫が生活費を風俗に使い込んでいました。 共働きで 11 2023/06/05 11:13
- SEO 検索エンジン反映遅い 1 2022/06/04 07:35
- 哲学 日本語のあたらしい文法を考えよう。 6 2022/06/25 17:41
- Excel(エクセル) [条件付き書式]の設定順の変更は可能か? 4 2022/12/07 10:37
- 知人・隣人 知人からの迷惑行為について 5 2022/05/09 02:17
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
自然数 整数 有理数 実数 加法 ...
-
皆さん定義を教えてください 「...
-
三角関数(たとえばf(x)=sinxと...
-
無限から無限を引いたら何にな...
-
ネットストーカーの定義 最近SN...
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
べき乗
-
定義付けできない言葉について
-
p⇒q=(¬p)∨qについて
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
e<3の証明を教えてください。
-
集合間演算に関する質問
-
変数の宣言の名称を教えてくだ...
-
負の階乗 (-1/2)! =√π
-
ヘシアンが0の場合どうやって極...
-
複雑な家庭とは
マンスリーランキングこのカテゴリの人気マンスリー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...
おすすめ情報