<!-- Generated from https://www.teclamairme.com/#ch-T12 by readviews.py; never edited by hand. -->

# Chapter ᚊ(Q): The gallery of shape

*Teclam Áirme, the Mathematical Compendium — a copy for AI readers of https://www.teclamairme.com/#ch-T12, as of 2026-09-30. Links are relative to https://www.teclamairme.com/fortheaireaders/.*

[Guide for AI readers](index.md) · [Its glossary cards](ch12-cards.md) · [Its references](ch12-refs.md) · [Previous chapter](ch11.md) · [Next chapter](ch13.md)

*A footnote such as [r-12.3] is reference entry 12.3 and links to it. Section 12 of 28; chapters are named by their Ogham letter, never by number.*

ᚊ – [Ceirt](ch12-cards.md#g-og-cert): associated with the apple tree, Section 12

## Chapter ᚊ(Q): The gallery of shape

> “Mathematics is the art of giving the same name to different things.”

> — Henri Poincaré · The Future of Mathematics, 1908, in *Science and Method* [r-12.19](ch12-refs.md#r-12.19)

Formula: ([χ(T²)](ch12-cards.md#g-chiT) + [χ(Klein bottle)](ch12-cards.md#g-chiK) + [b<sub>1</sub>(S²)](ch12-cards.md#g-b1S2) + ([∂(∂M)](ch12-cards.md#g-bdbd)))/(([χ(S²)](ch12-cards.md#g-chiS) + [χ(ℝP²)](ch12-cards.md#g-chiRP) + |[χ(Σ₂)](ch12-cards.md#g-chiS2g)| + [χ(•)](ch12-cards.md#g-chipt)) {brace: [Euler characteristics](ch12-cards.md#g-eulerchar)} · ([b<sub>0</sub>(S²) + b<sub>2</sub>(S²)](ch12-cards.md#g-b02S2) + [b<sub>1</sub>(T²)](ch12-cards.md#g-b1T2) + [b<sub>1</sub>(Σ₂)](ch12-cards.md#g-b1S2g)) {brace: [Betti numbers](ch12-cards.md#g-homology)} · ([g(T²)](ch12-cards.md#g-genusT)) {brace: [genus](ch12-cards.md#g-classsurf)} ) {brace: [topology](ch12.md#ch-T12-topology)} · ([c(○)](ch12-cards.md#g-unknot))/([c(3₁)](ch12-cards.md#g-trefoil) + [V<sub>○</sub>(t)](ch12-cards.md#g-jonesunknot)) {brace: [knot theory](ch12.md#ch-T12-knot-theory)} · ([K(cylinder)](ch12-cards.md#g-cylinder))/([∫<sub>S²</sub> K dA](ch12-cards.md#g-gaussbonnet)) {brace: [differential geometry](ch12.md#ch-T12-differential-geometry)} · ([3²+4²−5²](ch12-cards.md#g-pythag345))/([∠A + ∠B + ∠C](ch12-cards.md#g-anglesum) + [5](ch12-cards.md#g-platonic)) {brace: [Euclidean geometry](ch12.md#ch-T12-euclidean-geometry)}

#### Type of number

Proven transcendental ·

Key concepts: Topology, knot theory, differential geometry, and Euclidean geometry. It includes symbols you may not have seen before, such as: [χ](ch12-cards.md#g-chiT), [b<sub>n</sub>](ch12-cards.md#g-bettinum), [∂](ch12-cards.md#g-bdbd), and [K](ch12-cards.md#g-gaussbonnet). Zero here is a shape’s accounts balancing: a doughnut’s Euler characteristic, an unknot’s crossings, a rolled sheet’s curvature, and 3² + 4² − 5².

Here’s the table I had in mind. A loop of rope lies beside models of a sphere, a torus, and a [Klein bottle](ch12-cards.md#g-kleinbottle). There is a sheet of paper here we are welcome to roll into a tube. Some questions require a ruler or a measurement of curvature; others ask which features survive when a shape is bent, redrawn, or divided into different pieces. Geometry and topology share this room because they look at the same objects while choosing different things to notice.

Field notes

### [topology](ch12.md#ch-T12-topology) {#ch-T12-topology}

Which features survive bending, redrawing, and a change of subdivision. Start with a cube: [eight vertices minus twelve edges plus six faces gives 2](ch12-cards.md#g-chiS). A tetrahedron gives 4 − 6 + 4 = 2. Cut a face in two with a new edge and you add one edge and one face, leaving the total unchanged. That count, the [Euler characteristic](ch12-cards.md#g-eulerchar) [χ](ch12-cards.md#g-eulerchar), sees the surface beneath the subdivision. [r-12.1](ch12-refs.md#r-12.1)

#### Numerator

[χ(T²)](ch12-cards.md#g-chiT) = 0; the doughnut, the classic surface with a hole.

[V − E + F = 0](ch12-cards.md#g-chiT) for any cutting of the torus into polygons. The simplest cutting is a single square: glue its left and right edges to make a tube, then glue the tube’s two ends together, and what is left is one vertex, two edges, and one face, 1 − 2 + 1 = 0. [For a closed connected orientable surface with g handles, χ = 2 − 2g](ch12-cards.md#g-classsurf), and [the torus has one handle](ch12-cards.md#g-genusT).

[χ(Klein bottle)](ch12-cards.md#g-chiK) = 0; chosen to show that an invariant cannot tell every pair of shapes apart.

A square with one pair of edges glued straight and the other glued with a twist has, after gluing, one vertex, two edges, and one face: 1 − 2 + 1 = 0. That matches the torus, although the two are not [homeomorphic](ch12-cards.md#g-homeo): no amount of stretching turns one into the other. [The Klein bottle](ch12-cards.md#g-kleinbottle) is nonorientable: it has only one side, with no inside and outside to tell apart. The handles formula is only for orientable, two-sided surfaces, so it is not the Klein bottle’s rule.

[b<sub>1</sub>(S²)](ch12-cards.md#g-b1S2) = 0; a [Betti number](ch12-cards.md#g-bettinum), a finer count than χ, on the simplest closed surface.

[Betti numbers](ch12-cards.md#g-bettinum) count a shape’s independent features, dimension by dimension: b₀ counts its connected pieces, and b₁ its independent loops, the ones that cannot be shrunk away. [Every loop on a sphere contracts to a point](ch12-cards.md#g-b1S2), so there are none. [r-12.3](ch12-refs.md#r-12.3) [r-12.2](ch12-refs.md#r-12.2)

[∂(∂M)](ch12-cards.md#g-bdbd) = 0; a fundamental law: the boundary of a boundary is empty.

A disk’s boundary is a circle, and a circle has no endpoints, so the boundary of that boundary is nothing at all. The same is true of any piece of surface: its edge is made of closed curves, and a closed curve has no ends. [Topologists write that nothing as the zero chain, and it enters the formula as the integer 0](ch12-cards.md#g-bdbd). It is the partner of [d² = 0](ch11-cards.md#g-ddzero) in Chapter ᚉ(C), the gallery of motion. [r-12.4](ch12-refs.md#r-12.4) [r-12.15](ch12-refs.md#r-12.15)

#### Denominator

Three groups, multiplied: [Euler characteristic](ch12-cards.md#g-eulerchar) gives an overall count, [Betti numbers](ch12-cards.md#g-bettinum) separate features by dimension, and [genus](ch12-cards.md#g-classsurf) counts handles on the orientable surfaces here.

Euler characteristics

[χ(S²)](ch12-cards.md#g-chiS) = 2; the sphere, [Euler’s polyhedron formula](ch12-cards.md#g-eulerchar) itself.

The cube and tetrahedron above are both cuttings of a sphere, and [both gave 2](ch12-cards.md#g-chiS).

[χ(ℝP²)](ch12-cards.md#g-chiRP), |[χ(Σ₂)](ch12-cards.md#g-chiS2g)|, [χ(•)](ch12-cards.md#g-chipt) = 1, |−2|, 1; the real projective plane, the double torus, and a single point: one nonorientable, one with two handles, one with none, three ways χ can differ from [the torus’s zero](ch12-cards.md#g-chiT).

The real projective plane is a sphere with every point glued to the point directly opposite it; [the gluing halves every count](ch12-cards.md#g-chiRP), so its χ is 1, half the sphere’s 2. The double torus has two handles, so [χ = 2 − 2·2 = −2](ch12-cards.md#g-chiS2g); the formula takes its absolute value, 2. [A point is one vertex and nothing else](ch12-cards.md#g-chipt).

Betti numbers

[b<sub>0</sub>(S²) + b<sub>2</sub>(S²)](ch12-cards.md#g-b02S2) = 1 + 1 = 2; the sphere’s other two counts.

[b₀ = 1](ch12-cards.md#g-b02S2) because the sphere is one connected piece; b₂ = 1 because the sphere closes around one hollow, the space inside it. With [b₁ = 0](ch12-cards.md#g-b1S2), χ = b₀ − b₁ + b₂ = 1 − 0 + 1 = 2: the counts explain one another. [Homology](ch12-cards.md#g-homology) is the machinery that makes these counts precise; [cohomology](ch12-cards.md#g-cohomology), its mirror image, is the language in which the epilogue’s [Hodge question](ch28-cards.md#g-hodge) is asked. [r-12.3](ch12-refs.md#r-12.3) [r-12.20](ch12-refs.md#r-12.20) [r-28.21](ch28-refs.md#r-28.21)

[b<sub>1</sub>(T²)](ch12-cards.md#g-b1T2) = 2; the torus’s two independent loops.

A loop around the tube and a loop around the central hole [are two independent loops](ch12-cards.md#g-b1T2): neither can be shrunk to a point or slid into the other. With b₀ = b₂ = 1, [χ = 1 − 2 + 1 = 0](ch12-cards.md#g-chiT) agrees with the numerator.

[b<sub>1</sub>(Σ₂)](ch12-cards.md#g-b1S2g) = 4; the double torus, with two loops per handle.

[Each handle contributes a pair of independent loops](ch12-cards.md#g-b1S2g).

genus

[g(T²)](ch12-cards.md#g-genusT) = 1; the torus’s one handle, which is what makes [its χ zero](ch12-cards.md#g-chiT).

[One handle, one hole](ch12-cards.md#g-genusT), and [χ = 2 − 2g = 0](ch12-cards.md#g-chiT).

The first fraction is 0/48: (2 + 1 + 2 + 1) × (1 + 1 + 2 + 4) × 1 = 6 × 8 × 1 = 48.

**Fine print.** “Number of holes” is a useful first picture of [Betti numbers](ch12-cards.md#g-bettinum), not their complete definition. [The ∂∂ zero](ch12-cards.md#g-bdbd) is a chain, read as a scalar only after the calculation.

### [knot theory](ch12.md#ch-T12-knot-theory) {#ch-T12-knot-theory}

Join the ends of the rope on the table and you have a mathematical knot: a closed loop in space, which we may move but never cut or pass through itself. The question is when two tangled-looking loops are really the same knot.

#### Numerator

[c(○)](ch12-cards.md#g-unknot) = 0; the unknot, the knot that is not knotted.

The [crossing number](ch12-cards.md#g-crossnum) is the fewest crossings over all suitable drawings of a knot. A badly drawn circle might cross itself on the page, but it can be redrawn as a plain circle, so [its minimum is 0](ch12-cards.md#g-unknot). We are measuring the knot, not the clutter in one drawing. [r-12.6](ch12-refs.md#r-12.6)

#### Denominator

[c(3₁)](ch12-cards.md#g-trefoil) = 3; the trefoil, the simplest knot that is really knotted.

[It needs three crossings](ch12-cards.md#g-trefoil), and no knot needs only one or two.

[V<sub>○</sub>(t)](ch12-cards.md#g-jonesunknot) = 1; [the Jones polynomial](ch12-cards.md#g-jonespoly), a more detailed fingerprint, at its simplest.

[Vaughan Jones’s 1984 invariant](ch12-cards.md#g-jonespoly) gives each knot a polynomial that is unchanged by allowed moves, and in the normalization used here [the unknot’s is the constant 1](ch12-cards.md#g-jonesunknot). Different polynomials prove two knots different; equal ones alone need not prove them the same, and whether any other knot shares the unknot’s is unknown. [r-12.7](ch12-refs.md#r-12.7) [r-12.8](ch12-refs.md#r-12.8)

The second fraction is 0/4: 3 + 1 = 4.

### [differential geometry](ch12.md#ch-T12-differential-geometry) {#ch-T12-differential-geometry}

Curvature, measured from inside a surface. Gauss’s remarkable result is that a creature confined to the paper can tell a sphere from a plane without ever seeing either from outside.

#### Numerator

[K(cylinder)](ch12-cards.md#g-cylinder) = 0; chosen because it sounds wrong: a cylinder certainly looks bent.

Roll the sheet of paper into a tube: it becomes a cylinder without stretching. Along the cylinder it is straight; around it, it bends. Gaussian curvature multiplies those two bends, and [the one along the tube is zero](ch12-cards.md#g-cylinder). That is Gauss’s creature again: the paper was never stretched, so from inside nothing has changed, and the curvature it measures is still the flat sheet’s zero. [r-12.9](ch12-refs.md#r-12.9)

#### Denominator

[∫<sub>S²</sub> K dA](ch12-cards.md#g-gaussbonnet) = 4π; the Gauss–Bonnet theorem, where geometry and topology meet.

The unit sphere has curvature 1 everywhere and area 4π. More generally, the total curvature of a closed surface is 2πχ, and [the sphere’s χ = 2](ch12-cards.md#g-chiS) returns from the first brace to explain the 4π: 2π · 2 = 4π. [r-12.10](ch12-refs.md#r-12.10)

The third fraction is 0/(4π).

**Fine print.** The surface matters: a torus has χ = 0, so its total curvature is zero, flat on average however curved it looks.

### [Euclidean geometry](ch12.md#ch-T12-euclidean-geometry) {#ch-T12-euclidean-geometry}

Finally, a shape we can measure directly with a ruler.

#### Numerator

[3²+4²−5²](ch12-cards.md#g-pythag345) = 0; the most familiar right triangle there is.

9 + 16 − 25 = 0: the squares on the two shorter sides add to the square on the hypotenuse, as Pythagoras’s theorem requires. [r-12.11](ch12-refs.md#r-12.11)

#### Denominator

[∠A + ∠B + ∠C](ch12-cards.md#g-anglesum) = π; Euclid I.32 [r-12.12](ch12-refs.md#r-12.12), and the quiet link between geometry and curvature.

[A flat triangle’s angles add to π radians](ch12-cards.md#g-anglesum), 180 degrees, and Euclid’s proof of it leans on his [parallel postulate](ch12-cards.md#g-parallel). [r-12.12](ch12-refs.md#r-12.12) On the unit sphere a triangle of great-circle arcs has angle sum greater than π, and its excess equals its area; a flat triangle has no excess. The measuring rules reveal the surface. [r-12.13](ch12-refs.md#r-12.13)

[5](ch12-cards.md#g-platonic) = 5; the number of Platonic solids, the fact Euclid’s *Elements* ends with.

[Exactly five regular convex polyhedra exist](ch12-cards.md#g-platonic), and [Euler’s formula](ch12-cards.md#g-eulerchar) shows in a short calculation why there can be no sixth. [r-12.12](ch12-refs.md#r-12.12)

The fourth and final fraction is 0/(π + 5): π + 5 is positive. [r-12.14](ch12-refs.md#r-12.14)

What this chapter adds to the formula: 0/48 · 0/4 · 0/(4π) · 0/(π + 5) = 0

Tracing a loop, bending a sheet, and measuring a triangle have asked different questions about shape. Loops, crossings, boundaries, and curvature have given us several ways to recognize one.

Look through that window before we go. Those clouds weren’t there when we arrived. I wonder about the chance of rain. Come next door with me to find out.

Watch and read

- [Euler’s Formula - Numberphile](https://www.youtube.com/watch?v=CRj-sbi2i2I) Tom Crawford on V − E + F = 2, and why it stops being 2 when the shape has a hole

- [What is algebraic topology?](https://www.youtube.com/watch?v=5xLe77iTHuQ) Aleph 0; an introduction to homology, the machine that counts holes and produces the Betti numbers in the denominator

- [Euler characteristic](https://en.wikipedia.org/wiki/Euler_characteristic) Wikipedia

- [Betti number](https://en.wikipedia.org/wiki/Betti_number) Wikipedia