共役転置と随伴行列

当サイトではアフィリエイトプログラムを利用して商品を紹介しています。

【Python線形代数】共役転置と随伴行列

今回からベクトルおよび行列の要素を複素数に拡張します。$n$ 次元複素数空間は complex number の頭文字をとって $\mathbb{C}^n$ と表されます。内積ノルム転置行列などが、実空間 $\mathbb{R}^n$ における定義を包含するような形で再定義され、エルミート行列やユニタリ行列などの新しい種類の行列が登場します。

随伴行列

実数空間では、行列の転置とは各要素を主対角成分について折り返すだけでした。しかし複素数の線形代数においては、一般に共役転置、すなわち各要素の複素共役をとって転置する操作が重要な意味をもちます。行列 $A$ を共役転置して得られる行列を $A^{*},\ A^H,\ A^*$ などの記号で表し、$A$ の随伴行列(adjoint matrix)とよびます。
 
このサイトでは一般に広く用いられている $*$(アスタリスク)の記号を採用します。たとえば、
 \[A=\begin{bmatrix}1&1+i\\1-i&i\end{bmatrix}\tag{1}\]
の随伴行列は
 \[A^{*}=\begin{bmatrix}1&1+i\\1-i&-i\end{bmatrix}\tag{2}\]
で与えられます。NumPy で共役転置関数 hermitian() を実装しておきましょう。配列オブジェクト arr の転置は arr.T で、複素共役は np.cunjugate(arr) で取得できます。

# python_adjoint_matrix

# In[1]

import numpy as np
from scipy import linalg

def hermitian(arr):
    return np.conjugate(arr.T)

 (1) で定義した $A$ の随伴行列を求めてみます。

# In[2]

# 行列を定義
A = np.array([[1, 1 + 1j],
              [1 - 1j, 1j]])

# Aの随伴行列
A_h = hermitian(A)

print(A_h)
# [[1.-0.j 1.+1.j]
#  [1.-1.j 0.-1.j]]

任意のサイズの $A$ について以下の基本性質が成り立ちます。
 \[\begin{align*}&(A^{*}) ^{*}=A\tag{3}\\[6pt]&(A+B) ^{*}=A^{*}+B^{*}\tag{4}\\[6pt]&(AB)^{*}=B^{*} A^{*}\tag{5}\end{align*}\]
行列 $A$ が正方行列であるときには、
 \[\begin{align*}&\det A^{*}=\overline{\det A}\tag{6}\\[6pt]&\mathrm{tr}(A^{*})=\overline{\mathrm{tr}A}\tag{7}\end{align*}\]
が成立します。行列 $A$ が正則であるときは、随伴行列 $A^{*}$ も正則であって、
 \[(A^{*})^{-1}=(A^{-1})^{*}\tag{8}\]
が成り立ちます。

# In[3]

# 複素行列を定義
A = np.array([[1 + 2j, 1 - 1j],
              [2 + 3j, 2 + 1j]])

# Aの随伴行列の逆行列
B = linalg.inv(hermitian(A))

# Aの逆行列の随伴行列
C = hermitian(linalg.inv(A))

print("Aの随伴行列の逆行列:\n{}\n".format(B))
print("Aの逆行列の随伴行列:\n{}".format(C))

# Aの随伴行列の逆行列:
# [[-0.146+0.317j -0.049-0.561j]
#  [ 0.22 +0.024j  0.073+0.341j]]

# Aの逆行列の随伴行列:
# [[-0.146+0.317j -0.049-0.561j]
#  [ 0.22 +0.024j  0.073+0.341j]]

複素内積

複素ベクトル $\boldsymbol{v},\ \boldsymbol{w}$ の内積 $(\boldsymbol{v},\boldsymbol{w})$ は $\boldsymbol{v}$ の共役転置ベクトルを使って
 \[\begin{align*}(\boldsymbol{v},\boldsymbol{w})=\boldsymbol{v}^{*}\boldsymbol{w}&=\begin{bmatrix}\bar{v}_1&\bar{v}_2&\cdots&\bar{v}_n\end{bmatrix}\begin{bmatrix}w_1\\w_2\\\vdots\\w_n\end{bmatrix}\\[6pt]&=\bar{v}_1w_1+\bar{v}_2w_2+\ \cdots\ +\bar{v}_nw_n\tag{9}\end{align*}\]
と定義されます。たとえば、
 \[\boldsymbol{v}=\begin{bmatrix}1+i\\2-i\end{bmatrix},\quad \boldsymbol{w}=\begin{bmatrix}2+5i\\1-i\end{bmatrix}\tag{10}\]
であるとき、
 \[(\boldsymbol{v},\boldsymbol{w})=\boldsymbol{v}^{*}\boldsymbol{w}=(1-i)(2+5i)+(2+i)(1-i)=10+2i\tag{11}\]
となります。計算間違いがあるといけないので、念のために Python でも確認しておきましょう。

# In[4]

# 複素ベクトルを定義
v = np.array([1+1j, 2-1j])
w = np.array([2+5j, 1-1j])

# 内積(v,w)
vw = np.dot(hermitian(v), w)

print(vw)
# (10+2j)

 実数ベクトルとは異なり、複素ベクトルの内積は順序によって値が変わります。

# In[5]

# 内積(w,v)
wv = np.dot(hermitian(w), v)

print(wv)
# (10-2j)

実行結果を比較するとわかるように、$\boldsymbol{w}^{*}\boldsymbol{v}$ は $\boldsymbol{v}^{*}\boldsymbol{w}$ の複素共役となっています。これは任意のベクトル同士の内積でも成り立ちます。
 \[(\boldsymbol{v},\boldsymbol{w})=\overline{(\boldsymbol{w},\boldsymbol{v})}\tag{12}\]
他にも内積について以下の定理が成立します。
 \[\begin{align*}&(\boldsymbol{u}+\boldsymbol{v},\boldsymbol{w})=(\boldsymbol{u},\boldsymbol{w})+(\boldsymbol{v},\boldsymbol{w})\tag{13}\\[6pt]&(c\boldsymbol{v},\boldsymbol{w})=\bar{c}(\boldsymbol{v},\boldsymbol{w})=(\boldsymbol{v},\bar{c}\boldsymbol{w})\tag{14}\\[6pt]&(\boldsymbol{v},\boldsymbol{v})\geq 0\tag{15}\end{align*}\]
また、$A\boldsymbol{v}$ と $\boldsymbol{w}$ の内積について、以下の重要な定理が成り立ちます。
 \[(A\boldsymbol{v}, \boldsymbol{w})=(\boldsymbol{v},A^{*}\boldsymbol{w})\tag{16}\]

複素空間におけるノルム

複素ベクトル $\boldsymbol{v}$ の自身との内積 $\boldsymbol{v}^{*}\boldsymbol{v}$ を $\mathbb{C}^n$ におけるノルムの $2$ 乗と定義します。
 \[\parallel \boldsymbol{v} \parallel^2=\boldsymbol{v}^{*}\boldsymbol{v}=\bar{v}_1v_1+\bar{v}_2v_2+\ \cdots\ +\bar{v}_nv_n\tag{17}\]
$\bar{v}_kv_k$ は $v_k$ の絶対値の $2$ 乗 $|v_k|^2$ なので、
 \[\parallel \boldsymbol{v} \parallel^2=|v_1|^2+|v_2|^2+\ +\cdots\ +|v_n|^2\tag{18}\]
と表せます。もちろん上式は $\mathbb{R}^n$ におけるノルムの定義を包含しています。たとえば複素ベクトル
 \[\boldsymbol{v}=\begin{bmatrix}3+2i\\1-i\end{bmatrix}\tag{19}\]
のノルムは次のように計算できます:
 \[\parallel \boldsymbol{v} \parallel=\sqrt{9+4+1+1}=\sqrt{15}=3.87298…\tag{20}\]
Python でも確認しておきます。
scipy.linalg.norm() は複素ベクトルにも対応しています。

# In[6]

# 複素ベクトルを定義
v = np.array([3+2j, 1-1j])

# vのノルムを計算
v_norm = linalg.norm(v)

print(v_norm)
# 3.872983346207417

[参考文献] Wikipedia, 『ストラング:線形代数イントロダクション』

 

コメント

  1. HNaito より:

    (9) 式の左辺を、v†w= → (v, w)=v†w= としたほうが、
    (9) 式が (v, w) の定義であることが明示されてよいと思いました。

    • あとりえこばと より:

      確かにそうですね。
      直しておきました。
      ありがとうございます。

  2. HNaito より:

    下記は誤植と思われますので、ご確認ください。
    式番号で、(11) が 2 個あります。
    (13) 式の真ん中の式で、c → \bar c
    (15) 式の右辺で、(v, Aw) → (v, A†w)
    (6), (7) 式の ( ) 内はスカラーなので、( )† → \bar ( ) のほうがよいのではないでしょうか。