We give a new optimal compactness criterion which insures that time depende
nt bounded sequences in suitable Hilbert spaces contain convergent subseque
nces. Our proof is related to PDE techniques. We then give an abstract appl
ication of the result. (C) 2001 Elsevier Science Ltd. All rights reserved.