Non-relativistic Quantum Mechanics

The non-relativistic quantum mechanics category develops the framework of complex-Hilbert-space quantum theory from explicit, scoped postulates and explicit definitions: the state and composition assumptions with their rays, density operators and completed tensor products; the observable and probability assumptions with self-adjoint operators and spectral outcome laws; the ideal conditional-measurement assumption with its Lueders update and discarded outcomes; the autonomous-dynamics assumption with the unitary group of a self-adjoint energy operator; the non-relativistic kinematics and massive-particle model with its Newtonian arena, inertial frames, classical apparatus trajectories and one-particle operators; the identical-particle and spin assignments with permutation sectors and finite-spin representations; and the preparation and apparatus assumptions under which model predictions are compared with reported data. Physical postulates are adopted assumptions of a model; the mathematical results of the category are complete conditional deductions from those postulates and their stated hypotheses, and no theorem of the category establishes that the model describes nature. Empirical qualifications are carried wherever measured input is used, and the radiation, external-field and light-matter extensions are separate adopted model assumptions on their own pages, never limits of the massive model. Package: the mathematics of the track is developed on the companion mathematics category, and the physical pages consume those items through the schema's dependency roles.