In general we have
.
We might have
for some
if, for example,
,
and
for
.
Proposition
(Criteria of positive
definiteness) The inner product
is positive definite iff
where


(Hankel determinants)

Proposition
(Existence of orthogonal
polynomials) If the inner product
is positive definite then there exists a sequence
.
