線形代数学II No.2要約

今日のテーマ: 計量ベクトル空間

定義 2.1   実ベクトル空間 $ V$ が与えられているとする。 $ V\times V$ から $ \mbox{${\mathbb{R}}$}$ への正定値対称双線形写像を $ V$内積と呼ぶ。 具体的には次の条件を満たすものが内積である。
  1. $ \mathbbm a\cdot \mathbbm b = \mathbbm b\cdot\mathbbm a$          $ (\forall \mathbbm a ,\mathbbm b\in V)$
  2. $ \mathbbm a \cdot (\mathbbm b+\mathbbm c)=\mathbbm a \cdot \mathbbm b
+ \mathbbm a \cdot \mathbbm c$          $ (\forall \mathbbm a ,\mathbbm b,\mathbbm c \in V)$
  3. $ (\mathbbm a+\mathbbm b) \cdot \mathbbm c
= \mathbbm a \cdot\mathbbm c +\mathbbm b \cdot\mathbbm c$          $ (\forall \mathbbm a ,\mathbbm b,\mathbbm c \in V)$
  4. $ (c\mathbbm a) \cdot \mathbbm b =\mathbbm a \cdot (c\mathbbm b)
= c(\mathbbm a \cdot \mathbbm b)$          $ (\forall \mathbbm a ,\mathbbm b \in V,\forall c \in$   $ \mbox{${\mathbb{R}}$}$$ )$
  5. % latex2html id marker 874
$ \mathbbm a \cdot \mathbbm a \geq 0$.          $ \mathbbm a\cdot\mathbbm a =0 {\Leftrightarrow}\mathbbm a=\bf0$.          $ (\forall \mathbbm a \in V)$

内積を持つベクトル空間を 計量ベクトル空間 と呼ぶ。

定義 2.2   数ベクトル空間 $ \mbox{${\mathbb{R}}$}$$ ^n$ には

$\displaystyle (a_i)\cdot (b_i)=\sum_i a_i b_i
$

によって内積が入る。これを $ \mbox{${\mathbb{R}}$}$$ ^n$ の 標準的な内積と呼ぶ。

定義 2.3   計量ベクトル空間 $ V$ に対して $ V$ の元 $ \mathbbm v$長さ

% latex2html id marker 904
$\displaystyle \vert\vert\mathbbm v\vert\vert= \sqrt{\mathbbm v \cdot \mathbbm v}
$

で定める。

命題 2.4 (長さと内積の関係)   計量ベクトル空間 $ V$ の元 $ \mathbbm a, \mathbbm b$ に対して、つぎの 等式が成り立つ。
  1. $ \mathbbm a \cdot \mathbbm b
=\frac{1}{4}(\vert\vert\mathbbm a + \mathbbm b\vert\vert^2 -\vert\vert\mathbbm a - \mathbbm b\vert\vert^2)$
  2. $ \vert\vert\mathbbm a + \mathbbm b\vert\vert^2
+\vert\vert\mathbbm a - \mathbbm...
...t^2
=2(\vert\vert \mathbbm a \vert\vert^2 + \vert\vert\mathbbm b \vert\vert^2)
$

定理 2.5   計量ベクトル空間 $ V$ の元 $ \mathbbm a, \mathbbm b$ に対して、つぎの 等式が成り立つ。
  1. (シュヴァルツの不等式) % latex2html id marker 928
$ \vert\vert\mathbbm a \cdot \mathbbm b\vert\vert\leq \vert\vert\mathbbm a \vert\vert \ \vert\vert \mathbbm b\vert\vert
$

  2. (三角不等式) % latex2html id marker 930
$ \vert\vert \mathbbm a + \mathbbm b\vert\vert
\leq \vert\vert \mathbbm a\vert\vert
+ \vert\vert \mathbbm b\vert\vert
$

ベクトルのなす角

命題 2.6   計量ベクトル空間 $ V$$ \bf0 $ でない 元 $ \mathbbm a, \mathbbm b$ に対して、つぎの 等式を満たす $ \theta$$ [0,\pi]$ に一意に存在する。

$\displaystyle \cos(\theta)=\frac{\mathbbm a \cdot \mathbbm b}{\vert\vert\mathbbm a\vert\vert\ \vert\vert \mathbbm b\vert\vert}
$

この $ \theta$ $ \mathbbm a $ $ \mathbbm b$なす角と呼ぶ。

計量ベクトル空間 $ V$ の元 $ \mathbbm a, \mathbbm b$ に対して、 $ \mathbbm a \cdot \mathbbm b=\bf0$ のとき $ 2$ つのベクトルは直交するという。これは2つのベクトルのなす角が $ \pi/2$ であるということとほぼ同じだが、$ 2$ つのベクトルのうち一方が $ \bf0 $ のときにもこの表現を使うところに少し注意を要するかもしれない。