基本介紹
- 中文名:本質映射
- 外文名:essential mapping
- 所屬學科:數學
- 相關概念:同論,維數論等
定義,單位圓中的本質映射,本質映射與本質映射定理,
定義
設
為緊空間X到m維球面
的映射,關於與
同倫的任意映射
,有
成立時,
稱為本質的(essential)映射,否則稱為非本質的(inessential)映射。非本質映射與“同倫於常值映射”二者是等價的。
![](/img/5/79c/002e5da2e8929a79030c627cff95.jpg)
![](/img/9/075/385ee72e119356f57e4c09b3234f.jpg)
![](/img/2/4dc/ef45249139e9c964622f307551db.jpg)
![](/img/f/5a8/e516dde7ef80efeb9a3b3ac2e53a.jpg)
![](/img/6/661/a7aa73ebc79e2dcf2931f7864330.jpg)
![](/img/e/5b7/55db66a84f55557c8cf9e5c050ce.jpg)
單位圓中的本質映射
1. 若
都是E到U的非本質映射,則
與
也是非本質的:若
是本質的而
是非本質的,則
與
都是本質的。
![](/img/0/8a1/aa210a7944e404202a6e91a1219a.jpg)
![](/img/2/c96/7ca949181999ebb393a2aa703f58.jpg)
![](/img/1/750/dede52a0ed2f90904514cdc31ae6.jpg)
![](/img/8/274/d7ce180c692fbcef555689035bbb.jpg)
![](/img/3/b8f/3a86ad27a9a7612c1279fe831ae5.jpg)
![](/img/2/c96/7ca949181999ebb393a2aa703f58.jpg)
![](/img/7/77d/a4bcb57bf61f765bdaba6d0692df.jpg)
2. 若
是E到U的非本質映射,
是距離空間F到E的連續映射,則
是非本質的。
![](/img/f/e2a/94a3c9c6e22e5991dadb552db227.jpg)
![](/img/d/0bf/41a57d2b10dd2fd6b2fbf4f4b9c6.jpg)
![](/img/e/32c/aec2c28878b770999c31f5956b30.jpg)
這些性質都是定義的直接的結果。
3. 距離空間E到U的任意連續映射
,只要
,就是非本質的。
![](/img/f/e2a/94a3c9c6e22e5991dadb552db227.jpg)
![](/img/b/fa4/cc66f46ed51da3055a0f899ea7da.jpg)
4. 若
是距離空間E到U的兩個連續映射並使得對任意
都有
,又若
是本質的(相應地,非本質的),則
也是本質的(相應地,非本質的)。
![](/img/0/8a1/aa210a7944e404202a6e91a1219a.jpg)
![](/img/0/82e/63399faf98e8e20bc26947c42db6.jpg)
![](/img/0/c1e/f4878024662d04d284b21846e316.jpg)
![](/img/f/af0/744a0f43f90b308b3a1ec5842692.jpg)
![](/img/0/ebb/cd0f32bf24b653cb039781d48b77.jpg)
因為,
是E到U的連續映射且不取-1,於是據3它是非本質的。
![](/img/6/dfa/cc3a88d68c151bcf5894bbec20ed.jpg)
5. 設E是一緊距離空間,
,
是
到U的連續映射,若映射
是本質的(相應地,非本質的),則映射
也是本質的(相應地,非本質的)。
![](/img/3/ea5/48de9bdcd6a323caaa1dcb161969.jpg)
![](/img/7/2f0/8944e46d9e2265e5c9b99fb51a56.jpg)
![](/img/4/4e6/1760deeb3cb5958ba2e643cb3421.jpg)
![](/img/f/881/bc26228b299aa5e7c215dee701d8.jpg)
![](/img/2/dbc/d64c38409cb95b84d160097d5ca1.jpg)
6. (
中)一閉球到U的任何連續映射
都是非本質的。
![](/img/e/ef5/9353f628a1c9d6a1b318a2d2f3f5.jpg)
![](/img/a/0ca/5260132dd3b32478437f3a0002ba.jpg)
7. 設A,B是距離空間E的兩個閉子集,並且
與
是連通的,設
是E到U的連續映射;若
到A與B上的限制都是非本質的,則
也是非本質的。
![](/img/3/08c/15d4652a9e26717b22a9e89bb4be.jpg)
![](/img/5/074/9a8cfa168b19ee9af04591289e2e.jpg)
![](/img/c/4e6/7f356d62ce06b9021773c3aea366.jpg)
![](/img/c/4e6/7f356d62ce06b9021773c3aea366.jpg)
![](/img/c/4e6/7f356d62ce06b9021773c3aea366.jpg)
8. 要U到它自身的連續映射
為本質的,其充要條件是:對於閉路
有
。
![](/img/c/4e6/7f356d62ce06b9021773c3aea366.jpg)
![](/img/7/ec9/45ab604402650edac6dca09b7973.jpg)
![](/img/7/c48/cc781e594dbbd6f68a2a11c24ea9.jpg)
9. U到它自身的恆等映射
是本質的。
![](/img/f/851/38576c7b9dfb65b77502bdf25fb3.jpg)
本質映射與本質映射定理
維數論中主要定理之一是所謂本質映射定理(theorem on essential mappings),它是這一理論重要部分的基礎。設
是從(正規)空間X到以
為邊界的n維球
上的連續映射,設
是在這個映射之下球面
的原象,
。映射
稱為本質的(essatial),如果在所有點
上與
一致的每個連續映射
都是到整個球
上的映射。著名的Aleksandrov theorem定理說,正規空間X有維數dimX≥n,若且唯若X可被本質地映射到一個n維球上。由這個定理可以得出和定理(對於緊統,在維數論發展初期已由Menger等給出證明):如果維數dimX=n的(正規)空間X是有限或可數多個閉子集
的並,則這些
中至少有一個滿足
。
![](/img/2/aea/d1f643b33cd4fabde9975bd905c0.jpg)
![](/img/e/9e9/60244f5fcb00ffd90441dcfd6ecb.jpg)
![](/img/9/56b/3b7b30c266473cc5fcce53b342a5.jpg)
![](/img/7/477/0c88386d655c8b70d03102399c60.jpg)
![](/img/e/9e9/60244f5fcb00ffd90441dcfd6ecb.jpg)
![](/img/b/b75/0e3289c9f745e51a3956ae84d563.jpg)
![](/img/5/a85/06a78161ea9c03b4b3240c765b6c.jpg)
![](/img/c/fd3/33c19d7422565890430267a4fb14.jpg)
![](/img/2/aea/d1f643b33cd4fabde9975bd905c0.jpg)
![](/img/0/9f9/8cc1c21e747a57c4630ccfdd228e.jpg)
![](/img/9/56b/3b7b30c266473cc5fcce53b342a5.jpg)
![](/img/1/c90/74dc9844f8d706918a5a07d23fa7.jpg)
![](/img/1/c90/74dc9844f8d706918a5a07d23fa7.jpg)
![](/img/f/4d8/4e5ead76a88a786cb31c8c1cb100.jpg)
關於本質映射的定理是所謂的同調維數論(homologicaldimension theory)的基礎,它使我們能套用代數拓撲的方法在更為一般的假設下研究維數。空間的同調維數(homological dimension of a space)的概念與閉鏈和同調的概念有關,因此假定,與拓撲空間X同時還給定一個交換群
,稱之為係數群。於是可以談論具有這個係數群的緊統X的閉鏈,它們的支撐
,特別是談論X中關於係數域
同調於零的閉鏈。
![](/img/8/2fa/79a43d742eacc47029d6a8f299c6.jpg)
![](/img/2/df7/321b60f9b85d62fc02590e4e25dc.jpg)
![](/img/8/2fa/79a43d742eacc47029d6a8f299c6.jpg)