Polynomial moment functional

A polynomial moment functional evaluates a polynomial through a weighted integral, such as $p\mapsto \int p(t)w(t)dt$; finitely many moments determine it on a bounded-degree polynomial space.