2022年10月16日日曜日

371: メトリックスペース(計量空間)に対して、2ポイントたちのサブセット(部分集合)からの距離たちの差はポイントたち間の距離に等しいかそれより小さい

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

メトリックスペース(計量空間)に対して、2ポイントたちのサブセット(部分集合)からの距離たちの差はポイントたち間の距離に等しいかそれより小さいことの記述/証明

話題


About: メトリックスペース(計量空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のメトリックスペース(計量空間)、任意のサブセット(部分集合)、任意の2ポイントたちに対して、ポイントたちのサブセット(部分集合)からの距離たちの差はポイントたち間の距離に等しいかそれよりも小さいという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のメトリックスペース(計量空間)M、任意のサブセット(部分集合)SM、任意のポイントたちp1,p2Mに対して、|d(p1,S)d(p2,S)|d(p1,p2)、ここで、d(,)は引数たち間の距離を表わす。


2: 証明


p1,p2Sだと仮定する。任意のポイントp2Sを取る。2ポイント間の距離の定義により、d(p1,p2)d(p1,p2)+d(p2,p2)。ポイントとサブセット(部分集合)間の距離の定義により、d(p1,S)d(p1,p2)およびd(p2,p2)=d(p2,S)+ϵ、ここで、ϵ0は任意の小さな正値にできる。したがって、d(p1,S)d(p1,p2)+d(p2,S)+ϵϵ0によるリミット(極値)を取って、d(p1,S)d(p1,p2)+d(p2,S)、したがって、d(p1,S)d(p2,S)d(p1,p2)。シンメトリック性によって、d(p2,S)d(p1,S)d(p1,p2)でもある、したがって、|d(p1,S)d(p2,S)|d(p1,p2)

p1Sおよびp2Sだと仮定する。ポイントとサブセット(部分集合)間の距離の定義によって、d(p1,S)d(p1,p2)d(p2,S)=0なので、d(p1,S)d(p2,S)d(p1,p2)。左辺は非負なので、|d(p1,S)d(p2,S)|d(p1,p2)

p1Sおよびp2Sだと仮定する。シンメトリック性によいって、|d(p2,S)d(p1,S)|d(p2,p1)、それが意味するのは、|d(p1,S)d(p2,S)|d(p1,p2)

p1,p2Sだと仮定する。d(p1,S)=d(p2,S)=0であるから、|d(p1,S)d(p2,S)|d(p1,p2)


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>