2024年10月20日日曜日

817: サブセット(部分集合)のネイバーフッド(近傍)

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

サブセット(部分集合)のネイバーフッド(近傍)の定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、サブセット(部分集合)のネイバーフッド(近傍)の定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
T: { 全てのトポロジカルスペース(空間)たち }
S: T
NS: :⊆T
//

コンディションたち:
US{T の全てのオープンサブセット(開部分集合)たち }(SUSNS)
//


2: 注


一部の人々は'ネイバーフッド(近傍)'によって'オープン(開)ネイバーフッド(近傍)を意味するが、その一方で、多くの場合、それが(必ずしもオープン(開)でない)ネイバーフッド(近傍)であるかオープン(開)ネイバーフッド(近傍)であるかは問題ではない、なぜなら、例えば、"あるネイバーフッド(近傍)がある"は"あるオープン(開)ネイバーフッド(近傍)がある"と同値である、なぜなら、もしも、あるネイバーフッド(近傍)があれば、その中にあるオープン(開)ネイバーフッド(近傍)があるし、もしも、あるオープン(開)ネイバーフッド(近傍)があれば、当該オープン(開)ネイバーフッド(近傍)である当該ネイバーフッド(近傍)がある。


参考資料


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