The Functional Analysis of Quantum Information Theory