- ベストアンサー
交換、結合法則の証明(自然数の和)
自然数の和で、交換・結合法則が成り立つことはそれぞれどのように証明できるのでしょうか？考えてみたのですが、私には「明らか」としか思えません。 気になるので、どうしたら証明できるのかを教えていただきたいです。 よろしくお願いします。
- みんなの回答 （5）
- 専門家の回答
質問者が選んだベストアンサー
実数論からはじめると公理になっているので証明する必要がないと思いますが、ペアノの公理系から始めると数学的帰納法を使って証明するんだと思います.
その他の回答 (4)
- yumisamisiidesu
- ベストアンサー率25% (59/236)
今、ペアノの公理系を習ってるんだったら時期にNやZ,Qも学習してそれらの結合、交換法則も習うと思います だから、今やっている所が関わってきます.
お礼
回答ありがとうございます。 なるほど。今後授業で扱う可能性もあるんですね。難しい数学の授業はあまり好きじゃないんですが、ちょっと楽しみになりました。
- jmh
- ベストアンサー率23% (71/304)
> 「明らか」としか思えません。 > 思えないですけど。 「明らか」とは、どういう意味ですか？
お礼
残念ながら、特別に考えたことがあって、数学的に「明らか」と考えたわけではありません。 ただ、これまで a+b=b+a は当然の事と思ってきたので「明らか」と表現してしまいました。 「『当然』としか思えません」と表現するのが正解でした。すみませんでした。 回答ありがとうございました。
- endlessriver
- ベストアンサー率31% (218/696)
自然数論を調査して下さい。 私には理解できませんが下記のサイトで概略が？
お礼
回答ありがとうございます。 自然数論ですが・・・難しそうな事だけは確かですね。 でも載せていただいたサイトは、非常に参考になりそうです。ありがとうございます。
- kabaokaba
- ベストアンサー率51% (724/1416)
恐ろしく複雑なので 考えてどうこうというレベルの話ではないです まず。。 （１）自然数とは何か？ という問題があって・・・ それを考えるには （０）集合とは何か？ なんてのがあったりして。。。 さらに（１）が解決したとして （２）加法という演算の定義は？ とか。。。 もし本当に興味があるならば 「数学基礎論」とか「ペアノの公理系」とかで 調べると糸口があるかもしれません． 過去にも似たような議論がここでもあったはずなので 検索してみると見つかるかもしれません ＃なかなか侃々諤々で有益な議論だったようですが ＃それなりに難解なうえ， ＃なぜか途中で運営側に削除されてるような部分が ＃あって議論が追いにくいのですが。。。
お礼
すばやい回答をありがとうございます。 どうやら、私にはとても理解できないレベルなようですね。 検索もしてみましたが、今のところ見つかりません・・・
お礼
回答ありがとうございます。 大学で、ちょうどペアノの公理を学んでいる所なので、帰納法で考えてみたいと思います。 大変参考になりました。ありがとうございます。