Skip to content

The Euler Characteristic

In this lesson you’ll compute VE+FV-E+F, see why it is independent of the subdivision, use it to prove there are exactly five Platonic solids, and meet its consequences from graph planarity to the hairy ball theorem.

For a surface cut into vertices, edges and faces,

χ=VE+F\chi = V - E + F

The remarkable fact is that the answer depends only on the surface, not on how you cut it up.

The figure computes χ\chi for four polyhedra and two triangulations of the torus. The four polyhedra have wildly different counts - the tetrahedron has 4 vertices, the icosahedron has 12 - and every one gives 2. The two torus triangulations likewise give 0 with different counts.

That invariance is the entire content. The individual numbers are accidents of the subdivision; the alternating sum is a property of the space.

Any two subdivisions of a surface have a common refinement, so it suffices to check that refining does not change χ\chi. There are two elementary moves:

  • Split an edge by adding a vertex in the middle. Then VV increases by 1 and EE increases by 1, so VE+FV-E+F is unchanged.
  • Split a face by adding an edge across it. Then EE increases by 1 and FF increases by 1, so again nothing changes.

Every refinement is a sequence of these, so χ\chi survives all of them. ∎

More generally χ\chi is a homotopy invariant, which is much stronger than being a homeomorphism invariant: spaces that can be continuously deformed into each other share it.

Spaceχ\chi
Point1
Interval, disc1
Circle0
Sphere S2S^22
Torus0
Genus gg orientable surface22g2-2g
Klein bottle0
RP2\mathbb{RP}^21
SnS^n1+(1)n1+(-1)^n

Note that the disc and the point share χ=1\chi=1: they are homotopy equivalent, since a disc contracts to its centre. So χ\chi cannot tell them apart, and that is a feature of it being a homotopy invariant rather than a defect.

Here is the classical application, and it is a genuine impossibility proof.

Suppose a convex polyhedron has all faces regular pp-gons with qq meeting at each vertex. Counting each edge twice, once from each of its two faces, and each edge twice again from its two endpoints:

pF=2E,qV=2EpF = 2E, \qquad qV = 2E

Substituting into VE+F=2V-E+F=2:

2EqE+2Ep=21p+1q=12+1E\frac{2E}{q}-E+\frac{2E}{p} = 2 \quad\Longrightarrow\quad \frac1p+\frac1q = \frac12+\frac1E

Since E>0E>0 we need 1p+1q>12\frac1p+\frac1q>\frac12, and both p,q3p,q\ge3. Enumerating:

(p,q)(p,q)Solid
(3,3)(3,3)tetrahedron
(4,3)(4,3)cube
(3,4)(3,4)octahedron
(5,3)(5,3)dodecahedron
(3,5)(3,5)icosahedron

Any other pair fails the inequality: (4,4)(4,4) gives exactly 12\frac12, and anything larger gives less. Exactly five, and Euler’s formula is why. Nothing about angles or lengths was used.

For a connected planar graph drawn without crossings, VE+F=2V-E+F=2 where the outer region counts as a face. Two corollaries:

  • A simple planar graph satisfies E3V6E\le3V-6.
  • K5K_5, the complete graph on 5 vertices, has V=5V=5 and E=10>3(5)6=9E=10>3(5)-6=9, so it is not planar.
  • K3,3K_{3,3} is not planar either, by a similar count using that its shortest cycle has length 4.

Those two graphs are exactly the obstructions, by Kuratowski’s theorem: a graph is planar iff it contains neither as a subdivision.

This is where the Königsberg bridges lead: circuit board layout, and whether a network can be drawn on a single layer, is decided by these counts.

Poincaré–Hopf theorem. For a smooth vector field on a closed surface with isolated zeros, the sum of the indices of the zeros equals χ\chi.

Since χ(S2)=20\chi(S^2)=2\ne0, a vector field on the sphere must have a zero:

Hairy ball theorem. There is no nowhere-zero continuous tangent vector field on S2S^2.

You cannot comb a sphere flat. On the torus, where χ=0\chi=0, you can - comb it around the hole. The reason one is possible and the other is not is a single integer.

The meteorological consequence is real: at any moment there is a point on Earth with zero horizontal wind, which is why there is always a cyclone or an eye somewhere.

Example 1: Verify χ=2\chi=2 for the cube and the icosahedron.

Solution. Cube: V=8V=8, E=12E=12, F=6F=6, so 812+6=28-12+6=2

Icosahedron: V=12V=12, E=30E=30, F=20F=20, so 1230+20=212-30+20=2

Completely different counts, same answer, because both are subdivisions of a sphere. ∎

Example 2: Compute χ\chi for a triangulated torus and confirm it is 0.

Solution. Take a 3×33\times3 grid on the square with opposite edges identified. The 9 grid squares each split into 2 triangles, giving F=18F=18.

After identification, the grid has V=9V=9 vertices. Each vertex has degree 6 in the triangulated grid, and counting each edge from both ends gives E=962=27E = \frac{9\cdot6}{2}=27.

χ=927+18=0\chi = 9-27+18 = 0

matching the figure’s first torus row ✓ ∎

Example 3: Find the genus of a surface with χ=6\chi=-6.

Solution. For an orientable closed surface, χ=22g\chi=2-2g:

6=22g    g=4-6 = 2-2g \implies g=4

A four-holed torus. ∎

Example 4: Prove there are at most five Platonic solids.

Solution. As derived above, regularity forces

1p+1q>12,p,q3\frac1p+\frac1q > \frac12, \qquad p,q\ge3

If p=3p=3 then 1q>16\frac1q>\frac16, so q{3,4,5}q\in\{3,4,5\}. If p=4p=4 then 1q>14\frac1q>\frac14, so q=3q=3. If p=5p=5 then 1q>310\frac1q>\frac{3}{10}, so q=3q=3. If p6p\ge6 then 1p16\frac1p\le\frac16 and 1q13\frac1q\le\frac13, giving a sum of at most 12\frac12 - not enough.

Answer: five possibilities, and all five are realized. ∎

Example 5: Show K5K_5 is not planar.

Solution. K5K_5 has V=5V=5 and E=(52)=10E=\binom52=10.

A simple planar graph must satisfy E3V6E\le3V-6, which here gives E9E\le9.

10>9, so K5 is not planar10>9, \text{ so } K_5 \text{ is not planar}

A counting argument settles a drawing question, with no attempt to try layouts.

Example 6: Explain the hairy ball theorem via χ\chi.

Solution. By Poincaré–Hopf, the indices of the zeros of any smooth tangent vector field on a closed surface sum to χ\chi.

On S2S^2 that sum must be 2. A nowhere-zero field has no zeros, so its index sum is 0.

02, so no such field exists0\ne2, \text{ so no such field exists}

On the torus χ=0\chi=0, so a nowhere-zero field is not obstructed, and indeed the field pointing around the hole works.

Example 7: Compute χ\chi of a disc with three holes.

Solution. Start with a disc, χ=1\chi=1. Removing an open disc from a surface lowers χ\chi by 1, since it deletes one face.

χ=13=2\chi = 1-3 = -2

This is a “pair of pants” with an extra leg, and it has 4 boundary circles. ∎

Circuit board design. Planarity decides whether a circuit fits on one layer, and the E3V6E\le3V-6 bound gives a quick impossibility test before any layout is attempted.

Mesh validation. Graphics and CAD software computes χ\chi from a mesh’s vertex, edge and face counts to detect holes, cracks and duplicated geometry. An unexpected value means the mesh is broken.

Molecular topology. Counting atoms, bonds and rings gives an Euler-type relation, and it is used to determine the number of independent rings in a molecular structure.

Meteorology. The hairy ball theorem guarantees a point of zero horizontal wind on Earth at all times, so there is always at least one cyclonic centre.

Antenna and sensor arrays. Vector field constraints from Poincaré–Hopf limit how field patterns can be arranged over a closed surface, which constrains conformal antenna designs.

Robotics and control. Obstructions to globally continuous control laws on a configuration space are often Euler characteristic obstructions, which is why some systems provably require switching between controllers.

Why is V − E + F independent of the subdivision?
What is χ for the icosahedron?
What is χ for a genus-g orientable closed surface?
How does Euler's formula prove there are exactly five Platonic solids?
Why is K₅ not planar?
What does the hairy ball theorem state, and why is it true?
Why do a disc and a single point have the same Euler characteristic?
What happens to χ when you remove an open disc from a surface?