A 回答 (6件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
まずは「小数」を定義せねばならんよな。
補足にどうぞ。この回答への補足
そうですね、すみません。
http://ja.wikipedia.org/wiki/%E5%B0%8F%E6%95%B0
↑での小数と同じ意味だと思ってください。
No.3
- 回答日時:
自然数って言うのは、
0、および自然数に1を足したものの集合、として定義されてます。
これは確かそういうはずだと思っていたので間違っていたらすみません。
小数は有限小数と無限小数あります。
基本的には整数以外の実数と表すことができるでしょう。
分数は循環小数か無限小数に変換可能ですからね(これも理屈で覚えてはいない)。
よって、負の小数は自然数ではない。なぜなら0に一を足しても負の数にはならないから。
正の小数はどうするかと言うと、そもそも正の整数と0が自然数なので、それを除いたものが小数なのだと思いつつ、
実数は1の整数倍と1未満の数の和で表すことができる。
1の整数倍は1を引いていけばいつかは0になる。
1未満の数から1を引いたら負の数になる。
よって0に1を足していったものである自然数には含まれない。
証明としてはこれではだめなのですが、まあ流れとしてはこれでいいのではないでしょうか。
自然数の定義というかペアノの定理みましたが、やはり0スタートでしたので、小数は条件を満たさないでしょう。
No.4
- 回答日時:
>(でもペアノの公理では任意の自然数aの後続数a'が存在するとしかいってないような・・・)
ペアノの公理の5番目の公理(数学的帰納法の原理)をどのように解釈していますか?
公理系によっても5番目の公理の表現方法が違っていますが、ある意味この5番目の公理がペアノの公理の重要な部分です。
これをきちんと理解していれば小数が自然数に含まれないことが分かるはずですが・・・
No.5
- 回答日時:
ペアノの公理ってのは、一般によく知られている数の体系の中で自然数がどんなものであるかを定義するものではなく、何もないところに自然数を導入するために使われるのです。
そして、ペアノの公理の形にもよりますが出発点を0と書くこととし、0'、(0')'、((0')')'、…を1、2、3、…と書くと決めることで日常使用している数体系と同じ体系を作っていこうとしているわけです。
a'に何を割り当てるか、というのは決められているわけではないので、別の数字を当てはめると0.1、0.2、…などを自然数と呼ぶ数体系ができますし、それは今の数体系と(自然数の定義を除いて)同じ体系になると思われますが、ただややこしくなるだけです。
No.6
- 回答日時:
> 自然数aの後続数をa'とすると、a'=a+1とでも定義されているのでしょうか?
その通りです。
ペアノ自然数論上で、足し算は、
a + 1 = a'
a + b' = (a + 1) + b
で定義するのが通常です。
例えば、実数論の上にペアノ自然数のモデルを作って、
ペアノ 0 = 実数 1,
ペアノ a' = (実数 π) + (実数 e)×(ペアノ a)
のように定義することもできます。
この場合、
ペアノ 1 = 実数 π + e,
ペアノ 2 = 実数 π + πe + e^2
などとなって、
(ペアノ 1) [実数の +] (ペアノ 1) = (ペアノ 2) は成立しませんが、
上記の意味で、
(ペアノ 1) [ペアノの +] (ペアノ 1) = (ペアノ 2) は成立しています。
確かに、ややこしくなりましたね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 大学受験 至急! 数学 整数 なぜ3以上にならないのですか? 3 2023/01/29 12:47
- 数学 『最後の自然数はどんな数か』 3 2023/06/26 20:38
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 フェルマーの最終定理ではない。 2 2023/04/22 20:48
- 数学 教科書が書き換わりますか 10 2023/06/15 18:58
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 『数は実在するのか』 6 2023/06/04 15:15
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
無限から無限を引いたら何にな...
-
皆さん定義を教えてください 「...
-
1未満と1以下の違い
-
ACCESS VBAでインポート定義の場所
-
eの0乗は1ってどういう原理です...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
ACCESS IIF関数 複数条件の設...
-
なぜ、直角三角形ではないのにs...
-
Excelファイルの「数式」タブ→...
-
0^1(0の1乗)はいくつでしょ...
-
-2は2の倍数ですか?
-
日本語 ことば ひとまわり ふた...
-
「互いに素」の定義…「1と2は互...
-
正方行列ではない行列にも行列...
-
e<3の証明を教えてください。
-
2変数関数の極値について
-
なぜ小数は自然数ではないので...
-
ノルム空間
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
理論物理学でよく用いられる地...
-
(-1) ^2πってなんで1じゃないん...
-
ACCESS VBAでインポート定義の場所
-
変数の宣言の名称を教えてくだ...
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
質問の定義が分からないので確...
-
なぜ、直角三角形ではないのにs...
-
min関数 一橋大学過去問
-
質問の定義が分からないので確...
-
ヘシアンが0の場合どうやって極...
-
excel vba 名前付きセルが存在...
-
数字の1とは何なのか?
-
マイナス7は素数ですか?
-
「logx^2=2logx」が間違って...
おすすめ情報