お世話になります。数学大嫌い男です。
やや数学っぽい本を見ていたら、反射律・対称律・推移律というのが書いてありました。
しばらくいくと次の問題がありました。
問「対称律と推移律が成り立つとき、対称律によって a~b ならば b~a,したがって推移律によって a~a となって反射律が成り立つという論法は誤りであることを説明せよ」
答「問題の論法は関係のついている元aだけについて a~aを言ったにすぎない」
私にはチンプンカンプンです。
答も何を言っているのかわかりません。
だって本には簡単にしか書いてません。反射律・対称律・推移律の定義を私がよく分かっていないのかな?
どなたか分かる人がいらっしゃいましたら、お教えください。
数学嫌いの私でも分かるように、よろしくお願いいたします。
No.1ベストアンサー
- 回答日時:
あぁ, 確かにひっかかりますね....
この問題を理解するためにはもちろん「反射律」, 「対称律」, 「推移律」を理解しなければならないんですが, 根底には「数学における『ならば』の意味」というポイントがひそんでいます.
日常での「A ならば B」という表現では, 「A が成り立たないとき」は考えていません. しかし, 数学における「A ならば B」は, 「A が成り立っているときには B も成り立つ」, つまり「A が成り立っていないときには B が成り立つかどうかに関係なく『A ならば B』は成り立つ」と解釈します. この, 日常と数学における「ならば」の意味の違いをきちんと理解しなければなりません.
さて, その上で「どの要素も (自分自身を含めて) どの要素とも関係を持たない」という関係 (日常用語では「関係」とはいわないけど, 数学ではこれも「関係」とみなします) を考えてみましょう.
まず対称律: 「全ての a, b に対し a~b ならば b~a」について考えます. 今考えている関係では, どの要素に対しても a~b は成り立ちません. このことから「全ての a, b に対し a~b ならば b~a」は成り立ってしまいます. ということは, この関係は対称律を満たします.
次に推移律: 「全ての a, b, c に対し a~b かつ b~c ならば a~c」ですが, これも同じように考えると満たしていることがわかります.
最後に反射律: 「全ての a に対し a~a」ですが, これは明らかに成り立ちません.
結局, 対称律と推移律では「ならば」を使っているのに対し反射律では「ならば」が出てこないことが差異として現れています.
う~ん, わかりづらそうだ.... どこがわからないか書いてもらえれば, 詳しく説明するかもしれません.
回答ありがとうございます。
うーん、うーん、日本語で書いてあるのに、む、難しい!
・・・・・
理屈はよく分かりませんが、定義は
反射律:全ての a に対し a~a
対称律:全ての a,b に対し a~b ならば b~a
推移律:全ての a,b,c に対し a~b かつ b~c ならば a~c
であって、問の文は
「全ての a,b に対し(a~b ならば b~a)」
「全ての a,b に対し((a~b かつ b~a) ならば a~a)」
の2つのことから
「全ての a に対し(a~a)」
は導かれないことを説明せよ。
ということで、答の文は
関係~を満たすaについては(a~a)であるけども
「全ての a に対しては(a~a)」ではないよ。
と言っているのかなぁ?
と書きながら、自分で何を言っているのかよく分からないまま書いている数学大嫌い男でした。
あ~あ、だめだこりゃ。
No.4
- 回答日時:
a~b ならば b~a -------------------(1) [対称律]
a~b ならば a~b -------------------(2)
(1) (2) より
a~b ならば ( a~b かつ b~a ) -------(3)
また,
( a~b かつ b~a ) ならば a~a -------(4) [推移律より]
(3)(4) より
a~b ならば a~a
----------------------------------------
これは、「a~b が成り立てば」という条件付きです。
a~b が成り立たない場合、 a~a が成り立つことは 保証されない。
a~b を成り立たせる b が無い場合、
全ての b で a~b が成り立たないから
特に、 b =a の場合として a~a が成り立たない。
回答ありがとうございます。
「あるaとb」や「全てのa,b」が出てこない分、ほっとします。
結局、対称律と推移律からは「a~b ならば a~a」しか言えない、ということなんですね。
このことを他の回答者さんも更に詳しく説明して下さってたわけですね。
どうもありがとうございました。
No.3
- 回答日時:
反射律は,
「全てのaはa~aを満たす」
ことです.
よって,反射律を証明したい場合は,全てのaに関してa~aを示さなくてはなりません.
これに対して,対称律をわかりやすく言い直すと
「あるaとbがa~bという関係を満たすならば,b~aも成立する」
というステートメントですので,全てのaに対して対称律を適用することができません.つまり,適当にとったaがとあるbと関係a~bを満たすとは限らないため,対称律を適用することができないのです(逆にいうと,とあるbと関係a~bを満たすようなaに関しては,対称律と推移律を用いて,a~aが証明できることにはなります.このことを,答にある「問題の論法は関係のついている元aだけについて a~aを言ったにすぎない」と言っているのでしょう).
具体的な~の例を挙げます.
3つの要素しかない集合{x,y,z}に
下の図のように,x~yという関係を満たす場合は○,満たさない場合は×を用いて関係~を表してみました.
\ x y z
x × × ×
y × ○ ○
z × ○ ○
(つまり,関係を満たすのは,y~y,y~z,z~y,z~zの4つの場合のみです.)
これは,対称律も推移律も満たしていることはすぐに確認できます.
ところが,"x~x"は成立していないので,反射律が成立していない例となっています.(xはどの元とも関係を持たない場合なので対称律が適用できないわけです)
回答ありがとうございます。
「あるaとb・・・」ですかぁ。
「全てのa,bに対して・・・」しか頭になかったので、ますます混乱!
分からん!難しい!
せっかくの回答なのに理解できなくてすいません。
No.2
- 回答日時:
「問の文は~」のところは OK.
答えの方は, 「関係~を満たす a については」というのがちょっと曖昧です. ここは「a~b となる b が存在するような a に対しては」と, きちんと書いてあげるべきかと思います.
いずれにしても, 日常で使う「ならば」と数学用語としての「ならば」を, きちんと区別できれば結論にたどりつけるはずです.
回答ありがとうございます。
>「a~b となる b が存在するような a に対しては」
こんなふうに考えなければいけないんですか。
数学のできる人の頭ってすごいものですねぇ。
数学大嫌い男はもう限界ですので、ここらで引き下がります。
どうもありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・【お題】絵本のタイトル
- ・【大喜利】世界最古のコンビニについて知ってる事を教えてください【投稿~10/10(木)】
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
無限より大きい何か
-
Vをn次元実ベクトル空間、ΓをV...
-
無限に1を引くとどうなりますか?
-
無限と永遠の定義
-
複素ベクトル空間について
-
アレフツーってありますか?
-
高2の数学の対数関数です。 真...
-
三角関数 -3分のπって3分の5...
-
【数学】 lim x→a ↑これってど...
-
三角関数の範囲について、 0≦x≦...
-
数学の極限の問題です! (1)l...
-
至急!!二次関数について aは...
-
lim[n→∞](1-1/n)^n=1/e について
-
「余年」の意味について教えて...
-
1/0は何故発散すると言えるので...
-
判別式の使う時とか使わない時...
-
【数学の問題】※点と直線
-
次の問題を解いてください。 実...
-
2進数のバイアス表現について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報