I recently came across Solèr's theorem which seems to state that for quantum mechanics to make sense, we have to use a continuous vector space.
But how can that possibly be?
I believe we can, in principle, simulate any quantum mechanical system with the discrete numbers in our classical computers to predict any measurement which we could make. This seems like an obvious counter-example. Instead of the perfect real valued math, quantum mechanics seems to work fine with just the discrete set of values a computer memory can hold.
Is that not the case?
Does Soler somehow prove that using rational numbers instead of real valued components are incapable of describing quantum phenomena?
Does this have any bearing on people attempting discrete spacetime approaches to quantum gravity?
This theorem sounds amazing, but perplexing. I wonder why it isn't mentioned in intro quantum classes along with Bell's theorem and invalidating local hidden variable theories.