内積
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(2014年2月) |
線型代数学における内積(ないせき、英: inner product)は、(実または複素)ベクトル空間上で定義される非退化かつ正定値のエルミート半双線型形式(実係数の場合には対称双線型形式)のことである。二つのベクトルに対してある数(スカラー)を定める二項演算であるためスカラー積(スカラーせき、英: scalar product)ともいう。内積を備えるベクトル空間は内積空間と呼ばれ、内積の定める計量を持つ幾何学的な空間と見做される。エルミート半双線型形式の意味での内積はしばしば、エルミート内積またはユニタリ内積と呼ばれる。
目次
1 定義
2 基本性質
3 例
4 内積の幾何学性
5 一般化
5.1 退化内積(半内積)
5.2 非退化共軛対称形式(不定値内積)
6 関連のある積について
7 関連項目
8 注
8.1 注釈
8.2 出典
9 参考文献
10 外部リンク
定義
複素数体 ℂ 上のベクトル空間 V 上で定義された二変数の写像 ⟨,⟩: V × V → ℂ が内積あるいはエルミート内積であるとは、x, y, z ∈ V および λ ∈ ℂ を任意として
- 第一変数に関する共軛線型性: ⟨λx + y, z⟩ = λ⟨x, z⟩ + ⟨y, z⟩;
- 第二変数に関する線型性: ⟨x, λy + z⟩ = λ⟨x, y⟩ + ⟨x, z⟩;
- エルミート対称性: ⟨x, y⟩ = ⟨y, x⟩;
非退化性: V の元 x に対して ⟨x, x⟩ = 0 ならば x = 0;
正定値性: V の任意の元 x に対して ⟨x, x⟩ ≥ 0
を満たすことを言う(ここで上付きのバー • は複素共役を表す)。すなわち、複素ベクトル空間上の内積は非退化正定値のエルミート形式である。[注釈 1]
実ベクトル空間の場合も同様で、実ベクトル空間 V 上の二変数の写像 ⟨,⟩: V × V → ℝ が内積であるとは、それが非退化正定値の対称双線型形式であるときに言う。
- 注意
- 文献によっては、エルミート内積および半双線型形式は第二引数に関して線型、従って第一引数に関して共軛線型とするもの(特に物理学や行列環に関するもの)と、それとは逆に第一引数に関して線型、第二引数に関して共軛線型とするものがある。前者の分野においては、上記の内積 ⟨x, y⟩ を(量子力学におけるブラケット記法で)⟨y | x⟩ と書いたり、(点乗積を行ベクトル A と列ベクトル B との行列の積 AB と見て)y†x などと書くことも多い。ここでは、ケットベクトルと列ベクトルはベクトル空間 V に属するベクトルと同一視され、ブラベクトルと行ベクトルは双対空間 V* に属する双対ベクトル(つまり線型汎函数)と同一視され、複素共軛は双対性と関連付けられる。また現在ではより抽象的な文脈においてもこの ⟨x, y⟩ が(y に関してではなく)x に関して共軛線型とする定義を採用するものが時折みられる[1]。また、いくつかの文献で妥協点として ⟨ , ⟩ と ⟨ | ⟩ を両方使い、それぞれどちらの引数に関して共軛線型なのかを区別するものとして扱うものがある。
場合によっては、非負の「半定値」半双線型形式を考える必要があることがある。つまり、⟨x, x⟩ は非負であることのみが要求され、非退化でないものも考えるということである(後述)。
基本性質
エルミート対称性に注意すれば、任意の x に対して
線型性により、「x = 0 ならば ⟨x, x⟩ = 0」が成り立ち、また非退化性はその逆「⟨x, x⟩ = 0 ならば x = 0」を言うものであるから、これらを合わせて、⟨x, x⟩ = 0 ⇔ x = 0 を得る。
内積の半双線型性を用いれば、平方展開
例
ℝn における内積- 実 n-次元数ベクトル空間 ℝn において、任意の二元 x = (x1, x2, …, xn), y = (y1, y2, …, yn) に対し、とすると、この ⟨,⟩ は(正定値な)内積の性質を満たす。これを、ℝn の標準内積と呼ぶ。標準内積は ℝn を n行1列の行列と同一視することで、行列としての積を用いて
⟨x,y⟩:=∑i=1nxiyi{displaystyle langle x,yrangle :=sum _{i=1}^{n}x_{i}y_{i}}
(右肩の ⊤ は行列の転置をとる意)と表すことができる。また、n 次の(正定値)対称行列 A を用いて
⟨x,y⟩=x⊤y{displaystyle langle x,yrangle =x^{top }y}
とおくと、これも(正定値)内積の性質を満たす。
⟨x,y⟩A:=x⊤Ay{displaystyle langle x,yrangle _{A}:=x^{top }Ay}
ℂn における内積- 複素 n-次元数ベクトル空間 ℂn において、任意の二元 x = (x1, x2, …, xn), y = (y1, y2, …, yn) に対し、 とすると、この ⟨,⟩ はエルミート内積の性質を満たす。また、n 次の(正定値)エルミート行列 H を用いて
⟨x,y⟩:=x¯⊤y=∑i=1nx¯iyi{displaystyle langle x,yrangle :={bar {x}}^{top }y=sum _{i=1}^{n}{bar {x}}_{i}y_{i}}
とおくと、これも(正定値)エルミート内積の性質を満たす。
⟨x,y⟩A:=x¯⊤Hy{displaystyle langle x,yrangle _{A}:={bar {x}}^{top }Hy}
- 対称行列の空間 Sn×n における内積
n 次対称行列の空間 Sn×n について、X, Y ∈ Sn×n に対してと取ると、これは内積を与える。
⟨X,Y⟩:=Tr(XY){displaystyle langle X,Yrangle :=operatorname {Tr} (XY)}
L2(Ω) における内積
Ω をユークリッド空間の開集合とする。Ω 上の二乗可積分な関数全体の成す集合を関数がほとんど至る所等しい(測度零の集合上でとる値を除いて等しい)という同値関係で割って得られるルベーグ空間 L2(Ω) には、二乗可積分関数 f, g についてと置いて、エルミート内積が定まる。より一般に、(Ω, F, μ) を測度空間とすると、L2(Ω, μ) の二元 f, g について
⟨f,g⟩:=∫Ωf(x)g(x)¯dx{displaystyle langle f,grangle :=int _{Omega }f(x){overline {g(x)}},dx}
と置いたものはエルミート内積の性質を満たす。
⟨f,g⟩:=∫Ωfg¯dμ{displaystyle langle f,grangle :=int _{Omega }f{bar {g}},dmu }
内積の幾何学性
一つのベクトル空間に定義される内積は 一つとは限らない。また、ある内積 ⟨,⟩ に対して
このように定義されたノルムは必ず中線定理
このように、内積はベクトル空間の代数的な性質と幾何的な性質の橋渡しをするものである。詳細については計量ベクトル空間の項を参照されたい。
一般化
内積の公理を適当に弱めることにより、内積を一般化する概念を考えることができる。
退化内積(半内積)
内積と最も関連性の高い一般化は、双線型性や共軛対称性はそのままに、正定値性に関する要請を弱めるものである。ベクトル空間 V とその上の半正定値半双線型形式 ⟨,⟩ に対して、写像
このような内積空間の構成法は様々な場面で用いられ、特に重要な例はゲルファント=ナイマルク=シーガル構成法である。ほかにも任意の集合上の半正定値核函数の表現などが例に挙げられる。
非退化共軛対称形式(不定値内積)
別な方向での一般化は、(正定値性を落として)対付ける写像が単に非退化双線型形式であるようにするものである。これは各非零元 x は適当な y を取って ⟨x, y⟩ ≠ 0 とすることが(y = x でなくてもいいから)できるということであり、即ち双対空間に引き起こされる写像 V → V* が単射ということである。この一般化は微分幾何学で重要である。リーマン多様体は各接空間が内積を持つ多様体であるが、これを弱めて非退化共軛対称形式を持つ場合を考えたものは擬リーマン多様体である。シルベスターの慣性法則によれば、任意の内積がベクトルの集合上の正値荷重を持つ点乗積に相似であるのと同様に、任意の非退化共軛対称形式はベクトルの集合上の非零荷重を持つ点乗積に相似になり、またこのとき正および負の荷重の個数はそれぞれ正および負の指数と呼ばれる。ミンコフスキー空間におけるベクトルの積は「不定値内積」の例だが、技術的な言い方をすれば、これは上で述べた標準的な定義に従う「内積」ではない。ミンコフスキー空間は実四次元で、各符号 (±) の指数は 3 および 1 (符号数 (3,1)})である。
(正定値性に触れない)純代数的な主張はふつう非退化性(単射準同型 V → V*) のみに依存して決まり、ゆえにより一般の状況においても成立する。
関連のある積について
「内積」(inner) という語は「外積」(outer) の反対という意味での名称だが、外積は(きっちり反対というよりは)もう少し広い状況で考えることができる。簡単のため座標をとって、内積を 1×n 「余」ベクトルと n×1 ベクトルとの積と見るとき、これは 1×1 行列(つまりスカラー)を与えるが、外積は m×1 ベクトルと 1×n 余ベクトルを掛けて m×n 行列が得られる。ここで注意すべきは、内積は同じ次元のベクトルと余ベクトルとの積でないといけないが、外積は相異なる次元の余ベクトルとベクトルを掛けることができる点である。次元が同じである場合、内積は外積のトレースに一致する(トレースがとれるのは正方行列だけなので、次元が異なる場合は考察できない)。
内積あるいはより一般に不定値内積を持つ(従って同型 V → V* を持つ)ベクトル空間上では、ベクトルを余ベクトルにすることができる(座標をとって考えるならば、転置をとることに相当する)から、内積および外積は単純にベクトルと余ベクトルとの積ではなくて、ベクトル同士の積として捉えることができる。より抽象的に述べれば、外積はベクトルと余ベクトルとの対を階数 1 の線型写像へ写す双線型写像 W × V* → Hom(V,W)(すなわち (1,1)-型単純テンソル)であり、内積は余ベクトルのベクトルにおける値を評価する双線型な評価写像 V* × V → F である。ここで、各写像の定義域において直積をとる順番は、余ベクトルとベクトルとの区別を反映していることに注意。
上記の内積と外積に対して、混同するべきではないがよく似た積として内部積 (interior) と外(部)積 (exterior) というのが、ベクトル場や微分形式に対する、あるいはより一般に外積代数における演算として定義される。さらにややこしいことに、幾何代数において、内積 (inner) と(グラスマン)外積 (exterior) は幾何積(クリフォード線型環におけるクリフォード積)に統合される(内積は二つのベクトル (1-階ベクトル) をスカラー (0-階ベクトル) へ写し、外積は二つのベクトルを二重ベクトル (2-階ベクトル) へ写す)。そしてこの文脈においてグラスマン積はふつうは「外積」(outer)(あるいはウェッジ積)と呼ばれ、またこの文脈での内積は(考える二次形式が必ずしも正定値であることを要求されないという意味では「内積」でないので)スカラー積と呼ぶのが形式上はより適切である。
関連項目
- 計量ベクトル空間
ベクトル空間の双対系(双対性を表す内積)
注
注釈
^ エルミート対称性のもと、第二変数に関する線型性は第一変数に関する共軛線型性から出る。同様に、第一変数に関する共軛線型性は第二変数に函数線型性から出る。
出典
^ Emch, Gerard G. (1972). Algebraic methods in statistical mechanics and quantum field theory. New York: Wiley-Interscience. ISBN 978-0-471-23900-0.
参考文献
外部リンク
- Renze, John; Stover, Christopher; Weisstein, Eric W.. "Inner Product". MathWorld(英語)..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
- Rowland, Todd. "Hermitian Inner Product". MathWorld(英語).
inner product - PlanetMath.(英語)
Definition:Inner Product at ProofWiki