Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicableaudited 2026-08-11
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 R2

Definition

Work in the metric plane R2 of Rn as the set of functions n→R, and d1, d2, d∞ are metrics on it. A polygonal arc from x to y is the image of an injective continuous map γ:[0,1]→R2 (Injection, surjection, bijection) for which there are finitely many parameters 0=t0<⋯<tm=1 such that γ is affine and nonconstant on each [ti−1,ti]. Its vertices are the finitely many points γ(ti) (The cardinality ∣A∣ of a finite set). This is a simple polygonal path in the terminology of Polygonal paths and polygonally connected subsets of Rn.

A polygon is the image of a continuous map γ:[0,1]→R2 with γ(0)=γ(1), affine and nonconstant on finitely many consecutive parameter intervals, and injective on [0,1). 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

Dependency tree · two levels

32 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources