2024年3月31日日曜日

521: ドメイン(定義域)のサブセット(部分集合)へレラティブ(相対的)にホモトピックなマップ(写像)たち

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

ドメイン(定義域)のサブセット(部分集合)へレラティブ(相対的)にホモトピックなマップ(写像)たちの定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、ドメイン(定義域)のサブセット(部分集合)へレラティブ(相対的)にホモトピックなマップ(写像)たちの定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T1: { 全てのトポロジカルスペース(空間)たち }
T2: { 全てのトポロジカルスペース(空間)たち }
S: T1
f: :T1T2, { 全てのコンティニュアス(連続)マップ(写像)たち }
f: :T1T2, { 全てのコンティニュアス(連続)マップ(写像)たち }
//

コンディションたち:
F:T1×IT2,{ 全てのコンティニュアス(連続)マップ(写像)たち }、ここで、I[0,1]R
(
pT1
(
F(p,0)=f(p)

F(p,1)=f(p)
)

pS,sI
(
F(p,s)=f(p)=f(p)
)
).
//

Fは"レラティブ(相対的)ホモトピー"と呼ばれる。

ffrelSは、当該関係を表わす。


2: 自然言語記述


任意のトポロジカルスペース(空間)たちT1,T2、任意のサブセット(部分集合)ST1に対して、以下を満たす任意のコンティニュアス(連続)マップ(写像)たちf,f:T1T2、つまり、以下を満たすあるコンティニュアス(連続)マップ(写像)("レラティブ(相対的)ホモトピー"と呼ばれる)F:T1×IT2、ここで、I[0,1]R、つまり、各pT1に対して、F(p,0)=f(p)およびF(p,1)=f(p)であり、各pSおよび各sIに対して、F(p,s)=f(p)=f(p)ffrelSと表記される


参考資料


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