随伴変換と随伴行列

$$\newcommand{AA}[0]{\mathscr{A}} \newcommand{abs}[1]{\left\lvert#1\right\rvert} \newcommand{angleb}[1]{\left\langle #1 \right\rangle} \newcommand{Arg}[0]{\operatorname{Arg}} \newcommand{Ba}[0]{\mathbf{a}} \newcommand{BB}[0]{\mathscr{B}} \newcommand{Bb}[0]{\mathbf{b}} \newcommand{Be}[0]{\mathbf{e}} \newcommand{Bu}[0]{\mathbf{u}} \newcommand{Bv}[0]{\mathbf{v}} \newcommand{Bw}[0]{\mathbf{w}} \newcommand{Bx}[0]{\mathbf{x}} \newcommand{By}[0]{\mathbf{y}} \newcommand{Bzr}[0]{\mathbf{0}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathscr{C}} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{im}[0]{\operatorname{Im}} \newcommand{ind}[0]{\mathrm{ind}} \newcommand{K}[0]{\mathbb{K}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{L}[0]{\mathbb{L}} \newcommand{mmod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{Mod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{N}[0]{\mathbf{N}} \newcommand{ord}[0]{\mathrm{ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{\operatorname{rank}} \newcommand{span}[0]{\operatorname{span}} \newcommand{SS}[0]{\mathscr{S}} \newcommand{TT}[0]{\mathscr{T}} \newcommand{UU}[0]{\mathscr{U}} \newcommand{wenvert}[1]{\left\lvert\left\lvert#1\right\rvert\right\rvert} \newcommand{Z}[0]{\mathbb{Z}} $$

対角化において重要な諸行列について解説するのに先立って、まず、一般的なエルミート空間上の線形写像の随伴変換を定義したい。

$\K$ 上の有限次元エルミート空間 $V$ から $\K$ への線形写像 $L$ について
$$L(\Bv)=\angleb{\Bv, \Bw}$$
がつねに成り立つような $\Bw\in V$ が一意的に定まる。

$V$ の正規直交基底 $\Bu_1, \ldots, \Bu_n$ を一組とり、$a_i=L(\Bu_i)\in\K$ とおく。
$\Bw=\bar a_1 \Bu_1+\cdots +\bar a_n \Bu_n$ とおくと
$$L(k_1 \Bu_1+\cdots +k_n \Bu_n)=a_1 k_1+\cdots +a_n k_n=\angleb{k_1 \Bu_1+\cdots +k_n \Bu_n, \Bw}$$
となる。

$K$ 上のベクトル空間 $V$ 上の線形変換 $f\colon V \to V$$\Bw\in V$ について
$$L_{\Bw}(\Bv)=\angleb{f(\Bv), \Bw}$$
$V$ から $\K$ への線形写像だから、
$$\angleb{f(\Bv), \Bw}=\angleb{\Bv, \Bw^\prime} ~ (\forall \Bv\in V)$$
となる $\Bw^\prime\in V$ が一意的に定まる。
$\Bw\in V$ にこのような $\Bw^\prime\in V$ を対応させる写像を $f^*$ とおく。

$f^*$$V$ 上の線形変換となる。

$\Bw_1, \Bw_2\in V$ を任意にとると
$$\angleb{f(\Bv), \Bw_1}=\angleb{\Bv, f^*(\Bw_1)}, \angleb{f(\Bv), \Bw_2}=\angleb{\Bv, f^*(\Bw_2)} ~ (\forall \Bv\in V)$$
より $k_1, k_2\in K$ について
$$\begin{split} \angleb{f(\Bv), k_1\Bw_1+k_2\Bw_2}= & ~ \bar k_1\angleb{f(\Bv), \Bw_1}+\bar k_2\angleb{f(\Bv), \Bw_2} \\ = & ~ \bar k_1\angleb{\Bv, f^*(\Bw_1)}+\bar k_2\angleb{\Bv, f^*(\Bw_2)} \\ = & ~ \angleb{\Bv, k_1 f^*(\Bw_1)+k_2 f^*(\Bw_2)} \end{split}$$
より、
$$f^*(k_1 \Bw_1+k_2 \Bw_2)=k_1 f^*(\Bw_1)+ k_2 f^*(\Bw_2)$$
となる。

そこで、$f^*$$f$随伴変換 (adjoint operator) という。
随伴変換の表現行列はつぎのように定まる。

$K$ 上のベクトル空間 $V$ 上の正規直交基底 $\Bu_1, \ldots, \Bu_n$ を一組とり、この基底に関する線形変換 $f\colon V \to V$ の表現行列を $A$ とおくと、この基底に関する $f^*$ の表現行列は $^t \overline{A}$ に一致する。

$A=(a_{ij})$ とおき、$f^*$ の表現行列を $B=(b_{ij})$ とおくと任意の $1\leq i, j\leq n$ について、
$$f(\Bu_i)=a_{1i}\Bu_1+\cdots +a_{ni}\Bu_n, f^*(\Bu_j)=b_{1j}\Bu_1+\cdots +b_{nj}\Bu_n$$
となるが、$\Bu_1, \ldots, \Bu_n$ は正規直交基底だから
$$\angleb{f(\Bu_i), \Bu_j}=a_{1i}\angleb{\Bu_1, \Bu_j}+\cdots +a_{ni}\angleb{\Bu_n, \Bu_j}=a_{ji}$$
かつ
$$\angleb{\Bu_i, f^*(\Bu_j)}=\bar b_{1j}\angleb{\Bu_i, \Bu_1}+\cdots +\bar b_{nj}\angleb{\Bu_i, \Bu_j}=\bar b_{ij}$$
となるが、
$$\angleb{f(\Bu_i), \Bu_j}=\angleb{\Bu_i, f^*(\Bu_j)}$$
だから
$a_{ji}=\bar b_{ij}$
となる。よって、
$$B=^t\overline{A}$$
となる。

とくに $\C^n$ 上の線形変換 $f\colon \C^n \to \C^n$ について、$A\Bv=f(\Bv)$ となる行列 $A$ をとり、
$$A^*=^t \overline{A}$$
とおくと
$\C^n$ の標準エルミート内積について、
$$A^*\Bv=f^*(\Bv)$$
となる。この行列 $A^*$$A$随伴行列 (adjoint matrix) という。

参考文献

[1]
Serge Lang, Linear Algebra, 3rd ed., Undergraduate Texts in Mathematics, Springer, 1987
Mathpediaを支援する

現在のページ

随伴変換と随伴行列
前のページへ
5 / 33
次のページへ
前ページへ
入門テキスト「抽象線形代数学」の表紙
次ページへ