
A 回答 (6件)
- 最新から表示
- 回答順に表示
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) は成立しています。
確かに、ややこしくなりましたね。
No.5
- 回答日時:
ペアノの公理ってのは、一般によく知られている数の体系の中で自然数がどんなものであるかを定義するものではなく、何もないところに自然数を導入するために使われるのです。
そして、ペアノの公理の形にもよりますが出発点を0と書くこととし、0'、(0')'、((0')')'、…を1、2、3、…と書くと決めることで日常使用している数体系と同じ体系を作っていこうとしているわけです。
a'に何を割り当てるか、というのは決められているわけではないので、別の数字を当てはめると0.1、0.2、…などを自然数と呼ぶ数体系ができますし、それは今の数体系と(自然数の定義を除いて)同じ体系になると思われますが、ただややこしくなるだけです。
No.4
- 回答日時:
>(でもペアノの公理では任意の自然数aの後続数a'が存在するとしかいってないような・・・)
ペアノの公理の5番目の公理(数学的帰納法の原理)をどのように解釈していますか?
公理系によっても5番目の公理の表現方法が違っていますが、ある意味この5番目の公理がペアノの公理の重要な部分です。
これをきちんと理解していれば小数が自然数に含まれないことが分かるはずですが・・・
No.3
- 回答日時:
自然数って言うのは、
0、および自然数に1を足したものの集合、として定義されてます。
これは確かそういうはずだと思っていたので間違っていたらすみません。
小数は有限小数と無限小数あります。
基本的には整数以外の実数と表すことができるでしょう。
分数は循環小数か無限小数に変換可能ですからね(これも理屈で覚えてはいない)。
よって、負の小数は自然数ではない。なぜなら0に一を足しても負の数にはならないから。
正の小数はどうするかと言うと、そもそも正の整数と0が自然数なので、それを除いたものが小数なのだと思いつつ、
実数は1の整数倍と1未満の数の和で表すことができる。
1の整数倍は1を引いていけばいつかは0になる。
1未満の数から1を引いたら負の数になる。
よって0に1を足していったものである自然数には含まれない。
証明としてはこれではだめなのですが、まあ流れとしてはこれでいいのではないでしょうか。
自然数の定義というかペアノの定理みましたが、やはり0スタートでしたので、小数は条件を満たさないでしょう。
No.1
- 回答日時:
まずは「小数」を定義せねばならんよな。
補足にどうぞ。この回答への補足
そうですね、すみません。
http://ja.wikipedia.org/wiki/%E5%B0%8F%E6%95%B0
↑での小数と同じ意味だと思ってください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
ヘシアンが0の場合どうやって極...
-
1未満と1以下の違い
-
eの0乗は1ってどういう原理です...
-
「互いに素」の定義…「1と2は互...
-
p⇒q=(¬p)∨qについて
-
合法ロリの年齢的定義は、何歳...
-
日本語 ことば ひとまわり ふた...
-
無限から無限を引いたら何にな...
-
べき乗
-
1」は昔は素数だったそうです...
-
最大元と極大元の定義の違いが...
-
互いに素とは?
-
\\mathrmと\\rmの違いについて...
-
範囲内でのラプラス変換について
-
性暴力ってどこまでOK,どこから...
-
開球 凸集合 証明
-
数学の質問です loge 3=1.1に...
-
“半日”って何時間のことなんで...
-
行を入れ替えると行列式が-1倍...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
eの0乗は1ってどういう原理です...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
ヘシアンが0の場合どうやって極...
-
合法ロリの年齢的定義は、何歳...
-
「logx^2=2logx」が間違って...
-
「互いに素」の定義…「1と2は互...
-
性暴力ってどこまでOK,どこから...
-
5桁の整数nにおいて,万の位,...
-
日本語 ことば ひとまわり ふた...
-
「たて目」っていうのは要する...
-
同時(性)の定義の意味、そして...
-
1wordとは、何文字ですか?
-
なぜ、直角三角形ではないのにs...
-
e<3の証明を教えてください。
-
行を入れ替えると行列式が-1倍...
-
ユーザー定義関数をアドイン登...
おすすめ情報