文摘
Let b2;≡b2;(2n)={b2;b>ib>}b>i2nb> denote a d-dimensional real multisequence, let K denote a closed subset of , and let . Corresponding to b2;, the Riesz functional is defined by L(∑ab>ib>xi):=∑ab>ib>b2;b>ib>. We say that L is K-positive if whenever and pb>Kb>0, then L(p)0. We prove that b2; admits a K-representing measure if and only if Lb>b2;b> admits a K-positive linear extension . This provides a generalization (from the full moment problem to the truncated moment problem) of the Riesz–Haviland theorem. We also show that a semialgebraic set solves the truncated moment problem in terms of natural “degree-bounded” positivity conditions if and only if each polynomial strictly positive on that set admits a degree-bounded weighted sum-of-squares representation.