No.2ベストアンサー
- 回答日時:
全自然数の集合N
をペアノの公理によって定義する
自然数の加法(+)を
1+1=1+=2
a+(b+)=(a+)+b=(a+b)+
と定義する
自然数の乗法(*)を
1*a=a*1=a
a*(b+)=ab+a
(a+)*b=ab+b
と定義する
(a,b)∈N×Nに対して
[a,b]={(x,y)∈N×N|x+b=a+y}と定義して
全整数の集合Zを
Z={[a,b]|(a,b)∈N×N}
と定義する
整数の加法(+)を
[a,b]+[c,d]=[a+c,b+d]
と定義する
Zは(+)に関して可換群になる
整数の乗法(*)を
[a,b]*[c,d]=[ac+bd,ad+bc]
定義する
(Z,+,*)は環になる
(a,b)∈Z×Nに対して
[a,b]={(x,y)∈Z×N|ay=bx}と定義して
全有理数の集合Qを
Q={[a,b]|(a,b)∈Z×N}
と定義する
有理数の加法(+)を
[a,b]+[c,d]=[ad+bc,bd]
と定義する
Qは(+)に関して可換群になる
有理数の乗法(*)を
[a,b]*[c,d]=[ac,bd]
と定義する
Q-{0}は(*)に関して可換群になる
(Q,+,*)は体になる
A=(有理数のコーシー列の集合)とする
f∈A
g∈A
に対して
lim{n→∞}|f(n)-g(n)|=0のとき
f~g
と同値関係~を定義する
[f]={g∈A|g~f}とする
全実数の集合R
を
R={[f]|f∈A}
と定義する
実数の加法(+)を
[f]+[g]=[f+g]
と定義する
Rは(+)に関して可換群になる
実数の乗法(*)を
[f]*[g]=[fg]
と定義する
R-{0}は(*)に関して可換群になる
(R,+,*)は体になる
確かに整数を定義する前に自然数の乗法を定義しないと行けなかったですね。
この流れが一番キレイそうですね!
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 教科書が書き換わりますか 10 2023/06/15 18:58
- 数学 すべての自然数とすべての実数を1対1で対応させる(すべての実数を一列に並べる)方法について 3 2023/05/26 17:14
- 数学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 2 2022/06/28 16:28
- 教育学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 1 2022/06/28 16:26
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 対角線論法の疑問 4 2023/11/23 12:27
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 文字と式が全然分かりません ・乗法や除法を省いて書く ・数字を文字の前に書く ・数字が1の場合は省い 7 2023/04/12 12:25
- 物理学 物理について 地球 宇宙 物理学 太陽質量を M⊙ と置き、太陽の周りを公転する惑星の軌道長半径を 2 2023/10/03 22:13
このQ&Aを見た人はこんなQ&Aも見ています
-
性格の違いは生まれた順番で決まる?長男長女・中間子・末っ子・一人っ子の性格の傾向
同じ環境で生まれ育っても、生まれ順で性格は違うものなのだろうか。家庭教育研究家の田宮由美さんに教えてもらった。
-
2乗を平方。3乗を立方。それじゃあ、4乗はなんなんだろうと最近よく考えてます。 それだけです笑
数学
-
普通ですか?
数学
-
もしかして
数学
-
-
4
この問題の答えなのですが、関数電卓でいくら計算しても答えが0.0097になってしまうのですが、正しい
数学
-
5
循環小数を分数にする方法
数学
-
6
複素数の問題で質問があります
数学
-
7
不完全定理により、「ある命題が証明も否定もできなかったら、真理である場合がある。」と解釈してよろしい
数学
-
8
イプシロンデルタ論法の定義についてですが、写真の青線部がわからないです。 0<を除いて|x-a|<δ
数学
-
9
√2の値の計算方法を教えてください。連分数以外の方法でお願いします。
数学
-
10
自然定数を底にしたときの、log(π) の 手計算での値は
数学
-
11
【論理演算子?】AND、OR、XORは知っていますがNADって何ですか?
数学
-
12
おしえてgooに図形の問題を投稿したら、削除されました。なぜでしょう?
数学
-
13
数学II 次の不等式が表す領域を図示せよ y≦1-x^2 どうなりますか?分かりません。お願いします
数学
-
14
二項定理の応用計算について。
数学
-
15
わかりませんでした。
数学
-
16
高校数学についてです。 三角関数の問題で、例えばcosθ=1/3のとき三角関数でsin*2θ+cos
数学
-
17
続・対数積分について
数学
-
18
数Ⅰの問題について教えてください 2番の問題の最後の行なのですが、(b+3c)^2は左二つの項から(
数学
-
19
新高一です。 数1の因数分解が全く分からず困っています。中学校の内容が理解出来ていないのかと思い、復
数学
-
20
ほかの解法を考えてみてください。
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
「互いに素」の定義…「1と2は互...
-
無限から無限を引いたら何にな...
-
「logx^2=2logx」が間違って...
-
最大元と極大元の定義の違いが...
-
ヘシアンが0の場合どうやって極...
-
p⇒q=(¬p)∨qについて
-
交渉ゲーム、交渉の不一致点
-
eの0乗は1ってどういう原理です...
-
正方行列ではない行列にも行列...
-
べき乗
-
“半日”って何時間のことなんで...
-
1未満と1以下の違い
-
なんJやVIPで最近よく見かける...
-
直和分解とは? 同値関係、同値類
-
定義付けできない言葉について
-
P(A∩B)=PA(B)×P(A) に何故なる...
-
2進数の符号ビットの入った数...
-
複雑な家庭とは
-
代数の巡回群の問題です。
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
「logx^2=2logx」が間違って...
-
無限から無限を引いたら何にな...
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
ヘシアンが0の場合どうやって極...
-
ユーザー定義関数をアドイン登...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
なぜ、直角三角形ではないのにs...
-
p⇒q=(¬p)∨qについて
-
lim n→0 =n=0となりますが lim ...
-
マイナス7は素数ですか?
-
複雑な家庭とは
-
日本語 ことば ひとまわり ふた...
-
正方行列ではない行列にも行列...
-
偏微分方程式って
おすすめ情報