User:TakuyaMurata/Quantum mechanics for functional analysts