ビネ・コーシーの恒等式

ビネ・コーシーの恒等式

代数学におけるビネ・コーシーの恒等式は、ジャック・フィリップ・マリー・ビネとオーギュスタン＝ルイ・コーシーにちなんで名付けられた重要な数学的概念です。この恒等式は、次の形で表されます。

$$
\left(\sum_{i=1}^{n} a_{i} c_{i}\right) \left(\sum_{j=1}^{n} b_{j} d_{j}\right) = \left(\sum_{i=1}^{n} a_{i} d_{i}\right) \left(\sum_{j=1}^{n} b_{j} c_{j}\right) + \sum_{1 \leq i < j \leq n} \left( a_{i} b_{j} - a_{j} b_{i} \right) \left( c_{i} d_{j} - c_{j} d_{i} \right)
$$

ここで、$a_{i}, b_{i}, c_{i}, d_{i} \in K$とし、$K$は実数または複素数（あるいはより一般的な可換環）です。特に、$c_{i} = a_{i}, d_{i} = b_{i}$とすることで、実数の場合におけるラグランジュの恒等式を得ることができます。この恒等式は、ユークリッド空間におけるコーシー＝シュワルツの不等式の強化にもあたります。

恒等式の証明

この恒等式の右辺の第2項を展開すると、以下のようになります。詳細な展開と整理の結果、次の関係が成り立ちます。

$$
\sum_{1 \leq i < j \leq n} \left( a_{i} b_{j} - a_{j} b_{i} \right) \left( c_{i} d_{j} - c_{j} d_{i} \right) = \left(\sum_{i=1}^{n} a_{i} c_{i}\right) \left(\sum_{j=1}^{n} b_{j} d_{j}\right) - \left(\sum_{i=1}^{n} a_{i} d_{i}\right) \left(\sum_{j=1}^{n} b_{j} c_{j}\right)
$$

これにより、ビネ・コーシーの恒等式の表現が得られます。証明は、乗算の可換性を利用して行われます。

スカラー四重積との関係

この恒等式は、スカラー四重積に関する公式とも関係があります。特に、$n = 3$の場合において、次のような形で表現できます。

$$
\left(\sum_{i=1}^{3} a_{i} c_{i}\right) \left(\sum_{j=1}^{3} b_{j} d_{j}\right) - \left(\sum_{i=1}^{3} a_{i} d_{i}\right) \left(\sum_{j=1}^{3} b_{j} c_{j}\right) = (a_{1}b_{2} - a_{2}b_{1})(c_{1}d_{2} - c_{2}d_{1}) + (a_{2}b_{3} - a_{3}b_{2})(c_{2}d_{3} - c_{3}d_{2}) + (a_{1}b_{3} - a_{3}b_{1})(c_{1}d_{3} - c_{3}d_{1})
$$

このように、ビネ・コーシーの恒等式を利用することで、スカラー四重積に関する重要な結果が導かれます。

一般化

さらに、この恒等式は「コーシー・ビネの公式」として知られる一般化があります。ここでは、$n$を自然数、$m$を非負整数、$A$を$m \times n$行列、$B$を$n \times m$行列とした場合を考えます。行列の行列式は次のように表されます。

$$
det(AB) = \sum_{S \subset [n], |S|=m} det(A_{S}) det(B^{S})
$$

ここで、$S$は$[n]$の部分集合で、$|S|=m$のもの全てを取ります。特に$m = 2$とした場合、更に具体的な形に落とし込むことができます。

参考文献

本恒等式及び関連する理論に関する詳細な情報は、以下の参考文献に記載があります。

• - 伊理正夫、韓太舜『線形代数 行列とその標準形』教育出版、1977年。

このように、ビネ・コーシーの恒等式は代数学の深い理論を反映したものであり、多くの数学的概念とのつながりを持っています。

もう一度検索