【１】アダマール行列
アダマール行列Ｈnは＋１か−１の要素をもつｎ×ｎ行列で，その行と列は互いに直交している．各行または列のノルム（各要素の２乗和）はｎであるから，
ＨnＨn’＝Ｈn’Ｈn＝ｎＩn
が成り立つ．
最も簡単なアダマール行列は
Ｈ2 ＝［１， １］
［１，−１］
である．すべての他のアダマール行列はｎ＝４ｋであることが必要である．
とくに興味深いのは「直積」
Ｈ4＝Ｈ2×Ｈ2（２^2×２^2行列），
Ｈ8＝Ｈ2×Ｈ2×Ｈ2（２^3×２^3行列），
Ｈn＝Ｈ2×Ｈ2×Ｈ2・・・（２^n×２^n行列）
によって，Ｈ2から得られるｎ＝２^mのシルベスタ型のアダマール行列で，
［１， １， １， １］
Ｈ4 ＝［１，−１， １，−１］
［１， １，−１，−１］
［１，−１，−１， １］
［１， １， １， １， １， １， １， １］
［１，−１， １，−１， １，−１， １，−１］
［１， １，−１，−１， １， １，−１，−１］
Ｈ8 ＝［１，−１，−１， １， １，−１，−１， １］
［１， １， １， １，−１，−１，−１，−１］
［１，−１， １，−１，−１， １，−１， １］
［１， １，−１，−１，−１，−１， １， １］
［１，−１，−１， １，−１， １， １，−１］
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【２】アダマール行列の直積
なお，Ａ（ｍ×ｎ行列）とＢ（ｍ’×ｎ’行列）の直積（クロネッカー積）は，２つの行列の各要素を直接乗じて作る（ｍｍ’×ｎｎ’）行列である．直積では第１項の各要素をその項と第２項との積で置き換えることによって定義される．
両者の成分のすべての積を作り，各要素を（ｃi'j'）＝（ａijｂkl）において，
ｉ’＝ｉ＋ｍ（ｋ−１）
ｊ’＝ｊ＋ｎ（ｌ−１）
の式にしたがって並べると，
１≦ｉ≦ｍ，１≦ｊ≦ｎ，１≦ｋ≦ｍ’，１≦ｌ≦ｎ’
より，
１≦ｉ’≦ｍｍ’，１≦ｊ’≦ｎｎ’
また，正方行列Ｘ（ｎ×ｎ行列）とＹ（ｍ×ｍ行列）の直積の固有値は，Ｘのｎ個の固有値とＹのｍ個の固有値の積である．テンソルの数学的定義はそれが何であるかよりも座標変換に対していかに振る舞うかによって規定するから，理解しにくいかもしれない．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【３】ＤＦＴ行列
ＤＦＴ行列Ｆnは，１のｎ乗根
ωj＝ｅｘｐ（２πｉｊ／ｎ） （ｊ＝０〜ｎ−１）
の要素をもつｎ×ｎヴァンデルモンド行列で，その行と列は互いに直交している．各行または列のノルム（各要素の２乗和）はｎであるから，
ＦnＦn’~＝Ｆn’~Ｆn＝ｎＩn （Ｆn’は転置行列，Ｆn~は複素共役行列）
が成り立つ．
ｄｅｔ｜ｎＩn｜＝ｎ^n
より
ｄｅｔ｜Ｆn｜＝ｎ^n/2
［１ １ ・・・ １ ］
［ω0 ω1 ・・・ ωn-1 ］
Ｆn ＝［ω0^2 ω1^2 ・・・ ωn-1^2 ］
［・・・・・・・・・・・・・・・・・・］
［ω0^n-1 ω1^n-1 ・・・ ωn-1^n-1 ］
ω＝ｅｘｐ（２πｉ／ｎ）
とおくと，Ｆnは対称ヴァンデルモンド行列となる．最も簡単なＤＦＴ行列は
Ｆ2 ＝［１， １］
［１，−１］
である．これはアダマール行列Ｈ2と全く同じである．
［１， １， １ ］
Ｆ3 ＝［１， ω， ω^2 ］
［１， ω^2，ω ］
Ｆ4はＨ4とは異なり，
［１， １， １， １］
Ｆ4 ＝［１， ｉ，−１，−ｉ］
［１，−１， １，−１］
［１，−ｉ，−１， ｉ］
である．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【４】離散フーリエ変換（ＤＦＴ）
離散フーリエ変換（ＤＦＴ）は，Ｆnをｎ×ｎ行列，ａをベクトルとして，
Ａ＝Σａkｅｘｐ（２πｉｋ／ｎ）＝Ｆnａ
と書くことができる．
ｎ個の複素数（または実数）
ｚ0，ｚ1，・・・，ｚn-1
を前もって与えて，ａ＝（ａ0，ａ1，・・・，ａn-1）を
ｚk＝ａ0＋ａ1ωk＋ａ2ωk^2＋・・・＋ａn-1ωk^n-1＝Σａjωk^j （ｋ＝０〜ｎ−１）
を定める．
直交性から，具体的に
ａk＝１／ｎ（ｚ0＋ｚ1ωk~＋ｚ1ωk~^2＋・・・＋ｚn-1ωk~^n-1） （ｋ＝０〜ｎ−１）
により与えられる．
ｚk＝Σａjωk^jとｗk＝Σｂjωk^jの内積は，直交関係により
Σｚkｗk~＝ｎΣａjｂj〜
とくに，すべてのｋについてｘk＝ｗkならば
Σ｜ｚk｜^2＝ｎΣ｜ａj｜^2 （有限パーシヴァル関係式）
となる．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝