「集合・位相入門」輪読会★2

213：たま ◆U4RT2HgTis：2006/01/24(火) 00:15:56: >>212
やっと解決しますた。関係の認識があやふやでした。
この問題を考えていく中で、A上の関係RはAの元の組(a,b)に対して、
"aRbが成り立つ"、"￢(aRb)が成り立つ"、"未定義"の三つの状態があるとして
考えるようになっていたのがそもそもの諸悪の根源でした。
実際には、数学的な議論の対象になりうるために、関係Rには
Aの組(a,b)に対してaRbが成り立つか￢(aRb)が成り立つかがはっきりするしている、
すなわち、aRbまたは￢(aRb)のいずれかか一方のみが必ず成り立つ
ことが要請されなければならないみたいで、他のテキストなんかを見るとそのような
記述がありました。排中律を認めているんだからこのようなことを要請するのは
当然といえば当然なんですが、今までそのことにきづきませんでしたorz

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板