二重数

二重数：実数の拡張と幾何学的解釈

数学において、二重数（dual numbers）は実数の概念を拡張した数体系です。実数 a, b と、特別な数 ε（イプシロン）を用いて、a + bε の形で表されます。ここで重要な性質は、ε の2乗が 0 になるということです (ε² = 0)。この性質により、二重数の演算は通常の算術とは異なる挙動を示します。

二重数の表現と演算

二重数は、実数 a を実部、実数 b を虚部として持つ2次元数と捉えることができます。二つの二重数 z₁ = a + bε と z₂ = c + dε の加算と乗算は以下のように定義されます。

加算: z₁ + z₂ = (a + c) + (b + d)ε
乗算: z₁ z₂ = (ac) + (ad + bc)ε

行列を用いると、二重数は次のように表現できます。

ε = 0, 1],[0, 0 , a + bε = a, b],[0, a

この行列表現を用いることで、二重数の加算と乗算は通常の行列の加算と乗算として計算でき、可換性と結合性が保証されます。これは複素数の行列表現と類似しており、二重数の概念は二次正方行列の分類においても重要な役割を果たしています。

二重数平面の幾何学

二重数全体は、二重数平面を形成します。この平面における「単位円」は、実部 a が ±1 である二重数全体の集合として定義され、通常の複素平面の単位円とは異なる形状を持ちます。二重数 z = a + bε の「共役」は z = a - bε と定義され、zz* = a² となります。

指数関数 exp(bε) = 1 + bε となるため、ε 軸に沿った指数関数の作用は通常の複素平面とは異なり、単位円の一部分しかカバーしません。二重数の極分解や「回転」の概念は、垂直剪断変換と等価であり、通常の回転とは異なる幾何学的解釈が必要です。

二重数平面は、ガリレイ不変量と呼ばれる研究において、ガリレイの時空を表すのに利用できます。古典力学における速度 v の変換は、二重数平面上の剪断変換として表現できます。

二重数の循環と代数的性質

二重数平面上で、二つの二重数 p, q から z へ引いた直線の間のガリレイ角が一定であるような z の軌跡は、放物線形状の「循環 (cycle)」となります。二重数全体の集合は、多項式環 R[X] をイデアル (X²) で割った剰余環 R[X]/(X²) として表すことができ、これは実数体上の二次元の可換結合多元環を成します。ただし、ε は可逆元ではないため、体は形成しません。

二重数の一般化と微分法

二重数の構成法は、任意の可換環 R に対して一般化できます。R 上の二重数は、多項式環 R[X] をイデアル (X²) で割った剰余環として定義されます。この一般化は、導分やケーラー微分の理論において重要な役割を果たします。

二重数の応用として、自動微分があります。実係数多項式 P(x) を二重数 a + bε に適用すると、P(a + bε) = P(a) + bP'(a)ε となり、P'(a) は P(x) の a における導関数です。この性質を利用することで、多項式の導関数を計算することができます。この考え方は超越関数にも拡張でき、合成関数の導関数を効率的に計算するアルゴリズムを構築できます。

超空間と物理学への応用

二重数は、物理学において非自明な超空間の最も簡単な例を与えます。ε 方向はフェルミオンの自由度、実成分はボソンの自由度に対応し、パウリの排他原理を反映したモデル構築に用いられます。

二重数の除法

二重数の除法は、除数の実部が 0 でない場合に定義されます。計算方法は、複素数の除法と同様に、分母分子に共役元を乗じることで行います。しかし、純虚二重数の除法は定義されません。純虚二重数は零因子であり、二重数環のイデアルを形成します。

まとめ

二重数は、実数の拡張として定義された数体系であり、行列による表現、特異な幾何学的性質、自動微分への応用、物理学への応用など、多様な側面を持っています。ε² = 0 というシンプルな条件から導かれる独特の性質は、数学と物理学の様々な分野で興味深い応用を生み出しています。

もう一度検索