Functional Analysis and the Feynman Operator Calculus