No.3ベストアンサー
- 回答日時:
*)すくなくとも私は「理解してもらいたい」との思いで回答しています。
レポート等へ丸写しして提出するようなことのないよう希望しています。
その意味で理解できたところ、分かりにくかったところなど補足して
もらえたらうれしく思います。
先問と同様、後継関数はsを用います。
大小の定義は、∃c、a+c=b ⇔ a<b でOKですよね。
加法の定義は、
・a+1=s(a)
・a+s(b)=s(a+b) でOKですよね。
(大きな方針)
aに関して数学的帰納法でしめしましょう。
a<bまたは、a=bまたは,b<a が成り立つとき
・少なくとも、s(a)<bまたは、s(a)=bまたは,b<s(a) が成り立つ。
・a<b、a=b,b<a の2つ以上が同時に成立することはない
の2段階に分けて示しましょう。
--
既知の定理として次を利用します。
・交換則(可換性) a+b=b+a
・結合則 (a+b)+c=a+(b+c)
・後継関数sの逆像の存在 c≠1 ⇒ ∃c’,s(c’)=c
(これは数学的帰納法の公理から容易に示せますよね)
これらは証明済みとします。
--
1)a=1のとき。
1-1)b=1なら a=bが成り立つ。
1-2)b≠1なら ∃c、s(c)=b
1+c
=c+1 ・・・可換だから
=s(c) ・・・加法の定義
=b
すなわち 1+c=b なので 1<b
以上より、a=1ならばa=bまたはa<bのいずれかが成り立つ。
2)aに関して、a<bまたは、a=bまたは,b<a が成り立つと仮定する。
2-1)a<bが成り立つとき
∃c、a+c=b
2-1-1)c=1のとき
a+1=b より
s(a)=b が成り立つ
2-1-2)c≠1のとき
∃c’、s(c’)=C
s(a)+c’
=c’+s(a) ・・・可換だから
=s(c’+a) ・・・加法の定義
=s(a+c’) ・・・可換だから
=a+s(c’) ・・・加法の定義
=a+c
=b より、s(a)+c’=b すなわちs(a)<b が成り立つ
2-2)a=bが成り立つとき
s(a)
=a+1
=b+1 より b<s(a) が成り立つ
2-3)b<aが成り立つとき
∃c、b+c=a
s(a)
=a+1
=(b+c)+1
=b+(c+1)
=b+s(c) より s(a)=b+s(c) すなわち b<s(a) が成り立つ
以上より、a<bまたは、a=bまたは,b<a が成り立つとき
s(a)<bまたは、s(a)=bまたは,b<s(a) が成り立つ
3)a<b、a=b,b<a が同時に成り立たないこと
3-1)a<b かつ a=b とすると
a<bから∃c、a+c=b より
a+c=a
一方任意のxについて a+x≠a (先問参照)より矛盾。従ってa<bかつa=bとはならない。
3-2)b<a かつ a=b も同様に成り立たない。
3-3)a<b かつ b<a とすると
∃c、a+c=b
∃d、b+d=a
a
=b+d
=(a+c)+d
=a+(c+d) ・・・・結合則
一方任意のxについて a+x≠a (先問参照)より矛盾。従ってa<bかつb<aとはならない。
この回答へのお礼
お礼日時:2010/04/21 19:28
また私の質問に答えてくださりありがとうございました。a<b,b<a,a=bがただ一つ成り立つという所を、必ずこの条件のうちのどれかが成り立ち、同時には成り立たないと考えれば良かったんですね。あと、矛盾を導くことも証明ではやはり大事なんですね。長い回答していただきありがとうございます。
No.4
- 回答日時:
前言を反省して、自然数の定義に依らない証明 :
順序関係 a≦b が与えられたとき、派生して、
a≧b ⇔ b≦a,
a=b ⇔ (a≦b かつ a≧b),
a≠b ⇔ (a=b でない),
a<b ⇔ (a≦b かつ a≠b),
a>b ⇔ (a>b かつ a≠b)
にて、諸関係を定義する。
定義により、a<b, a=b, a>b が
重複して成立しないことは自明。
もとの a≦b が全順序であれば、
三つのうちのどれかは成立する。
No.1
- 回答日時:
このような導き方はいかがでしょうか。
自然数a,bがともに1以下のとき、a<b,b<a,a=bのうち、ただ一つが成り立つ
自然数a,bがともにk以下のとき、a<b,b<a,a=bのうち、ただ一つが成り立つと仮定する。
さて、自然数a,bについて、自然数a,bがともに(k+1)以下とする。
・自然数a,bは、ともに(k+1)と等しい
・自然数a,bは、ともに(k)以下である
・自然数aは、(k+1)と等しく、自然数bは、(k)以下である
・自然数bは、(k+1)と等しく、自然数aは、(k)以下である
自然数a,bは上記のいずれかであるから、
(中略)
自然数a,bがともに(k+1)以下のとき、a<b,b<a,a=bのうち、ただ一つが成り立つといえる。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
定義付けできない言葉について
-
「互いに素」の定義…「1と2は互...
-
複雑な家庭とは
-
数学の両辺2乗と√について教え...
-
1wordとは、何文字ですか?
-
1未満と1以下の違い
-
「logx^2=2logx」が間違って...
-
ACCESS VBAでインポート定義の場所
-
単調増加、単調減少の x の範囲
-
エクセルVBA 「名前の定義」に...
-
点と線について
-
p⇒q=(¬p)∨qについて
-
Access 2013 でADOがうまく使え...
-
三角関数(たとえばf(x)=sinxと...
-
中学数学”平方根”
-
Σ[k=0,n](x^k)/(k!)
-
lim n→0 =n=0となりますが lim ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報