branch of mathematical analysis concerned with infinite-dimensional topological vector spaces, often spaces of functions