5 The infinite-dimensional case