メトリックスペース（計量空間）に対して、2ポイントたちのサブセット（部分集合）からの距離たちの差はポイントたち間の距離に等しいかそれより小さいことの記述/証明
話題
About: メトリックスペース（計量空間）
この記事の目次
開始コンテキスト
- 読者は、メトリックスペース（計量空間）の定義を知っている。
- 読者は、メトリックスペース（計量空間）上の、2ポイントたち間の距離の定義を知っている。
- 読者は、メトリックスペース（計量空間）上の、ポイントとサブセット（部分集合）間の距離の定義を知っている。
ターゲットコンテキスト
- 読者は、任意のメトリックスペース（計量空間）、任意のサブセット（部分集合）、任意の2ポイントたちに対して、ポイントたちのサブセット（部分集合）からの距離たちの差はポイントたち間の距離に等しいかそれよりも小さいという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のメトリックスペース（計量空間）\(M\)、任意のサブセット（部分集合）\(S \subseteq M\)、任意のポイントたち\(p_1, p_2 \in M\)に対して、\(|d (p_1, S) - d (p_2, S)| \leq d (p_1, p_2)\)、ここで、\(d (\bullet, \bullet)\)は引数たち間の距離を表わす。
2: 証明
\(p_1, p_2 \notin S\)だと仮定する。任意のポイント\(p'_2 \in S\)を取る。2ポイント間の距離の定義により、\(d (p_1, p'_2) \leq d (p_1, p_2) + d (p_2, p'_2)\)。ポイントとサブセット（部分集合）間の距離の定義により、\(d (p_1, S) \leq d (p_1, p'_2)\)および\(d (p_2, p'_2) = d (p_2, S) + \epsilon\)、ここで、\(\epsilon \geq 0\)は任意の小さな正値にできる。したがって、\(d (p_1, S) \leq d (p_1, p_2) + d (p_2, S) + \epsilon\)。\(\epsilon \rightarrow 0\)によるリミット（極値）を取って、\(d (p_1, S) \leq d (p_1, p_2) + d (p_2, S)\)、したがって、\(d (p_1, S) - d (p_2, S) \leq d (p_1, p_2)\)。シンメトリック性によって、\(d (p_2, S) - d (p_1, S) \leq d (p_1, p_2)\)でもある、したがって、\(|d (p_1, S) - d (p_2, S)| \leq d (p_1, p_2)\)。
\(p_1 \notin S\)および\(p_2 \in S\)だと仮定する。ポイントとサブセット（部分集合）間の距離の定義によって、\(d (p_1, S) \leq d (p_1, p_2)\)。\(d (p_2, S) = 0\)なので、\(d (p_1, S) - d (p_2, S) \leq d (p_1, p_2)\)。左辺は非負なので、\(|d (p_1, S) - d (p_2, S)| \leq d (p_1, p_2)\)。
\(p_1 \in S\)および\(p_2 \notin S\)だと仮定する。シンメトリック性によいって、\(|d (p_2, S) - d (p_1, S)| \leq d (p_2, p_1)\)、それが意味するのは、\(|d (p_1, S) - d (p_2, S)| \leq d (p_1, p_2)\)。
\(p_1, p_2 \in S\)だと仮定する。\(d (p_1, S) = d (p_2, S) = 0\)であるから、\(|d (p_1, S) - d (p_2, S)| \leq d (p_1, p_2)\)。
