Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicableSession-authored (Fable 5 assisted)audited 2026-08-01
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.

Axis-parallel rectangles in Rm\mathbb{R}^m and their volume

Definition

Fix a natural number m1m\ge1. For a,bRma,b\in\mathbb R^m with ajbja_j\le b_j for j<mj<m, define [a,b]:={xRm:ajxjbj (j<m)},vol[a,b]:=j<m(bjaj).[a,b]:=\{x\in\mathbb R^m:a_j\le x_j\le b_j\ (j<m)\},\qquad \operatorname{vol}[a,b]:=\prod_{j<m}(b_j-a_j). The product is the recursively defined finite product of Finite sums and finite products, by recursion. The rectangle is nondegenerate when every aj<bja_j<b_j, and it is a cube when all side lengths are equal.

Every factor is nonnegative, so volume is nonnegative. For a coordinate index r<mr<m, cutting at c[ar,br]c\in[a_r,b_r] gives two rectangles whose volumes add to the original, by distributivity in that factor and Laws of finite sums and finite products. Under the standard identification R1R\mathbb R^1\cong\mathbb R (Rn\mathbb{R}^n as the set of functions nRn \to \mathbb{R}, and d1d_1, d2d_2, dd_\infty are metrics on it, The pp-norms xp\lVert x\rVert_p for rational p1p \ge 1, and x\lVert x\rVert_\infty), this is the interval [a0,b0][a_0,b_0] and its length.

Depends on

Used by

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 82 results over 22 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