On Tuesday, July 29, 2025 at 2:04:31 PM UTC-6 Brent Meeker wrote:
On 7/29/2025 7:18 AM, Alan Grayson wrote: Assuming we know all possible results of the measurements of a quantum system, that is, the set of possible eigenvalues, and suppose we also know the associated eigenfunctions, and we write the wf of the system as a linear sum of eigenfunctions each multiplied by a complex constant, is it mathematically assumed, or proven somewhere (perhaps by Von Neumann), that these eigenfunctions are orthogonal and form a basis for the Hilbert space in which they reside? TY, AG -- Yes, that's pretty much it. The physical system, including the ideal measurement, is modeled by a certain Hilbert space in which the basis states are the eigenfunctions the measurement. This is implicit in the concept of an ideal measurement as one, which if immediately repeated on the same system, returns the same value again. Brent But is it proven or assumed the eigenfunctions in the sum are basis states which span the space? If proven, where, by whom; if not, then the construct lacks rigor. AG -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/everything-list/37e960cf-b0f0-41f1-9c23-757ad5997f9en%40googlegroups.com.
