Non-relativistic Quantum Mechanics — Mathematics

The mathematical prerequisites and supporting suppliers for the non-relativistic quantum mechanics collection: the completed tensor product of Hilbert spaces and its bounded maps, permutation sectors, the L² product unitary, density operators and scalar spectral probability, partial traces and Schmidt decompositions, trace-class machinery and its cyclicity, effects and instruments with their Kraus families and dilations, the compatible-measurement joint projection-valued measure, uncertainty and sampling inequalities, and the exact free-Gaussian and complex-Gaussian analytic layer. Items here are mathematics: they carry domain: mathematics, depend only on mathematical suppliers, and are excluded from physical conclusions by themselves. Their physical consumers are the non-relativistic quantum mechanics pages, which use them as stated mathematical premises under the physics schema's dependency roles and add their own postulates, interpretations, instruments and empirical qualifications. No physical postulate, observation or empirical claim is asserted on this page, and the companion example page remains mathematics as well.