  Let G be a connected and simply connected real Lie group with Lie algebra g.
Semialgebraic subsets of the unitary dual of G are defined and a strict
Positivstellensatz for positive elements of the universal enveloping algebra of
g is proved.
