数学、特に代数トポロジーと多面体組み合わせ論において、オイラー標数(またはオイラー数、オイラー・ポアンカレ標数)は位相不変量であり、位相空間の形状や構造を、その歪み方に関係なく記述する数である。一般的には、(ギリシャ文字の小文字カイ)
オイラー標数はもともと多面体に対して定義され、プラトン立体の分類を含む多面体に関するさまざまな定理を証明するために使用されました。1537年にフランチェスコ・マウロリコによって未発表の原稿でプラトン立体について述べられました。[ 1 ]この概念の名前の由来となったレオンハルト・オイラーは、より一般的に凸多面体に対してそれを導入しましたが、それが不変量であることを厳密に証明できませんでした。現代数学では、オイラー標数はホモロジー、より抽象的にはホモロジー代数から生じます。

オイラー標数は、古典的には3次元多面体の表面に対して定義されます。多面体にV個の頂点(角)、E個の辺、F個の面がある場合、その表面の オイラー標数χは次のようになります。 任意の3次元凸多面体の表面のオイラー標数はこの方程式は、1758年にオイラーによって述べられ[ 2 ] 、オイラーの多面体公式として知られています[ 3 ]。これは球のオイラー標数に対応します(すなわち)、そして球状多面体にも同様に適用されます。すべてのプラトン立体に対する公式の例を以下に示します。
非凸多面体の表面は、さまざまなオイラー特性を持つ可能性がある。
正多面体の場合、アーサー・ケイリーは頂点密度Dを用いてオイラーの公式の修正版を導出した。顔の密度 :}
このバージョンは、凸多面体(密度がすべて 1 の場合)と非凸ケプラー・ポアンソ多面体の両方に当てはまります。
射影多面体はすべて実射影平面のようにオイラー標数1を持ち、一方、トーラス多面体の表面はすべてトーラスのようにオイラー標数0を持つ。
連結平面グラフのオイラー標数は、同じ方法で定義できる。多面体表面の場合と同様の式で、Fはグラフ内の面の数であり、外面も含む。
任意の平面連結グラフGのオイラー標数は 2 です。これは、木を基本ケースとして、Gによって決定される面の数に関する帰納法によって容易に証明できます。木の場合、そしてG がC個の連結成分 (連結でないグラフ)を持つ場合、 Fに関する帰納法による同様の議論により、コーシーの数少ないグラフ理論に関する論文の一つも、この結果を証明している。
立体射影によって平面は2次元球面に写像され、連結グラフは球面の多角形分割に写像される。この多角形分割のオイラー標数は 2である。この観点は、以下に示すコーシーによるオイラーの公式の証明に暗黙のうちに含まれている。

オイラーの公式には多くの証明が存在する。その一つは、1811年にコーシーによって以下のように示された。この公式は、任意の凸多面体に適用でき、より一般的には、境界が位相的に球と等価であり、面が位相的に円盤と等価である任意の多面体に適用できる。
多面体表面の1つの面を取り除きます。取り除いた面の辺を互いに引き離すことで、残りの面を点と曲線の平面グラフに変形します。このとき、取り除いた面の周囲は、得られたグラフの外側に配置されます。これは、立方体の特殊な場合の3つのグラフのうち最初のグラフで示されています。(多面体表面が最初に球面と同相であるという仮定が、これを可能にしています。)この変形後、正則面は一般に正則ではなくなります。頂点と辺の数は同じままですが、面の数は 1つ減ります。したがって、多面体に対するオイラーの公式を証明することは、次のことを証明することに帰着します。この変形した平面物体の場合。
If there is a face with more than three sides, draw a diagonal—that is, a curve through the face connecting two vertices that are not yet connected. Each new diagonal adds one edge and one face and does not change the number of vertices, so it does not change the quantity (The assumption that all faces are disks is needed here, to show via the Jordan curve theorem that this operation increases the number of faces by one.) Continue adding edges in this manner until all of the faces are triangular.
Apply repeatedly either of the following two transformations, maintaining the invariant that the exterior boundary is always a simple cycle:
These transformations eventually reduce the planar graph to a single triangle. (Without the simple-cycle invariant, removing a triangle might disconnect the remaining triangles, invalidating the rest of the argument. A valid removal order is an elementary example of a shelling.)
At this point the lone triangle has and so that Since each of the two above transformation steps preserved this quantity, we have shown for the deformed, planar object thus demonstrating for the polyhedron. This proves the theorem.
For additional proofs, see Eppstein (2013).[4] Multiple proofs, including their flaws and limitations, are used as examples in Proofs and Refutations by Lakatos (1976).[5]
The polyhedral surfaces discussed above are, in modern language, two-dimensional finite CW-complexes. (When only triangular faces are used, they are two-dimensional finite simplicial complexes.) In general, for any finite CW-complex, the Euler characteristic can be defined as the alternating sum
where kn denotes the number of cells of dimension n in the complex.
Similarly, for a simplicial complex, the Euler characteristic equals the alternating sum
where kn denotes the number of n-simplexes in the complex.
さらに一般的に、任意の位相空間に対して、 n番目のベッチ数b nをn番目の特異ホモロジー群のランクとして定義できます。オイラー標数は、交代和として定義できます。
この量は、ベッチ数がすべて有限であり、あるインデックスn 0を超えるとゼロになる場合に適切に定義されます。単体複体の場合、これは前の段落の定義とは異なりますが、ホモロジー計算により、2 つの定義が同じ値を与えることがわかります。 。
境界のない、向き付けられたコンパクトな滑らかな多様体の場合、定義する
対角線の自己指向交差の数、 、 内部
オイラー標数は、位相空間上の多くの基本演算に関して、以下のように良好な挙動を示す。
ホモロジーは位相不変量であり、さらにホモトピー不変量でもある。ホモトピー同値な2つの位相空間は同型なホモロジー群を持つ。したがって、オイラー標数もホモトピー不変量である。
例えば、可縮空間(つまり、1つのホモトピーが点と等価な空間)は自明なホモロジーを持ち、0番目のベッチ数は1で、他のベッチ数は0である。したがって、そのオイラー標数は1である。このケースにはユークリッド空間が含まれる。あらゆる次元の物体、およびあらゆるユークリッド空間における固体単位球( 1次元の区間、2次元の円盤、3次元の球など)も含まれる。
別の例として、任意の凸多面体は3次元球と同相であるため、その表面は2次元球と同相(つまりホモトピー同値)であり、オイラー標数は 2です。これが、凸多面体の表面がオイラー標数2を持つ理由です。
MとNが任意の2つの位相空間である場合、それらの非交和のオイラー標数は、それらのオイラー標数の和に等しい。なぜなら、ホモロジーは非交和に関して加法的だからである。
より一般的に言えば、MとNがより大きな空間Xの部分空間である場合、それらの和集合と共通部分も同様である。場合によっては、オイラー標数は包含排除原理の一種に従う。
これは以下のケースに当てはまります。
一般に、包含排除原理は誤りである。反例として、 X を実数直線、M を1 つの点からなる部分集合、NをMの補集合とすると、次のようになる。
Xが有限CW複体であり、Aが部分複体である場合、
この式は、縮小オイラー標数、すなわち縮小ホモロジー群の階数の交代和に対して、より簡潔に記述することができる。
連結した2つの閉じたn次元多様体の場合新しい連結多様体を得ることができる連結和演算を介して。オイラー標数は式[ 8 ]で関連付けられる。
また、任意の積空間M × Nのオイラー標数は
これと商空間の公式を用いると、次の式が得られる。
どこは縮小オイラー標数であり、はスマッシュ製品です。
これらの加算と乗算の性質は、集合の濃度にも当てはまります。このように、オイラー標数は濃度の一般化と見なすことができます。。
同様に、kシート被覆空間の場合1つは
より一般的には、分岐した被覆空間の場合、被覆のオイラー標数は、分岐点に対する補正係数を用いて上記から計算でき、これによりリーマン・フルヴィッツの公式が得られます。
積の性質は、特定の条件を満たす繊維束に対して、より一般的に成り立つ。
もしはファイバー F を持つファイブレーションであり、基底B はパス連結であり、ファイブレーションは体K 上で向き付け可能である。このとき、体Kの係数を持つオイラー標数は積の性質を満たす。[ 9 ]
これには、積空間や被覆空間が特殊な場合として含まれ、ファイブレーションのホモロジー上のセールスペクトル系列によって証明できる。
光ファイバー束の場合、これは伝送マップの観点からも理解できる。―これは持ち上げであり、「間違った方向」に進むことに注意してください―投影図との構成これはファイバーのオイラークラスによる乗算です: [ 10 ]
オイラー標数は、表面の多角形化(つまり、CW複体としての記述)を見つけ、上記の定義を使用することで、一般的な表面に対して簡単に計算できます。
サッカーボールは、各頂点で3つの面が交わる正五角形と正六角形を縫い合わせて作るのが一般的です。正五角形と正六角形を使用する場合、 顔、 頂点、そして エッジ。したがってオイラー標数は
球面のオイラー標数は 2であるため、つまり、このように構築されたサッカーボールは常に12個の 五角形を持つ。六角形の数は1を除く任意の非負整数である。 [ 11 ]この結果はフラーレンとゴールドバーグ多面体 にも適用できる。
具体的には、サッカーボールは一般的に12枚の五角形パネルと20枚の六角形パネルを組み合わせて作られます。その結果、切頂二十面体のような球状の形状になります。アディダスのテルスターはその一例です。

n次元球面は、以下の特異ホモロジー群を持つ。
したがって、次元 0 とnではベッチ数は 1 であり、他のすべてのベッチ数は 0 です。そのオイラー標数はχ = 1 + (−1) nです。 つまり、nが奇数 の場合は 0 、nが偶数の場合は 2 です。
n次元実射影空間は、 n次元球面を対蹠写像で割った商空間である。したがって、そのオイラー標数は対応する球面のオイラー標数のちょうど半分、すなわち0または1となる。
n次元トーラスはn個の円の積空間です 。積の性質により、そのオイラー標数は 0 です。より一般的には、任意のコンパクト平行化可能多様体(任意のコンパクトリー群を含む) は、オイラー標数が 0です。 [ 12 ]
任意の閉じた奇数次元多様体のオイラー標数も 0です。 [ 13 ]向き付け可能な例の場合については、ポアンカレ双対性の系となります。この性質は、すべての層が奇数次元である任意のコンパクトな層状空間に、より一般的に適用されます。また、2 対 1 の向き付け可能な二重被覆を介して、閉じた奇数次元の向き付け不可能な多様体にも適用されます。
閉じた向き付け可能な曲面のオイラー標数は、その種数g (曲面の連結和分解におけるトーラスの数。直感的には「ハンドル」の数)から次のように計算できます。
閉じた非可定向曲面のオイラー標数は、その非可定向種数k (曲面の連結和分解における実射影平面の数) から次のように計算できます。
閉じた滑らかな多様体の場合、オイラー特性はオイラー数と一致します。つまり、多様体の基本クラス上で評価した接束のオイラークラスです。オイラークラスは、ベクトル束の他のすべての特性クラスと関連しています。
閉じたリーマン多様体の場合、オイラー標数は曲率を積分することによっても求めることができます。2次元の場合についてはガウス・ボンネの定理を、一般の場合については一般化ガウス・ボンネの定理を参照してください。
ガウス・ボンネの定理の離散的な類似物として、デカルトの定理がある。それは、多面体の「全欠陥」を円全体で測定した場合、その多面体のオイラー標数に等しいという定理である。
ハドウィガーの定理は、オイラー標数を、ℝ n内のコンパクト凸集合の有限和集合上で定義される、唯一の(スカラー乗法を除いて )並進不変で、有限加法的で、必ずしも非負ではない集合関数であり、「次数0 の同次関数」であると特徴づけている。
任意の組み合わせセル複合体について、オイラー標数は、0セルの数から1セルの数を引いた数に2セルの数を加えた数、といったように交互に数えていくことで定義される。ただし、この交代和が有限である場合に限る。特に、有限集合のオイラー標数はその集合の濃度に等しく、グラフのオイラー標数は頂点の数から辺の数を引いた数となる。
より一般的には、任意の鎖複体のオイラー標数は、鎖複体の相同群のランクの交代和として定義できる。ただし、これらのランクはすべて有限であり、非ゼロのランクは有限個のみであると仮定する。[ 14 ]
代数幾何学で使用されるオイラー標数のバージョンは次のとおりです。任意の連接層に対して適切なスキームX上で、そのオイラー標数を次のように定義する。
どこは、 i番目の層コホモロジー群の次元である。この場合、グロタンディークの有限性定理により、次元はすべて有限です。これは、鎖複体のオイラー標数の一例であり、鎖複体は、の有限分解です。非巡回層によって。
多様体上のオイラー標数の概念のもう1つの一般化は、オービフォールドから得られます(オービフォールドのオイラー標数を参照)。すべての多様体は整数のオイラー標数を持ちますが、オービフォールドは分数のオイラー標数を持つことができます。たとえば、涙滴型オービフォールドのオイラー標数は 1 + 1 / p です。ここで、 pは円錐角2 π / pに対応する素数です。
有界有限半順序集合の縮約ホモロジーのオイラー標数の概念は、組み合わせ論において重要なもう一つの一般化である。半順序集合は、最小要素と最大要素を持つ場合、「有界」である。これらを0と1としよう。このような半順序集合のオイラー標数は、整数μ (0,1)として定義される。ここでμは、その半順序集合の連結代数におけるメビウス関数である。
これは、特定の有限圏に対して有理値オイラー標数を定義することによってさらに一般化できます。これは、前述のグラフ、オービフォールド、および半順序集合のオイラー標数と互換性のある概念です。この設定では、有限群またはモノイドGのオイラー標数は1 / | G |であり、有限群状体のオイラー標数は1 / | G i |の和です。ここで、群状体の各連結成分に対して 1 つの代表群G iを選択しました。[ 15 ]