ベクトルの直交

$$\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}} $$

前頁で証明した等式
$$\wenvert{\Bu+\Bv}^2=\wenvert{\Bu}^2+\wenvert{\Bv}^2+2\mathrm{Re}\langle \Bu, \Bv\rangle$$
より、とくに $\langle \Bu, \Bv\rangle=0$ ならばPythagorasの定理に相当する等式
$$\wenvert{\Bu+\Bv}^2=\wenvert{\Bu}^2+\wenvert{\Bv}^2$$
が成り立つ。
また、$\langle \Bv, \Bu\rangle=\overline{\langle \Bu, \Bv\rangle}$ であるから、
$$\langle \Bu, \Bv\rangle=0 \Longleftrightarrow \langle \Bv, \Bu\rangle=0$$
となる。それで、$\langle \Bu, \Bv\rangle=0$ であるとき、$\Bu, \Bv$直交する (perpendicular) という。

$\Bu, \Bv$ が直交するとき $a, b\in\K$ について $\langle a\Bu, b\Bv\rangle=a\bar b\langle \Bu, \Bv\rangle=0$ となるから、$a\Bu$$b\Bv$ も直交する。よって、
$$\wenvert{a\Bu+b\Bv}^2=\wenvert{a\Bu}^2+\wenvert{b\Bv}^2$$
が成り立つ。

$\wenvert{\Bv}\neq 0$ となるベクトル $\Bv$ について
$$\Be=\frac{1}{\wenvert{\Bv}}\Bv$$
とおくと、$\wenvert{\Bv}\geq 0$ より、$\abs{\wenvert{\Bv}}=\wenvert{\Bv}$ なので
$$\wenvert{\Be}=\frac{\wenvert{\Bv}}{{\large\lvert} \wenvert{\Bv} {\large\rvert}}=1$$
となる。つまり $\Be$ は単位ベクトルとなる。さらに、零ベクトル以外の任意のベクトル $\Bv$ について、先述の方法で、単位ベクトル $\Be$ がとれる。

$$\langle \Bu-c\Bv, \Bv \rangle=0$$
となる $c\in \K$
$$c=\frac{\langle \Bu, \Bv \rangle}{\wenvert{\Bv}^2}$$
により一意的に定まる。とくに $\wenvert{\Bv}=1$ のとき
$$\langle \Bu-c\Bv, \Bv \rangle=0 \Longleftrightarrow c=\langle \Bu, \Bv \rangle$$
となる。$c$$\Bu$ の、$\Bv$ 方向の成分 (component) という。また、$c\Bv$ を、$\Bu$$\Bv$ への正射影ベクトル
あるいは単に射影 (projection) という。

$U$ を、$[0, 1]$ で定義された連続な複素数値関数からなる実ベクトル空間とする。$f, g\in U$ に対して
$$\langle f, g\rangle=\int_0^1 f(t)\bar g(t)dt$$
と定めると、$\langle f, g\rangle$ はエルミート内積となる。
整数 $n$ について
$$f_n(t)=e^{2\pi i nt}=\cos (2\pi nt)+i\sin (2\pi nt)$$
とおくと、
$$\langle f_n, f_n\rangle=\int_0^1 \abs{f(t)}^2 dt=1$$
より、$f_n$ は単位ベクトルとなり、$m\neq n$ のとき
$$\langle f_m, f_n\rangle=\int_0^1 e^{2\pi i(m-n)t} dt=0$$
より、$f_m, f_n$ は直交する。

$V$$f_n(t) ~ (n\in\Z)$ の線形包とおく。$V$ に属する関数
$$f(x)=\sum_{k\in\Z} a_k e^{2\pi i kt}$$
について、
$$\langle f, f_n\rangle=\sum_{k\in\Z} a_k \langle f_k, a_n\rangle=a_n$$
より、$f_n$ に関する $f$ の成分は $a_n$ と一致する。

内積とノルムについて、Schwarzの不等式の一般化が成り立つ。

$\langle , \rangle$ が内積を与えるとき、
任意のベクトル $\Bu, \Bv\in V$ について
$$\abs{\langle \Bu, \Bv\rangle}\leq \wenvert{\Bu} ~ \wenvert{\Bv}$$
が成り立つ。また、等号が成り立つための必要十分条件は $\Bv$ が零ベクトルとなるか、または
$\Bu=k\Bv$ となる $k\in \K$ が存在することである。

$\Bv$ が零ベクトルならば、両辺ともに $0$ となる。
$\Bv$ が零ベクトルでないとき、$\langle , \rangle$ は内積を与えることから正定値なので、
$\wenvert{\Bv}\neq 0$ となる。
$c=\langle \Bu, \Bv \rangle/\wenvert{\Bv}^2$ とおくと、先述のように
$$\langle \Bu-c\Bv, \Bv \rangle=0$$
が成り立つ。よって
$$\wenvert{\Bu}^2=\wenvert{\Bu-c\Bv}^2+\wenvert{c\Bv}^2=\wenvert{\Bu-c\Bv}^2+\abs{c}^2\wenvert{\Bv}^2$$
より
$$\abs{c} ~ \wenvert{\Bv}\leq\wenvert{\Bu}$$
が成り立つから、
$$\abs{\langle \Bu, \Bv \rangle}=\abs{c}~\wenvert{\Bv}^2\leq \wenvert{\Bu} ~ \wenvert {\Bv}$$
となる。さらに、$\langle , \rangle$ が正定値なので、
$$\begin{split} \abs{\langle \Bu, \Bv \rangle}=\wenvert{\Bu} ~ \wenvert{\Bv} \Longleftrightarrow & ~ \wenvert{\Bu-c\Be}=0 \\ \Longleftrightarrow & ~ \Bu=c\Be \\ \Longleftrightarrow & ~ \Bu=\frac{c}{\wenvert{\Bv}}\Bv \end{split}$$
となる。

Schwarzの不等式より
$$\wenvert{\Bu+\Bv}^2=\wenvert{\Bu}^2+\wenvert{\Bv}^2+2\mathrm{Re} \langle \Bu, \Bv\rangle \leq \wenvert{\Bu}^2+\wenvert{\Bv}^2+2\wenvert{\Bu} ~ \wenvert{\Bv} =(\wenvert{\Bu}+\wenvert{\Bv})^2$$
だが、$\wenvert{\Bu}$, $\wenvert{\Bv}$, $\wenvert{\Bu+\Bv}$ はいずれも $0$ 以上の実数だから
三角不等式
$$\wenvert{\Bu+\Bv}\leq\wenvert{\Bu}+\wenvert{\Bv}$$
が成り立つ。

ベクトルの射影については、次の性質が成り立つ。

$\Bu_i ~ (i\in I)$$\wenvert{\Bu_i}\neq 0$ となる、互いに直交するベクトルとする。

$\Bv$$V$ のベクトルとすると、各 $i\in I$ について $\Bv$$\Bu_i$ 方向の成分
$$c_i=\frac{\langle \Bv, \Bu_i\rangle}{\wenvert{\Bu_i}^2}$$
をとり、
$$\Bw=\Bv-\sum_{i\in I} c_i \Bu_i$$
とおく。

  1. $i\in I$ について $$\langle \Bw, \Bu_i \rangle = 0$$ となる。つまり、$\Bw$ はどの $\Bu_i ~ (i\in I)$ とも直交する。
  2. (Besselの不等式) $\sum_{i\in I} \abs{c_i}^2 \wenvert{\Bu_i}^2 \leq \wenvert{\Bv}^2$ が成り立つ。
  3. $a_i=c_i ~ (i\in I)$$$\wenvert{\Bv-\sum_{i\in I} a_i \Bu_i}$$ の最小値を与える。

(i) $$\langle \Bw, \Bu_i \rangle = \langle \Bv, \Bu_i \rangle-\sum_{j\in I}c_j \langle \Bu_j, \Bu_i\rangle$$
となるが、$i\neq j$ のとき $\langle \Bu_j, \Bu_i\rangle=0$ なので
$$\langle \Bw, \Bu_i \rangle = \langle \Bv, \Bu_i \rangle-c_i \wenvert{\Bu_i}^2=0$$
となる。

(ii) (i) より、 $\Bw=\Bv-\sum_{i\in I} c_i \Bu_i$ および $\Bu_i ~ (i\in I)$ はどの2つも互いに直交するので、
$$\wenvert{\Bw}^2+\sum_{i\in I}\abs{c_i}^2\wenvert{\Bu_i}^2=\wenvert{\Bw+\sum_{i\in I} c_i\Bu_i}^2=\wenvert{\Bv}^2$$
つまり
$$\wenvert{\Bv}^2-\sum_{i\in I}\abs{c_i}^2\wenvert{\Bu_i}^2=\wenvert{\Bw}^2\geq 0$$
となる。

(iii) $$\Bv-\sum_{i\in I} a_i \Bu_i=\Bw+\sum_{i\in I}(c_i-a_i) \Bu_i$$
となるが、前記の事実より、
$\Bw$ および $\Bu_i ~ (i\in I)$ はどの2つも互いに直交するので、
$$\wenvert{\Bv-\sum_{i\in I} a_i \Bu_i}^2=\wenvert{\Bw}^2+\sum_{i\in I}\abs{c_i-a_i}^2 \wenvert{\Bu_i}^2\geq \wenvert{\Bw}^2$$
が成り立つ。当然 $a_i=c_i ~ (i\in I)$ ならば等号は成り立つので、このときに
$\wenvert{\Bv-\sum_{i\in I} a_i \Bu_i}$ は最小値をとる。

例1 において、$V_n$$f_{-n}, \ldots, f_0, \ldots, f_n$ の線形包とすると、
$f\in U$, $k\in\Z$ について
$$c_k=\langle f, f_k\rangle=\int_0^1 f(t)e^{-2\pi i kt} dt$$
とおくと、
$$\wenvert{f-\sum_{k=-n}^n c_k e^{2\pi i kt}}$$

$$\wenvert{f-g} ~ (g\in V_n)$$
の最小値を与える。

また、直交性について、つぎのことがわかる。

$\Bu_i ~ (i\in I)$, $\Bv$$V$ のベクトルとし、$V$ に内積 $\langle, \rangle$ が定義されているとする。この内積について、$\Bv\neq \Bzr$ が各 $\Bu_i$ と直交するとき、
$$\Bv\not\in \span\{\Bu_i: i\in I\}.$$

$\Bv\in \span\{\Bu_i: i\in I\}$ と仮定し、
$$\Bv=\sum_{i\in I}a_i \Bu_i$$
とおく。
$$\wenvert{\Bv}^2=\langle a_1 \Bu_1+\cdots a_n \Bu_n, \Bv\rangle =\sum_{i\in I} a_i \langle \Bu_i, \Bv \rangle$$
となるが、仮定より各 $i\in I$ について $\langle \Bu_i, \Bv \rangle=0$ なので
$$\wenvert{\Bv}^2=0$$
となるが、$\langle, \rangle$ は内積なので正定値であるから、$\Bv=\Bzr$ となる。

参考文献

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

現在のページ

ベクトルの直交
前のページへ
14 / 33
次のページへ
前ページへ
入門テキスト「抽象線形代数学」の表紙
次ページへ