-
單純映射
鎖定
- 中文名
- 單純映射
- 外文名
- simplicial map
- 所屬學科
- 數學
- 屬 性
- 聯繫復形的多面體之間的一類映射
- 所屬問題
- 代數拓撲學
單純映射定義
設
和
是兩個復形,從
到
的一個對應
(作為單形的集合之間的對應)稱為單純映射,如果它滿足下面兩個條件:
(1)若
是
的頂點,則
是
的頂點;
(2)若
是
中單形,則
的頂點集是
。
注意,
和
是兩個集合,對於每個
當然是一個單形,但是其頂點
並不要求互不相同。換句話説,
的維數
的維數,因此單純映射
實際上還滿足:
(3)
;
(4)
。
當(4)中等式成立時,稱
在
上是非退化的;否則,就稱
在
上是退化的。容易看出,當
在
上是非退化的時,
在
的所有面上均是非退化的,而且,如果
在
的所有真面上都是非退化的,那麼
在
上也必然是非退化的。
此外,不難看出,定義中的條件(1)實際上包含於條件(2)中,因為當
是
的頂點時,它實際上代表一個0-維單形,按照條件(2),
的頂點集為
,這也就表明
是一個頂點。
單純映射相關性質
“當
是K中某個單形的頂點集時,
也是K中某個單形的頂點集”。則
確定唯一一個單純映射
,其誘導的頂點映射正是
。
這個單純映射
也稱為由頂點映射
擴張而得的。
命題2 若
是單純映射,則映射
連續。