Infinite-dimensional-vector-valued function