環論で「マイナス×マイナス=プラス」を証明する方法|環の公理から導く符号の性質

数学

「マイナス同士を掛けるとプラスになる」という性質は、小学校や中学校の数学では暗記する公式として扱われることが多いですが、環論の立場から見ると、この性質は環が持つ基本的な構造から自然に導かれます。

環では、加法についての逆元や乗法の分配法則などの公理を使って計算を行います。そのため、整数で成立する「負の数の掛け算のルール」も、単なる決まりではなく、環の性質として証明できます。

環論における「マイナス」とは何か

環Rでは、加法について群を形成します。つまり、任意の元aに対して、aと足すと0になる元が存在します。この元を−aと表し、aの加法逆元と呼びます。

例えば整数環Zでは、3の加法逆元は−3です。つまり、3+(−3)=0となるため、−3は3を打ち消す存在になります。

環論で扱う「マイナス」は、数直線上の負の数というイメージだけではなく、「加法に関する逆元」という抽象的な概念として定義されています。

証明に使う環の基本的な性質

環では、乗法について分配法則が成立します。つまり、任意の元a,b,cについて、a(b+c)=ab+acが成り立ちます。

また、加法の単位元0については、任意の元aに対してa+0=aとなります。この性質を利用すると、負の数同士の積について証明できます。

特に重要なのは、0に何を掛けても0になること、そして−aはaの加法逆元であることです。

まず「マイナス×プラス=マイナス」を証明する

最初に、(−a)b=−(ab)を示します。

−aはaの逆元なので、a+(−a)=0です。これにbを掛けると、分配法則より、

(a+(−a))b=ab+(−a)b

となります。一方、左辺は0bなので0です。したがって、

0=ab+(−a)b

となります。つまり、(−a)bはabの加法逆元なので、

(−a)b=−(ab)

が成立します。

環論で「マイナス×マイナス=プラス」を証明する

次に、(−a)(−b)=abを証明します。

先ほど証明した性質を使うと、

(−a)(−b)=−(a(−b))

となります。

さらに、先ほどの結果から、

a(−b)=−(ab)

です。

したがって、

(−a)(−b)=−(−(ab))

となります。

ここで、ある元の加法逆元のさらに逆元は元自身になるという性質があります。つまり、

−(−x)=x

です。

よって、

(−a)(−b)=ab

が証明されます。

なぜ「マイナス×マイナス=プラス」は必然なのか

この結果は、数学者が計算しやすいように決めたルールではありません。環の公理を満たす構造では、この性質を持たなければ矛盾が発生します。

例えば、−aがaを打ち消す存在である以上、(−a)bはabを打ち消す存在でなければなりません。そして、−bも同じようにbを打ち消す存在です。

そのため、2つの打ち消す作用を重ねると、元に戻ることになります。これは「反対の反対は元に戻る」という直感とも一致します。

整数以外の環でも成立するのか

この証明は整数だけに限ったものではありません。環の公理を満たす任意の環で成立します。

例えば、行列環や多項式環などでも、加法逆元を−Aと書けば、

(−A)(−B)=AB

が成立します。

ただし、環によっては乗法の性質が整数とは異なる場合があります。例えば非可換環ではABとBAが異なることがありますが、それでも符号に関するこの性質は変わりません。

まとめ|環の公理から負の数の掛け算は導かれる

環論では「マイナス×マイナス=プラス」は暗記する規則ではなく、加法逆元と分配法則から証明される結果です。

証明の流れは、まず(−a)b=−(ab)を示し、その性質を利用して(−a)(−b)=abを導くというものです。

つまり、負の数同士を掛けると正になる理由は、環という代数構造そのものが持つ性質によって決まっているのです。

コメント

タイトルとURLをコピーしました