Vitalsource Technologies, Inc. Functional Analysis And Infinite-dimensional Geometry