Combinatorial Geometry In The Plane
   HOME

TheInfoList



OR:

''Combinatorial Geometry in the Plane'' is a book in
discrete geometry Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geom ...
. 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 people, Swiss mathematician, known for his work in geometry, combinatorics, and cryptography. Biography Although born in Karlsruhe, Ge ...
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 Victor LaRue Klee, Jr. (September 18, 1925 – August 17, 2007) was a mathematician specialising in convex sets, functional analysis, analysis of algorithms, optimization, and combinatorics. He spent almost his entire career at the University of ...
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 A university () is an educational institution, institution of tertiary edu ...
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, a Euclidean plane is a Euclidean space of Two-dimensional space, dimension two, denoted \textbf^2 or \mathbb^2. It is a geometric space in which two real numbers are required to determine the position (geometry), position of eac ...
, 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, 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, whenever an Infinite set, infinite number of points in the plane all have integer distances, the points lie on a straight line. The same result holds in higher dimensional Euclidean spaces. The theorem ca ...
, 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 ...
, 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, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
convex set In geometry, a set of points is convex if it contains every line segment between two points in the set. For example, a solid cube (geometry), cube is a convex set, but anything that is hollow or has an indent, for example, a crescent shape, is n ...
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 made up of line segments connected to form a closed polygonal chain. The segments of a closed polygonal chain are called its '' edges'' or ''sides''. The points where two edges meet are the polygon ...
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 po ...
. *The impossibility of covering a closed
parallelogram In Euclidean geometry, a parallelogram is a simple polygon, simple (non-list of self-intersecting polygons, self-intersecting) quadrilateral with two pairs of Parallel (geometry), parallel sides. The opposite or facing sides of a parallelogram a ...
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 (mathematics), inequality between the diameter of a set of points in any Euclidean space and the radius of the circumradius, minimum enclosing ball of that set. It is named after Heinrich Jung, who firs ...
, 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 computational geometry problem of computing the smallest circle that cont ...
is at most 1/\sqrt times the diameter. This bound is tight for the
equilateral triangle An equilateral triangle is a triangle in which all three sides have the same length, and all three angles are equal. Because of these properties, the equilateral triangle is a regular polygon, occasionally known as the regular triangle. It is the ...
. *Paradoxes of set decomposition into smaller sets, related to the
Banach–Tarski paradox The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in three-dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then ...
. * Radon's theorem 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 The Sylvester–Gallai theorem in geometry states that every finite set of points in the Euclidean plane has a line that passes through exactly two of the points or a line that passes through all of them. It is named after James Joseph Sylvester, ...
, 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 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 In mathematics, Hall's marriage theorem, proved by , is a theorem with two equivalent formulations. In each case, the theorem gives a necessity and sufficiency, necessary and sufficient condition for an object to exist: * The Combinatorics, combina ...
characterizing the
bipartite graph In the mathematics, mathematical field of graph theory, a bipartite graph (or bigraph) is a Graph (discrete mathematics), graph whose vertex (graph theory), vertices can be divided into two disjoint sets, disjoint and Independent set (graph theo ...
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 with edges and vertices , a perfect matching in is a subset of , such that every vertex in is adjacent to exact ...
. *
Ramsey's theorem In combinatorics, Ramsey's theorem, in one of its graph-theoretic forms, states that one will find monochromatic cliques in any edge labelling (with colours) of a sufficiently large complete graph. To demonstrate the theorem for two colours (sa ...
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 In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include co ...
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