\(\mathbb{R}^n\)ベクトルのユークリディアンノルムの2乗は、ポジティブデフィニット（正定値）リアル（実）クオドラティック（2次）フォーム（形式）を最大アイゲンバリュー（固有値）で割ったものに等しいかより大きいことの記述/証明
話題
About: ベクトルたちスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、%フィールド（体）名%ベクトルたちスペース（空間）の定義を知っている。
- 読者は、ポジティブデフィニット（正定値）クオドラティック（2次）フォーム（形式）の定義を知っている。
- 読者は、ユークリディアンベクトルたちスペース（空間）上のユークリディアンノルムの定義を知っている。
- 読者は、マトリックス（行列）のアイゲンバリュー（固有値）の定義を知っている。
- 読者は、オーソノーマル（正規直交）マトリックス（行列）の定義を知っている。
- 読者は、任意のリアル（実）シンメトリック（対称）マトリックス（行列）はあるオーソノーマル（正規直交）マトリックス（行列）によってダイアゴナライズド（対角化された）にできるという命題を認めている。
- 読者は、任意のオーソノーマル（正規直交）マトリックス（行列）のトランスポジション（転置）は元のマトリックス（行列）のインバース（逆）であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意の\(\mathbb{R}^n\)ベクトルたちスペース（空間）に対して、任意のベクトルのユークリディアンノルムの2乗は、任意のポジティブデフィニット（正定値）リアル（実）クオドラティック（2次）フォーム（形式）を当該クオドラティック（2次）フォーム（形式）の最大アイゲンバリュー（固有値）で割ったものに等しいかより大きいという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(\mathbb{R}^d\): ユークリディアンベクトルたちスペース（空間）ストラクチャー（構造）およびユークリディアンノルム\(\Vert v \Vert = \sqrt{{v^1}^2 + {v^2}^2 + ... + {v^d}^2}\)を持ったもの
\(M\): \(\in \{\text{ 全てのリアル（実）シンメトリック（対称） } d \times d \text{ マトリックス（行列）たち }\}\)
\(f\): \(\in \{\mathbb{R}^d\text{ 上方の全てのポジティブデフィニット（正定値）リアル（実）クオドラティック（2次）フォーム（形式）たち }\}\)、\(: \mathbb{R}^d \to \mathbb{R}\)、\(v \mapsto v^t M v\)
\(v\): \(\in \mathbb{R}^d\)
\(\lambda_M\): \(= M\text{ の最大アイゲンバリュー（固有値）}\)、不可避に\(0 \lt \lambda_M\)
//
ステートメント（言明）たち:
\(f (v) / \lambda_M \leq \Vert v \Vert^2\).
//
2: 自然言語記述
\(\mathbb{R}^n\)ユークリディアンベクトルたちスペース（空間）でユークリディアンノルム\(\Vert v \Vert = \sqrt{{v^1}^2 + {v^2}^2 + ... + {v^d}^2}\)を持ったもの、任意のポジティブデフィニット（正定値）リアル（実）クオドラティック（2次）フォーム（形式）\(f (v) = v^t M v\)、ここで、\(M\)はリアル（実）シンメトリック（対称）\(d \times d\)マトリックス（行列）、に対して、\(f (v) / \lambda_M \leq \Vert v \Vert^2\)、ここで、\(\lambda_M\)（不可避に\(0 \lt \lambda_M\)）は\(M\)の最大アイゲンバリュー（固有値）、である。
3: 証明
以下を満たすあるオーソノーマル（正規直交）マトリックス（行列）\(M'\)、つまり、\(M'^{-1} M M' = [\lambda_1, ..., \lambda_d]\)、ここで、\([\lambda_1, ..., \lambda_d]\)はあるダイアゴーナル（対角）マトリックス（行列）、ここで、\(\lambda_i\)はあるアイゲンバリュー（固有値）、がある、任意のリアル（実）シンメトリック（対称）マトリックス（行列）はあるオーソノーマル（正規直交）マトリックス（行列）によってダイアゴナライズド（対角化された）にできるという命題によって。\(v' := M'^{-1} v\)を定義しよう、したがって、\(v = M' v'\)。\(f (v) = v'^{t} M'^{t} M M' v' = v'^{t} M'^{-1} M M' v' = v'^{t} [\lambda_1, ..., \lambda_d] v' = \lambda_1 {v'^1}^2 + \lambda_2 {v'^2}^2 + ... + \lambda_d {v'^d}^2\)、任意のオーソノーマル（正規直交）マトリックス（行列）のトランスポジション（転置）は元のマトリックス（行列）のインバース（逆）であるという命題によって。
最大アイゲンバリュー（固有値）を\(\lambda_M\)として表記しよう、それは、不可避に\(0 \lt \lambda_M\)、なぜなら、\(M\)はポジティブデフィニット（正定値）である。\(f (v) = \lambda_1 {v'^1}^2 + \lambda_2 {v'^2}^2 + ... + \lambda_d {v'^d}^2 \leq \lambda_M ({v'^1}^2 + {v'^2}^2 + ... + {v'^d}^2) = \lambda_M \Vert v' \Vert^2\)。\(M'\)はオーソノーマル（正規直交）マトリックス（行列）であるから、\(\Vert v' \Vert = \Vert v \Vert\)。したがって、\(f (v) / \lambda_M \leq \Vert v \Vert^2\)。
