2023年6月11日日曜日

301: トポロジカルスペース(空間)およびサブスペース(部分空間)上のポイントに対して、ポイントのベーススペース(空間)上のネイバーフッド(近傍)とサブスペース(部分空間)のインターセクション(共通集合)はサブスペース(部分空間)上でネイバーフッド(近傍)である

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

トポロジカルスペース(空間)およびサブスペース(部分空間)上のポイントに対して、ポイントのベーススペース(空間)上のネイバーフッド(近傍)とサブスペース(部分空間)のインターセクション(共通集合)はサブスペース(部分空間)上でネイバーフッド(近傍)であることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルスペース(空間)および任意のサブスペース(部分空間)上の任意のポイントに対して、当該ポイントの当該ベーススペース(空間)上の任意のネイバーフッド(近傍)と当該サブスペース(部分空間)のインターセクション(共通集合)は当該サブスペース(部分空間)上でネイバーフッド(近傍)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)T、任意のサブスペース(部分空間)T1T、任意のポイントpT1pT上の任意のネイバーフッド(近傍)NpTに対して、NpT1pT1上のネイバーフッド(近傍)である。


2: 証明


pNpT1pT上のあるオープンネイバーフッド(開近傍)UpNpがある。UpT1NpT1pT1上のオープンネイバーフッド(開近傍)である、なぜなら、pUpT1であり、UpT1T1上でオープン(開)だから。


参考資料


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