歐拉示性數

數學上的拓樸不變量

代數拓撲中,歐拉示性數(英語:Euler characteristic)是一個拓撲不變量[註 1],對於一大類拓撲空間有定義。它通常記作

二維拓撲多面體的歐拉示性數可以用以下公式計算:

其中VEF分別是點、邊和面的個數。特別的,對於所有和一個球面同胚的多面體,我們有

例如,對於立方體,我們有6 − 12 + 8 = 2,而對於四面體我們有4 − 6 + 4 = 2. 剛才的公式也叫做歐拉公式。該公式最早由法國數學家笛卡兒於1635年左右證明,但不為人知。後瑞士數學家萊昂哈德·歐拉於1750年獨立證明了這個公式。1860年,笛卡兒的工作被發現,此後該公式遂被稱為歐拉-笛卡兒公式。

定義及性質

對於有限CW-復形(CW-Complex)包括有限單純復形(simplicial complex),歐拉示性數可以定義為交錯和

 

其中 表示 維胞腔的個數。

然後,可以把流形的歐拉示性數定義為一個和它同胚的單純復形的歐拉示性數。例如,圓圈環面其歐拉示性數為0而實心球歐拉示性數為1。

閉可定向曲面的歐拉示性數可以通過它們的虧格g來計算

 .

不可定向曲面的歐拉示性數可以用下式通過它們的(不可定向)虧格k來計算

 .

歐拉示性數和三角化的選擇無關。公式也可用於到任意多邊形的分解。

對於圓盤,我們有 ,對於平面我們有 ,數的時候把外面作為一個面。

對於閉流形,歐拉示性數和歐拉數,也就是其切叢的在流形的基本類上計算的歐拉類

對於閉黎曼曲面,歐拉示性數也可以通過曲率的積分得到—參看對於二維情況的高斯-博內定理(Gauss-Bonnet)和對於一般情況的廣義高斯-博內定理高斯-博內定理的離散情況的對應是笛卡兒定理,它表明多面體用完整圓圈測量的「總虧量」,是多面體的歐拉示性數;參看虧量

更一般的,對於所有拓撲空間,我們可以定義第n貝蒂數 作為第n同調群的。歐拉示性數可以定義為如下交換和

 

這個定義在貝蒂數全都有限並且在一個特定指標 以外為0時有意義。

兩個同倫的拓撲空間有同構的同調群,所以有相同的歐拉示性數。

從這個定義和龐加萊對偶性,可以得到所有閉合奇數維流形的歐拉數為0的結論。

如果MN是拓撲空間,則它們的積空間M × N的歐拉示性數為

 .

偏序集

有界偏序集的歐拉示性數的概念是另一種推廣,在組合論中很重要。一個偏序集「有界」,如果它有最小和最大元素,我們把它們叫作0和1。這樣一個偏序集的歐拉示性數是μ(0,1),其中μ是在偏序集的相交代數英語incidence algebra中的默比烏斯函數

證明

 

第一個歐拉公式的嚴格證明,由柯西在20歲時給出,大致如下:

從多面體去掉一面,通過把去掉的面的邊互相拉遠,把所有剩下的面變成點和曲線的平面網絡。不失一般性,可以假設變形的邊繼續保持為直線段。正常的面不再是正常的多邊形即使開始的時候它們是正常的。但是,點,邊和面的個數保持不變,和給定多面體的一樣[註 2]

重複一系列可以簡化網絡卻不改變其歐拉數(也是歐拉示性數)FE + V的額外變換。

  1. 若有一個多邊形面有3條邊以上,我們劃一個對角線。這增加一條邊和一個面。繼續增加邊直到所有面都是三角形。
  2. 除掉只有一條邊和外部相鄰的三角形。這把邊和面的個數各減一而保持頂點數不變。
  3. (逐個)除去所有和網絡外部共享兩條邊的三角形。這會減少一個頂點、兩條邊和一個面。

重複使用第2步和第3步直到只剩一個三角形。對於一個三角形F = 2(把外部數在內),E = 3,V = 3。所以FE + V = 2。證畢。

注釋

  1. ^ 事實上,是同倫不變量
  2. ^ 移去的面對應網絡的外部。