Operators - how to motivate they must be linear ? Is this comment a hint? [duplicate]

Is there a way to motivate, retrospectively, that observables must be representable by

1. linear operators
2. on a Hilbert space?

Specifically, there seems to be a hint to something in the accepted answer to this question. There, the author writes that

"[...] and since these commutators satisfy the Jacobi identity, they can be represented by linear operators on a Hilbert space."

• Is this true? If an observable can be written as a commutator (like the three coordinates of angular momentum), does it automatically follow that it corresponds to some linear operator? If yes, how / is this a theorem with a name?

Thanks for further hints, and for all hints so far. Quantum mechanics is still really strange to me, additional motivation for one of the postulates would be edit: is nice.

If you want me to clarify further, please say so.

This question: "How did the operators come about" seems related, but the answer doesn't help since it starts from the postulates. My question is about possible motivations one could give for one of the postulates.

Revision history part 1: The question was quite general before, it also asked "where did the operators come from" which aready has a very good answer here.

For completeness / Revision history part 2: Another approach might be via Wigner's theorem, that any symmetry operator on a Hilbert space is either linear unitary or antilinear antiunitary (and then one could maybe go from symmetry operators to their generators, and find out that they correspond to observables). Originally the question was also whether this line of argumentation works as well. But probably, this is covered in the historical sources, given here and in the comments.

• The person who developed the mathematical formalism of QM was Von Neumann (Mathematische Grundlagen der Quantenmechanik). I might be wrong but I think he also gave its name to the "Hilbert space". Before him, the ideas about this were quite confused Dec 4 '17 at 20:40
• von Neumann formalized Dirac's 1930 QM textbook, freely available. Dirac worked off of finite dimensional analogies that Heisenberg's matrix mechanics suggested. The question duplicates How did quantum mechanics operators come into being? question on hsm SE and How did the operators come about? on this SE. Dec 4 '17 at 21:00
• @Conifold The second of your reference I mentioned in my question, stating why it is no answer. The first one (I'm still reading) has good references for the historical developement. What I would have liked though are the actual motivations one could think of (I will modify the question title.) Please do not comment after only reading the title. Dec 4 '17 at 21:49
• What do you mean by "the actual motivations one could think of"? Dirac's book is freely available online, you can find there what he thought. Extending from matrices seems pretty motivated though, so you'll have to be much more specific as to what you mean. As for the second question, most SE's have one question per question policies to permit answers of reasonable focus and length. You should split it off into a separate question. Dec 4 '17 at 22:18
• If one considers general probabilistic theories, e.g. in a quantum logic approach (for a basic introduction see e.g. plato.stanford.edu/entries/qt-quantlog/), which means formalizing the general logical structure of probabilistic statements about physical systems, one finds a number of hypothetically plausible possibilities, among them the one equivalent to the Hilbert space formalism. Afaik (consistent with above link) no elementary explanation is known singling out this particular structure. There are other approaches similar to "Quantum Theory From Five Reasonable Axioms" by L. Hardy Dec 4 '17 at 23:40