【１】アダマール行列

　アダマール行列Ｈnは＋１か−１の要素をもつｎ×ｎ行列で，その行と列は互いに直交している．各行または列のノルム（各要素の２乗和）はｎであるから，

　　ＨnＨn’＝Ｈn’Ｈn＝ｎＩn

が成り立つ．

　　ｄｅｔ｜ｎＩn｜＝ｎ^n

より

　　ｄｅｔ｜Ｈn｜＝ｎ^n/2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】アダマールの定理

　もっと一般に，各成分が１か−１のｎ×ｎ行列の行列式はｎ^n/2以下である．

　アダマールの定理の証明は，行列式の幾何学的意味を理解すれば簡単である．行列式の絶対値は，ｎ個のそれぞれの長さ√ｎの行ベクトルが作るｎ次元平行六面体の体積だから，その値は（√ｎ）^n＝ｎ^n/2以下である．等号はベクトル同士が全部直交するときに限る．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】アダマール行列の直積

　なお，Ａ（ｍ×ｎ行列）とＢ（ｍ’×ｎ’行列）の直積（クロネッカー積）は，２つの行列の各要素を直接乗じて作る（ｍｍ’×ｎｎ’）行列である．直積では第１項の各要素をその項と第２項との積で置き換えることによって定義される．

　両者の成分のすべての積を作り，各要素を（ｃi'j'）＝（ａijｂkl）において，

　　ｉ’＝ｉ＋ｍ（ｋ−１）

　　ｊ’＝ｊ＋ｎ（ｌ−１）

の式にしたがって並べると，

　　１≦ｉ≦ｍ，１≦ｊ≦ｎ，１≦ｋ≦ｍ’，１≦ｌ≦ｎ’

より，

　　１≦ｉ’≦ｍｍ’，１≦ｊ’≦ｎｎ’

　また，正方行列Ｘ（ｎ×ｎ行列）とＹ（ｍ×ｍ行列）の直積の固有値は，Ｘのｎ個の固有値とＹのｍ個の固有値の積である．テンソルの数学的定義はそれが何であるかよりも座標変換に対していかに振る舞うかによって規定するから，理解しにくいかもしれない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝