2024年6月9日日曜日

618: デフォーメイションリトラクション

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

デフォーメイションリトラクションの定義

話題


About: トポロジカルスペース

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、デフォーメイションリトラクションの定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T: { 全てのトポロジカルスペースたち }
T: Tで、サブスペーストポロジーを持ったもの
ι: :TT,pp
id: :TT,pp
f: :TT, { 全てのリトラクションたち }
//

コンディションたち:
ιfid、ここで、はホモトピックであることを表わす
//


2: 自然言語記述


任意のトポロジカルスペースT、任意のサブスペースTTに対して、以下を満たす任意のリトラクションf:TT、つまり、ιfid、ここで、ι:TT,ppid:TT,ppはホモトピックであることを表わす


参考資料


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