Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6.1-sol)
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.

Strongly continuous semigroup

Definition

Let X be a Banach space over K∈{R,C} (Banach space, Real and complex scalar conventions for normed spaces) and let B(X) be the bounded linear operators on X (A bounded linear operator between normed spaces, The spaces (\mathcal B(X,Y)) and (\mathcal B(X)) of bounded linear operators). A family (T(t))t≥0⊆B(X) is a strongly continuous one-parameter semigroup (or C0-semigroup) if (i) T(0)=I; (ii) T(t+s)=T(t)T(s) for all s,t≥0; (iii) for every x∈X the orbit map t↦T(t)x is continuous from [0,∞) into X. Property (iii) says that t↦T(t) is continuous for the strong operator topology on B(X); no continuity in the operator norm (The operator norm as the least bound and as the unit-sphere or unit-ball supremum) is assumed or implied, and the operators need be neither isometries nor contractions. A strongly continuous group is defined analogously with R in place of [0,∞) and the functional equation holding for all s,t∈R.

Depends on

Used by

Dependency tree · two levels

12 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