リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）でインナープロダクト（内積）を持つものに対して、ファイナイト（有限）数ベクトルたちのリニアコンビネーション（線形結合）は、0であることなしに各構成要素へ直交することはできないことの記述/証明
話題
About: ベクトルたちスペース（空間）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、任意のリアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）で任意のインナープロダクト（内積）を持つものに対して、任意のファイナイト（有限）数ベクトルたちの任意のリニアコンビネーション（線形結合）は、0であることなしに各構成要素へ直交することはできないという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(F\): \(\in \{\mathbb{R}, \mathbb{C}\}\)
\(V\): \(\in \{\text{ 全ての } F \text{ ベクトルたちスペース（空間）たち }\}\)
\(\langle \bullet, \bullet\rangle\): \(: V \times V \to F\), \(\in \{V \text{ 上の全てのインナープロダクト（内積）たち }\}\)
\(\{v_1, ..., v_k\}\): \(\subseteq V\)
\(v\): \(= r^1 v_1 + ... + r^k v_k \in V\)、ここで、\(r^j \in F\)
//
ステートメント（言明）たち:
\(\forall j \in \{1, ..., k\} (\langle v, v_j \rangle = 0)\)
\(\implies\)
\(v = 0\)
//
2: 証明
\(\forall j \in \{1, ..., k\} (\langle v, v_j \rangle = 0)\)であると仮定しよう。
\(\langle v_j, v \rangle = \overline{\langle v, v_j \rangle} = 0\)。
\(\langle v, v \rangle = \langle r^1 v_1 + ... + r^k v_k, v \rangle = r^1 \langle v_1, v \rangle + ... + r^k \langle v_k, v \rangle = r^1 0 + ... + r^k 0 = 0\)、それが含意するのは、\(v = 0\)、インナープロダクト（内積）の定義によって。
