複製鏈接
請複製以下鏈接發送給好友

歐拉示性數

鎖定
代數拓撲中,歐拉示性數(Euler characteristic)是一個拓撲不變量(事實上,是同倫不變量),對於一大類拓撲空間有定義。
中文名
歐拉示性數
外文名
Euler characteristic
提出者
萊昂哈德·歐拉
適用範圍
數理科學

歐拉示性數定義

如果一個拓撲空間 X 有有限的三角剖分 h:X→ |K|,X 的歐拉示性數
定義為它的剖分復形 K 的各個維數單純形個數(即單純鏈復形的秩)的交錯和,即
對於有限CW-復形(CW-Complex)包括有限單純復形(simplicial complex),歐拉示性數可以定義為交錯和
其中
表示
維胞腔的個數。
然後,可以把流形的歐拉示性數定義為一個和它同胚的單純復形的歐拉示性數。例如,圓圈環面其歐拉示性數為0而實心球歐拉示性數為1。
閉可定向曲面的歐拉示性數可以通過它們的虧格g來計算
不可定向曲面的歐拉示性數可以用下式通過它們的(不可定向)虧格k來計算
歐拉示性數和三角化的選擇無關。公式也可用於到任意多邊形的分解。
對於圓盤,我們有
, 對於平面我們有
, 數的時候把外面作為一個面。
對於閉黎曼曲面,歐拉示性數也可以通過曲率的積分得到—參看對於二維情況的高斯-博內定理(Gauss-Bonnet)和對於一般情況的廣義高斯-博內定理。高斯-博內定理的離散情況的對應是笛卡兒定理,它表明多面體用完整圓圈測量的“總虧量” ,是多面體的歐拉示性數;參看虧量
更一般的,對於所有拓撲空間,我們可以定義第n貝蒂數
作為第n同調羣的。歐拉示性數可以定義為如下交換和
這個定義在貝蒂數全都有限並且在一個特定指標
以外為0時有意義。
兩個同倫的拓撲空間有同構的同調羣,所以有相同的歐拉示性數。
從這個定義和龐加萊對偶性,可以得到所有閉合奇數維流形的歐拉數為0的結論。
如果MN是拓撲空間,則它們的積空間M×N的歐拉示性數為

歐拉示性數緊定向流形的歐拉示性數

設M為n維緊定向流形,則其歐拉示性數定義為χ(M)=∑nk=0(-1)kdimHk(M)。
緊定向流形M的歐拉數e(M)=∫Me(TM)等於其歐拉示性數。 [3] 

歐拉示性數經典公式

有關歐拉示性數的一個經典的公式是
其中
是拓撲空間 X 的第 i 個貝蒂數,這一公式稱為歐拉-龐加萊公式。該公式亦説明了歐拉示性數不依賴於剖分的選取,是一個拓撲不變量
由此,歐拉示性數可作進一步推廣。對於任意一個拓撲空間 X,當求和
存在時,這一整數稱為拓撲空間 X 歐拉示性數。 [1] 

歐拉示性數歷史

第一個歐拉公式的嚴格證明,由20歲的柯西給出,大致如下:
圖1 圖1
從多面體去掉一面,通過把去掉的面的邊互相拉遠,把所有剩下的面變成點和曲線的平面網絡。不失一般性,可以假設變形的邊繼續保持為直線段。正常的面不再是正常的多邊形即使開始的時候它們是正常的。但是,點,邊和麪的個數保持不變,和給定多面體的一樣(移去的面對應網絡的外部)。
重複一系列可以簡化網絡卻不改變其歐拉數(也是歐拉示性數)FE+V的額外變換。
1、若有一個多邊形面有3條邊以上,我們劃一個對角線。這增加一條邊和一個面。繼續增加邊直到所有面都是三角形。
2、除掉只有一條邊和外部相鄰的三角形。這把邊和麪的個數各減一而保持頂點數不變。
3、(逐個)除去所有和網絡外部共享兩條邊的三角形。這會減少一個頂點、兩條邊和一個面。
重複使用第 2 步和第 3 步直到只剩一個三角形。對於一個三角形F=2(把外部數在內),E=3 ,V=3 。所以FE+V=2 。證畢。

歐拉示性數性質

(1).
是一個
維閉的定向流形,那麼它的歐拉示性數
為偶數 [2]  。.
(2).
是一個
維閉流形,那麼
[2] 
(3).
是一個緊緻拓撲流形,並且有
,那麼
為偶數 [2] 

歐拉示性數偏序集

有界偏序集(partially ordered set,簡稱poset)的歐拉示性數的概念是另一種推廣,在組合論中很重要。一個偏序集“有界”,如果它有最小和最大元素,我們把它們叫作 0 和 1 。這樣一個偏序集的歐拉示性數是 μ(0,1) ,其中 μ 是在偏序集的相交代數(incidence algebra)中的默比烏斯函數
參考資料
  • 1.    王元,文蘭,陳木法.數學大辭典:科學出版社,2010
  • 2.    James W.Vick.同調論:世界圖書出版公司,2012:177-185
  • 3.    Raoul Bott, Loring W. Tu.代數拓撲中微分形式:Springer,1982