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.

The support of a function on Rn\mathbb{R}^n and its compactly supported Riemann integral

Definition

Let n1n\ge1. For f:RnRf:\mathbb R^n\to\mathbb R, its support is suppf:={xRn:f(x)0}.\operatorname{supp}f:=\overline{\{x\in\mathbb R^n:f(x)\ne0\}}. The function is compactly supported if suppf\operatorname{supp}f is compact.

A compactly supported ff is compactly supported Riemann integrable if there is a nondegenerate closed rectangle QQ with suppfintQ\operatorname{supp}f\subseteq\operatorname{int}Q such that fQf|_Q is Riemann integrable. Its integral over Euclidean space is defined by Rnf:=Qf.\int_{\mathbb R^n}f:=\int_Qf. The value is independent of QQ by The Riemann integral of a compactly supported function is independent of its bounding rectangle . When the support is empty, f=0f=0 and the value is 00.

Depends on

Used by

Dependency tree · next 3 levels

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