PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
ham sandwich theorem (Theorem)

Let $A_1,\ldots,A_m$ be measurable bounded subsets of $\mathbb{R}^m$ . Then there exists an $(m-1)$ -dimensional hyperplane which divides each $A_i$ into two subsets of equal measure.

This theorem has such a colorful name because in the case $m=3$ it can be viewed as cutting a ham sandwich in half. For example, $A_1$ and $A_3$ could be two pieces of bread and $A_2$ a piece of ham. According to this theorem it is possible to make one cut to simultaneously cut all three objects exactly in half.




"ham sandwich theorem" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: Borsuk-Ulam theorem


Attachments:
proof of ham sandwich theorem (Proof) by Statusx
Log in to rate this entry.
(view current ratings)

Cross-references: objects, theorem, measure, hyperplane, subsets, bounded, measurable

This is version 3 of ham sandwich theorem, born on 2003-10-13, modified 2003-11-24.
Object id is 4772, canonical name is HamSandwichTheorem.
Accessed 5303 times total.

Classification:
AMS MSC54C99 (General topology :: Maps and general types of spaces defined by maps :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
Possible Counterexample by zexy on 2005-05-01 02:33:46
Assume that all of the subsets are degenerate, and lie within the same (m-1)-dim hyperplane.

The only (m-1)-dim hyperplane that would satisfy the theorem is the hyperplane that the subsets lie within. Yet, can we cut them with the hyperplane? Especially into two equal subsets?

[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)