初等整数論/公理のソースを表示

{{Nav}}
本当に公理的に始めるのならばペアノの公理から始めるのだろうが、それでは普通の算術に辿り着くまでに時間がかかりすぎてしまうのでもっと分かりやすくしたものを使う。ここでは整数においての公理と共に述べる。

== 公理 ==
=== 加法の公理 ===
#<math>a + b = c</math> なる整数 <math>c</math> が存在する。
#任意の整数 <math>a, b</math> について <math>a + x = b</math> なる整数 <math>x</math> が存在する。
#数 <math>0</math> が存在して、任意の整数 <math>a</math> について <math>a + 0 = a.</math>
#<math>a = b \Rightarrow a + c = b + c.</math>
#<math>(a + b) + c = a + (b + c).</math>

'''定義''' : 
:公理の2番目から、<math>a + x = 0</math> なる <math>x</math> が存在する。これを、<math>-a</math> とかく。

=== 乗法の公理 ===
#<math>ab = c</math> なる整数 <math>c</math> が存在する。
#数 <math>1</math> が存在して、<math>a 1 = a</math>
#<math>ab = ba.</math>
#<math>(ab)c = a(bc).</math>
#<math>ac = bc \wedge c \neq 0 \Rightarrow a = b</math>

=== 加法と乗法の公理 ===
#<math>(a + b)c = ac + bc</math>

=== 順序の公理 ===
#<math>a > b \vee a = b \vee b > a.</math> ただし、<math>a > b</math> と <math>b > a</math> を同時に満たすことはあり得ない。また、<math>a > a</math> を満たす整数は存在しない。
#<math>1 > 0</math>
#<math>a > b \Rightarrow a + c > b + c.</math>
#<math>a > b \wedge c > 0 \Rightarrow ac > bc.</math>

'''定義'''
:<math>a > 0</math> を満たす整数を'''自然数'''と呼ぶ。
:<math>a > b \Leftrightarrow b < a</math>
:<math>a > b \vee a = b \Leftrightarrow b \leqq a</math>
:<math>a < b \vee a = b \Leftrightarrow b \geqq a</math>

=== 自然数の公理 ===
#自然数の部分集合には最小のものが存在する。
#上に有界な自然数の部分集合には必ず最大の数が存在し、それは無限集合ではない。
#自然数内で無限降下列は作れない。

==== 数学的帰納法・累積帰納法 ====
#<math>P(1) \wedge ( P(n) \Rightarrow P(n+1) ) </math> ならば、全ての自然数に対して <math>P</math> が成り立つ。ここで P は自然数に関する命題である。
# <math>P(a_0)</math> かつ、「全ての <math>a_0 < n < m</math> なる <math>n</math> で <math>P(n)</math> ならば <math>P(m)</math>」 が成り立つならば、全ての <math>a_0 \leqq a</math> なる <math>a</math> について <math>P(a).</math> ここで P は自然数に関する命題である。

=== アルキメデスの公理 ===
#任意の自然数 <math>a, b</math> に対して <math>an > b</math> を満たす自然数 <math>n</math> が必ず存在する。

== 公理からの基本事項 ==
負の数に負の数をかけると正の数になる、などの算術に関する法則はこれらの公理から演繹ができる。ここではそれを解説しない。興味のある読者に任せることとする。

{{Nav}}

[[Category:初等整数論|こうり]]