On Krylov Methods in Infinite-dimensional Hilbert Space