For any three compact connected sets in three dimensional space, there is a plane that simultaneously splits each of them into two equal parts. The book presents an enormous amount of topology, allowing an instructor to choose which topics to treat. Ham sandwich cut of red points and blue points in the plane. Ham sandwich theorem used in combinatorics problem involving beads on a necklace. Math 215a, algebraic topology uc berkeley, fall 2017 announcements. Starting from a cute little theorem, we end out with some big tools, and so it justi.
The ham sandwich theorem and the continuum algebraic topology. Most books on reading lists should also be available from the blackwells shop at jessop west. It first cropped up in a branch of mathematics called algebraic topology. Proving the theorem for n2 where it is known as the pancake theorem is simple and can be found in courant and robbins 1978. If each vector v j,a lies within a small angle of the x jaxis, then the determinant condition is easy to check, and so theorem 1.
Yesterday, i was fortunate enough to attend a lecture delivered by dr. The sandwich theorem is a result of algebraic topology which says the following. What are some theorems and proofs in your field of interest, or math in general, that are absolutely elegant and beautiful. One application is to show that the two dimensional and three dimensional. The theorem is called the ham sandwich theorem because sandwiches are made of three dimensional pieces of bread that are cut in half with a flat sheet, like a slice of ham. The ham sandwich theorem is a nice result which follows quickly from the borsukulam theorem. The ham sandwich theorem can be proved using the borsukulam theorem. In computational geometry, this ham sandwich theorem leads to a computational problem, the. Lectures on topological methods in combinatorics and geometry is a graduatelevel mathematics textbook in topological. This special case is known as the pancake theorem, since regions of the plane can look a bit like pancakes. We prove the endpoint case of the multilinear kakeya conjecture of bennett, carbery, and tao. Prove that the bound in the polynomial ham sandwich theorem is also tight. The ham sandwich theorem will change how you see the.
Many combinatorial problems for example, the the ham sandwich theorem, the kneser conjecture and evasiveness of graph properties, can be rephrased and put into a topological setting which is suitable for applying results and tools from algebraic topology. Here we choose to appeal to 2 big machinery in algebraic topology, namely. The proof of the ham sandwich theorem for n 2 n2 n 2 is essentially the same but requires a higherdimensional analog of the borsukulam theorem. This book, which appears in springers universitext series, is based on a couple of graduate courses in topological combinatorics taught by the author in prague and zurich. Suppose you have three regions in space think of them as the ham, the cheese, and the bread. Then there is a plane a cut of a knife that will cut all three in half at the same time. We discuss the borsukulam theorem concerning a continuous map from the sphere to the plane, and the ham sandwich theorem. In the case n 2 n2 n 2, the ham sandwich theorem states that given two disjoint regions of the plane, there is a line that simultaneously divides both regions into two pieces of equal area. The second part of the book introduces the beginnings of algebraic topology. A number of important results in combinatorics, discrete geometry, and theoretical computer science have been proved using algebraic topology.
It is the purpose of this note to give a proof of the borsukulam theorem in dimension 2 using only the basic facts about the exponential function on the complex number field c. It rescues the careless sandwich maker by guaranteeing that. Here is a short summary of the basic measuretheoretic facts that we used in the proof of the theorem including a proof of continuity of the relevant function and the proof of the theorem itself, hopefully more concise and clearer than the. Pdf some combinatorial and algorithmic applications of. Nonetheless, the book is written by a cs and it explains the theorem and some of its applications in discrete geometry ham sandwich theorem, combinatorics and graph theory which may be useful for cs. Borsukulam thm is a powerful theorem from algebraic topology, so really pure maths. It is always possible to slice a threelayered ham sandwich with a single cut of a knife in such a way that each layer of the sandwich is divided into two exactly equal halves by the cut. Algebraic topology page 1 euler avenue math is fun forum. The ham sandwich theorem, derived from the borsuk ulam theorem, was discussed recently in this monthly 1. If there were three pieces of bread, it would be possible to make one cut along a plane to divide each of bread into two equal pieces. The final two chapters of the book take us back to algebraic topology. After reading the adams book, if you want to see some more serious applications of algebraic topology to knot theory, this book is a classic. While the results are quite famous, their proofs are not so widely understood. Posts about ham sandwich theorem written by gaurish.
The textbook for this course is algebraic topology by allen hatcher. The ham sandwich theorem has been a treat and a spur to mathematicians for more than half a century. Free algebraic topology books download ebooks online. Wildberger, this course provides an introduction to algebraic topology, with emphasis on visualization, geometric intuition and simplified computations. The ham sandwich theorem, or stonetukey theorem, is a classical result that appears in many introductory books on algebraic topology. I particularly like the idea of the proof, but first off, lets understand what this theorem is saying. The borsukulam theorem has many applications in algebraic topology, algebraic geomtry, and combinatorics. This is a list of algebraic topology topics, by wikipedia page.
Borsukulam is considered a great theorem because it has several di erent equivalent versions, many di erent proofs, many extensions and generalizations, and many interesting applications. I have tried very hard to keep the price of the paperback. Equivariant algebraic topology applied to some problems in. I would like to see a constructive proof of this theorem, but i do not know of one. Since the winding number as discussed up to this point is about loops in the metric space of complex numbers, a natural generalization is to loops in arbitrary metric spaces, which in turn leads naturally to the fundamental group, the subject of chapter 8. The delightful ham sandwich theorem is discussed along with a proof of the lusternikschnirelmanborsuk theorem. Pdf the ham sandwich theorem, or stonetukey theorem, is a classical result that appears in many introductory books on algebraic topology. Pdf leftovers from the ham sandwich theorem researchgate. Topology through inquiry is a comprehensive introduction to pointset, algebraic, and geometric topology, designed to support inquirybased learning ibl courses for upperdivision undergraduate or beginning graduate students. Brouwer and lefschetz fixed point theorems, hairy ball theorem, ham sandwich theorem, football squashing theorem, proof of the fundamental theorem of algebra. Unfortunately, the intermediate value theorem does not suffice to prove these higherdimensional analogs. Ham sandwich theorem simple english wikipedia, the free. To get an idea you can look at the table of contents and the preface printed version. Paul erdos often referred to and popularized the idea of the book in which god keeps the most elegant proof of each mathematical theorem.
They are scattered in research papers or outlined in surveys, and they often use topological notions not commonly known among combinatorialists or computer. The proof uses the polynomial method introduced by dvir. The book with the latest corrections can be legally downloaded for free here. Ritwik mukherjee, one of my professors, to motivate the study of algebraic topology. Here we study some combinatorial consequences, typically asserting the existence of a. The main new idea in the paper isa new approachforadaptingdvirs method to rn.
Even though a ham sandwich might seem unappetizing, this was the only food that oreki and i was able to eat at lunch. It is intended for readers with some mathematical knowledge beyond undergraduate studies, but it does not assume much knowledge of algebraic topology. It features a visual approach to the subject that stresses. Browse other questions tagged algebraic topology or ask your own question. The endpoint case of the bennettcarberytao multilinear. No prior knowledge of algebraic topology is assumed, only a background in. Introduction the ham sandwich theorem in elementary topology states that given k sets st. This book is the first textbook treatment of a significant part of such results. There was a bit of a kerfuffle about who invented it, but that question did get settled. Researchers solve ham sandwich mystery education the. Flicker user stephanie vacher by marc abrahams, improbable research staff the ham sandwich theorem has been a treat and a spur to mathematicians for more than half a century. The proof of theorem 1 uses the polynomial method of dvir.
The really important aspect of a course in algebraic topology is that it introduces us to a wide range of novel objects. It rescues the careless sandwich maker by guaranteeing that it is always possible to slice the sandwich with one cut so. The ham sandwich theorem takes its name from the case when n 3 and the three objects of any shape are a chunk of ham and two chunks of breadnotionally, a sandwich which can then all be simultaneously bisected with a single cut i. Borsukulam theorem is an interesting theorem on its own, because of its numerous applications and admits many kinds of proof. N j wildberger of the school of mathematics and statistics, unsw. In two dimensions, the theorem is known as the pancake theorem because of having to cut two infinitesimally thin pancakes on a plate each in half. A ham sandwich is a sandwich that is consisted of three different parts. As suggested by the title, this paper is about ham sandwich theo. In some textbooks, youll see the following statement referred to as the. A first course graduate texts in mathematics by william fulton isbn. A familiar consequence is the ham sandwich theorem given d nite continuous. In mathematical measure theory, for every positive integer n the ham sandwich theorem states.
In particular, we will use a polynomial generalization of the ham sandwich theorem, proven by. The ham sandwich theorem and the continuum algebraic. Ham sandwich theorem and other adventures in topology. Ham sandwich theorem here is one of my favorite theorems from topology, called the ham sandwich theorem. Some combinatorial and algorithmic applications of the. Topological methods in combinatorics and geometry institute of.