リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）上のセミノルムの定義
話題
About: ベクトルたちスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、%フィールド（体）名%ベクトルたちスペース（空間）の定義を知っている。
ターゲットコンテキスト
- 読者は、リアル（実）またはコンプレックス（複素）ベクトルたちスペース（空間）上のセミノルムの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( F\): \(\in \{\mathbb{R}, \mathbb{C}\}\)で、カノニカル（正典）フィールド（体）ストラクチャー（構造）を持つもの
\( V\): \(\in \{F \text{ 上方の全てのベクトルたちスペース（空間）たち }\}\)
\(*\Vert \bullet \Vert\): \(: V \to \mathbb{R}\)
//
コンディションたち:
\(\forall v_1, v_2 \in V\), \(\forall r \in F\),
(
1) (\(0 \le \Vert v_1 \Vert\)) \(\land\) (\((v_1 = 0) \implies (0 = \Vert v_1 \Vert)\))
\(\land\)
2) \(\Vert r v_1 \Vert = \vert r \vert \Vert v_1 \Vert\)
\(\land\)
3) \(\Vert v_1 + v_2 \Vert \le \Vert v_1 \Vert + \Vert v_2 \Vert\)
)
//
2: 注
'セミノルム'の'ノルム'との違いは、\(0 = \Vert v_1 \Vert\)は\(v_1 = 0\)を含意しないことである。
