複素共役

複素共役：定義と性質

複素数は、実数部と虚数部からなる数です。複素数z = a + bi（a、bは実数、iは虚数単位）に対して、その共役複素数z は、虚数部の符号を反転させた数として定義されます。つまり、z = a - biです。この操作を複素共役変換と呼びます。

複素平面上で考えると、複素数zとその共役複素数zは、実軸に関して対称の位置に存在します。

複素共役の計算法則

複素共役にはいくつかの重要な計算法則があります。これらの法則は、複素数の演算を簡略化したり、複素数の性質を理解する上で役立ちます。

加法と減法: z + w の共役複素数は、z の共役複素数とw の共役複素数の和に等しく、z - w の共役複素数は、z の共役複素数とw の共役複素数の差に等しくなります。
(z + w) = z + w
(z - w) = z - w

乗法: z と w の積の共役複素数は、z の共役複素数とw の共役複素数の積に等しくなります。
(zw) = z w

除法: z を w で割った商の共役複素数は、z の共役複素数を w の共役複素数で割った商に等しくなります。(w ≠ 0)
(z/w) = z / w

べき乗: z の n 乗(nは整数)の共役複素数は、z の共役複素数の n 乗に等しくなります。
(zⁿ) = (z)ⁿ

これらの法則は、複素数の計算を簡略化するだけでなく、複素数の性質を理解する上で重要な役割を果たします。

複素共役と複素数の性質

複素共役を用いることで、複素数の実部、虚部、絶対値、偏角といった重要な性質を簡単に求めることができます。

実部: Re(z) = (z + z) / 2
虚部: Im(z) = (z - z) / 2i
絶対値: |z| = √(z z)
偏角: e^(i arg(z)) = √(z/z)

これらの式からわかるように、複素共役は複素数の様々な性質を表現する上で重要なツールとなっています。

実係数多項式と複素共役

実係数多項式において、もし虚数解αが存在するならば、その共役複素数αも解となります。この性質は、複素共役が環同型写像であることと密接に関連しています。この事実は、代数方程式の解を求める際に非常に役立ちます。1746年にダランベールによって示されました。

複素解析における複素共役

複素解析において、複素共役変換は、複素平面上の全ての点において微分不可能です。しかし、いくつかの重要な関数、例えば指数関数や対数関数などにおいては、複素共役との関係が明確に記述できます。

例えば、exp(z) = exp(z) や log(z) = log(z) という関係が成り立ちます（ただし、対数関数の分枝を適切に選ぶ必要があります）。この関係は、複素関数論の様々な問題を解決する際に重要な役割を果たします。

複素数空間における標準内積

複素数ベクトル空間において、標準内積は複素共役を用いて定義されます。n 次元複素ベクトル空間Cⁿにおけるベクトルx = (x₁, ..., xₙ)とy = (y₁, ..., yₙ)の標準内積は、次の式で定義されます。

:= Σᵢ₌₁ⁿ xᵢ yᵢ

この内積は、複素ベクトル空間の幾何学的性質を理解する上で非常に重要です。

まとめ

複素共役は、複素数の基本的な性質から、代数方程式、複素解析、複素数空間の幾何学まで、数学の様々な分野で重要な役割を果たしています。その計算法則や性質を理解することは、数学の学習を進める上で非常に重要です。

もう一度検索