リアル（実）ベクトルたちスペース（空間）のコンベックスサブセット（部分集合）の定義
話題
About: ベクトルたちスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、%フィールド（体）名%ベクトルたちスペース（空間）の定義を知っている。
ターゲットコンテキスト
- 読者は、リアル（実）ベクトルたちスペース（空間）のコンベックスサブセット（部分集合）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( V\): \(\in \text{ 全てのリアル（実）ベクトルたちスペース（空間）たち }\)
\(*S\): \(\subseteq V\)
//
コンディションたち:
\(\forall p_1, p_2 \in S, \forall t \in \mathbb{R} \text{ で } 0 \le t \le 1 \text{ であるものに対して } (p_1 + t (p_2 - p_1) \in S)\)。
//
2: 自然言語記述
任意のリアル（実）ベクトルたちスペース（空間）\(V\)に対して、以下を満たす任意のサブセット（部分集合）\(S \subseteq V\)、つまり、\(\forall p_1, p_2 \in S, \forall t \in \mathbb{R} \text{ で } 0 \le t \le 1 \text{ であるものに対して } (p_1 + t (p_2 - p_1) \in S)\)
