複素数の「定義」を巡る序章～「わかる」って本当は難しいこと

皆さん、こんにちは。
HSP×アンチ東大主義の、＠おはようございますです。

今日も『大学への数学　B』（研文書院、通称：黒大数）を取り上げます。

1. 教科書間の「静かなる相違」

　しかし、『新数学　Plus Elite 数学Ⅱ・B』や『Focus Gold 数学Ⅱ＋B』では、これは「定義」としての導入ではなく、背理法などを用いて「証明」できる「定理」としての扱いです。
　ここに、数学教育界における密かな、しかし決定的な論争があります。数学者・長岡亮介氏はその著書『数学の二つの心』において、「これは定義であるのだから、証明することは決してできない」と断じています。

なぜ、これほどまでに扱いが分かれるのでしょうか。

2. 「とくに」という言葉に潜む本質

　私が今回、強く惹かれたのは、同書の「とくに」という記述です。

通常、教科書では一般形（$${a+bi = c+di}$$）を先に定義し、その特殊なケースとして $${0}$$ の場合（$${a=0, b=0}$$）を添えます。しかし、数学的な構造を深掘りすると、実はこの順序は「逆」であるべきではないかという疑念が浮かびます。

複素数を、実数体 $${\mathbb{R}}$$ 上のベクトル空間 $${V = \mathbb{R} \oplus \mathbb{R}}$$ と見なしてみましょう。ここで基底として $${\{1, i\}}$$ を採用すると、次の関係式が見えてきます。

$${a \cdot 1 + b \cdot i = 0 \iff a = 0 \text{ かつ } b = 0}$$

これは線型代数学における「$${1}$$ と $${i}$$ が線型独立であること」の主張そのものです。

3. 「移項」という操作が意味するもの

もしこの $${0}$$ の場合の独立性を「本質（核）」として据えるならば、一般の相等関係はもはや定義である必要はありません。

なぜなら、ベクトル空間の公理（加法の逆元の存在や結合法則）に基づけば、

$${a + bi = c + di}$$

という式は、

$${(a - c) + (b - d)i = 0}$$

へと「移項」できるからです。

移項した先にあるのは、先ほど述べた「$${1}$$ と $${i}$$ の線型独立性」の世界です。つまり、$${0}$$ の場合の性質さえ保証されていれば、一般の相等は演算のルールに従って自動的に導かれる「定理」へと姿を変えるのです。

4. 「わかる」って本当は難しいこと

『Plus Elite』などは、実数と虚数の性質の差を利用し、背理法を用いて「もし $${b \neq d}$$ ならば $${i}$$ が実数になってしまい矛盾する」と証明を試みます。

しかし、長岡氏が「定義である」と譲らないのは、おそらく「複素数という新しい数体系を構築する際、等号の意味を定める前にその等号を使って計算（移項）をすること」への論理的な潔癖さがあるからでしょう。

一方で、私たちが「線型独立だから当たり前じゃないか」と感じる時、私たちは無意識に複素数を「ベクトル空間」という、より高い抽象階層から俯瞰しています。

「何をもって定義とし、どこからを定理とするか」

この境界線は、私たちが数学をどの階層で、どのような「心の眼」で眺めているかによって変化します。一つの数式の中に、厳密な記号論（黒大数）と、自由な構造論（線型代数）が同居している。

この揺らぎを感じることこそが、単なる暗記ではない、「数学がわかる」という経験の本当の難しさであり、醍醐味なのではないでしょうか。

【あとがき】

皆さんは、この「とくに」の一言に、どのような風景を見ますか？もしよろしければ、皆さんの「数学の捉え方」もコメントで教えてください。