Topology

The surface with one side, and what happens when it is cut

A strip of paper, half a twist, and a join. The result has one side and one edge, and cutting it down the middle does not produce two of anything.
15 min read 7 figures Throwing things away

Take a strip of paper. This is the whole apparatus — no measurements, no coordinates, nothing that the Königsberg abstraction would not also throw away. Join the ends into a loop and it is a cylinder: two sides, an inside and an outside, and two edges, a rim at the top and a rim at the bottom. Nothing surprising.

Now do it again, but turn one end over before joining.

Gluing a strip with a flip. A rectangle whose left and right edges are to be identified after reversing one of them.
Fig. 1 The construction as a gluing instruction. The rectangle’s two ends are to be identified, but with one of them reversed — that is what the opposing arrows mean. Point them the same way instead and the result is an ordinary cylinder.
Gluing a strip straight. A rectangle whose left and right edges are to be identified directly, making a cylinder.
Fig. 2 The same instruction without the reversal: both arrows point the same way, so the ends are joined as they are. This is the entire difference between the two surfaces, written down. Everything else in this essay follows from which way one arrow points.

The single reversal changes everything.

Everything above is an instruction rather than an object, and an instruction can be carried out two ways. The two figures below are the same two rectangles with the gluing actually performed, so that what the arrows promised can be checked against what the paper does.

A cylinder. A strip joined end to end with no twist: an ordinary cylinder, with two sides and two edges.
Fig. 3 The control case: the same strip joined without the flip. Two sides, two edges, and a walk along the surface returns after one lap.
A Möbius band. A strip joined end to end after a half twist, so it has one side and one edge.
Fig. 4 A Möbius band. Following the surface all the way round returns to the starting point on what was the other face — so there is no other face. One side, and one edge.

One side

The claim that the band has one side is easy to state and slightly slippery to make precise, so it is worth doing carefully.

Put a pencil on the surface and draw a line down the middle without lifting it or crossing an edge. On a cylinder, the line closes up after one lap and the opposite face is never touched. On the Möbius band, the line arrives back at its starting point only after two laps, and along the way it has covered what naively looked like both faces.

That is what one-sidedness means operationally: there is no way to consistently label the surface “this face” and “that face”, because a walk along the surface converts one into the other. The technical term is that the band is non-orientable — which is a property of the surface itself, unlike sidedness, and the next section is about why those are not the same claim.

That word operationally is doing work. Nothing has been said about the band having one side as an intrinsic property of the material; the claim is about what happens to a process — a pencil, moving, not lifted. Defining a property by what a procedure does to it is the same manoeuvre that turns incommensurability into a question about whether a cutting process halts, and it is characteristic of topology generally, where the objects are too floppy for most other kinds of definition to survive.

Sides belong to the room; orientability belongs to the surface

There is a distinction buried in that paragraph which is worth digging out, because the two properties get used interchangeably and only one of them is intrinsic.

Having a side requires an ambient space. A side is a direction to be on — a choice of which way the normal vector points — and a normal vector needs somewhere to point into. Ask whether a surface has one side or two and the question is partly about the room it has been put in, not only about the surface. A being living inside the surface, with no access to any surrounding dimension, cannot even formulate it.

Orientability needs no room at all. Draw a small clock face on the surface, with an arrow from twelve to three, and slide it around a closed loop back to where it started. If it can come back with the arrow pointing the other way — anticlockwise where it left clockwise — the surface is non-orientable. That test is conducted entirely within the surface, uses nothing but the surface’s own geometry, and a two-dimensional inhabitant could perform it.

On the Möbius band the clock comes back mirrored, and it is the same loop that took the pencil two laps to close. The two facts are connected but not identical, and the connection runs one way: a surface sitting in ordinary space is one-sided exactly when it is non-orientable, so for bands made of paper the distinction never bites.

It bites immediately one step further out. The Klein bottle is non-orientable and has no sides at all in three dimensions, because it cannot be put there without passing through itself. The projective plane is the same. For those surfaces the intrinsic property survives and the extrinsic one has nothing to attach to — which settles which of the two is the real property and which is a convenience of paper.

So the pencil line is the demonstration and the clock face is the definition. The essay’s title names the convenient version.

One edge follows the same way. Run a finger along the rim of a cylinder and it comes back after one circuit, having touched only one of the two rims. Run it along the rim of a Möbius band and it takes two circuits to return, having traversed the entire boundary — which is therefore a single closed curve.

The gluing diagram is the real object

The most useful thing in the first figure is not the band; it is the rectangle with arrows on it.

That diagram specifies the surface completely, without reference to three-dimensional space at all. It says: here is a rectangle, and here is which of its edges are to be regarded as the same edge, and in which direction. Everything about the resulting surface is determined by that instruction.

Compare what the gluing diagram costs and what it buys. It gives up any notion of length, angle, curvature or position — everything a ruler could measure. What it keeps is the pattern of identification, and that turns out to be enough to determine every property discussed in this essay. The trade is the same one Euler made with the bridges, and the payoff is the same: a question that looked physical becomes combinatorial and then becomes easy.

This matters because the physical Möbius band is misleading in a specific way. Made of paper, it has a thickness, it curves through space, it has a particular size. None of that is part of the surface. Change the radius, add a second twist and remove it, crumple the whole thing — the object is unchanged, because none of those operations alter which edge is glued to which.

Gluing diagrams generate the rest of the standard collection of surfaces from the same rectangle:

  • glue both pairs of opposite edges directly: a torus, the surface of a doughnut;
  • glue one pair directly and the other with a flip: a Klein bottle;
  • glue both pairs with a flip: the real projective plane.

The Klein bottle is the one usually depicted as a glass vessel passing through itself. That self-intersection is not part of the surface either — it is an artefact of trying to fit a surface into three dimensions when it needs four to sit without crossing. The gluing diagram has no such problem, which is a reasonable argument for treating the diagram as the object and the picture as the compromise.

This is the same discipline as reducing Königsberg to four dots: decide what the question depends on, and throw away the rest. Here the question depends only on the gluing, so the embedding goes.

There is a clean way to say how much the twisting is actually worth, and it sharpens the claim considerably. Only the parity of the number of half twists matters.

Give the strip three half twists before joining, or five, or seventeen, and the gluing diagram is the same diagram: the ends identified with a reversal. The surface is a Möbius band in every one of those cases — one side, one edge, a clock face that comes back mirrored. Give it two half twists, or four, and the diagram is the other one, the ends identified directly: a cylinder, two sides and two edges, however contorted the ribbon looks from across the room. The recycling symbol is a genuine emblem of non-orientability because three is odd, and for no other reason.

So there are exactly two surfaces in this family and infinitely many ways of holding each. Everything separating a three-twist band from a one-twist band lives in the embedding — in how the ribbon sits in space, which is a question about knots and ribbons with entirely different answers, and a good question. It is simply not this one.

The intrinsic data can be written out in full, which is a fair check that nothing has been mislaid. A compact surface with boundary is determined by three things: its Euler characteristic, how many boundary circles it has, and whether it is orientable. The cylinder is (0, 2, yes)(0,\ 2,\ \text{yes}). The Möbius band is (0, 1, no)(0,\ 1,\ \text{no}). They agree on the first and differ on the other two — which is exactly why the Euler characteristic on its own cannot tell them apart, and why the classification needs all three.

It is worth saying plainly that the band is not a curiosity that happens to be well known. Its role in mathematics is structural: it is the minimal counterexample to a hypothesis so natural that most people do not notice they are making it, namely that a surface has two sides. Whole theorems carry the word orientable in their statements because of it, and every one of those theorems would be false without the qualifier.

Objects of that kind are worth more than their apparent size suggests. They are the reason definitions get sharpened, and the reason a hypothesis that everyone would have granted becomes a clause that has to be checked. A subject accumulates them slowly, and its maturity can be measured fairly well by how many it has and how casually it handles them. Topology handles this one very casually indeed, which is a sign of how thoroughly it has been absorbed.

What the single edge is good for

The band has one boundary circle, which was reported above as a curiosity of finger-tracing. It is more than that: it is a socket, and what gets plugged into it produces the two closed surfaces the gluing diagrams above promised.

Sew a disc onto it. A disc has one boundary circle too, so the two rims can be matched and glued. The result is a closed surface with no boundary at all, and it is the projective plane — the rectangle with both pairs of edges reversed, arrived at from a different direction. The operation is called attaching a cross-cap, and the phrase sphere with cross-caps in the classification means exactly this: take a sphere, cut some discs out, and sew a Möbius band into each hole.

The bookkeeping agrees. The band’s Euler characteristic is nought; a disc adds one face and nothing else once its boundary is already there, so the projective plane’s characteristic is one — an odd number, which no orientable closed surface can have, and the cleanest possible signal that something non-orientable has happened.

Or sew a second Möbius band onto it. Two bands, two single boundary circles, matched rim to rim. What comes out is the Klein bottle, and its characteristic is nought plus nought, which is nought — the same as the torus, which is why the characteristic alone cannot tell those two apart and orientability has to be asked separately.

That second construction is worth sitting with, because it is the most economical description of the Klein bottle anybody has. Not a vessel whose neck passes through its own wall — that is the compromise a three-dimensional picture is forced into — but two Möbius bands joined along their edges, which is a sentence, needs no fourth dimension to state, and is exactly true.

It also explains the self-intersection rather than merely apologising for it. Each band separately fits in three-dimensional space without trouble. Joining their boundaries requires bringing two single closed curves together, and the way they must be brought together cannot be arranged in three dimensions without one surface passing through the other. Four dimensions supply the room; the picture does not have it, so the picture crosses itself.

Running the whole thing backwards gives the corresponding fact about cutting. Slice a Klein bottle along the right closed curve and it falls into two Möbius bands. Slice a projective plane along the right curve and a disc comes away, leaving one. Every non-orientable surface is a sphere with some number of these sewn in, and the Möbius band is the piece all of them are built from — which is the strongest available statement of why an object this small is worth an essay.

Cutting it

Everything above can be predicted. What follows is best done with actual scissors, because the result is difficult to believe in advance.

Cut a Möbius band along its centre line, all the way round.

Cutting a Möbius band down the middle. A dashed line runs the length of the band; cutting along it does not produce two bands but one longer, doubly twisted loop.
Fig. 5 The dashed line runs down the middle of the band. Cutting along it produces one loop, not two — twice as long as the original, and with a full twist rather than a half one.

A cylinder cut down the middle gives two cylinders, as anyone would expect. The Möbius band gives one loop. It does not fall apart into two pieces, and it is not a Möbius band any more: the result has two sides, two edges, and a full twist.

The reason is exactly the one-edge property. Cutting along the middle does not separate two regions, because there are not two regions to separate; the cut opens the surface up into a single longer strip whose ends are still joined. Following the centre line takes two laps to return, so the resulting loop is twice as long. And the two half-twists it inherits combine into one full twist, which is orientable — the result is a perfectly ordinary two-sided band, tied in a way that makes it awkward to lie flat.

Then there is the second experiment, which is stranger still. Cut a Möbius band not down the middle but a third of the way in from the edge. The cut goes around twice — because the edge does — and produces two interlinked loops of different lengths: one Möbius band the same length as the original, and one twice as long with a full twist, threaded through it.

That result is hard to predict and easy to verify, which is a good combination. It takes about a minute with paper and scissors.

A band with a whole twist. A strip joined end to end after a full twist, which still has two sides.
Fig. 6 A band with a whole twist, which is what cutting the Möbius band produces. Two half-twists make an orientable surface again: this one has two sides and two edges, like a plain cylinder tied awkwardly.
Cutting a Möbius band a third of the way in. The cut travels twice around before closing, and separates the band into two interlinked loops of different lengths.
Fig. 7 The second experiment: cut a third of the way in rather than down the middle. Because the band has a single edge, the cut travels twice around before closing, and the result is two interlinked loops of different lengths.

What the picture cannot show

The band drawn here sits in three-dimensional space, and almost nothing about that embedding is part of the surface. The radius, the thickness, the particular way it curves, the fact that it appears to have an inside and an outside from across the room — all of that is the drawing, not the object.

The gluing diagram is the honest representation, and it is the flat rectangle with arrows, not the twisted ribbon. This becomes unavoidable one step further along: the Klein bottle has a gluing diagram exactly as simple, and cannot be embedded in three dimensions at all. Every picture of one is a picture of a surface passing through itself, which the real object never does. The self-intersection is an artefact of the paper, and a reader who takes the glass-vessel image literally has learned something false.

So the pictures here are useful and provisional. The rectangle is the surface; the ribbon is a photograph of one way to hold it.

The ladder from here

Rungs above: the Klein bottle and the projective plane, from the same rectangle with different arrows. The classification of surfaces — every closed surface is a sphere with handles or with cross-caps, and there is nothing else. Euler characteristic as the invariant that distinguishes them. Orientability made precise, via a normal vector carried around a loop. Vector bundles, where the Möbius band is the smallest non-trivial example. The hairy ball theorem. Fibre bundles and the Hopf fibration. And orientation in linear algebra, where a negative determinant is the same phenomenon in a setting with no surface in it.

What it is for

The Möbius band is often filed under recreational mathematics, alongside puzzles. It is not.

It is the simplest non-orientable surface, which makes it the standard counterexample whenever a statement quietly assumes that “which side” is a coherent notion — the role Dirichlet’s function plays for the word area. A great many arguments in geometry, analysis and physics do assume that, usually without noticing. The band is the object that reveals the assumption.

The concept generalises far beyond surfaces. Orientability governs whether a consistent choice can be made globally when it can obviously be made locally, and that question recurs throughout mathematics — in whether a vector bundle is trivial, in whether a physical theory admits a consistent notion of handedness, in whether a system returns to its original state after a cycle. A Möbius band is the smallest object in which the answer is no.

The hardware version

The band also has a small industrial career, and it is worth a paragraph because it demonstrates the extrinsic property rather than the intrinsic one — which is the opposite of what the anecdotes usually claim.

A conveyor belt or a drive belt given a half twist before joining wears over its whole surface instead of over one face, so it lasts roughly twice as long. Continuous-loop recording tapes have been built the same way to double the playing time before the tape repeats. Both are real and both were patented, the belt in 1949 and the tape not long after.

Neither exploits non-orientability. They exploit the fact that a physical belt is a thickened band — a solid object with two genuine surfaces — and that the half twist makes the machine present both of them to the roller in turn. The mathematical Möbius band has no thickness and therefore nothing to wear; the useful object is a three-dimensional body whose shape happens to be built on the gluing diagram.

The one application that does use the topology is electrical. A Möbius resistor is a strip of conductor with a half twist and an insulating layer, joined so that the current runs in both directions around the loop at once and the magnetic fields cancel — an inductance-free resistor. There the geometry is the mechanism rather than a wear-reduction trick.

And the recycling symbol, designed by Gary Anderson in 1970, is a Möbius band with three half twists. Three is odd, so it is genuinely non-orientable, and the design is usually drawn with the twists in the wrong places by people copying it from memory.

It was described independently by August Möbius and Johann Listing in 1858, with Listing publishing first; Möbius got the name. Both were working on the classification of surfaces, and both arrived at the band while looking for the exceptions their schemes had to accommodate — which is where most good counterexamples come from. Listing did get topology — he coined the word.

The related question of what a surface looks like when a single point is removed leads somewhere else entirely, and is the subject of the sphere that is a plane plus one point.

What links here

Computed from the collection, not written here: the essays that point at this one.

Reads more easily once this is understood

Essays that name this one as worth reading first.

Shares its objects with

Essays that name at least two of the same things, and that neither author linked.

Named objects

A dashed tag is an object no other essay names yet.

BoundaryEuler characteristicGluing diagramKlein bottleMöbius bandNon-orientableOrientation