1 複素共役の基本定義
複素共役は、複素数の虚部の符号を反転させる操作である。複素数 \(z=a+bi\) に対し、その共役は \(\overline{z}=a-bi\) と表される。実数部分は変わらず、虚数単位 \(i\) の係数のみが逆向きになる。
この操作は、複素数を実数軸に対して反転したものとして理解できる。したがって、共役は複素平面上の対称変換に対応し、代数的な計算だけでなく図形的な把握にも役立つ。
1.1 記法と対応規則
複素共役には、\(\overline{z}\) のほか \(z^*\) などの記号が使われることがある。文脈によっては他の意味を持つ場合もあるため、特に物理学や線形代数では記法の確認が重要である。
対応規則は単純で、\(a+bi\) を \(a-bi\) に写す。実数は自分自身に一致し、純虚数は符号だけが反転する。
1.2 幾何学的解釈
複素平面では、複素共役は実軸に関する鏡映として表される。点 \(a+bi\) と \(a-bi\) は、実軸から等距離にあり、上下が対称な位置にある。
この見方により、共役を取る操作は長さを保ちながら向きを反転する変換として直感的に理解できる。図形的な対称性は、後の絶対値や距離の議論とも結びつく。
1.3 基本性質
共役を2回行うと元に戻る。つまり、\(\overline{\overline{z}}=z\) である。これは反転操作として自然な性質である。
また、実数 \(x\) に対しては \(\overline{x}=x\) が成り立つ。複素数と実数を区別する基本的な判定にも用いられる。
2 複素共役の代数的性質
複素共役は、加法・乗法・除法に関して整った振る舞いを示す。これにより、複素数の式変形を保ちながら、実数的な量へ変換することができる。
2.1 和と積への作用
2つの複素数 \(z,w\) に対して、共役は和と積を保つ形で作用する。すなわち、\(\overline{z+w}=\overline{z}+\overline{w}\) 、\(\overline{zw}=\overline{z}\,\overline{w}\) が成り立つ。
この性質により、複雑な式でも各項ごとに共役を取って整理できる。計算過程で虚部を追跡しやすくなる点も実用的である。
2.1.1 共役の分配則
共役は加法に対して分配的に働く。したがって、和の共役は各項の共役の和に等しい。
積についても同様に、二項の積を展開したうえで共役を取ると、各因子の共役の積に一致する。これは複素数の標準的な代数構造と整合している。
2.1.1.1 実部・虚部の観点からの導出
\(z=a+bi\)、\(w=c+di\) とおくと、\(z+w=(a+c)+(b+d)i\) である。これに共役を取れば \((a+c)-(b+d)i\) となり、\(\overline{z}+\overline{w}\) と一致する。
積の場合も、\(zw=(ac-bd)+(ad+bc)i\) と展開し、虚部の符号を反転すれば \((ac-bd)-(ad+bc)i\) になる。これは \((a-bi)(c-di)\) と同じである。
2.2 商・逆数への作用
\(w\neq 0\) のとき、商にも共役の規則が適用される。一般に \(\overline{z/w}=\overline{z}/\overline{w}\) が成り立つ。
この関係は、分母の有理化や複素分数の整理に便利である。分母に共役を掛ける方法は、複素解析や工学計算でもよく使われる。
2.2.1 \(z\neq0\) のときの共役と逆数
非零複素数 \(z\) については、逆数の共役が \(\overline{1/z}=1/\overline{z}\) となる。これは共役が乗法構造と整合的であることの直接的な帰結である。
実際、\(z\overline{z}\) は実数になるため、\(\displaystyle \frac{1}{z}=\frac{\overline{z}}{z\overline{z}}\) と書ける。ここから逆数の扱いが容易になる。
2.3 絶対値・ノルムとの関係
| 複素共役は、絶対値やノルムの定義に密接に関わる。複素数 \(z\) の絶対値は \( | z | =\sqrt{z\overline{z}}\) で与えられ、これは実数値を返す。 |
|---|
この性質により、共役は複素数から実数量を抽出する仕組みの中心にある。距離、長さ、エネルギーといった概念を定式化する際にも重要である。
2.3.1 \(|z|=\sqrt{z\overline{z}}\) の導出
\(z=a+bi\) とすると、\(\overline{z}=a-bi\) であるから、\(z\overline{z}=a^2+b^2\) となる。これは常に非負の実数である。
| したがって、\( | z | =\sqrt{a^2+b^2}\) と一致し、平面上の距離としての解釈とも整合する。共役は、この平方和を自然に生み出す役割を担う。 |
|---|
3 複素共役と実数量の構成
複素共役は、複素数から実部や虚部を取り出したり、実数値の式を組み立てたりするために用いられる。特に、対称な形の式は実数化しやすい。
3.1 共役対称な式
\(z\) と \(\overline{z}\) を組み合わせると、対称性を持つ式が得られる。たとえば、\(z+\overline{z}\) は実数となり、\(z-\overline{z}\) は純虚数になる。
この種の組み合わせは、複素数を実成分と虚成分に分ける基本手段である。計算の途中で複素性を整理したい場面に向いている。
3.1.1 実部・虚部の抽出公式
\(\operatorname{Re}(z)=\dfrac{z+\overline{z}}{2}\)、\(\operatorname{Im}(z)=\dfrac{z-\overline{z}}{2i}\) である。これらは共役を用いて実部と虚部を直接求める公式である。
式全体を共役で対称化することで、各成分を明確に分離できる。複素数の恒等変形でも頻繁に使われる。
3.2 共役を用いた内積の定式化
複素ベクトル空間では、内積を定める際に共役が不可欠である。代表的には、片方の変数に共役線形性を持たせることで、正定値性や対称性が整えられる。
この仕組みは、長さや直交の概念を複素数の世界に拡張するための基礎となる。実ベクトル空間との違いが最も現れやすい点でもある。
3.2.1 ヒルベルト空間との接点
| ヒルベルト空間では、内積の定義に共役が組み込まれている。これにより、ノルム \(\|x\|=\sqrt{\langle x,x\rangle}\) が実数として定まる。 |
|---|
また、直交射影やフーリエ展開などの理論でも、共役を含む内積が中心的役割を果たす。複素解析や量子力学の基礎としても広く利用される。
3.3 共役を使う等式変形
複素共役は、式変形で分母を消したり、実数化したりするための便利な道具である。とくに、\((x+iy)(x-iy)\) のような形は、平方和に帰着する典型例である。
この手法は、複素方程式の整理だけでなく、実数係数の恒等式を作る際にも活躍する。見かけ上複雑な式を、扱いやすい形に整えることができる。
4 複素解析における複素共役
複素共役は、複素関数の性質を調べる際にも重要である。特に、係数や値が実数であるかどうかを判定する道具として機能する。
4.1 複素関数への拡張
複素変数関数 \(f(z)\) に対して、\(\overline{f(z)}\) を考えることで共役関数的な見方が可能になる。関数の定義域や値域に応じて、共役は解析的な性質と結びつく。
この拡張は、点ごとの操作を関数全体に持ち上げるものである。値の対称性や実軸上での挙動を整理するのに役立つ。
4.1.1 共役関数の定義と基本性質
共役関数は、ある関数の各点の値に共役を適用して得られる関数として考えられる。実軸上で実数値をとる関数では、共役を取っても値が変わらない。
この性質は、実係数のべき級数や多項式で特に明瞭に現れる。共役操作は、元の式の構造を保ちながら複素性だけを反転させる。
4.2 実係数の場合の性質
係数がすべて実数のとき、複素共役は式全体に素直に作用する。したがって、実係数の多項式や関数では、共役を取る操作と代入の順序がうまく整合する。
この性質により、実係数の対象は共役に対して安定である。複素数解の組構造を理解するうえで基礎的な役割を担う。
4.2.1 実係数多項式の根の共役対称性
実係数多項式 \(p(z)\) において、\(z_0\) が根なら \(\overline{z_0}\) も根になる。これは \(p(\overline{z})=\overline{p(z)}\) が成り立つことによる。
したがって、実係数多項式の非実根は共役な組として現れる。代数方程式の解の配置を考える際の基本事実である。
4.3 解析的性質と反復関係
複素共役は、解析関数の振る舞いを記述する際に補助的な役割を果たす。特に、正則性そのものは共役変数に依存しないが、実部・虚部の分解や境界での値の扱いに影響する。
反復的な計算や接続の過程では、共役関係を保つことで式の整合性を確認しやすくなる。理論面でも数値計算面でも有用である。
4.3.1 解析接続・境界値の扱いにおける共役
解析接続では、同じ関数を異なる領域に延長する際、共役対称性が手がかりになることがある。境界上で実数値を持つ関数では、内部での共役関係が制約として働く。
また、境界値問題では、上側と下側の極限が共役の関係にある場合がある。これらは複素解析の構造を読み解くうえで重要な視点である。