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

Convex, strictly convex, concave, strictly concave, and midpoint-convex real functions on an interval

Definition

Let IRI\subseteq\mathbb R be an interval (Intervals of R\mathbb{R}: the nine order-convex forms, nondegeneracy, and length) and let f:IRf:I\to\mathbb R. For x,yIx,y\in I and λ[0,1]\lambda\in[0,1], the point λx+(1λ)y\lambda x+(1-\lambda)y belongs to II. The function ff is convex when the convex-combination inequality holds for every weight in [0,1][0,1]:

f(λx+(1λ)y)λf(x)+(1λ)f(y).f(\lambda x+(1-\lambda)y)\le \lambda f(x)+(1-\lambda)f(y).

It is strictly convex when this inequality is strict whenever xyx\ne y and 0<λ<10<\lambda<1. It is concave (respectively strictly concave) when f-f is convex (respectively strictly convex). It is midpoint convex when the displayed inequality is required only at λ=1/2\lambda=1/2.

Remarks

The endpoint weights 00 and 11 impose equalities, so strict convexity does not ask for strictness there. A singleton interval satisfies the convexity and strict-convexity conditions vacuously.

Depends on

Used by

Dependency tree · next 3 levels

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