Boundary And Cobordism

A directed segment has a start and an end — an arrow. Its boundary is “where it finishes minus where it starts.” That tiny, signed idea is the seed that grows into cobordism, the study of when one shape is the boundary of another. This page proves the seed.

Lesson Goal

Learn the boundary of a directed interval as a signed difference, and check the three facts that make it well-behaved: reversing flips the sign, a stationary interval has zero boundary, and boundaries split through a midpoint.

The Idea

Write a directed interval from a to b as a → b. Its boundary is the signed endpoint difference:

∂(a → b) = b − a

From that one definition:

Reverse flips sign: ∂(b → a) = a − b = −∂(a → b).
No motion, no boundary: ∂(a → a) = a − a = 0.
Split through a midpoint m: ∂(a → m) + ∂(m → b) = (m − a) + (b − m) = b − a = ∂(a → b).

The orientation (the direction of the arrow) is the whole point — drop it and the signs stop bookkeeping correctly.

Worked Example

Take the interval 2 → 5:

∂(2 → 5) = 5 − 2 = 3
∂(5 → 2) = 2 − 5 = −3      (reverse flips the sign)
∂(3 → 3) = 0               (stationary)

Now split 2 → 5 at the midpoint 4:

∂(2 → 4) + ∂(4 → 5) = (4 − 2) + (5 − 4) = 2 + 1 = 3 = ∂(2 → 5)

The pieces add up to the whole, exactly as the boundary-splitting theorem says.

Common Mistake

These cards certify directed-boundary seeds only. A full cobordism category, manifold theory, or field-theory boundary calculus is not claimed — that is future work. See What “Proved” Means Here.

Checkpoint

What is ∂(7 → 1), and what is ∂(1 → 7)? How are they related? (Answer: −6 and 6; reversing the arrow negates the boundary.)

Source Trail

Paper source: Boundary Cobordism Calculus