Some combinatorial and algorithmic applications of the borsuk. This talk aims to give a picture of what algebraic topology is. Theres a great book called lecture notes in algebraic topology by davis and kirk which i highly recommend for advanced beginners, especially those who like the categorical viewpoint and homological algebra. In the plane, examples of this class of problems are finding, e. This selfcontained introduction to algebraic topology is suitable for a number of topology courses. In computational geometry, this ham sandwich theorem leads to a. Algebraic topology uc berkeley, fall 2007 announcements. Read online now an introduction to algebraic topology ebook pdf at our library.
Download book pdf, 2198 kb download chapter 346 kb. Browse other questions tagged algebraic topology or ask your own question. Take a sandwich made of a slice of ham and two slices of bread. Ham sandwich theorem and other adventures in topology. This special case is known as the pancake theorem, since regions of the plane can look a bit like pancakes. The british sandwich association says that the ham sandwich is the most popular sandwich in the uk, and a survey they conducted in 2001 saw ham as the second. It consists of about one quarter general topology without its usual pathologies and three quarters algebraic topology centred around the fundamental group, a readily grasped topic which gives a good idea of what algebraic topology is. It is commonly known that synchronization can cause poor performance by burdening the program with excessive overhead. Ham sandwich theorem simple english wikipedia, the free. The book is concentrated on topological tools of one type. Unfortunately, the intermediate value theorem does not suffice to prove these higherdimensional analogs. In bourgins book bou63, borsukulam theorem is a particular application of.
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. Many thanks to him for taking these notes and letting me post them here. The book was published by cambridge university press in 2002 in both paperback and hardback editions, but only the paperback version is currently available isbn 0521795400. I think the treatment in spanier is a bit outdated. In calculus, the squeeze theorem, also known as the pinching theorem, the sandwich theorem, the sandwich rule, and sometimes the squeeze lemma, is a theorem regarding the limit of a function. Lectures on topological methods in combinatorics and geometry is a graduatelevel mathematics textbook in topological combinatorics. We prove among other results, the following implications fx211 wherekn, k is an important instance of the knasters conjecture so thatkn, n. However, the author notes that this book is no substitute for proper foundations in algebraic topology. The informal statement that gave the ham sandwich theorem its name is this. In this second term of algebraic topology, the topics covered include fibrations, homotopy groups, the hurewicz theorem, vector bundles, characteristic classes, cobordism, and possible further topics at the discretion of the instructor. The centretransversal theorem, is a generalization of both the hamsandwich and the centrepoint theorem and it claims that for any collection, of lebesguemeasurable sets in cf. A note on the ham sandwich theorem hugo steinhaus and others from mathesis polska xi, 1938, pp. Hatcher, algebraic topology, cambridge university press. Here we choose to appeal to 2 big machinery in algebraic topology, namely.
This is a basic note in algebraic topology, it introduce the notion of fundamental groups, covering spaces, methods for computing fundamental groups using seifert van kampen theorem and some applications such as the brouwers fixed point theorem, borsuk ulam theorem, fundamental theorem of algebra. 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. While the existence of such a hyperplane was shown in 1938, little is known about how to. This is not the same as the squeeze law, which is a result for computing limits. Two of the most useful theorems from algebraic topology is the borsuk. We will build our polynomial cell decomposition using a tool from topology, the ham. It rescues the careless sandwich maker by guaranteeing that it is always possible to slice the sandwich with one cut so that the ham and both slices of bread are each divided into equal halves, no matter how. Free algebraic topology books download ebooks online textbooks. No matter where one places the pieces of the sandwich in the kitchen, or house, or.
Algebraic topology wikibooks, open books for an open world. A familiar consequence is the hamsandwich theorem given d nite continuous. The book presents an enormous amount of topology, allowing an instructor to choose which topics to treat. Using algebraic topology, we can translate this statement into an algebraic statement. Hamsandwich cut of red points and blue points in the plane. Borsukulam theorem is an interesting theorem on its own, because of its numerous applications and admits many kinds of proof. Often done with simple examples, this gives an opportunity to get comfortable with them first and makes this book about as readable as a book. This book deals with a hard subject, but every effort has been made to explain and motivate the ideas involved before they are dealt with rigorously. For a proof of the borsukulam theorem, the reader can look at matouseks book. The ham sandwich theorem and the continuum algebraic. Applications of the ham sandwich theorem to eigenvalues of the laplacian5 theorem 2. A first course in algebraic topology by czes kosniowski. In mathematical measure theory, for every positive integer n the ham sandwich theorem states. A screenshot pdf which includes algtop11 to 20 can be found at my.
Then there is a plane a cut of a knife that will cut all three in half at the same time. This paper continues the search, started in 10, for relatives of the ham sandwich theorem. Algebraic topology paul yiu department of mathematics florida atlantic university summer 2006 wednesday, june 7, 2006 monday 515 522 65 612 619. May 02, 2007 the sandwich theorem is a result of algebraic topology which says the following. Pdf some combinatorial and algorithmic applications of the.
Introduction the ham sandwich theorem states something like the following ordinary language proposition. The sandwich theorem is a result of algebraic topology which says the following. Often done with simple examples, this gives an opportunity to get comfortable with them first and makes this book about as readable as a book on algebraic topology can be. Beyer and zardeckis paper includes a translation of the 1938 paper. Applications of algebraic topology to concurrent computation. Brouwer fixed point theorem 2 categories and functors 6 chapter 1 some basic topological notions 14 homotopy 14 convexity, contractibihty, and cones 18 paths and path connectedness 24 chapter 2 simplexes 31 affine spaces 31 affine maps 38 chapter 3 the fundamental group 39 the fundamental groupoid 39 the functor 7ti 44 ns1 50. 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.
In italy, the theorem is also known as theorem of carabinieri, better known as the 12 theorem. A familiar consequence is the ham sandwich theorem given d nite continuous. We discuss the borsukulam theorem concerning a continuous map from the sphere to the plane, and the ham sandwich theorem. Pages in category theorems in topology the following 61 pages are in this category, out of 61 total. Categorical language and the van kampen theorem 1. 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 sandwichwhich can then all be simultaneously bisected with a single cut i.
In many instances, we can identify a pattern in the solutions. Pdf leftovers from the ham sandwich theorem researchgate. The ham sandwich theorem and the continuum algebraic topology. A union of d planes is a special case of an algebraic surface of degree d. Pdf the ham sandwich theorem, or stonetukey theorem, is a classical result that appears in many introductory books on algebraic topology. Equivariant algebraic topology applied to some problems in. The centretransversal theorem, is a generalization of both the ham sandwich and the centrepoint theorem and it claims that for any collection, of lebesguemeasurable sets in cf. To get an idea you can look at the table of contents and the preface printed version. Get an introduction to algebraic topology pdf file for free from our online library pdf file. It rescues the careless sandwich maker by guaranteeing that. The title from topology refers to a subdivision of notes that deals with topology. Ham sandwich theorem used in combinatorics problem involving beads on a necklace.
Algebraic topology ii mathematics mit opencourseware. Free algebraic topology books download ebooks online. One application is to show that the two dimensional and three dimensional. Another is the ham sandwich theorem, which says that given any collection of nobjects of nite measure in nspace, there is an n 1hyperplane which slices each object in half. The second part of the book introduces the beginnings of algebraic topology. 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. Benjamin armbruster march 2, 2008 abstract a ham sandwich cut in d dimensions is a d. Everyday low prices and free delivery on eligible orders. 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. The following books are the primary references i am using. 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. The british sandwich association says that the ham sandwich is the most popular sandwich in the uk, and a survey they conducted in 2001 saw ham as the second favourite filling behind cheese. H is a surjective homo morphism from a group g to a group h with kernel k then h is isomorphic to the quotient group gk. The ham sandwich theorem, or stonetukey theorem, is a classical result that appears in many introductory books on algebraic topology.
Gerrymandering, sandwiches,an d topology pablosoberon communicatedbycesare. Nov 08, 2011 we discuss the borsukulam theorem concerning a continuous map from the sphere to the plane, and the ham sandwich theorem. Suppose you have three regions in space think of them as the ham, the cheese, and the bread. The delightful ham sandwich theorem is discussed along with a proof of the lusternikschnirelmanborsuk theorem. I will not be following any particular book, and you certainly are not required to purchase any book for the course. Applications of algebraic topology to concurrent computation maurice herlihy nir shavit editorial preface all parallel programs require some amount of synchronization to coor dinate their concurrency to achieve correct solutions. Silva in may, i gave a talk about fair division problems in a. Suppose xis a topological space and a x is a subspace. Starting from a cute little theorem, we end out with some big tools, and so it justi. I would like to see a constructive proof of this theorem, but i do not know of one. The delightful hamsandwich theorem is discussed along with a proof of the lusternikschnirelmanborsuk theorem. 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.
1236 906 1265 759 156 814 1148 237 1224 1412 292 369 1250 1027 1613 510 73 1295 777 398 841 490 470 311 987 1463 752 1332 401 570 1211 1480 295 1041 31 913