blue271828's misc :-)

内積空間

内積空間とは

実数体 $\R$ あるいは複素数体 $\Complex$ いずれかの体 $F$ 上のベクトル空間 $V$ において、以下の性質を満たす二項演算 $\lang \bullet, \bullet \rang : V \times V \to F$ が与えられたとき、$\lang \bullet, \bullet \rang$ を内積 (英:inner product)、その組 $(V,\lang \bullet, \bullet \rang)$ を内積空間 (英:inner product space) という。内積空間は計量ベクトル空間 (英:metric vector space) とも呼ばれる。

\[ \def\b{\boldsymbol} \begin{aligned} \text{(I1)} &: \lang \b{a}, \b{b} \rang = \overline{\lang \b{b}, \b{a} \rang} \cr \text{(I2)} &: \lang k \b{a} + \b{b},\b{c} \rang = k\lang \b{a}, \b{c} \rang + \lang \boldsymbol{b}, \b{c} \rang \cr \text{(I3)} &: \lang \b{a}, \b{a} \rang \ge 0, \quad (\lang\b{a},\b{a}\rang = 0 \rArr\b{a} = 0) \end{aligned} \]

内積空間のノルム

内積空間の定義から、

\[ \def\b{\boldsymbol} \Vert\b{x}\Vert = \sqrt{\lang\b{x},\b{x}\rang} \]


内積空間はノルム空間であることの証明:

非負性:

\[ \def\b{\boldsymbol} \begin{aligned} \lang\b{x},\b{x}\rang &\ge 0 \quad \because \text{(I3)} \cr \Vert\b{x}\Vert &\ge 0 \quad \because \Vert\b{x}\Vert = \sqrt{\lang\b{x},\b{x}\rang} \end{aligned} \]

線型性:

\[ \def\b{\boldsymbol} \begin{aligned} \Vert a\b{x}\Vert &= \sqrt{\lang a\b{x},a\b{x}\rang} \cr &= \sqrt{a^2\lang\b{x},\b{x}\rang} \cr &= |a|\sqrt{\lang\b{x},\b{x}\rang} \cr &= |a|\Vert\b{x}\Vert \cr \cr \therefore \Vert a\b{x}\Vert &= |a|\Vert\b{x}\Vert \end{aligned} \]

三角不等式:

\[ \def\b{\boldsymbol} \begin{aligned} \Vert\b{x}+\b{y}\Vert &\le\Vert\b{x}\Vert +\Vert\b{y}\Vert \cr \sqrt{\lang\b{x}+\b{y},\b{x}+\b{y}\rang} &\le \sqrt{\lang\b{x},\b{x}\rang} + \sqrt{\lang\b{y},\b{y}\rang} \cr \lang\b{x}+\b{y},\b{x}+\b{y}\rang &\le \lang\b{x},\b{x}\rang + \lang\b{y},\b{y}\rang + 2\sqrt{\lang\b{x},\b{x}\rang} \sqrt{\lang\b{y},\b{y}\rang} \cr \lang\b{x},\b{x}\rang + \lang\b{y},\b{y}\rang + 2\lang\b{x},\b{y}\rang &\le \lang\b{x},\b{x}\rang + \lang\b{y},\b{y}\rang + 2\sqrt{\lang\b{x},\b{x}\rang} \sqrt{\lang\b{y},\b{y}\rang} \cr \lang\b{x},\b{y}\rang &\le \sqrt{\lang\b{x},\b{x}\rang} \sqrt{\lang\b{y},\b{y}\rang} \\ &\qquad = \Vert\b{x}\Vert\Vert\b{y}\Vert \end{aligned} \]

上記式からシュワルツの不等式により、三角不等式が満たされることが確認できる。

成す角

二つの実ベクトル $\boldsymbol a,\boldsymbol b$ が与えられたとき、次式から得られる角 $\theta$ を成す角 (英:angular) と呼び、$\cos\theta$ を方向余弦 (英:direction cosine) と呼ぶ。 \( \def\b{\boldsymbol} \begin{gathered} \cos\theta = \frac{\lang\b{a}, \b{b}\rang}{\Vert \b{a}\Vert\Vert \b{b}\Vert} \cr \Updownarrow \cr \lang\b{a},\b{b}\rang = \Vert\b{a}\Vert\Vert\b{b}\Vert\cos\theta \end{gathered} \)

内積空間における直交

内積空間において、あるベクトルの集合 $X$ の二つのベクトル $\boldsymbol x,\boldsymbol y\in X$ の内積が $0$ のとき、この二つのベクトルは直交する (英:orthogonal) といい、$X$ を直交系 (英:orthogonal system) と呼ぶ。 \( \boldsymbol{x} \perp\!\!\!\!\perp \boldsymbol{y} :\lrArr \lang\boldsymbol{x},\boldsymbol{y}\rang = 0 \)

関連記事

Tags

#Ansible (3) #Bash (1) #Docker (1) #Git (2) #Hugo (2) #Molecule (1) #Python (1) #WSLtty (1) #アルゴリズム (4) #ビジネス用語 (1) #プログラミング (1) #位相空間論 (8) #初等数学 (20) #初等関数 (1) #実解析 (1) #幾何学 (3) #微分積分学 (18) #情報理論 (4) #抽象代数学 (14) #数理モデル (2) #数理論理学 (21) #機械学習 (3) #正規表現 (1) #測度論 (3) #特殊関数 (4) #確率論 (18) #組合せ論 (5) #統計学 (12) #線型代数学 (18) #複素解析学 (4) #解析学 (15) #論理学 (6) #順序集合論 (9)