「グラム・シュミットの正規直交化法」の版間の差分
表示
削除された内容 追加された内容
名前の由来を修正 タグ: モバイル編集 モバイルアプリ編集 |
|||
(10人の利用者による、間の11版が非表示) | |||
1行目: | 1行目: | ||
'''グラム・シュミットの正規直交化法'''(グラム・シュミットのせいきちょっこうかほう、{{lang-en-short|Gram–Schmidt orthonormalization}})とは、[[計量ベクトル空間]]に属する[[線型独立]]な有限個の[[ベクトル]]が与えられたとき、それらと同じ[[部分空間]]を[[線型包|張る]][[正規直交系]]を作り出す[[アルゴリズム]]の一種{{sfn|Horn|Johnson|2013|loc={{google books quote|id=5I5AYeeh0JUC|page=15|0.6.4 Gram-Schmidt orthogonormalization}}}}。'''シュミットの直交化'''(ちょっこうか、{{lang|en|orthogonalization}})ともいう。[[ |
'''グラム・シュミットの正規直交化法'''(グラム・シュミットのせいきちょっこうかほう、{{lang-en-short|Gram–Schmidt orthonormalization}})とは、[[計量ベクトル空間]]に属する[[線型独立]]な有限個の[[空間ベクトル|ベクトル]]が与えられたとき、それらと同じ[[部分空間]]を[[線型包|張る]][[正規直交系]]を作り出す[[アルゴリズム]]の一種{{sfn|Horn|Johnson|2013|loc={{google books quote|id=5I5AYeeh0JUC|page=15|0.6.4 Gram-Schmidt orthogonormalization}}}}。'''シュミットの直交化'''(ちょっこうか、{{lang|en|orthogonalization}})ともいう。[[ヨルゲン・ペダーセン・グラム]]および[[エルハルト・シュミット]]に因んで名付けられた。変換行列は上[[三角行列]]に取ることができる。[[正規化]]する工程を省略すると、必ずしも正規でない直交系を得ることができる。 |
||
== アルゴリズム == |
== アルゴリズム == |
||
[[ |
[[画像:Gram-Schmidt orthonormalization process.gif|400px|right]] |
||
''V'' を[[計量ベクトル空間]]とし、 |
''V'' を[[計量ベクトル空間]]とし、{{mvar|V}} のベクトル '''''v''''', '''''u''''' の[[内積]]を ('''''v''''', '''''u''''') と表すことにする。与えられたベクトルの[[線型独立]]系を {{math2|{{mset|'''''v'''''{{sub|1}}, '''''v'''''{{sub|2}}, …, '''''v'''{{sub|n}}''}}}} とする。 |
||
; |
;直交化 |
||
:<math>\begin{align} |
:<math>\begin{align} |
||
\boldsymbol u_1 &:= \boldsymbol v_1 |
\boldsymbol u_1 &:= \boldsymbol v_1 |
||
17行目: | 18行目: | ||
- \frac{(\boldsymbol u_2, \boldsymbol v_n)}{(\boldsymbol u_2, \boldsymbol u_2)} \boldsymbol u_2 |
- \frac{(\boldsymbol u_2, \boldsymbol v_n)}{(\boldsymbol u_2, \boldsymbol u_2)} \boldsymbol u_2 |
||
- \dotsb - \frac{(\boldsymbol u_{n-1}, \boldsymbol v_n)}{(\boldsymbol u_{n-1}, \boldsymbol u_{n-1})} \boldsymbol u_{n-1}\\ |
- \dotsb - \frac{(\boldsymbol u_{n-1}, \boldsymbol v_n)}{(\boldsymbol u_{n-1}, \boldsymbol u_{n-1})} \boldsymbol u_{n-1}\\ |
||
&:= \boldsymbol v_n - \ |
&:= \boldsymbol v_n - \textstyle\sum\limits_{i=1}^{n-1} \dfrac{(\boldsymbol u_i, \boldsymbol v_n)}{(\boldsymbol u_{i}, \boldsymbol u_{i})} \boldsymbol u_{i} |
||
\end{align}</math> |
\end{align}</math> |
||
によって順に新しいベクトルを作っていくと、{'''''u'''''{{sub|1}}, '''''u'''''{{sub|2}}, |
によって順に新しいベクトルを作っていくと、{{math2|{{mset|'''''u'''''{{sub|1}}, '''''u'''''{{sub|2}}, …, '''''u'''{{sub|n}}''}}}} は新しい線型独立系になる。構成から、互いに直交していることは容易に分かる。 |
||
; |
;正規化 |
||
:<math> |
|||
\boldsymbol e_i := \frac{\boldsymbol u_i}{(\boldsymbol u_i, \boldsymbol u_i)^{1/2}} |
:<math>\boldsymbol e_i := \frac{\boldsymbol u_i}{(\boldsymbol u_i, \boldsymbol u_i)^{1/2}}</math> |
||
⚫ | |||
</math> |
|||
⚫ | |||
== 脚注 == |
== 脚注 == |
||
{{ |
{{脚注ヘルプ}} |
||
{{Reflist}} |
|||
== 参考文献 == |
== 参考文献 == |
||
* {{Cite book |last1=Horn |first1=Roger A. |last2=Johnson |first2=Charles R. |year=2013 |title=Matrix analysis |edition=Second |url={{google books|5I5AYeeh0JUC|plainurl=yes|page=15}} |publisher=[[Cambridge University Press]] |isbn=978-0-521-54823-6 |mr=2978290 |ref=harv}} |
|||
* {{cite book |
|||
|last1 = Horn |
|||
|first1 = Roger A. |
|||
|last2 = Johnson |
|||
|first2 = Charles R. |
|||
|year = 2013 |
|||
|title = Matrix analysis |
|||
|edition = Second |
|||
|url = {{google books|5I5AYeeh0JUC|plainurl=yes|page=15}} |
|||
|publisher = [[Cambridge University Press]] |
|||
|isbn = 978-0-521-54823-6 |
|||
|mr = 2978290 |
|||
|ref = harv |
|||
}} |
|||
== 関連項目 == |
== 関連項目 == |
||
50行目: | 38行目: | ||
* [[QR分解]] |
* [[QR分解]] |
||
== 外部リンク == |
|||
{{Linear algebra}} |
|||
* {{高校数学の美しい物語|1149|グラムシュミットの直交化法の意味と具体例}} |
|||
⚫ | |||
{{線形代数}} |
|||
⚫ | |||
[[Category:線型代数学]] |
[[Category:線型代数学]] |
||
[[Category:関数解析学]] |
[[Category:関数解析学]] |
||
[[Category:数値線形代数]] |
[[Category:数値線形代数]] |
||
[[Category:エルハルト・シュミット]] |
|||
[[Category:数学のエポニム]] |
|||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
2023年7月17日 (月) 19:21時点における最新版
グラム・シュミットの正規直交化法(グラム・シュミットのせいきちょっこうかほう、英: Gram–Schmidt orthonormalization)とは、計量ベクトル空間に属する線型独立な有限個のベクトルが与えられたとき、それらと同じ部分空間を張る正規直交系を作り出すアルゴリズムの一種[1]。シュミットの直交化(ちょっこうか、orthogonalization)ともいう。ヨルゲン・ペダーセン・グラムおよびエルハルト・シュミットに因んで名付けられた。変換行列は上三角行列に取ることができる。正規化する工程を省略すると、必ずしも正規でない直交系を得ることができる。
アルゴリズム
[編集]V を計量ベクトル空間とし、V のベクトル v, u の内積を (v, u) と表すことにする。与えられたベクトルの線型独立系を {v1, v2, …, vn} とする。
- 直交化
によって順に新しいベクトルを作っていくと、{u1, u2, …, un} は新しい線型独立系になる。構成から、互いに直交していることは容易に分かる。
- 正規化
とおけば {e1, e2, …, en} が求める性質を満たす正規直交系であることが分かる。
脚注
[編集]参考文献
[編集]- Horn, Roger A.; Johnson, Charles R. (2013). Matrix analysis (Second ed.). Cambridge University Press. ISBN 978-0-521-54823-6. MR2978290