アファインシンプレックス（単体）のシンプレックスバウンダリー（境界）の定義
話題
About: ベクトルたちスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、アファインシンプレックス（単体）のシンプレックスインテリア（内部）の定義を知っている。
ターゲットコンテキスト
- 読者は、アファインシンプレックス（単体）のシンプレックス（単体）バウンダリー（境界）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( V\): \(\in \{\text{ 全てのリアル（実）ベクトルたちスペース（空間）たち }\}\)
\( \{p_0, ..., p_n\}\): \(\subseteq V\), \(\in \{V\text{ 上のベースポイントたちの全てのアファインインディペンデント（独立）セット（集合）たち }\}\)
\( [p_0, ..., p_n]\): \(= \{\sum_{j = 0 \sim n} t^j p_j \in V \vert t^j \in \mathbb{R}, \sum_{j = 0 \sim n} t^j = 1 \land 0 \le t^j\}\)
\( [p_0, ..., p_n]^\circ\): \(= [p_0, ..., p_n] \text{ のシンプレックス（単体）インテリア（内部） }\)
\(*bou [p_0, ..., p_n]\): \(= [p_0, ..., p_n] \setminus [p_0, ..., p_n]^\circ\)
//
コンディションたち:
//
2: 自然言語記述
任意のリアル（実）ベクトルたちスペース（空間）\(V\)、\(V\)上のベースポイントたちの任意のアファインインディペンデント（独立）セット（集合）\(\{p_0, ..., p_n\}\)、アファインシンプレックス（単体）\([p_0, ..., p_n] = \{\sum_{j = 0 \sim n} t^j p_j \in V \vert t^j \in \mathbb{R}, \sum_{j = 0 \sim n} t^j = 1 \land 0 \le t^j\}\)、\([p_0, ..., p_n]\)のシンプレックス（単体）インテリア（内部）\([p_0, ..., p_n]^\circ\)に対して、\([p_0, ..., p_n] \setminus [p_0, ..., p_n]^\circ\)、\(bou [p_0, ..., p_n]\)と表記される
3: 注
"シンプレックス（単体）バウンダリー（境界）"のように修飾されている理由は、それは、'トポロジカルバウンダリー（境界）'とは違うかもしれないこと: あるシンプリシャルコンプレックスが1つのシンプレックス（単体）とそのプロパー（真）フェイスたちから成る時、当該シンプレックス（単体）の、当該コンプレックスのアンダーライイング（下にある）スペース（空間）上におけるトポロジカルバウンダリー（境界）は空集合である、なぜなら、当該シンプレックス（単体）のコンプリメント（補集合）はアンダーライイング（下にある）スペース（空間）上で空である; 同じケースにおいて、当該シンプレックス（単体）の任意のプロパー（真）フェイスの、当該コンプレックスのアンダーライイング（下にある）スペース（空間）上におけるトポロジカルバウンダリー（境界）はスペース（空間）全体である。
広く、\(S\)のシンプレックスバウンダリー（境界）は\(\dot{S}\)と記される、そのケースでは実のところそれは問題ない、しかし、本定義は\(bou [p_0, ..., p_n]\)を使った、なぜなら、\(\dot{[p_0, ..., p_n]}\)は見過ごされやすすぎるように思われるから（そうでなければ、\(\dot{[p_0, ..., p_n]}\)は全く問題ない）。
