nLab polygon

Redirected from "polygons".
Contents

Contents

Idea

A polygonal line is the union of segments A 0A 1¯\overline{A_0 A_1}, A 1A 2¯,,A n1A n¯\overline{A_1 A_2}, \ldots, \overline{A_{n-1} A_n} where nNn\in\mathbf{N} and (A 0,A 1,,A n)(A_0,A_1,\ldots, A_n) is an (n+1)(n+1)-tuple of consecutively distinct points in an affine plane or in a kk-dimensional affine space. A polygonal line is called closed if A 0=A nA_0 = A_n (regarding that consecutive points are distinct, this implies that n2n\geq 2). A closed polygonal line is non-self-intersecting if for any k<lk \lt l, 0k<ln10\leq k\lt l \leq n-1, A kA k+1¯A lA l+1¯=\overline{A_k A_{k+1}}\cap \overline{A_l A_{l+1}}= \emptyset except in the case (k,l)=(0,n1)(k,l) = (0,n-1) when the intersection is {A 0}\{A_0\}. A simple closed (planar) polygonal line is a closed non-self-intersecting line which is in its entirety contained in some affine 2-plane.

By Jordan's curve theorem, a complement of any simple closed polygonal line within its 2-plane has two components, one bounded and one unbounded.

A polygon is a set in an affine kk-space (k2k\geq 2) which can be represented as a simple closed planar polygonal line union, being the bounded component of its complement within its 2-plane. The bounded and unbounded components of the complement of the corresponding polygonal line in its 2-plane are called the interior and the exterior of the polygon. For fixed nn we also say nn-gon, and the points A 1,,A nA_1,\ldots, A_n are called the vertices of the polygon, the segments A 1A 2¯,,A n1A n¯,A nA 1¯\overline{A_1 A_2}, \ldots, \overline{A_{n-1} A_n}, \overline{A_n A_1} are called the edges or the sides of the polygon.

Often one restricts further and also requires that no 2 consecutive edges of a polygon are on the same line (equivalently, no 3 consecutive vertices are on the same line).

A diagonal of an nn-gon is a segment from A kA_k to A lA_l when |kl|>1|k-l|\gt 1.

In other geometries instead of segments we may consider segments on geodesical lines, so we can talk about nn-gones in spherical and non-Euclidean geometries.

For some related ideas see polyhedron.

(…)

Discussion

A 3-gon is also called a triangle and it may be alternatively defined as the smallest convex set in the Euclidean plane containing 3 non-colinear points. This definition does not rely on the Jordan’s curve theorem (for which anyway we just need a more elementary case of simple closed polygonal lines). Sometimes, by a polygon one means its boundary, that is a simple closed polygonal line, then no need to consider the interior. nn-gons for n4n\geq 4 an nn-gon may be convex or nonconvex. If it is convex there is seemingly no need for the considerations of (the polygonal case of) Jordan’s curve theorem for considering the interior as we can take a convex hull. But how to make a simple criterium without consideration of interior when an nn-gon is convex ? In nonconvex/general case, one may resort to subdivision (of would-be interior) into triangles, what is simple in examples, but intricate in full generality.

Examples

References

  • Wikipedia, Polygon

  • Jeff Erickson, Jordan polygon theorem, from notes for a combinatorial topology course in 2009 (pdf)

  • M. Shimrat, Algorithm 112: Position of point relative to polygon, Commun. ACM 5(8):434, 1962 doi; R. Hacker, Certification of Algorithm 112: Position of point relative to polygon, Commun. ACM 5(12):606, 1962

Last revised on May 17, 2022 at 00:22:18. See the history of this page for a list of all contributions to it.