コーシー・ビネの公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』

出典: フリー百科事典『ウィキペディア(Wikipedia)』

代数学におけるコーシー・ビネの公式 (こーしー・びねのこうしき、: Cauchy-Binet formula)、あるいは、コーシー・ビネの定理コーシー・ビネの展開とは、ジャック・フィリップ・マリー・ビネ英語版および オーギュスタン=ルイ・コーシーに由来する恒等式で、2つの行列の積から作られる正方行列行列式を、元の行列から取り出せる最大の小行列式の積の和で表せるというものであり[1]、行列の要素は実数複素数だけでなく可換環としても成立する。

定理[編集]

n自然数とし、集合 {1,...,n } を [n ] と表記する。 m を非負の整数として、Am ×n行列Bn ×m の行列とする。 S を要素数(|S| = )m の [n ]の部分集合とし、 ASAn 個のからS に含まれる添字のを取り出して得られたm ×m 行列、 BSBn 個のからS に含まれる添字のを取り出して得られたm ×m 行列とする。

m ×m 行列である積AB行列式

で表せる。ただし、和において、S は{1,...,n } の要素数m の部分集合のすべてを取るとする。なお、m > n の場合は右辺は0である。

要素を用いた記法[編集]

に対して、公式は

と表現できる。ただし、右辺の総和において、を満たす整数の組のすべてに対して和を取るとする。なお、m > n の場合は右辺は0である。

小行列式を用いた記法[編集]

記法

を使えば

となる。ただし、右辺の総和において、を満たす整数の組のすべてに対して和を取るとする。なお、m > n の場合は右辺は0である。

定理の証明[編集]

具体例[編集]

(1) m = 1, n = 3 とし、行列を および とする。であり、であるから、

となる。

(2) m = 2, n = 3 とし、行列を および とする。であり、であるから、

となる。

(3) m = 3, n = 3 とし、行列を および とする。であり、であるから、

となる。

(4) m = 4, n = 3 とし、行列を および とする。であり、は存在しないから、

となる。

以上より、コーシー・ビネの公式が具体的な例で確認できる。

一般化されたクロネッカーのデルタとの関係[編集]

とする。ただし、δはクロネッカーのデルタ

である。 これをコーシー・ビネの公式に代入し、一般化されたクロネッカーのデルタ

を使えば、

が得られる。逆にこの式からコーシー・ビネの公式を導くこともできる。

これは単位行列の基本的性質

の一般化である。

特別な場合[編集]

m >n の場合 1≦k1< … <kmn となる整数の組 {ki (i=1,…,m )} は存在しないから、公式の右辺は0となり、よって、det(AB )=0 が得られる。実際、A,B階数はこの場合高々n だから、 m ×m 行列 AB の階数も高々n (<m )であるので、その行列式は0になる。

m = n のとき、AB はともに正方行列になる。 1≦k1< … <kmn となる整数の組 {ki (i=1,…,m )} は [n ] と等しいから、公式は

すなわち det(AB )=det(A )det(B ) となる。

m = 0 のとき、 AB そして AB空行列 (ただし、n > 0 なら行列の型は異なる)。空行列の行列式は定義により1だから、公式は 1 = 1 を述べているに過ぎない。

m = 1 のとき、公式は となるが、1×1行列 A に対して det(A )=A だから、自明の式を述べているに過ぎない。

m = 2 のとき、非自明な公式を与える最小の m であり、そのときの公式

ビネ・コーシーの恒等式と呼ばれる。

n = 3 の場合の具体例[編集]

は3次元ベクトルとする。

m >3の場合、右辺は常に0である。なお、 m =2の式はスカラー四重積に対するビネ・コーシーの恒等式m =3の式はスカラー三重積の積に対する公式であり、 m =4の式より四重積 (ベクトル解析) の公式

が導かれる。

出典[編集]

  1. ^ 伊理正夫韓太舜『線形代数 行列とその標準形』教育出版〈新しい応用の数学16〉、1977年6月。ISBN 4-316-37670-5。

参考文献[編集]

  • Joel G. Broida & S. Gill Williamson (1989) A Comprehensive Introduction to Linear Algebra, §4.6 Cauchy- Binet theorem, pp 208–14, Addison-Wesley ISBN 0-201-50065-5 .
  • Jin Ho Kwak & Sungpyo Hong (2004) Linear Algebra 2nd edition, Example 2.15 Binet-Cauchy formula, pp 66,7, Birkhäuser ISBN 0-8176-4294-3 .
  • Igor R. Shafarevich & Alexey O. Remizov (2012) Linear Algebra and Geometry, §2.9 (p. 68) & §10.5 (p. 377), Springer ISBN 978-3-642-30993-9.
  • Aaron Lauve (2004) A short combinatoric proof of Cauchy–Binet formula from Université du Québec à Montréal.