2022年10月30日日曜日

162: Cエンベディング(埋め込み)

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

Cエンベディング(埋め込み)の定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、Cエンベディング(埋め込み)の定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
M1: { 全ての C マニフォールド(多様体)、バウンダリー(境界)付き、たち }
M2: { 全ての C マニフォールド(多様体)、バウンダリー(境界)付き、たち }
f: :M1M2
f: :M1f(M1)M2, =f のコドメインリストリクション(制限) 
//

コンディションたち:
f{ 全てのインジェクション(単射)たち }{ 全ての C イマージョンたち }

f{ 全てのホメオモーフィズム(位相同形写像)たち }
//


2: 自然言語記述


任意のCマニフォールド(多様体)、バウンダリー(境界)付き、M1,M2に対して、以下を満たす任意のマップ(写像)f:M1M2、つまり、fはインジェクティブ(単射)Cイマージョンであり、コドメイン(余域)リストリクション(制限)f:M1f(M1)M2はホメオモーフィズム(位相同形写像)である


3: 注


'コンティヌアス(連続)エンベディング(埋め込み)'と'Cエンベディング(埋め込み)'は別のものである: 任意のCエンベディング(埋め込み)はコンティヌアス(連続)エンベディング(埋め込み)である一方で、コンティヌアス(連続)エンベディング(埋め込み)は必ずしもCエンベディング(埋め込み)でない。

しばしば、単に'エンベディング(埋め込み)'が使われる、どちらであるかはしばしば明らかであるから: 非Cマップ(写像)は、Cエンベディング(埋め込み)であり得ないし、あるCマップ(写像)の(単なる)エンベディング(埋め込み)性は、慣習として、Cエンベディング(埋め込み)性と理解される。


参考資料


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