2022年10月23日日曜日

375: メトリックスペース(計量空間)に対して、1ポイントサブセット(部分集合)はクローズド(閉)である

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

メトリックスペース(計量空間)に対して、1ポイントサブセット(部分集合)はクローズド(閉)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のメトリックスペース(計量空間)に対して、任意の1ポイントサブセット(部分集合)はクローズド(閉)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のメトリックスペース(計量空間)Mに対して、任意の1ポイントサブセット(部分集合){p}Mはクローズド(閉)である。


2: 証明


M{p}および任意のポイントpM{p}のことを考える。ppであるので、2ポイントたち間のディスタンス(距離)の定義により、d(p,p)>0。したがって、任意の0<ϵ<d(p,p)に対して、p周りのオープンボール(開球)Bpϵpを包含しない、したがって、BpϵM{p}。したがって、M{p}はオープン(開)である、したがって、{p}はクローズド(閉)である。


参考資料


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