Bochner's theorem

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo locally compact abelian groups
gptkbp:describes characterization of positive-definite functions
gptkbp:field gptkb:probability_theory
harmonic analysis
https://www.w3.org/2000/01/rdf-schema#label Bochner's theorem
gptkbp:namedAfter gptkb:Salomon_Bochner
gptkbp:publicationYear 1932
gptkbp:publishedIn gptkb:Mathematische_Annalen
gptkbp:relatedTo gptkb:Fourier_transform
gptkb:characteristic_function_(probability_theory)
measure theory
probability measure
positive-definite function
gptkbp:state A function on the real line is the Fourier transform of a finite positive Borel measure if and only if it is continuous, positive-definite, and normalized at zero.
gptkbp:bfsParent gptkb:Salomon_Bochner
gptkbp:bfsLayer 5