Equivalent definitions of positive definiteness
Equivalent definitions of positive definiteness
Equivalent conditions for linear functionals, on a commutative algebra & with involution, to be positive are proved by elementary methods devoid of disintegration theorems.The theory is applied to present straightforward verifications of, heretofore subtle, equivalences of quadratic form and finite difference definitions of positive definiteness of functions on semigroups.