2024年7月28日日曜日

702: バウンダリー(境界)付きCマニフォールド(多様体)上のポイントの周りのチャートボール(球)

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

バウンダリー(境界)付きCマニフォールド(多様体)上のポイントの周りのチャートボール(球)の定義

話題


About: Cマニフォールド(多様体)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、バウンダリー(境界)付きCマニフォールド(多様体)上のポイントの周りのチャートボール(球)の定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
M: { 全ての d ディメンショナル(次元)バウンダリー(境界)付き C マニフォールド(多様体)たち }
p: M
Bp: {p の M 上の全てのオープンネイバーフッド(開近傍)たち }
//

コンディションたち:
(BpM,ϕp){M 上の全てのチャートたち }

ϕp(Bp){ϕp(p) の周りの Rd 上の全てのオープンボール(開球)たち }
//


2: 自然言語記述


任意のdディメンショナル(次元)バウンダリー(境界)付きCマニフォールド(多様体)M、任意のポイントpMpの以下を満たす任意のオープンネイバーフッド(開近傍)BpM、つまり、あるチャート(BpM,ϕp)があり、ϕp(Bp)Rdϕp(p)の周りのオープンボール(開球)である


3: 注


pがバウンダリー(境界)ポイントである時は、pの周りにチャートボール(球)はない。

pがインテリア(内部)ポイントである時は、pの周りには常にあるチャートボールがある、任意のバウンダリー(境界)付きCマニフォールド(多様体)に対して、各インテリア(内部)ポイントはあるチャートボールを持ち、各バウンダリー(境界)ポイントはあるチャートハーフボール(半球)を持つという命題によって。

本概念は、'メトリックスペース(計量付き空間)上のポイントの周りのオープンボール(開球)'とは異なる: 任意のメトリックスペース(計量付き空間)T上で、各pMの周りに、Bp,ϵ:={pM|dist(p,p)<ϵ}は常にオープンボール(開球)であるが、それは必ずしもRd上のオープンボール(開球)へホメオモーフィズム(位相同形写像)ではない

"M上のpの周りのチャートオープンボール(開球)"とも呼び得るが、勿論、各チャートドメイン(定義域)はオープンサブセット(開部分集合)であることは知られている。


参考資料


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