ベクトルの成分分解のソースを表示

[[File:Projection and rejection.svg|thumb|{{mathbf|a}} の {{mathbf|b}} への射影 {{math|'''a'''{{sub|1}}}} と {{mathbf|a}} の {{mathbf|b}} からの反射影 {{math|'''a'''{{sub|2}}}}.]]
[[File:Projection and rejection 2.svg|thumb|成す角が {{math|π/2 < {{mvar|θ}} ≤ π}} のときは、射影ベクトル {{math|'''a'''{{sub|1}}}} は {{mathbf|b}} に対して反対の方向を持つ。]]
[[線型代数学]]における[[空間ベクトル]] {{mathbf|a}} の適当な非零ベクトル {{mathbf|b}} 方向およびその法方向への'''分解'''（ぶんかい、{{lang-en-short|''vector resolution''}}）<math display="block">\mathbf{a} = \mathbf{a}_1 + \mathbf{a}_2 = \mathbf{a}_{\parallel \mathbf{b}} + \mathbf{a}_{\perp \mathbf{b}}</math> を考えるとき、{{mathbf|b}}-方向成分 (''vector component'') {{math|'''a'''{{sub|1}} {{=}} '''a'''{{sub|&#x2225;'''b'''}}}} は、[[ベクトルのなす角|{{mathbf|a}} と {{mathbf|b}} の成す角]]を {{mvar|θ}} とすれば <math display="block">\mathbf{a}_{\parallel \mathbf{b}} := |\mathbf{a}|\cos\theta\;\hat{\mathbf{b}} = \frac{\mathbf{a}\cdot\mathbf{b}}{|\mathbf{b}|\,|\mathbf{b}|}\mathbf{b}\qquad(\cos\theta = \frac{\mathbf{a}\cdot\mathbf{b}}{|\mathbf{a}|\,|\mathbf{b}|})</math> で与えられる。これは {{mathbf|a}} の始点を通り {{mathbf|b}} に平行な[[直線]]への[[正射影]]ベクトルであり、{{mathbf|a}} の {{mathbf|b}}（の上）への'''(ベクトル)射影''' (''vector projection'') とも呼ばれ、その'''「符号付き」大きさ''' {{math|{{abs|'''a'''}}cos&thinsp;{{mvar|θ}} {{=}} '''a'''&sdot;{{hat|'''b'''}}}} はしばしば {{mathbf|b}} への'''スカラー射影''' (''scalar projection'') とも呼ばれる。大きさの「[[符号 (数学)|符号]]」は射影 {{math|'''a'''{{sub|&#x2225;'''b'''}}}} と {{mathbf|b}} の向き（プラスならば同方向、マイナスならば逆方向）を表している。

{{mathbf|a}} の {{mathbf|b}} の法方向の成分ベクトル {{math|'''a'''{{sub|2}} {{=}} '''a'''{{sub|⊥'''b'''}}}} はしばしば {{mathbf|a}} の {{mathbf|b}} からの'''(ベクトル)反射影''' (''vector rejection'' from '''b''')<ref>{{cite book |first=G. |last=Perwass |year=2009 |url=https://books.google.com/books?id=8IOypFqEkPMC&pg=PA83 |title=Geometric Algebra With Applications in Engineering |location= |publisher= |page=83 }}</ref> と呼ばれ、{{mathbf|b}} に直交する[[平面]]（一般には[[超平面]]）（の上）への {{mathbf|a}} の正射影ベクトルとして与えられる。{{math|1='''a''' = '''a'''{{sub|&#x2225;'''b'''}} + '''a'''{{sub|⊥'''b'''}}}} に注意すれば、反射影ベクトルは <math display="block">\begin{align}\mathbf{a}_{\perp\mathbf{b}} &= \mathbf{a} - \mathbf{a}_{\parallel\mathbf{b}}\\ &= \mathbf{a} - |\mathbf{a}|\cos\theta\;\hat{\mathbf{b}} = \mathbf{a} - \frac{\mathbf{a}\cdot\mathbf{b}}{|\mathbf{b}|\,|\mathbf{b}|}\mathbf{b}\end{align}</math> と書ける。

== 性質 ==
[[Image:Dot Product.svg|thumb|right|{{math|0° ≤ ''θ'' ≤ 90°}} のときには、{{mathbf|a}} の {{mathbf|b}} へのスカラー射影は射影ベクトルの大きさに一致する。]]

=== スカラー射影 ===
{{Main|{{ill2|スカラー射影|en|Scalar projection}}}}
{{mathbf|a}} の {{mathbf|b}} へのスカラー射影 {{math|''a''{{sub|1}} {{coloneqq}} '''a'''&sdot;{{hat|'''b'''}}}} は {{mathbf|a}} と {{mathbf|b}} の成す角 {{mvar|θ}} が {{math|π/2 < ''θ'' ≤ π}} のときは負符号を持つ。成す角が {{math|π/2}} より小さいときにはベクトル射影の大きさ {{math|{{abs|'''a'''{{sub|&#x2225;'''b'''}}}}}} に一致する。まとめると
* {{math|1=''a''<sub>1</sub> =  {{abs|'''a'''{{sub|&#x2225;'''b'''}}}}}} ({{math|0 ≤ ''θ'' ≤ π/2}} のとき);
* {{math|1=''a''<sub>1</sub> = −{{abs|'''a'''{{sub|&#x2225;'''b'''}}}}}} ({{math|π/2 < ''θ'' ≤ π}} のとき).

=== ベクトル射影 ===
{{mathbf|a}} の {{mathbf|b}} への射影ベクトル {{math|'''a'''{{sub|&#x2225;{{mathbf|b}}}}}} は零ベクトルであるかさもなくば {{mathbf|b}} に平行である。
* {{math|'''a'''{{sub|&#x2225;'''b'''}} {{=}} '''0'''}} ({{math|1=''θ'' = 90°}} のとき);
* {{math|'''a'''{{sub|&#x2225;'''b'''}}}} は {{mathbf|b}} と同方向 ({{math|0° ≤ ''θ'' < 90°}} のとき);
* {{math|'''a'''{{sub|&#x2225;'''b'''}}}} と {{mathbf|b}} は逆方向 ({{math|90° < ''θ'' ≤ 180°}} のとき).

=== ベクトル反射影 ===
{{mathbf|a}} の {{mathbf|b}} からの反射影 {{math|'''a'''{{sub|⊥'''b'''}}}} は零ベクトルであるかさもなくば {{mathbf|b}} に直交する。
* {{math|'''a'''{{sub|⊥'''b'''}} {{=}} '''0'''}} ({{math|1=''θ''  = 0°, 180°}} のとき);
* {{math|'''a'''{{sub|⊥'''b'''}}}} は {{mathbf|b}} に垂直 ({{math|0° < ''θ'' < 180°}} のとき).

== 行列表現 ==
適当なベクトル方向への射影は[[射影行列]]として表現することができる。単位ベクトル {{math|'''a''' {{coloneqq}} (''a<sub>x</sub>, a<sub>y</sub>, a<sub>z</sub>'')}} への射影は行列 <math display="block"> P_a := a a^{\top} = 
\begin{pmatrix} a_x \\ a_y \\ a_z \end{pmatrix}
\begin{pmatrix} a_x & a_y & a_z \end{pmatrix} = 
\begin{pmatrix}
a_x^2 & a_x a_y & a_x a_z  \\
a_x a_y & a_y^2 & a_y a_z  \\
a_x a_z & a_y a_z & a_z^2  \\
\end{pmatrix}
</math> を掛ければよい。

== 一般化 ==
ベクトルの[[長さ]]およびベクトル間の[[角度]]の概念は任意の {{mvar|n}}-次元[[内積空間]]に対して一般化することができるから、ベクトルの直交射影、別のベクトルに対する射影・反射影の概念も同じくそのような状況設定に対して一般化することができる。内積空間によってはその内積を[[点乗積]]で与えることができるものもあるが、そうでない場合には射影や反射影の厳密な定義においては点乗積ではなくその空間における内積を用いることにしなければならない。

例えば三次元内積空間に対して、ベクトルの射影・反射影の概念は「平面への」射影および「平面からの」反射影という形で一般化される<ref>M.J. Baker, 2012.
[http://www.euclideanspace.com/maths/geometry/elements/plane/lineOnPlane/index.htm Projection of a vector onto a plane.] Published on www.euclideanspace.com.</ref>。ベクトルの平面への射影とはその平面への[[直交射影]]のことであり、平面からの反射影はその平面に直交する直線の上への直交射影として与えられる。これらはともにベクトルであり、前者は平面と平行、後者は平面に垂直である。与えられたベクトルと平面の組に対して、そのベクトルのその平面に関する射影と反射影との和はもとのベクトルに一致することに注意する。同様に、より高次元の内積空間ではベクトルの射影・反射影の概念を[[超平面]]に対する射影・反射影として一般化できる。

{{ill2|幾何代数|en|geometric algebra}}においては、射影・反射影の概念はさらに拡張されて、任意の可逆 {{mvar|k}}-ブレードに対する一般の{{ill2|多重ベクトル|en|multivector}}の射影・反射影の概念が与えられる。

== 参考文献 ==
{{reflist}}

== 外部リンク ==
* [http://www.euclideanspace.com/maths/geometry/elements/plane/lineOnPlane/index.htm Projection of a vector onto a plane]
* {{MathWorld|urlname=VectorSpaceProjection|title=Vector Space Projection|author=Rowland, Todd}}
* {{PlanetMath|urlname=VectorProjection|title=vector projection}}
* {{SpringerEOM|urlname=Component_of_a_vector|title=Component of a vector}}

{{Linear algebra}}

{{DEFAULTSORT:へくとるのせいふんふんかい}}
[[Category:ベクトル]]
[[Category:変換 (数学)]]
[[Category:線型代数学]]
[[Category:数学に関する記事]]