定理、命題、補題、系の意味、使い方について調べているのですが、
http://www.math.sci.osaka-u.ac.jp/~wakui/tanoshi …
ここのページだと命題、補題はそれぞれすでに証明されたもので、
定理との違いは単に重要性だけだと書かれているのですが、
http://dolphin.c.u-tokyo.ac.jp/~nhoribe4/pukiwik …
こちらのページでは、命題、補題はまだ証明されておらず、単なる著者の主張だ、と書かれています。
これってどちらが正しいのでしょうか?
No.5ベストアンサー
- 回答日時:
「命題」は、阪大のページにある「広い意味での命題」が正解。
真偽が決まっている論理式のことを命題と言う。
偽であることが証明済みの論理式も、これに含まれる。
真偽が決まっていることと、証明できることの違いについては、
ゲーデルにでも訊いてみるか…
そのページの「狭い意味での命題」は、あまりにも頻発する
「命題」の誤用例。 コンビに店員の敬語のように、頻用される
ことで、半ば慣用となりつつある。 これを安易に認めるのは、
あまり教育的とは言えない。
(阪大より、明大のテキストを見たほうが良かったかも。)
「定理」「補題」は、どちらも本来、真であることが証明された
命題のこと。 たまに、未証明の予想を「定理」とか「補題」とか
呼んでしまうことがあるので、あくまで「本来は」の話。
歴史的な名称には、この辺が曖昧なものも多い。
「補題」は、両ページにあるように、「補助定理」という意味で、
「定理」とあまり違わないが、「定理」と「補題」の使い分けは、
その定理が有名になった論文中で補助定理として扱われていたか
どうかによる。 重要性の違い…というのは、微妙にズレている。
結論の定理より、途中の補題のほうが重要な論文など、ザラにある。
「系」は、オマケということ。「命題 3-1 は、命題 3 の系である。」
と言えば、命題 3 を定理として使えば、命題 3-1 を証明するのは
あまりにも簡単で、証明の本質部分は命題 3 の証明に尽きる
…という意味。 命題 3 が定理であれば、系も定理となる。
No.4
- 回答日時:
「命題」ってのは「真偽が判断できる」ものだけども
証明されてるものもあればそうでもないものもある.
「補題」ってのは,何か別のものを証明するための
途中経過になるぞという意味合いを含めた「命題」ってところ.
たいていは証明されている
「定理」というと,ほぼ間違いなく証明済み.
ただし,これらの使い分けはかなりいい加減というか,
歴史的経緯とかも絡んで適当になっているってのが実情.
それぞれの内容にかんがみて,判断するしかない.
だから「重要性だけの違い」というのもある意味正しい.
けど,わざわざ区別して
それぞれの言葉の定義がどーだこーだというのは
少なくとも数学的にはほとんど意味がない.
たとえば,集合論の一大定理に
「Zornの補題」というのがある.
これはものすごく重要な定理で,
現在数学の根幹にあるものだけども,
いろいろな定理の証明の重要な道具として使われることが
きわめて多いので「補題」なんて呼ばれているのだと思う.
けど,「定理」だって
ほかの定理を証明するのに使われる道具なんだから
ある意味「補題」でもある.
>「真偽が判別できる」というのは「証明可能である」ということとイコールで結ばれるのではないのでしょうか?
結ばれません.詳細は省きますが,ぶっちゃけた表現をすると
「証明可能ではない真の「命題」が存在する」という
定理があります(ゲーデルの不完全性定理(のちょっとした帰結)).
なお,このような場合は「命題」という表現が使われます.
命題には「真偽が確定する」という意味があるからです.
ちなみに
「Claim」とか「Assertion」という訳すなら
「主張」という語もあります.
証明の途中段階で,あとで使うから「ひとまず証明したい」という
内容を明示するのに使われることがあります.
ある意味「証明内の補題」というような感じです.
ややこしいことに「Claim」とか「Assertion」は
証明はでいないけどもきっと成り立つだろうみたいな意味合いで
使われることもありますが,そういう「希望」的な意味があって
なおかつ,それが成り立つと意義があるだろうという場合には
もっとはっきり「Conjecture」(予想)という表現も使われます.
No.3
- 回答日時:
>証明されていないものも命題と呼んで良いのですか?
そもそも本来の命題の意味は、意味に不明瞭(曖昧)な点がない文章という意味(あるいは真偽が判別できる文章とも言う)なので、当然証明されていないものも命題と呼んでいいです。
授業や問題集などで、定理の名前がついていないものを代わりに命題ということはあるかもしれませんが
回答ありがとうございます。
でも「真偽が判別できる」というのは「証明可能である」ということとイコールで結ばれるのではないのでしょうか?
証明できもしないのに、正しいかどうかは分からないと思うのですが・・・。もしかすると一見正しいように見えて間違えているかも知れませんよ。
No.2
- 回答日時:
「命題」を使う文脈にもよるな. たとえば, 「定理」「補題」「命題」と並べれば普通は「正しいと証明されたもの」と考えそうだけど, 一方で「命題論理」では「真偽が判断できるもの」をすべて「命題」と呼んでる. だから, 前者の意味では「命題は既に正しいと証明されている」(あるいは証明できる) ものであるのに対し, 後者では「真偽が理論上判断出来さえすれば証明は不要」(どころか「正しくないという証明」があったり「正しいかどうかの証明が存在しない」ということすらありうる) ということだ.
ちなみに, 前者の意味で「命題」を使うなら, まだ証明されていない「主張」はきちんと区別して「主張」(claim) というのが普通だと思う.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学 ドモルガンの法則につ...
-
命題を証明せよとはどういう意...
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数を文字置き→互いに素な整...
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
a,bが有理数として√6が無理数を...
-
数学B漸化式です。 a1=1/5, an+...
-
青チャートに、「命題p⇒qの否定...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
ウェイソン選択課題について悩...
-
数学で出てくる十分性と必要性...
-
高校数学です!m,nを整数とする...
おすすめ情報