How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Polygonal arcs and polygons as non-self-intersecting finite unions of line segments in
Definition
Work in the metric plane of as the set of functions , and , , are metrics on it. A polygonal arc from to is the image of an injective continuous map (Injection, surjection, bijection) for which there are finitely many parameters such that is affine and nonconstant on each . Its vertices are the finitely many points (The cardinality of a finite set). This is a simple polygonal path in the terminology of Polygonal paths and polygonally connected subsets of .
A polygon is the image of a continuous map with , affine and nonconstant on finitely many consecutive parameter intervals, and injective on . Nonconsecutive constituent segments are disjoint, and consecutive ones meet only at their common endpoint. A polygon is therefore a simple closed polygonal curve, not the filled region it may bound.
Depends on
Used by
- An injective nonpolygonal arc drawing is excluded by the page's finite polygonal plane-graph convention Counterexample
- Plane embeddings of finite simple graphs, their faces, facial boundary walks and lengths (counting a bridge twice), and planar graphs Definition
- Every point off a polygon admits a ray meeting it transversely in finitely many nonvertex points Lemma
- The complement of a polygonal arc in ℝ² is polygonally connected Lemma
- The parity of transverse ray crossings with a polygon is locally constant on its complement Lemma
- A two-connected plane graph of order at least three is maximal exactly when every face is triangular Proposition
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 95 results over 21 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.
Sources
- R. Diestel, Graph Theory, 6th ed., Chapter 4, Section 4.1 (standard reference, not scraped)