Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicableSession-authored (Fable 5 assisted)precheck passaudited 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.

Improper integrals with several singular ends

Statement

If ff has a possible singularity at c(a,b)c\in(a,b), define abf:=acf+cbf\int_a^b f:=\int_a^c f+\int_c^b f only when the two one-sided improper integrals converge separately. Cancellation between divergent sides is not allowed.

Likewise, for any finite split point ss, define f:=sf+sf\int_{-\infty}^{\infty}f:=\int_{-\infty}^{s}f+\int_s^\infty f only when both tails converge. More generally, an interval with several singular ends is split into finitely many one-ended pieces, each of which must converge separately. Independence of the permitted split point is a theorem, not part of this definition.

Depends on

Used by

Dependency tree · next 3 levels

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