2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/118159For a degree 2n real d-dimensional multisequence β^(2n) to have a representing measure, it is necessary for the associated moment matrix M(n) to be positive semidefinite and for the algebraic variety V = V(β) associated to βto satisfy rank M(n) <= card V as well as the following consistency condition: if a polynomial p vanishes on V, then p(β) = 0. We prove that for the extremal case (rank M(n) = card V), positivity of M(n) and consistency are sufficient for the existence of a (unique, rank M(n)-atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of M(n).Functional AnalysisAlgebraic GeometryOperator Algebras47A57; 44A60; 42A70; 30A05text