用語・記号の定義

線形代数学

行列の固有多項式・最小多項式の定義・求め方・性質

正方行列における,固有多項式 (characteristic polynomial)・最小多項式 (minimal polynomial) について,その定義と求め方,性質を順番に解説していきましょう。
線形代数学

歪エルミート行列の定義と重要な性質5つ

歪エルミート行列(わいえるみーとぎょうれつ,反エルミート行列)とは,随伴行列(共役転置)をとると元の行列の-1倍になるような行列を指します。すなわち,A^*=-Aですね。これについて,その定義と性質を解説しましょう。
線形代数学

交代行列の定義と重要な性質5つ

交代行列 (反対称行列,歪対称行列,alternating matrix) とは,転置行列が元の行列の-1倍になる行列,すなわちA^T =-Aをみたす行列を指します。
線形代数学

エルミート行列の定義と性質4つとその証明

エルミート行列 (Hermitian matrix) とは,随伴行列(共役転置)と元の行列が等しい正方行列を指します。これについて,定義・具体例と性質を証明付きで紹介しましょう。
線形代数学

対称行列の定義と性質4つとその証明

対称行列 (symmetric matrix) とは,自身とその転置行列が同じである行列を指します。対称行列の定義・性質4つを紹介しましょう。
線形代数学

数ベクトルの定義と数ベクトルにおけるノルム・内積

数ベクトルとは,ざっくりいうと数を並べたものです。数を並べたものを「ベクトル」という一つのかたまりとして扱うことで,いろいろ便利なことがあるわけです。今回は,「便利なこと」の紹介はしませんが,数ベクトルとは何かの定義とノルム・内積といった大切な概念を一気に解説しましょう。
線形代数学

正規行列とは~定義・性質6つとその証明~

正規行列 (normal matrix) とは,AA^*=A^*Aが成り立つ正方行列を指します。ただし,Aの随伴行列(共役転置)です。これについて,その定義・具体例・性質を証明付きで紹介しましょう。
線形代数学

ユニタリ行列の定義と性質10個とその証明

ユニタリ行列 (unitary matrix) とは,UU^* =U^*U= I_nとなる正方行列 U を指します。これについて,定義と性質とその証明を行いましょう。
線形代数学

直交行列の定義と性質10個とその証明

直交行列 (orthogonal matrix) とは,A A^T =A^T A = I_n となる正方行列 A を指します。これについて,定義と性質10個とその証明を行いましょう。
記号・記法

二項演算・単項演算とは

二項演算 (binary operation)・単項演算 (unary operation) は,厳密には集合上の写像として定義されます。これについて,その定義と例を紹介しましょう。