The branch of mathematics studying function spaces. It is largely concerned with the study of complete normed vector spaces with important applications in the study of quantum theory and differential equations. See Baire Category Theorem, Banach space, Hilbert space.