No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
The purpose of this note is to prove the following:
Theorem. Let {A n} be a positive definite sequence of operators on a Hilbert space H with A 0=1. If A1 f=f for some f in H, then A n f=f for all n.
Note that a bilateral sequence of operators {An:n = 0, ±1, ±2,…} on H is positive definite if
for every finitely nonzero sequence {fn} of vectors in H [1].