この記事はhydrogen Advent Calender 2024の20日目の記事です。
同値関係と商集合
まず、集合A上の関係R⊂A×Aが同値関係であるとは、次の3条件を満たすことを言う。
- 反射律: ∀x∈A,xRx
- 対称律: ∀x,y∈A,xRy⇒yRx
- 推移律: ∀x,y,z∈A,xRy∧yRz⇒xRz
この同値関係Rを用いて、集合AをRで区分けすることができる。x∈Aに対して、Rによる同値類[x]を次のように定める。
[x]:={y∈A∣xRy}
すると同値類について以下の性質が成り立つ。
- ∀x,y∈A,[x]=[y]∨[x]∩[y]=∅
- ∀x∈A,∀a,b∈[x],[a]=[b]
また、AはRによる同値類の集合{[x]∣x∈A}によって分割される。この同値類の集合を商集合といい、A/Rと書く。
この商集合を使うことで、自然数から整数、整数から有理数、実数から複素数などの構成が可能となる。
自然数自体はだいぶ前の記事で空集合と後者関数を用いて構成したので、整数も有理数も集合論上で構成することが出来たといえよう。
また、順序対(a,b)を(a,b):={{a},{a,b}}と定義することで、順番のない集合に順序を持たせることができる。これも定義に使う。
なお、自然数の構成をする際に0:=∅として0を含めて自然数を定義したので、この記事においては0∈Nとする。
整数Zの構成
整数は自然数N2上の同値関係を用いて構成することができる。同値関係∼sを次のように定める。
(a,b)∼s(c,d)⇔defa+d=b+c
これは、a−b=c−d⇔a+d=b+cという差が等しくなる条件を同値関係にしたものである。この同値関係∼sを用いて、整数はZ:=N2/∼sとして定義される。
すなわち、−1={(0,1),(1,2),(2,3),…}となるわけだ。また、整数には自然数も[(n,0)]として埋め込まれているので自然数の拡張としても利用することができる。
有理数Qの構成
有理数は整数Z×(Z\{0})上の同値関係∼dによる商集合として定義される。同値関係∼dは次のように定義される。
(a,b)∼d(c,d)⇔defad=bc
そして有理数はQ:=Z×(Z\{0})/∼dとして定義される。
この同値関係はba=dc⇔ad=bcという商が等しい条件を同値関係にしたものである。そのため、21={(1,2),(2,4),(3,6),(−1,−2),…}のようにして表されることが分かる。
同様にして、整数も1n=[(n,1)]として有理数に埋め込まれている。
また、定義を見てもらえれば分かるように、ゼロ除算は定義されない。上の定義において(0,0)を考えてみよう。
(0,0)∼d(a,b)⇔0b=0a⇔0=0∴∀a,b∈Z,(0,0)∼d(a,b)∴(1,2)∼d(0,0)∧(0,0)∼d(2,3)
となるので、∼dが推移律を満たしているならば(1,2)∼d(2,3)となる必要があるが、実際には成り立っていない。そのため、Z2で∼dを考えると同値関係にならず、商集合を構成することができないので、片方から0を取り除いたZ×(Z\{0})を考える必要がある。
実数Rの構成
実数の構成は有理数や整数の構成よりもはるかに複雑である。それもそのはず、∣R∣>∣Q∣であるから、単にQ2などを考えて商集合を取るだけでは実数全体を構成することはできない。ここで、次の事実が知られている。
∣R∣=∣QN∣
これは、実数の濃度が自然数から有理数への写像全体の濃度と等しいことを示している。この事実を用いて実数を構成する方法の一つとして、Cauchy列を用いる方法がある。
Cauchy列とは、次の性質を持つ数列{an∈Q}n=0∞のことである。
∀ε>0,∃N∈N,∀n,m≥N,∣an−am∣<ε
これは、十分に大きい領域では数列の値の変動が小さくなるという性質を表している。この性質を持つ数列全体の集合をCとする。
また、数列の極限を次のように定義する。
n→∞liman=α⇔def∀ε>0,∃N∈N,∀n≥N,∣an−α∣<ε
このとき、C上の同値関係∼cを次のように定義する。
{an}n=0∞∼c{bn}n=0∞⇔defn→∞lim(an−bn)=0
この同値関係による商集合R:=C/∼cが実数全体を表している。
Archimedesの原理は、一切言及していないが実は成立しているため、実数の性質は全て満たされている。これは、同値な命題limn→∞n1=0を証明することで確認できる。
∵ε=balet N>ab∴∀n≥N,∣an−0∣<ε∴n→∞limn1=0(∈Q)□
複素数Cの構成
ここまで来てしまえば、後はとても簡単である。
複素数は実数R2上に次のように加法+と乗法⋅を定義することで構成される。
(a,b)+(c,d):=(a+c,b+d)(a,b)⋅(c,d):=(ac−bd,ad+bc)
この演算によって、複素数体C:=(R,+,⋅)が定義される。この体は、実数体Rの代数閉方となっており、任意の多項式方程式に対して解を持つことが知られている。
そして、a+ib:=(a,b)と表すわけである。
ここまでの議論で、複素数までを集合論で扱うことができることが分かった。これによって、数学の基礎を集合論に置くことができるということが分かるだろう。