Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicableSession-authored (Fable 5 assisted)audited 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\mathbb R^2

Definition

Work in the metric plane R2\mathbb R^2 of Rn\mathbb{R}^n as the set of functions nRn \to \mathbb{R}, and d1d_1, d2d_2, dd_\infty are metrics on it. A polygonal arc from xx to yy is the image of an injective continuous map γ:[0,1]R2\gamma:[0,1]\to\mathbb R^2 (Injection, surjection, bijection) for which there are finitely many parameters 0=t0<<tm=10=t_0<\cdots<t_m=1 such that γ\gamma is affine and nonconstant on each [ti1,ti][t_{i-1},t_i]. Its vertices are the finitely many points γ(ti)\gamma(t_i) (The cardinality A\lvert A\rvert of a finite set). This is a simple polygonal path in the terminology of Polygonal paths and polygonally connected subsets of Rn\mathbb{R}^n.

A polygon is the image of a continuous map γ:[0,1]R2\gamma:[0,1]\to\mathbb R^2 with γ(0)=γ(1)\gamma(0)=\gamma(1), affine and nonconstant on finitely many consecutive parameter intervals, and injective on [0,1)[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 · 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