Slicing Spheres and Sandwiches: A Journey Through the Borsuk-Ulam and Ham Sandwich Theorems

The Borsuk-Ulam Theorem and the Ham Sandwich Theorem are two celebrated results in mathematics that are linked by a beautiful and surprising proof. The Borsuk-Ulam Theorem is a result from topology, stating that any continuous map from a sphere Sⁿ to the Euclidean space ℝⁿ must send a pair of opposite (antipodal) points to the same location. This abstract idea has intuitive consequences, such as the fact that there are always two opposite points on Earth with identical temperature and pressure. The Ham Sandwich Theorem is a geometric result guaranteeing that any n objects in n-dimensional space can be simultaneously bisected by a single cut (an (n-1)-dimensional hyperplane). For instance, in 3D, a slice of ham and two slices of bread can always be cut in half by a single plane, no matter their shape or position. The genius of the connection lies in using the former to prove the latter. The proof works by cleverly constructing a function that maps every possible direction of a cut (represented by a point on a sphere) to a set of values that describe how far apart the bisecting planes for each object are. By applying the Borsuk-Ulam Theorem to this function, one can prove there must be a specific direction where these values are all zero, which implies that the bisecting planes for all objects coincide. This demonstrates the existence of the 'perfect cut' and serves as a stunning example of the power of topology to solve problems in other mathematical domains.

Introduction: The Unseen Connection

In the vast landscape of mathematics, some of the most profound and beautiful results arise from unexpected connections between seemingly disparate fields. This is certainly the case with the Borsuk-Ulam Theorem, a deep result from algebraic topology, and the Ham Sandwich Theorem, a statement that sounds more at home in a delicatessen than a mathematics lecture. At first glance, a theorem about mapping spheres and a theorem about slicing objects appear to have nothing in common. However, the latter is a direct and elegant consequence of the former. These notes will guide you through both theorems, culminating in the beautiful proof that links them together, showcasing the surprising power of abstract topology to solve concrete geometric problems.

Section 1: The Borsuk-Ulam Theorem - No Escape from Antipodes

The Borsuk-Ulam Theorem is fundamentally a statement about continuous functions on spheres. The core idea is that you cannot 'flatten' a sphere onto a lower-dimensional space without at least two opposite points ending up in the same spot.

Intuitive Understanding:

• The 1D Case (S¹ → ℝ¹): Imagine the equator of the Earth as a circle (S¹). Let's say temperature is a continuous function along the equator. The theorem states that at any given moment, there must exist a pair of antipodal points (points directly opposite each other through the Earth's center) that have the exact same temperature. It's impossible for every pair of opposite points to have different temperatures. You can convince yourself of this by defining a new function, g(x) = T(x) - T(-x), where T(x) is the temperature at point x. If you pick a point x₀ and g(x₀) is positive, then g(-x₀) = T(-x₀) - T(x₀) = -g(x₀), which is negative. Since g is continuous and takes both positive and negative values, the Intermediate Value Theorem guarantees it must be zero somewhere, meaning T(x) = T(-x) for some x.

• The 2D Case (S² → ℝ²): Now, let's consider the entire surface of the Earth as a sphere (S²). Suppose we measure two continuous values at every point, for example, temperature and barometric pressure. The Borsuk-Ulam Theorem guarantees that there exists a pair of antipodal points on the Earth's surface that simultaneously have the exact same temperature and the exact same pressure. There is no 'escape' by adding a second variable.

Formal Statement:

The Borsuk-Ulam Theorem states:

If f : Sⁿ → ℝⁿ is a continuous function, where Sⁿ is the n-sphere (the surface of an (n+1)-dimensional ball), then there exists a point x ∈ Sⁿ such that f(x) = f(-x).

Key Concepts:

• n-sphere (Sⁿ): The set of points in (n+1)-dimensional Euclidean space (ℝⁿ⁺¹) that are at a unit distance from the origin. S¹ is a circle, S² is a sphere.
• Antipodal Points: For any point x on a sphere centered at the origin, the point -x is its antipodal point.
• Continuous Function: A function that does not have any abrupt jumps, breaks, or tears. Intuitively, small changes in the input result in small changes in the output.

Section 2: The Ham Sandwich Theorem - The Perfect Cut

The Ham Sandwich Theorem addresses a problem of fair division. It guarantees that, under very general conditions, multiple objects can be simultaneously cut in half with a single slice.

Intuitive Understanding:

• The 2D Case (The Pancake Theorem): Given two pancakes (any two finite-area shapes) on a plate (a plane), there always exists a single straight-line cut that bisects both pancakes simultaneously. No matter how you shape or place them, this perfect cut is guaranteed to exist.

• The 3D Case (The Classic Ham Sandwich): Imagine you have a sandwich with a slice of ham and two slices of bread. These can be of any shape and placed anywhere in space. The theorem states that it is always possible to make a single, perfectly flat cut with a knife that simultaneously bisects the volume of the ham, the first slice of bread, and the second slice of bread.

Formal Statement:

The Ham Sandwich Theorem states:

Given n measurable sets A₁, A₂, ..., Aₙ in n-dimensional space (ℝⁿ), there exists an (n-1)-dimensional hyperplane that bisects each set. That is, for each set Aᵢ, the measure of the part on one side of the hyperplane is equal to the measure of the part on the other side.

Key Concepts:

• Measure: A generalization of length, area, and volume. For the theorem to apply, the sets just need to have a well-defined 'size'.
• Hyperplane: A subspace of dimension n-1 within an n-dimensional space. A point in 1D, a line in 2D, a plane in 3D.
• Bisect: To divide into two parts of equal measure.

Section 3: The Proof - Using Borsuk-Ulam to Slice the Sandwich

This proof is a masterpiece of mathematical reasoning, using the abstract properties of spheres to guarantee the existence of a geometric plane. We will demonstrate the proof for the classic 3D case (n=3).

The Goal: To prove that for three measurable objects (Bread₁, Bread₂, Ham) in ℝ³, there exists a single plane that bisects the volume of all three.

Step 1: Parameterize the Cuts. A plane in ℝ³ can be uniquely defined by two things: its orientation (given by a unit normal vector u) and its signed distance from the origin (t). The equation of such a plane is x ⋅ u = t. We can represent all possible orientations with the set of all unit vectors, which is precisely the unit sphere, S².

Step 2: Define a Bisection Function. For any given orientation u ∈ S² and any given object (say, the ham), consider the family of parallel planes with normal vector u. As we vary the distance t, the volume of the ham on one side of the plane changes continuously from zero to the total volume. By the Intermediate Value Theorem, there must be a unique distance, let's call it h(u), for which the plane x ⋅ u = h(u) perfectly bisects the ham.

Step 3: Construct the Borsuk-Ulam Function. We have three objects, so for any direction u, we have three unique bisecting planes:

• The plane bisecting Bread₁: x ⋅ u = b₁(u)
• The plane bisecting Bread₂: x ⋅ u = b₂(u)
• The plane bisecting the Ham: x ⋅ u = h(u)

We want to find a direction u for which b₁(u**) = b₂(u**) = h(u**). To do this, we define a function f from our space of directions (S²) to a 2D plane (ℝ²), which will allow us to apply the Borsuk-Ulam theorem (S² → ℝ²). Let's define f as the differences* in the distances of the bisecting planes relative to the ham's bisecting plane:

f(u) = (b₁(u) - h(u), b₂(u) - h(u))

This function f is continuous because the bisecting distances b₁, b₂, and h vary continuously with the direction u.

Step 4: Apply the Borsuk-Ulam Theorem. Since f: S² → ℝ² is a continuous function, the Borsuk-Ulam Theorem guarantees there exists a point u ∈ S² such that f(u**) = f(-u).

Let's analyze what this means. First, consider the geometry of an antipodal direction. A plane with normal -u and signed distance t is the same as a plane with normal u and signed distance -t. Therefore, the unique plane that bisects an object with normal -u must have the negative signed distance of the plane that bisects it with normal u. In our notation: b₁(-u) = -b₁(u), b₂(-u) = -b₂(u), and h(-u) = -h(u).

Now, let's write out the equality f(u*) = f(-u):

(b₁(u*) - h(u**), b₂(u**) - h(u**)) = (b₁(-u) - h(-u), b₂(-u) - h(-u*))

Substitute the antipodal relations:

(b₁(u*) - h(u**), b₂(u**) - h(u**)) = (-b₁(u**) + h(u**), -b₂(u**) + h(u***))

This gives us two separate equations:

1. b₁(u*) - h(u**) = -b₁(u**) + h(u**) => 2b₁(u**) = 2h(u) => b₁(u**) = h(u*)
2. b₂(u*) - h(u**) = -b₂(u**) + h(u**) => 2b₂(u**) = 2h(u) => b₂(u**) = h(u*)

Step 5: The Grand Conclusion. From these equations, we have shown that b₁(u*) = b₂(u**) = h(u). This means that for the specific direction u, the signed distances of the three bisecting planes are identical. Since they also share the same normal vector u**, they must be the exact same plane! We have proven the existence of a single plane that simultaneously bisects all three objects. This method generalizes perfectly to n* objects in ℝⁿ using the Sⁿ⁻¹ → ℝⁿ⁻¹ version of the Borsuk-Ulam theorem.

Browse public study notes