I have completed three sequences of courses in QM, and I'm very much eager to to do the functional analysis of QM on my own in my spare time. Can someone suggest some books? I like books with mathematical rigor, and I'm taking this step to understand the mathematical foundations of Hilbert Spaces used in QM. Also, please do let me know the pre-requisites to study the book(s) you're mentioning.