Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Parameter-measurable statistical models as kernels

Definition

Suppose an experiment on (X,A) also has a measurable parameter space (Θ,T) (Measurable spaces and measurable sets). A Markov kernel (or probability kernel) representation is a function

K:Θ×A→[0,1]

such that, for every θ∈Θ, the set function A↦K(θ,A) is a probability measure on (X,A), and, for every A∈A and every Borel set C⊆[0,1],

{θ∈Θ:K(θ,A)∈C}∈T.

Here the Borel sigma-algebra on [0,1] is generated by its relatively open subsets U∩[0,1], where U is open in R. Thus the second condition says that each event-probability map θ↦K(θ,A) is measurable. The kernel represents the given experiment exactly when K(θ,A)=Pθ(A) for every θ and A (Statistical experiments, Probability measures and probability spaces).

This is an optional parameter-measurable version of a model. An arbitrary experiment does not include a measurable structure on Θ or imply this kernel condition.

Depends on

Used by

Dependency tree · two levels

8 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