数学には矛盾法とでも呼べる証明方法があるのでしょうか?ここで、矛盾法とはこちらが勝手に付けた名称です。要は、矛盾を認めることによって、正しいとしたい命題、主張を証明する方法という意味です。実例としては、これまでもたびたび言及してきた「空集合φは任意の集合sの部分集合である」ということの証明があります。詳細は端折りますが、対偶法を使い、φの要素xがsの共通要素になることを以て、φがsの部分集合であるとする証明です。そもそも、要素が一つもないφの要素xを認めることは矛盾であるはずですが、とにかく、これを認めることで、φがsの部分集合であるとできるし、これは集合論において、必要欠くべからざるといえる重要事項でしょう。
しかし、当然、矛盾を認める前提からはどんな命題も正しいと証明できてしまうことは論理学の基本です。「φがsの部分集合である」とする命題も、その反対の「φがsの部分集合でない」という命題も同時に正しいと証明できてしまう。言ってみれば、両者が等値になるというところでしょうか?
それに、正しいと証明したい命題の反対の命題が正しいとすると矛盾が起こることで、証明したい命題の正しさを保証する背理法を強力な証明方法の一つとして採用している現行の数学体系においては、いわば、ダブルスタンダードになってしまう恐れがある。
果たして、数学界で、矛盾法なる方法は(もっと洗練されたカッコイイネーミングがされているかも知れませんが)正式に採用されているのでしょうか?また採用されているとしても、使用できる限界というか線引きがなされていないと、どんな命題でも恣意的に正しいとされてしまう恐れがあり、数学が無法地帯になる恐れがある。そんな限界線の定義はされているのでしょうか?
A 回答 (7件)
- 最新から表示
- 回答順に表示
No.7
- 回答日時:
ひょっとして
AはBの部分集合である→AとBには共通要素が有る
と考えているのかな?
「Aにある要素はBにもある」
というのがちょっと曖昧な
部分集合の定義だけど、厳密には程遠くて、Aに要素が無い場合の判定方法が有りません。
きっと部分集合の判定でAに要素が存在しないと判定ができないと
おもっているのでしょうね。
部分集合の定義はそんな穴だらけのものではないです。
既にたくさん提示されている部分集合の定義をよく吟味しましょう。
No.6
- 回答日時:
空集合φは任意の集合Sの部分集合である
φ⊂S
の定義は
x∈φ→x∈S
で
(x∉φ)V(x∈S)
で
任意のxと任意の集合Sに対して
xは空集合φの要素ではない
かまたは
xはSの要素である
という意味で
φの要素が1つもないのだから
任意のxに対して
xは空集合φの要素ではない
x∉φ
が常に成り立つのだから
(x∉φ)V(x∈S)が成り立ち
x∈φ→x∈Sが成り立ち
φ⊂Sが成り立ち
空集合φは任意の集合Sの部分集合であるといえるのです
対偶法を使い、
φの要素xがsの共通要素になることを以て、
φがsの部分集合であることは証明できません間違っています
(x∈φ→x∈S)の対偶は(x∉S→x∉φ)なので
φの要素xがsの共通要素になることは対偶ではありません
φの要素は1つもないのだから
x∈φが成り立たないのだから
成り立たない仮定をそのまま仮定することはありません
φの要素xがsの共通要素になることは証明できません
そのようなことはしません
No.5
- 回答日時:
ちょっと確認してみよう.
途中の
「「φがsの部分集合である」とする命題も、その反対の「φがsの部分集合でない」という命題も同時に正しいと証明できてしまう。」
のところ, 「その反対」はどのように証明している?
No.4
- 回答日時:
>>対偶法を使い、φの要素xがsの共通要素になることを以て
この辺からずれてますけど・・・。
部分集合の定義から,「φ⊂s」とは「x∈φ⇒x∈s」。
この対偶は「x∉s⇒x∉φ」
空集合は要素(元)をもたない集合なのでx∉φ。
なので対偶は常に真。
対偶使わなくても、a⇒bは(¬a)vbなので、仮定が偽なら、この命題自体は常に真。
x∈φは偽なので、「x∈φ⇒x∈s」は常に真。
これだけの事ですが。
No.3
- 回答日時:
小難しそうな話が書かれていますが要するに「空集合が要素を持つのはおかしい」と言う事ですよね。
それって結局「要素を持つ集合を空集合と呼ぶのは間違っている」と言う国語ないしネーミングの問題であって、矛盾がどうたらと言った数学の問題ではないように思います。恐らく空集合の事を「要素を持たない集合」とだけ考えるから「空集合の要素」と言うワードがおかしく見えるのであって、単純に「空集合は『無』と言う要素だけを持つ集合」とでも考えれば何もおかしくありません。それに私が今書いた空集合の定義は「空集合は要素を持たない集合」の言い回しを変えただけであって内容は全く同じです。
No.2
- 回答日時:
なんかずれてる。
部分集合の定義は
任意の要素xに対して
x∈A ならば x∈B
が恒真なら
AはBの部分集合
A=Φならx∈Aは常に偽だから
x∈A ならば ×∈B は恒真
というだけ。
>要素が一つもないφの要素xを認めることは矛盾であるはずですが、
意味不明です。Φに要素がないということは要素xというものが存在しないということでは全くありません。Φの中にないだけです。
No.1
- 回答日時:
背理法(はいりほう) 又は 帰謬法(きびゅうほう)の事ですか。
但し「φがsの部分集合である」とする命題ならば、
φ と云う集合が s の集合に 部分的に含まれる場合は、
この方法は 使えませんね。
高度な数学の分野は 理解していませんが、
中学・高校の分野では 集合の分野が 限定されるので、
証明に使えるのでは。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 双子素数とゴールドバッハ予想と解けました、フィールズ賞貰えますか? 2 2023/09/27 05:03
- 数学 矛盾と両立 5 2024/07/22 21:35
- 数学 数学Aの整数の性質について質問です。 ほぼほぼ背理法の質問かもしれないですが、 証明の、a+bとab 5 2024/05/04 17:54
- 歴史学 日本国憲法はどう考えても無効としか考えようがありませんよね? 帝国憲法から現行憲法への改正は限界を明 9 2022/12/25 01:49
- 数学 自明の証明 4 2023/12/10 11:01
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 群論に関して, 明らかとしか思えない命題に関して質問です 5 2024/02/10 16:53
- 数学 対角線論法の疑問 4 2023/11/23 12:27
- 数学 「自然数は無限」としてよいのか? 4 2023/11/26 13:10
- 数学 ∫1/lnxdx について 8 2024/05/19 12:42
このQ&Aを見た人はこんなQ&Aも見ています
-


f(x)=f(x²)はどんなグラフになりますか?
数学
-


「普通のサイコロ」で連続して40回、1以外の目が出る確率は、(5/6)の40乗です。計算すると、0.
数学
-


123を使って出来る最大の数は?
数学
-
-
4

ここでいうスカラーとはなにを意味しているのでしょうか。スカラーの意味があまりよくわかっていなのでベク
数学
-
5

0⁰再び
数学
-
6

解説3行目。なぜ4でわって3余る素因数が存在しないことが言えているのでしょうか。
数学
-
7

確率の質問です
数学
-
8

高校数学についてで、帰納法をたとえば数列で使うときにn=kとおいて、kで示したいものが成り立つと仮定
数学
-
9

=って逆も正しくないとダメですよね?「ゴリラ=動物」って動物はゴリラ以外もこの世に存在するので「=」
数学
-
10

小学1年生とか2年生に、「1+1ってなんで2になるの?」って聞かれたらどう答えます? 意外と難しいよ
数学
-
11

10のマイナス14乗の呼び方
数学
-
12

何回かくじを引いて当たる確率
数学
-
13

【数学の問題】男女4vs4の合コンでカップルが成立するパターンは何通り?
数学
-
14

この回答あってる
数学
-
15

誤差の大きさ
数学
-
16

確率の問題
数学
-
17

10のn乗-1でn=1から15,はなぜ17の倍数でないのでしょうか。問題文に書いてある理由がよくわか
数学
-
18

ギリシャ文字
数学
-
19

写真の問題の解説にある「a≦bとしても一般性を失わない」というのは「aとbを入れ替えても全く同じ式で
数学
-
20

以下の原稿(プレプリント)の内容も代数的組合せ論ですか?
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
この問題、解き方は理解したの...
-
決定性有限オートマトン
-
高3 数学
-
コピーしたい本のページ数
-
【問題】 f(x) = x^2 - 4a x + ...
-
至急 a²b+a-b-1 の因数分解...
-
数学得意な人程宝くじ買わない...
-
1/(s(s^2+2s+5))を部分分数分解...
-
60人で30000個持ってるのと200...
-
https://youtube.com/shorts/Kw...
-
3つの無理数a,b,cでf(x)=x^3+ax...
-
limn→∞、10∧n=0?
-
三角形の面積は、底辺✕高さ÷2 ...
-
xy平面上の点P(x,y)に対し,点Q(...
-
数学者は夜行性か?
-
この両辺の2Rを払う手順を教え...
-
2980円で買った「15個のリンゴ...
-
この180➗204の計算の仕方教えて...
-
写真は多変数関数についての「...
-
加法定理の公式
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
厄介そうな定積分
-
二重和
-
確率の質問です
-
モンティホール問題について 問...
-
【 畳み込み積分 のτ 意味がよ...
-
数学が得意な人の考え方を知り...
-
この算数問題、何がおかしい? ...
-
サイコロを100回投げて、奇数、...
-
SPI 食塩水の等量交換 完全文系...
-
割り算の不思議
-
足し算のざっくり計算が苦手で...
-
問題 √2が無理数であることを入...
-
なぜ、Δtがdtではなくdτになる...
-
全体100人のうちリンゴ派90人み...
-
新幹線が最高速度に到達するま...
-
これって①番の公式を使うのでし...
-
2.2%は分数で表すと22/1000、約...
-
数学の問題です。110で最小値を...
-
積分について
-
三角関数ですこれはなぜx=0と...
おすすめ情報








