Billygoat said:
Roughly QM was derived from classical mechanics along this path (Very roughly...)
Lagrangian CM --> Hamiltonian CM --> Poisson Brackets (Still CM) --> Commutator operators (Pretty much Quantum) --> Either Heisenberg or Schroedinger approach.
Yes, this is how QM was developed historically, and this is how it is presented in many textbooks. However, this path strikes me as being somewhat illogical: we shouldn't be deriving a more general and exact theory (quantum mechanics) from its crude approximation (classical mechanics).
Fortunately, there is a more logical path, which doesn't take classical mechanics as its point of departure. The basic formalism of QM (Hilbert spaces, Hermitian operators, etc.) can be derived from simple and transparent axioms of "quantum logic"
G. Birkhoff, J. von Neumann, "The logic of quantum mechanics", Ann. Math. 37 (1936), 823
G. W. Mackey, "The mathematical foundations of quantum mechanics",
(W. A. Benjamin, New York, 1963), see esp. Section 2-2
C. Piron, "Foundations of Quantum Physics", (W. A. Benjamin, Reading, 1976)
Time dynamics and other forms of inertial transformations are introduced via representation theory for the Poincare group
E. P. Wigner, "On unitary representations of the inhomogeneous Lorentz group", Ann. Math. 40 (1939), 149
P. A. M. Dirac, "Forms of relativistic dynamics", Rev. Mod. Phys. 21 (1949), 392.
I listed just the most significant references. There are many more works along these lines. However, for some reason, these ideas have not percolated to the textbook level (at least not to the extent they deserve).
Eugene.