主題
Search

Map Germ


考慮一個對映 f:R^m->R^n 在區域性區域的行為,透過選擇一個點 x in R^m 和一個開鄰域 U subset R^m 使得 x in U。現在考慮所有對映的集合 f:U->R^n. 透過引入一個等價關係,可以將這些對映進行分類。給定兩個對映 f_1:U_1->R^nf_2:U_2->R^n,如果存在一個 鄰域 U of x 使得 U subset= U_1U subset= U_2 以及限制 f_1|Uf_2|U. 重合,則記作 f_1∼f_2。這些等價類被稱為對映胚,成員被稱為胚的代表。由此可知 f_1(x)=f_2(x),因此通常將胚記作 f:(R^m,x)->(R^n,y),其中 f_i(x)=y

考慮一個對映胚 f:(R^m,0)->(R^n,0),它是在原點附近的小鄰域內一致的對映等價類微分同胚的胚 phi:(R^m,0)->(R^m,0)記為 R,而 psi:(R^n,0)->(R^n,0) 記為 L。這些分別給出了源和目標的座標變換。

A(m,n). 表示所有解析對映胚 (R^m,0)->(R^n,0) 的空間。 R×L=A 以標準方式作用於 A(m,n)。設 phi in Rpsi in L,和 f in A(m,n)。則 (phi,psi)·f=psi degreesf degreesphi^(-1)

MapGerm

f 在此作用下的軌道是

 Orb(f)={(phi,psi)·f:phi in R and psi in L}.

如果 g in A(m,n)g in Orb(f),則 g=psi degreesf degreesphi^(-1) 對於某些 phipsi 成立。這與 g degreesphi=psi degreesf 相同,並且意味著以上圖表是可交換的。在這種情況下,fg 被稱為作為對映胚是 A-等價的。


另請參閱

Germ

此條目由 Declan Davis 貢獻

使用 探索

請引用為

Davis, Declan. "Map Germ." 出自 -- 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/MapGerm.html

主題分類