No.7ベストアンサー
- 回答日時:
自然数の定義のしかたはいろいろで
ひとつの決定版があるわけではないけれど、
わりと広く受け入れられているのは
・自然数 0 がある。
・どの自然数 n にも、 n の「次の数」 n’ がある。
・0 以外の自然数 n には、 n の「前の数」、a’ = n となる a がある。
・a’ = 0 となる自然数 a はない。
・自然数 a, b について、 a’ = b’ ならば、a = b である。
・以上のルールで自然数だとされるものだけが、自然数である。
という定義です。 このルールを「ペアノの公理」といいます。
こうして定義された「自然数」に対して、足し算を
・どの自然数 a に対しても、 a + 0 = a.
・どの自然数 a, b に対しても、 a + b’ = a’ + b.
で定義するのが通常です。
1 は 0’ の略記、 2 は 1’ の略記として定義します。
以上の定義を用意すると、質問の式は
1 + 1 = 1 + 0’ = 1’ + 0 = 1’ = 2 と計算で示せます。
これが、議論がコンニャク問答にならないように
1 + 1 = 2 を証明する、たいへんよく知られた方法です。
無論、話の筋が通っていれば、これ以外の方法でもよいのですが、
これ以外となると、「1 + 1 = 2 が 2 の定義」とかの
なんちゃってな説明くらいしか見たことがありません。
記号が難しかったですか?
> それによって、回答はだいぶ違ってきます。
と書いたのは、そこんとこを気にしたからでした。
No.12
- 回答日時:
ああ、酷い誤字だ。
訂正します。
この関係を使って、0≦x であるような整数 x を
「自然数」と呼びます。
この定義のしかたでは、自然数が定義されたと同時に
「1 + 1」という式が意味を持っており、この式の値を
「2」と命名することに意味があります。このようにすれば、
「1 + 1 = 2 は定義である」と言ってもよいでしょう。
No.11
- 回答日時:
1 + 1 = 2 のほうを、なんちゃってじゃなく
きちんとやってみましょうか。 話の内容は、
こちらのほうがペアノ流よりもやや高度になります。
代数学の基本的な道具に「環」というものがあります。
環の定義から詳細に書くのは字数が足りないので、
そこは本を読んでください。足し算と掛け算が普通に
できる環境が環だと思えば概ねあたっています。環では
足し算,掛け算に付随して、0 と 1 も定義されています。
環といっても実にいろいろな例がありますが、その中で
1 を n 回足したら和が 0 になるものを「標数 n」,
1 を何回足しても和が 0 にはならないものは「標数 0」
であるといいます。 標数 0 の単位元を持つ可換環の全てに
共通な部分環が存在することが知られており、その環を
「有理整数環」と呼びます。 平素「整数」と呼んでいるのは、
この環とその元のことです。
整数の上に、以下のように関係「≦」を定義します。
・0≦1 である。
・どの整数 x についても、x≦x が成り立つ。
・a≦b, x≦y であれば、a+x≦b+y が成り立つ。
この関係を使って、0≦x であるような整数 x を
「有理数」と呼びます。
この定義のしかたでは、有理数が定義されたと同時に
「1 + 1」という式が意味を持っており、この式の値を
「2」と命名することに意味があります。このようにすれば、
「1 + 1 = 2 は定義である」と言ってもよいでしょう。
No.5
- 回答日時:
No.4
- 回答日時:
まあ、みなさんが言う通り、これは自然数に関する定義なので、定義に従って証明するのは、それなりに手間がかかります。
が一番わかりやすいかな・・・
でも、難しいと思いますよ。
No.3
- 回答日時:
1に1と足すことを続ければ、それが1、2、3、4、…と言うようになります。
つまり、1+1=2、2+1=3、3+1=4、…となります。
これは単なる数とそれを表す記号との関係を「決まり事」としているだけです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分かる方教えてください。 4 2022/05/21 19:37
- その他(法律) 事業所の義務 6 2023/04/15 03:18
- 飲食店・レストラン 京都ラーメンの第一旭の味をひと言で教えてください。 食べたことがない人にひと言で簡単に味を説明すると 2 2023/06/25 20:18
- 戸籍・住民票・身分証明書 マイナンバーカードの更新について教えてくださいな マイナンバーカード更新の時期が来たので携帯で済ませ 2 2023/07/31 01:47
- その他(ネットショッピング・通販・ECサイト) メールアドレスは自分のもの、電話番号は他人のものを使用して、サイトの会員登録などでSMS認証した場合 6 2022/04/06 09:44
- その他(悩み相談・人生相談) ジェンダー、フェミニズムの意味を簡単に分かりやすく教えてください。 2 2022/11/05 10:56
- 運転免許・教習所 至急 本免についてです。 https://www.police.pref.miyagi.jp/men 2 2022/03/23 22:18
- 運転免許・教習所 本免についてです。 https://www.police.pref.miyagi.jp/menkyo 1 2022/03/24 06:01
- 数学 『4色問題⓵』 9 2022/10/24 06:54
- 数学 シュワルツの定理の証明がわからないです。 ①→②、②→③、③→④で何をどうているのか詳しく説明してく 1 2022/04/13 07:35
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
Excelファイルの「数式」タブ→...
-
p⇒q=(¬p)∨qについて
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
変数の宣言の名称を教えてくだ...
-
e<3の証明を教えてください。
-
数字の1とは何なのか?
-
交換法則が成り立って、結合法...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
フーリエ級数展開の初項はなぜa...
-
線形代数の部分空間の証明について
-
なぜ、直角三角形ではないのにs...
-
マイナス7は素数ですか?
-
方程式の記号で左右の辺を繋ぐ...
-
ノルム空間
-
1wordとは、何文字ですか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報