Xem mã nguồn của Đặc trưng Euler

Trong toán học, và đặc biệt hơn trong [[tôpô đại số]] và [[tổ hợp đa diện]], '''đặc trưng Euler''' (hoặc '''đặc trưng Euler-Poincaré''') là một topo bất biến, một số mà nó mô tả hình dạng hoặc cấu trúc của một [[không gian tôpô]] không phụ thuộc vào cách nó được uốn cong. Nó thường được ký hiệu là <math>\chi</math>.
# 
Đặc trưng Euler <math>\chi</math>(S) của một mặt phẳng S được chia làm các [[tam giác]] là số đỉnh trừ đi số cạnh cộng với số mặt của [[tam giác]]

:<math>\chi(S)=V-E+F \,\!</math>

#
'''Định lý''': Đặc trưng Euler theo 2 phép phân chia tam giac của cùng 1 mặt phẳng là bằng nhau
#
Các đặc trưng Euler đã được xác định cho các khối đa diện và được sử dụng để chứng minh định lý khác nhau về chúng, bao gồm cả việc phân loại các [[Khối đa diện đều Platon|khối Platon]]. [[Leonhard Euler]], tên của ông đặt cho khái niệm này, đã có các công trình nghiên cứu đầu tiên về đặc trưng này. Trong toán học hiện đại, đặc trưng Euler xuất hiện từ [[phép đồng điều]] và liên hệ với nhiều bất biến khác.
#
== Khối đa diện ==
Đặc trưng Euler <math>\chi</math> được định nghĩa cổ điển cho các khối đa diện lồi, theo công thức

:<math>\chi=V-E+F \,\!</math>

#
Kết quả này được gọi là '''công thức đa diện Euler''' hoặc định lý đa diện Euler. Đặc trưng Euler cho hình cầu (tức χ = 2), và áp dụng giống với [[khối đa diện hình cầu]]. Minh họa cho công thức trên một số khối đa diện được đưa ra dưới đây.
#
Trong đó ''V'', ''E'' và ''F'' tương ứng là số [[đỉnh]] (góc), các [[cạnh]] và [[mặt]] trong đa diện nhất định. Bất kỳ bề mặt đa diện lồi của Euler có đặc trưng

:<math>\chi = V - E + F = 2. \,\!</math>

{| class="wikitable"
|-
!Tên
!Hình ảnh
!Đỉnh<BR>''V''
!Cạnh<BR>''E''
!Mặt<BR>''F''
!Đặc trưng Euler:<BR>''V'' &minus; ''E'' + ''F''
|- align=center
|[[Tứ diện]]
|[[Tập tin:tetrahedron.png|50px]]
|4
|6
|4
|'''2'''
|- align=center
|[[Hình hộp chữ nhật|Lục diện]] hoặc [[hình lập phương]]
|[[Tập tin:hexahedron.png|50px]]
|8
|12
|6
|'''2'''
|- align=center
|[[Bát diện]]
|[[Tập tin:octahedron.png|50px]]
|6
|12
|8
|'''2'''
|- align=center
|[[Thập nhị diện]]
|[[Tập tin:dodecahedron.png|50px]]
|20
|30
|12
|'''2'''
|- align=center
|[[Nhị thập diện]]
|[[Tập tin:icosahedron.png|50px]]
|12
|30
|20
|'''2'''
|}

Bề mặt của [[khối đa diện không lồi]] có thể có những đặc trưng Euler khác nhau;

{| class="wikitable"
|-
!Tên
!Hình
!Đỉnh<BR>''V''
!Cạnh<BR>''E''
!Mặt<BR>''F''
!Đặc trung Euler:<BR>''V'' &minus; ''E'' + ''F''
|- align=center
|[[Tetrahemihexahedron]]
|[[Tập tin:Tetrahemihexahedron.png|100px]]
|6
|12
|7
|'''1'''
|- align=center
|[[Octahemioctahedron]]
|[[Tập tin:Octahemioctahedron.png|100px]]
|12
|24
|12
|'''0'''
|- align=center
|[[Cubohemioctahedron]]
|[[Tập tin:Cubohemioctahedron.png|100px]]
|12
|24
|10
|'''&minus;2'''
|- align=center
|[[Great icosahedron]]
|[[Tập tin:Great icosahedron.png|100px]]
|12
|30
|20
|'''2'''
|}

Đối với các khối đa diện bình thường, [[Arthur Cayley]] thu được một dạng biến đổi của công thức Euler bằng cách sử dụng [[Mật độ (polytope)|mật độ]] của khối đa diện'' D'', [[số đỉnh]] <math>d_v</math> và mặt <math>d_f</math>:
:<math>d_v V - E + d_f F = 2D.</math>
Phiên bản này giữ cho cả hai khối đa diện lồi (nơi mật độ là tất cả 1), và không lồi [[đa diện Kepler-Poinsot]]:

Tất cả các [[Đa diện xạ ảnh]] đều có đặc trưng Euler bằng 1, tương ứng với [[Không gian xạ ảnh|mặt phẳng xạ ảnh thực]], trong khi [[khối đa diện hình xuyến]] đều có đặc trưng Euler bằng 0, tương ứng với [[hình xuyến]].

=== Đồ thị phẳng ===
{{Xem thêm |Đồ thị phẳng#Công thức Euler cho đồ thị phẳng }}
Các đặc trưng Euler có thể được xác định cho [[đồ thị phẳng]] liên thông bằng cách cùng công thức <math>V - E + F</math> như cho các bề mặt đa diện, nơi'' F'' là số lượng mặt trong đồ thị, bao gồm cả các mặt bên ngoài.

Đặc trưng Euler của bất kỳ [[đồ thị phẳng]] liên thông G là 2. Điều này có thể dễ dàng chứng minh bằng trực quan về số lượng k mặt được xác định bởi G, bắt đầu với một cây như trường hợp cơ sở. Đối với cây, E = V-1 và F = 1. Nếu G có thành phần bù C, cùng tranh luận bằng trực quan trên F cho thấy rằng <math>V - E + F - C = 1</math>. Một trong số ít các lý thuyết đồ thị của Cauchy cũng chứng minh kết quả này

=== Chứng minh công thức Euler ===
[[Tập tin:V-E+F=2 Proof Illustration.svg|frame|right|Các bước chứng minh cho hình lập phương.]]

Có nhiều cách chứng minh cho công thức Euler. Trong số đó do [[Augustin Louis Cauchy|Cauchy]] đưa ra vào năm 1811, như sau: Chúng minh áp dụng cho bất kỳ đa diện lồi, và nói chung cho bất kỳ đa diện có biên tương đương hình học với một mặt cầu và các mặt đa diện có tương đương tô pô với đĩa phẳng.

Xóa một mặt của bề mặt đa diện. Bằng cách kéo các cạnh của mặt mất tích xa nhau, biến dạng tất cả các phần còn lại thành một đồ thị phẳng của các điểm và các đường cong, được minh họa bằng hình đầu tiên của ba đồ thị cho các trường hợp đặc biệt của khối lập phương. (Giả sử rằng bề mặt đa diện đồng phôi với mặt cầu ngay từ đầu.Sau khi biến dạng này, những mặt chính tắc nói chung là không chính tắc nữa. Số đỉnh và cạnh vẫn như cũ, nhưng số lượng các mặt đã được giảm 1. Do đó, chứng minh công thức Euler cho đa diện giảm để chứng minh <math> V - E + F = 1</math> cho này bị biến dạng, đối tượng phẳng.

Nếu có một mặt với hơn ba bên, vẽ một đường chéo-có nghĩa là, một đường cong qua mặt kết nối hai đỉnh mà chưa được kết nối. Này cho biết thêm một cạnh và một mặt và không thay đổi số đỉnh, do đó, nó không thay đổi số lượng <math> V - E + F</math>. (Giả định rằng tất cả các mặt đĩa cần thiết ở đây, để hiển thị thông qua [[định lý đường cong Jordan]] rằng hoạt động này làm tăng số lượng mặt lên một.) Tiếp tục bổ sung các cạnh theo cách này cho đến khi tất cả các mặt có hình [[tam giác]].

Áp dụng nhiều lần một trong hai biến đổi sau đây, duy trì bất biến mà ranh giới bên ngoài luôn luôn là một [[chu kỳ đơn giản]]:
# Xóa một hình [[tam giác]] với một cạnh tiếp giáp với bên ngoài, được minh họa bằng đồ thị thứ hai. Điều này làm giảm số cạnh và mặt của mỗi khối và không làm thay đổi số đỉnh, vì vậy nó bảo toàn <math> V - E + F</math>.
# Xóa một hình [[tam giác]] với hai cạnh chia bởi các bên ngoài của mạng, được minh họa bằng đồ thị thứ ba. Mỗi [[tam giác]] bị xoá tức là bỏ đi một đỉnh, hai cạnh và một mặt, vì vậy nó bảo toàn <math> V - E + F</math>.

Những biến đổi cuối cùng giảm đồ thị hai chiều để một hình [[tam giác]] đơn. (Nếu không có sự đơn giản chu kỳ bất biến, loại bỏ một hình [[tam giác]] có thể ngắt kết nối hình [[tam giác]] còn lại, vô hiệu các phần còn lại của các đối số một để loại bỏ hợp lệ là một ví dụ cơ bản của một [[pháo kích (topology)|bắn phá.]].)

Tại thời điểm này hình [[tam giác]] đơn độc có'' V'' = 3,'' E'' = 3, và'' F'' = 1, do đó <math> V - E + F= 1</math>. Kể từ khi một trong hai bước chuyển đổi trên bảo quản số lượng này, chúng tôi đã cho thấy <math> V - E + F = 1</math> cho biến dạng, đối tượng phẳng như vậy, thể hiện <math>V - E + F = 2</math> cho đa diện. Điều này chứng minh định lý.

Để chứng minh thêm, xem [http://www.ics.uci.edu/~eppstein/junkyard/euler/ Twenty Proofs of Euler's Formula] của [[David Eppstein]]. Nhiều bằng chứng, trong đó có sai sót và hạn chế của họ, được sử dụng như ví dụ trong'' ''[[Proofs and Refutations]]'' của [[Imre Lakatos]].<ref>[[Imre Lakatos]]: [[Proofs and Refutations]], Cambridge Technology Press, 1976</ref>

==Định nghĩa tô pô học==
Các bề mặt đa diện được thảo luận ở trên, trong ngôn ngữ hiện đại, hai chiều hữu hạn [[CW-phức]]. (Chỉ khi những mặt [[tam giác]] được sử dụng, chúng là [[đơn hình phức]] hữu hạn hai chiều phức.) Nói chung, đối với bất kỳ CW-phức hữu hạn, '''đặc trưng Euler''' có thể được định nghĩa là tổng luân phiên

:<math>\chi = k_0 - k_1 + k_2 - k_3 + \cdots,\ </math>

với ''k''<sub>''n''</sub> là số ô của ''n'' chiều trong <math>\mathbb{C}</math>.

Tương tự, đối với một đơn hình phức, '''đặc trưng Euler''' bằng tổng luân phiên

:<math>\chi = k_0 - k_1 + k_2 - k_3 + \cdots,\ </math>

với ''k''<sub>''n''</sub> là số ''n''-đơn trong phức.

Hơn nữa nói chung, với bất kỳ [[không gian topo]], chúng ta có thể xác định [[số Betti]] thứ n ''b''<sub>''n''</sub> như [[thứ hạng của một nhóm Abel|cấp bậc]] của các nhóm [[đồng điều đơn lẻ]] thứ ''n''. Các '''đặc trưng Euler''' có thể được định nghĩa là tổng luân phiên.

:<math>\chi = b_0 - b_1 + b_2 - b_3 + \cdots.\ </math>

Số này được định nghĩa tốt nếu các con số Betti là tất cả hữu hạn và nếu chúng không vượt quá một chỉ số nhất định index&nbsp;''n''<sub>0</sub>. Với đơn hình phức, đây không phải là định nghĩa giống như ở đoạn trên nhưng là một tính toán tương đồng cho thấy rằng hai định nghĩa sẽ cho cùng giá trị <math>\chi</math>.

==Tính chất==
Đặc trưng Euler của bất kỳ [[closed manifold|đa tạp đóng]] chiều lẻ là 0.<ref>Richeson, D., ''Euler's Gem'', Princeton, 2008 (p. 261)</ref> Trường hợp cho các ví dụ định hướng là hệ quả của [[Tính đối ngẫu Poincaré]]. tính chất  này được áp dụng nói chung cho bất kỳ [[Không gian Compắc]] [[không gian topo được phân tầng|được phân tầng]] tất cả các lớp có số chiều lẻ. Hơn nữa, đặc trưng Euler thường được dùng tốt đối với nhiều phép tính cơ bản trên không gian topo, như sau.

===Bất biến đồng luân===
Bởi vì tính tương đồng là một bất biến topo (trong thực tế, một [[bất biến đồng luân]] &mdash; hai không gian tôpô đó là tương đương đồng luân có các nhóm [[tương đồng đẳng cấu]]), nên đó là đặc trưng Euler.

Ví dụ, bất kỳ đa diện lồi đồng phôi với [[quả cầu]] trong không gian ba chiều, do đó bề mặt của nó là đồng phôi (do đó tương đương đồng luân) để các [[quả cầu hai chiều]], có Đặc trưng Euler là 2. Điều này giải thích lý do tại sao các khối đa diện lồi có đặc trưng Euler là 2.

===Nguyên tắc hợp và loại trừ===
Nếu ''M'' và ''N'' là 2 không gian topo bất kì, Ta có đặc trưng Euler của [[hội rời]] là tổng của các đặc trưng Euler của chúng, do đó tính tương đồng là cộng dưới 2 hội rời:

:<math>\chi(M \sqcup N) = \chi(M) + \chi(N).</math>

Nói một cách tổng quát hơn, nếu ''M'' và ''N'' là không gian con của ''X'', thì ta có hội và giao của chúng. Trong một vài trường hợp, Đặc trưng Euler tuân theo một [[nguyên tắc hợp và loại trừ]]:

:<math>\chi(M \cup N) = \chi(M) + \chi(N) - \chi(M \cap N).</math>

Điều này đúng trong các trường hợp dưới đây:
*Nếu ''M'' và ''N'' là một [[cặp loại trừ]]. Đặc biệt, nếu [[phần trong (topology)|phần trong]] của ''M'' và ''N'' ở trong hội vẫn phủ các hội.<ref>Edwin Spanier: Algebraic Topology, Springer 1966, p. 205.</ref>
*Nếu ''X'' là một [[không gian compắc địa phương]], và nó dùng đặc trưng Euler với [[Giá (toán học)|giá]] [[compact]], không có giả thuyết nào trên ''M'' hoặc ''N'' là cần thiết.
*Nếu ''X'' là một [[Không gian phân lớp topo|không gian phân tầng]] tất cả các tầng của ''X'' đều là không gian, Nguyên tắc hợp và loại trừ dùng nếu ''M'' và ''N'' là hội của các phân tầng. Điều này áp dung trong trường hợp cụ thể nếu ''M'' và ''N'' là 1 dạng [[đại số]] [[số phức|phức]].<ref>William Fulton: Introduction to toric varieties, 1993, Princeton University Press, p. 141.</ref>

Nói chung, nguyên tắc hợp và loại trừ là sai. Một [[phản ví dụ]] được đưa ra bằng cách cho ''X'' là [[đường thẳng thực]], ''M'' a [[tập con]] bao gồm 1 điểm và ''N'' là [[phần bù (lý thuyết tập hợp)|phần bù]] của ''M''.

===Tính chất tích===
Như vậy, đặc trưng Euler của bất kỳ [[không gian tích]] ''M'' &times; ''N'' là

:<math>\chi(M \times N) = \chi(M) \cdot \chi(N).</math>

Những tính chất cộng và nhân được cảm sinh bởi [[lực lượng]] của các [[tập hợp (toán học)|tập hợp]]. Bằng cách này, đặc trưng Euler co thể được xem như 1 sự khái quát hóa (của) lực lượng; tham khảo [http://math.ucr.edu/home/baez/counting/].

===Không gian phủ===
{{chi tiết|Công thức Riemann–Hurwitz }}
Tương tự, cho một [[không gian phủ]] có ''k''-phủ (i.e. [[Thớ (toán học)|thớ]] của phủ có [[Số đếm|lực lượng]] bằng ''k'') <math>\tilde{M} \to M,</math> ta có
:<math>\chi(\tilde{M}) = k \cdot \chi(M).</math>
Tổng quát hơn, cho một [[không gian phủ bị rẽ nhánh]], đặc trưng Euler của phủ có thể được tính toán như trên, với một hệ số hiệu chính cho những điểm rẽ nhánh, nó sinh ra [[công thức Riemann–Hurwitz]].

===Tính chất thành thớ ===
Tính chất tích có thể được áp dụng rộng hơn cho các [[thành thớ]] với điều kiện nhất định.

Nếu <math>p\colon E \to B</math> là một thành thớ với thớ ''F,'' với không gian cơ sở ''B'' [[Tập hợp liên thông#Liên thông đường|liên thông đường]], và thành thớ là định hướng trong một trường ''K,'' ta có các đặc trưng Euler với các hệ số trong trường ''K'' đáp ứng các tính chất tích:<ref>{{citation
|title=Algebraic Topology
|first=Edwin Henry
|last=Spanier
|authorlink=Edwin Spanier
|publisher=Springer
|year=1982
|isbn=978-0-387-94426-5
|url=http://books.google.com/?id=h-wc3TnZMCcC
}}, [http://books.google.com/books?id=h-wc3TnZMCcC&pg=PA481 Applications of the homology spectral sequence, p. 481]</ref>
:<math>\chi(E) = \chi(F)\cdot \chi(B).</math>
Điều này bao gồm những không gian tích và những không gian phủ như các trường hợp đặc biệt, và có thể được chứng minh bằng [[dãy phổ Serre]] trên sự tương hợp (của) một thành thớ.

Đối với các [[phân thớ]], nó co thể được hiểu dưới dạng của một [[ánh xạ truyền]] <math>\tau\colon H_*(B) \to H_*(E)</math> – chú ý rằng đây là 1 ánh xạ được nâng lên và đi ngược lại với chiều ban đầu – thành phần của nó với các phép chiếu <math>p_*\colon H_*(E) \to H_*(B)</math> là phép nhân bởi các [[lớp Euler]] của thớ:<ref>{{citation
|title=Fibre bundles and the Euler characteristic
|first=Daniel Henry
|last=Gottlieb
|journal=Journal of Differential Geometry
|volume=10
|issue=1
|year=1975
|pages=39–48
|url=http://www.math.purdue.edu/~gottlieb/Bibliography/17FibreBundlesAndtheEulerCharacteristic.pdf
}}</ref>
:<math>p_* \circ \tau = \chi(F) \cdot 1. </math>

== Quan hệ với các bất biến ==
Đặc trưng Euler của một [[mặt]] [[định hướng]] đóng có thể được tính theo [[Giống (hình học)|giống]] ''g'' (số hình [[torus|mặt xuyến]] trong 1 [[tổng liên thông]] phân tích của một bề mặt; bằng trực quan)

:<math>\chi = 2 - 2g.\ </math>

Đặc trưng Euler của một mặt không được định hướng đóng có thể được tính theo giống không định hướng ''k'' (số mặt phẳng xạ ảnh thực trong 1 tổng liên thông phân tích của một bề mặt)

:<math>\chi = 2 - k.\ </math>

Với các đa tạp trơn kín, Đặc trưng Euler trùng với '''[[số Euler]]''', nghĩa là.,[[lớp Euler]] của [[họ tiếp tuyến]] được đánh giá trên các [[lớp cơ bản]] của một đa tạp. Lớp Euler, lần lượt, liên quan đến tất cả các [[lớp đặc trưng]] khác của [[họ vector]].

Với các [[đa tạp Riemann]], Đặc trưng Euler cũng có thể được tìm bởi bằng cách lấy tích phân đường cong; xem Định lý [[Gauss&ndash; Bonnet]] trong trường hợp 2 chiều và Định lý [[tổng quát Gauss&ndash;Bonnet]] trường hợp tổng quát.

Một dạng rời rac tương tự của Định lý Gauss&ndash; Bonnet là định lý [[René Descartes|Descartes']]: "tổng góc khuyết" của một [[đa diện]], được đo trong vòng tròn đầy đủ, là đặc trưng Euler của khối đa diện.

[[Định lý Hadwiger]] phát biểu rằng đặc trưng Euler là hàm số ''duy nhất'' ([[xê xích]] một phép nhân vô hướng) có các tính chất sau: bất biến dưới phép tịnh tiến, cộng tính hữu hạn, không-nhất-thiết-không-âm, xác định trên tập hợp các [[hội hữu hạn]] của các tập hợp [[không gian compact|compact]] [[khối đa diện lồi|lồi]] trong '''R'''<sup>''n''</sup>, và thuần nhất tại bậc 0.

==Ví dụ==
Đặc trưng Euler có thể được tính dễ dàng cho các bề mặt tổng quát bằng cách tìm một đa giác (polygonization) của bề mặt (nghĩa là, một mô tả như một [[CW-phức]]) và sử dụng các định nghĩa trên.
{| class="wikitable"
|-
!Tên
!Hình
!Đặc trưng Euler
|-
|[[Interval (mathematics)|Khoảng]]
|[[Tập tin:Complete graph K2.svg|100px]]
|'''1'''
|-
|[[Đường tròn]]
|[[Tập tin:Cirklo.svg|100px]]
|'''0'''
|-
|[[Đĩa đơn vị|Dĩa]]
|[[Tập tin:Disc Plain grey.svg|100px]]
|'''1'''
|-
|[[Quả cầu]]
|[[Tập tin:Sphere-wireframe.png|100px]]
|'''2'''
|-
|[[Hình xuyến]] <br> (tích của 2 đường tròn)
|[[Tập tin:Torus illustration.png|100px]]
|'''0'''
|-
|[[Hình xuyến đôi]]
|[[Tập tin:Double torus illustration.png|100px]]
|'''&minus;2'''
|-
|[[Hình xuyến ba]]
|[[Tập tin:Triple torus illustration.png|100px]]
|'''&minus;4'''
|-
|Mặt phẳng xạ ảnh thực
|[[Tập tin:Steiners Roman.png|100px]]
|'''1'''
|-
|[[Dải Möbius]]
|[[Tập tin:MobiusStrip-01.png|100px]]
|'''0'''
|-
|[[Chai Klein]] <br> (hình lọ nhỏ)
|[[Tập tin:KleinBottle-01.png|100px]]
|'''0'''
|-
|Hai quả cầu ([[không liên thông]]) <br> ([[Hội rời]] của 2 quả cầu)
|[[Tập tin:Sphere-wireframe.png|100px]][[Tập tin:Sphere-wireframe.png|100px]]
|2 + 2 = '''4'''
|-
|Ba quả cầu ([[không liên thông]]) <br> ([[Hội rời]] của 3 quả cầu)
|[[Tập tin:Sphere-wireframe.png|100px]][[Tập tin:Sphere-wireframe.png|100px]][[Tập tin:Sphere-wireframe.png|100px]]
|2 + 2 + 2 = '''6'''
|}

Bất kỳ không gian [[co]] (tức là, nó tương đương đồng luân với 1 điểm) có tương đồng tầm thường, nghĩa là số Betti thứ 0 là 1 và những số khác là 0. Tóm lại, Đặc trưng Euler của nó là 1. Trường hợp này bao gồm [[không gian Euclid]] <math>\mathbb{R}^n</math> của bất kỳ chiều nào, cũng như quả cầu đơn vị đặc trong bất kì không gian Euclide &mdash; 1 chiều - khoảng, 2 chiều - đĩa, 3 chiều - quả cầu,...

Quả cầu ''n'' chiều có số Betti là một trong chiều 0 và ''n'', và tất cả các số Betti khác là 0 Suy ra Đặc trưng Euler của nó là <math>1 + (-1)^n</math> &mdash; tức là,hoặc 0 hoặc 2.

[[Không gian xạ ảnh]] thực ''n'' chiều là thương của n quả cầu bởi [[ánh xạ ngược]]. Suy ra rằng đặc trưng Euler của nó chính xác một nửa đã tương ứng của các quả cầu - Hoặc là 0 hoặc 1.

Hình xuyến ''n'' chiều là tích 2 không gian của n vòng tròn. đặc trưng Euler của nó là 2 bởi tính chất tích

=== Ví dụ quả bóng ===
Có bao nhiêu ngũ giác và hình lục giác tạo nên một [[quả bóng đá]]?

Giả sử sử dụng hình lục giác <math>H</math> và ngũ giác <math>P</math>; Suy ra ta có <math>F=H+P</math> mặt. mỗi hình ngũ giác (hình lục giác) có 5 đỉnh (6 đỉnh), và mỗi đỉnh có 3 mặt chung, suy ra ta có <math>V=(5 P+6 H)/3</math> đỉnh. Tương tự, mỗi ngũ giác (lục giác) có 5 cạnh (6 cạnh), và mỗi cạnh có 2 mặt chung, suy ra ta có <math>E=(5 P+6 H)/2</math> cạnh. Vì thế Đặc trưng Euler là <math>(P+H)-(\frac{5}{2}P+3H)+(\frac{5}{3}P+2H) = (1-\frac{5}{2}+\frac{5}{3})P + (1-3+2)H = \frac{1}{6}P + 0H</math>. Bởi vì quả cầu có đặc trưng Euler 2, nen ta có <math>P=12</math>. Kết quả là luôn luôn cần 12 ngũ giác trên một quả bóng đá, số lượng hình lục giác về nguyên tắc không bị giới hạn (nhưng đối với một quả bóng đá thực sự rõ ràng là một lựa chọn một số để làm cho bóng càng tròn càng tốt). Kết quả này cũng được áp dụng cho [[fullerene]]s.

==Khái quát hóa==
Với mỗi tổ hợp [[ô phức]], nó định nghĩa đặc trưng Euler là số ô-0, trừ đi số ô-1, cộng với số lượng ô-2,..., nếu tổng xen kẽ này là hữu hạn. Cụ thể là, các đặc trưng Euler của một tập hợp hữu hạn chỉ đơn giản là số lượng của nó, và các đặc trưng Euler của một [[graph (mathematics)|đồ thị]] là số lượng các đỉnh trừ đi số của các cạnh.<ref>Olaf Post calls this a "well-known formula": {{citation|first=Olaf|last=Post|contribution=Spectral analysis of metric graphs and related spaces|title=Limits of graphs in group theory and computer science|location=Lausanne, Switzerland|publisher=EPFL Press|year=2009|pages=109–140|arxiv=0712.1507 }}.</ref>

Tổng quát hơn, nó có thể định nghĩa đặc trưng Euler của bất kỳ [[chuỗi phức]] là tổng luân phiên các [[rank of an abelian group|bậc]] của các nhóm tương đồng của các chuỗi phức.

1 phiên bản được sử dụng trong [[hình hoc đại số]] là như sau. với bất kì [[Bó (toán học)|bó]] <math>\scriptstyle\mathcal{F}</math> trên [[Scheme (mathematics)|lược đồ]] chiếu xuống ''X'', định nghĩa đặc trưng Euler của nó
:<math>\chi (\mathcal{F})= \Sigma (-1)^i h^i(X,\mathcal{F}),</math>
với <math>\scriptstyle h^i(X, \mathcal{F}) </math> là chiều thứ ''i'' của nhóm [[Đối đồng điều Čech|đối đồng điều bó]]([[sheaf cohomology]]) của <math>\scriptstyle\mathcal{F}</math>.

Một khái quát khác về khái niệm Đặc trưng Euler trên đa tạp xuất phát từ [[quỹ đạo đa tạp]]. Trong khi mỗi ống có một số đặc trưng Euler nguyên, một quỹ đạo đa tạp có thể có một đặc trưng Euler phân đoạn. Ví dụ, giọt nước mắt quỹ đạo đa tạp có đặc trưng Euler 1&nbsp;+&nbsp;1/''p'', với ''p'' là một [[số nguyên tố]] tương ứng với các góc hình nón 2''π''&nbsp;/&nbsp;''p''.

Khái niệm Đặc trưng Euler của một [[Tập hợp sắp thứ tự một phần|tập hợp sắp thứ tự một phần (poset)]] hữu hạn bị chặn là một sự tổng quát, quan trọng trong tổ hợp. Một poset được "bao bọc" nếu nó có các phần tử nhỏ nhất và lớn nhất, gọi chúng là 0 và 1. Đặc trưng Euler của một poset như thế được định nghĩa là số nguyên μ(0,1), trong đó μ là [[hàm Mobius]] về [[tỷ lệ đại số]] đó là poset.

Điều này có thể được tiếp tục tổng quát bằng cách định nghĩa một Q-giá trị đặc trưng Euler cho các [[loại]]() hữu hạn nhất định, một khái niệm tương thích với của đồ thị của các đặc trưng Euler, quỹ đạo đa tạp và posets đề cập ở trên. Trong hoàn cảnh này, các đặc trưng Euler của một [[group (mathematics)|nhóm]] hữu hạn hoặc [[nửa nhóm]] ''G'' là 1/|''G''|, và các đặc trưng Euler của một [[phỏng nhóm]]([[groupoid]]) hữu hạn là tổng của 1/|''G<sub>i</sub>''|, nơi mà chúng tôi đã chọn một nhóm đại diện ''G<sub>i</sub>'' cho mỗi thành phần liên thông của phỏng nhóm.<ref>Tom Leinster, "[http://www.math.uiuc.edu/documenta/vol-13/02.pdf The Euler characteristic of a category] {{Webarchive|url=https://web.archive.org/web/20140606220358/http://www.math.uiuc.edu/documenta/vol-13/02.pdf |date = ngày 6 tháng 6 năm 2014}}", ''Documenta Mathematica'', 13 (2008), pp. 21&ndash;49</ref>

== Chú thích ==
{{tham khảo}}

== Xem thêm ==
* [[Lớp Euler]]
* [[Danh sách các khối đa diện đều]]
* [[Danh sách các chủ đề mang tên Leonhard Euler]]
* [[Tính toán Euler]]

== Đọc thêm ==
*Richeson, David S. (2008) ''Euler's Gem: The Polyhedron Formula and the Birth of Topology''. Princeton University Press.
*H. Graham Flegg: ''From Geometry to Topology''. Dover 2001, p.&nbsp;40

== Liên kết ngoài ==
*{{Mathworld | urlname=EulerCharacteristic | title=Euler characteristic }}
*{{Mathworld | urlname=PolyhedralFormula | title=Polyhedral formula }}
*{{SpringerEOM| title=Euler characteristic | id=Euler_characteristic | oldid=16333 | first=S.V. | last=Matveev }}
{{Kiểm soát tính nhất quán}}
{{Tô pô}}

[[Thể loại:Định lý tôpô học]]
[[Thể loại:Tô pô đại số]]
[[Thể loại:Khái niệm toán học mang tên Euler]]