数体系の拡張：演算の非閉包性の手がかり

数学における数体系は、単純なものから複雑なものへの拡張の過程を経てきました。実際の必要性や演算の非閉包性のために数学的問題が生じ、その結果、数体系の拡張が起こりました。

graph TD
    %% === 主干数系演进 ===
    A(自然数) -->|"減法非閉包"| B(整数)
    B -->|"除法非閉包"| C(有理数)
    C -->|"開方非閉包"| D(実数)
    D -->|"負数の開方非閉包"| E(複素数)

    %% 自然数对加法、乘法封闭
    A -.-> M[加法、乗法閉包]

    %% 整数子类
    B --> L[正整数、零、負整数]

    %% 有理数子类
    C --> F[分数形式]
    C --> G[有限小数]
    C --> H[無限循環小数]

    %% 实数子类
    D --> I[無理数]

    %% 复数子类
    E --> J[実数部分]
    E --> K[虚数部分]

    %% 样式定义（可选）
    classDef mainNode fill:#FCE7F3,stroke:#DB2777,stroke-width:2px,color:#831843
    classDef subNode fill:#FDF4FF,stroke:#9D174D,stroke-width:1px,color:#86198F
    classDef noteNode fill:#FFF7ED,stroke:#F97316,stroke-dasharray: 5 5,color:#C2410C

    %% 为具体节点分配样式
    class A,B,C,D,E mainNode
    class L,F,G,H,I,J,K subNode
    class M noteNode

• 自然数 $\mathbb{N}$：加法、乗法に閉じているが、減法、除法には閉じていない
• 整数 $\mathbb{Z}$：加法、減法、乗法に閉じているが、除法には閉じていない
• 有理数 $\mathbb{Q}$：加法、減法、乗法、除法（ゼロを除く）に閉じているが、開方には閉じていない
• 実数 $\mathbb{R}$：無理数を収容し、ほとんどの根号演算（非負数の開方）を扱えるが、負数の開方は依然として解なし
• 複素数 $\mathbb{C}$：$i$を導入し、負数の開方の問題を完全に解決。加減乗除などのより高度な演算に対しても閉じている

最初の自然計数に使われた「自然数」から出発し、「どれだけ少ないか」「どれだけ不足しているか」を表すために負数を導入して「整数」を形成；さらに「除法」に解を持たせるために分数を導入して「有理数」を形成；その後、数直線上に全ての可能な無限小数を収容するために「無理数」を加えて「実数」を形成；最後に負数の開方を扱うために「虚数単位」$i$を追加して「複素数」を形成した。

演算の閉包性

演算の閉包性は代数系における基本的で重要な概念です。これは、ある集合が特定の演算のもとで結果の帰属を保つかどうかを記述します。具体的には、集合の要素に対してある演算を行った結果が依然として元の集合に属する場合、その集合はその演算に関して閉じていると言います。

数学的定義

$S$を空でない集合とし、$\circ$を$S$上の二項演算とする。以下を満たすとき：

$$\forall a,b \in S,\quad a \circ b \in S$$

集合$S$は演算$\circ$に関して閉じているという。そうでない場合、その演算は閉じていないという。

自然数 $\mathbb{N}$

含まれる数は？
通常は

$$\mathbb{N} = \{\,1, 2, 3, \dots\},$$

時には$0$も含め、$\{\,0, 1, 2, \dots\}$と表記する。$0$を含むかどうかに関わらず、自然数には負数や小数は現れない。

代表的な部分集合 / 表記

• $0$を含む場合：$\mathbb{N}_0$ または $\mathbb{N}\cup\{0\}$ がよく使われる
• $0$を含まない場合：そのまま $\mathbb{N}$

演算と閉包性

• 加法、乗法：閉じている
  • 例：$3 + 5 = 8$ は $\mathbb{N}$ にあり、$3 \times 5 = 15$ も $\mathbb{N}$ にある
• 減法、除法：閉じていない
  • 例：$3 - 5 = -2$ は $\mathbb{N}$ になく、$1 \div 2 = 0.5$ も $\mathbb{N}$ にない

自然数で「いくつ少ない」「いくら不足している」または「半切れのケーキ」を表現できないため、負数（およびゼロ）を導入し、整数を形成した。

整数 $\mathbb{Z}$

含まれる数は？

$$\mathbb{Z} = \{\dots, -2, -1, 0, 1, 2, \dots\}.$$

自然数の正の部分、ゼロ、負数をすべて含め、「どれだけ超過/不足」の問題を扱いやすくする。

代表的な部分集合 / 表記

• 正整数：$\{1, 2, 3, \dots\}$
• 負整数：$\{\dots, -3, -2, -1\}$
• ゼロ：$\{0\}$

演算と閉包性

• 加法、減法、乗法：閉じている
  • 例：$(-3) + 1 = -2$、$(-3) - 1 = -4$、$(-2) \times 3 = -6$ はいずれも整数
• 除法：閉じていない
  • 例：$1 \div 2 = 0.5$ は $\mathbb{Z}$ にない

整数は除法に対して依然として閉じていない（$0.5$などの分数を表現できない）ため、分数を導入して有理数に拡張する。

有理数 $\mathbb{Q}$

含まれる数は？

$$\mathbb{Q} = \left\{\frac{p}{q}\ \middle|\ p,q \in \mathbb{Z},\,q \neq 0\right\}.$$

分数形式で書けるすべての数、すなわち分子と分母が整数で分母がゼロでない数。

代表的な形式 / 部分集合

• 分数形式：例 $\tfrac{3}{4}$、$\tfrac{-7}{2}$、$\tfrac{1}{3}$
• 有限小数：例 $1.25, 0.5$（$\tfrac{5}{4}$、$\tfrac12$ と見なせる）
• 無限循環小数：例 $0.\overline{3} = \tfrac13$、$1.1\overline{6} = \tfrac76$

演算と閉包性

• 加、減、乗、除（除数が$0$でない）：閉じている
• 開方：閉じていない
  • 例：$\sqrt{2}$ はどの分数にも属さないため、$\mathbb{Q}$ 内にない

そこで、数直線上に $\sqrt{2}, \sqrt{3}, \pi, e$ などの「無理数」を収容するために、実数に拡張し、数直線を埋めた。

実数 $\mathbb{R}$

含まれる数は？

$$\mathbb{R} = \mathbb{Q} \ \cup \ \{\text{無理数}\}.$$

すべての有理数と無理数（小数形式が無限非循環）を合わせると、数直線上のすべての点を「埋め」尽くす。

代表的な部分集合 / 表記

• 無理数：例 $\sqrt{2}$、$\sqrt{3}$、$\pi$、$e$
• 有理数：前述の分数とその等価な小数形式

演算と閉包性

• 加、減、乗、除（除数が$0$でない）：閉じている
• 開方（非負数に対して）：閉じている
  • 例：$\sqrt{2}, \sqrt{3}$ などはすべて $\mathbb{R}$ にある
• 負数の偶数乗根（例 $\sqrt{-1}$）は依然として実数の範囲にない

そこで、$\sqrt{-1}$ などの問題を扱うために虚数を導入し、複素数の領域に入る。

複素数 $\mathbb{C}$

含まれる数は？

$$\mathbb{C} = \{\,a + b\,i \mid a,b \in \mathbb{R},\,i^2=-1\}.$$

ここで、$a$を実部、$b$を虚部と呼ぶ。$b=0$なら純粋な実数に退化し、$a=0$かつ$b \neq 0$なら純虚数である。

演算と閉包性

• 加減乗除：すべて閉じている
  • 例：$(a+bi)+(c+di)=(a+c)+(b+d)i$
  • 例：$(a+bi)\times(c+di)=(ac-bd)+(ad+bc)i$
• 負数の開方：複素数の範囲で存在可能
  • 例：$\sqrt{-1} = i$、$\sqrt{-4}=2i$ など

複素数は高等数学、物理学、工学で非常に重要であり、例えば回路解析におけるインピーダンスはしばしば $R + jX$（工学では $\sqrt{-1}$ を $j$ で表す）と書かれ、典型的な複素数の応用である。

より高いレベルでは、四元数、超複素数、超実数、および様々な抽象代数構造が存在するが、その本質的な考え方は「本来閉じていない演算に居場所を与える」という出発点から逸れていない。まさにこの「要求駆動」の主線が、数の家族を最初の自然数から今日の豊かな数学の世界へと絶えず進化させてきたのである。