Combinatorial Geometry In The Plane
   HOME

TheInfoList



OR:

''Combinatorial Geometry in the Plane'' is a book in discrete geometry. It was translated from a German-language book, ''Kombinatorische Geometrie in der Ebene'', which its authors
Hugo Hadwiger Hugo Hadwiger (23 December 1908 in Karlsruhe, Germany – 29 October 1981 in Bern, Switzerland) was a Swiss mathematician, known for his work in geometry, combinatorics, and cryptography. Biography Although born in Karlsruhe, Germany, Hadwige ...
and Hans Debrunner published through the University of Geneva in 1960, expanding a 1955 survey paper that Hadwiger had published in '' L'Enseignement mathématique''. Victor Klee translated it into English, and added a chapter of new material. It was published in 1964 by Holt, Rinehart and Winston, and republished in 1966 by Dover Publications. A Russian-language edition, , translated by I. M. Jaglom and including a summary of the new material by Klee, was published by Nauka in 1965. The Basic Library List Committee of the
Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure a ...
has recommended its inclusion in undergraduate mathematics libraries.


Topics

The first half of the book provides the statements of nearly 100 propositions in the discrete geometry of the
Euclidean plane In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions of ...
, and the second half sketches their proofs. Klee's added chapter, lying between the two halves, provides another 10 propositions, including some generalizations to higher dimensions, and the book concludes with a detailed bibliography of its topics. Results in discrete geometry covered by this book include: * Carathéodory's theorem that every point in the
convex hull In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
of a planar set belongs to a triangle determined by three points of the set, and Steinitz's theorem that every point interior to the convex hull is interior to the convex hull of four points of the set. *The
Erdős–Anning theorem The Erdős–Anning theorem states that an infinite number of points in the plane can have mutual integer distances only if all the points lie on a straight line. It is named after Paul Erdős and Norman H. Anning, who published a proof of it in 1 ...
, that if an infinite set of points in the plane has an integer distance between every two points, then the given points must all lie on a single line. *
Helly's theorem Helly's theorem is a basic result in discrete geometry on the intersection of convex sets. It was discovered by Eduard Helly in 1913,. but not published by him until 1923, by which time alternative proofs by and had already appeared. Helly's t ...
, that if a family of
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British ...
convex set In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex r ...
s has a non-empty intersection for every triple of sets, then the whole family has a non-empty intersection. *A Helly-like property of visibility related to the art gallery theorem: if every three points of a
polygon In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two toge ...
are visible from some common point within the polygon, then there is a point from which the entire polygon is visible. In this case the polygon must be a
star-shaped polygon In geometry, a star-shaped polygon is a polygonal region in the plane that is a star domain, that is, a polygon that contains a point from which the entire polygon boundary is visible. Formally, a polygon is star-shaped if there exists a poin ...
. *The impossibility of covering a closed
parallelogram In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
by three translated copies of its interior, and the fact that every other compact convex set can be covered in this way. *
Jung's theorem In geometry, Jung's theorem is an inequality between the diameter of a set of points in any Euclidean space and the radius of the minimum enclosing ball of that set. It is named after Heinrich Jung, who first studied this inequality in 1901. Algo ...
, that (for sets in the plane) the radius of the
smallest enclosing circle The smallest-circle problem (also known as minimum covering circle problem, bounding circle problem, least bounding circle problem, smallest enclosing circle problem) is a mathematical problem of computing the smallest circle that contains all of ...
is at most 1/\sqrt times the diameter. This bound is tight for the equilateral triangle. *Paradoxes of set decomposition into smaller sets, related to the Banach–Tarski paradox. *
Radon's theorem In geometry, Radon's theorem on convex sets, published by Johann Radon in 1921, states that any set of ''d'' + 2 points in R''d'' can be partitioned into two sets whose convex hulls intersect. A point in the intersection of these conve ...
that every four points in the plane can be partitioned into two subsets with intersecting convex hulls. *
Sperner's lemma In mathematics, Sperner's lemma is a combinatorial result on colorings of triangulations, analogous to the Brouwer fixed point theorem, which is equivalent to it. It states that every Sperner coloring (described below) of a triangulation of an ...
on colorings of triangulations. *The Sylvester–Gallai theorem, in the form that if a finite set of points in the plane has the property that every line through two of the points contains a third point from the set, then the given points must all lie on a single line. *
Tarski's plank problem In mathematics, Tarski's plank problem is a question about coverings of convex regions in ''n''-dimensional Euclidean space by "planks": regions between two hyperplanes. Tarski asked if the sum of the widths of the planks must be at least the mini ...
, in the form that whenever two infinite strips together cover a compact convex set, their total width is at least as large as the width of the narrowest strip that covers the set by itself. *Whenever a line is covered by two closed subsets, then at least one of the two subsets has pairs of points at all possible distances. It also includes some topics that belong to combinatorics but are not inherently geometric, including: * Hall's marriage theorem characterizing the
bipartite graph In the mathematical field of graph theory, a bipartite graph (or bigraph) is a graph whose vertices can be divided into two disjoint and independent sets U and V, that is every edge connects a vertex in U to one in V. Vertex sets U and V are ...
s that have a
perfect matching In graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph , a perfect matching in is a subset of edge set , such that every vertex in the vertex set is adjacent to exactly ...
. * Ramsey's theorem that, if the k-tuples of points from an infinite set of points are assigned finitely many colors, then an infinite subset has k-tuples of only one color.


Audience and reception

The book is written at a level appropriate for undergraduate students in mathematics, and assumes a background knowledge in real analysis and undergraduate-level geometry. One goal of the book is to expose students at this level to research-level problems in mathematics whose statement is readily accessible.


References

{{reflist, refs= {{citation, title=Review of ''Комбинаторная геометрия плоскости'', journal=Mathematical Reviews, first=W. J., last=Firey, authorlink=William J. Firey, mr=0203578 {{citation, title=Review of ''Kombinatorische Geometrie in der Ebene'', journal=Mathematical Reviews, first=D., last=Gale, authorlink=David Gale, mr=0164279 {{citation, title=Review of ''Combinatorial Geometry in the Plane'', journal=MAA Reviews, first=Russell Jay, last=Hendel, date=January 2016, url=https://www.maa.org/press/maa-reviews/combinatorial-geometry-in-the-plane {{citation , last = Johnson , first = G. P. , date = December 1965 , doi = 10.2307/2315998 , issue = 10 , journal = The American Mathematical Monthly , jstor = 2315998 , page = 1154 , title = Review of ''Combinatorial Geometry in the Plane'' , volume = 72 {{citation , last = Monk , first = D. , date = December 1965 , doi = 10.1017/s0013091500009056 , issue = 4 , journal = Proceedings of the Edinburgh Mathematical Society , pages = 340–341 , title = Review of ''Combinatorial Geometry in the Plane'' , volume = 14, doi-access = free {{citation, title=Review of ''Combinatorial Geometry in the Plane'', journal=Mathematical Reviews, first=W., last=Moser, mr=0164279 Discrete geometry Mathematics books 1964 non-fiction books