Re:PHYS771 Lecture 9: Quantum
by sigmoid10 on Thursday October 13, 2022 @06:22AM
(#33189266)
Measure theory itself only became a formal branch of mathematics around the turn of the 20th century and complex measures developed pretty much in the fairway of quantum mechanics (which appeared at the same time). This is in stark contrast to e.g. non-euclidean geometry, which had already been well formalised into its own branch decades before the invention of GR.
[ Parent
| on HN ]
Re:PHYS771 Lecture 9: Quantum
by mananaysiempre on Thursday October 13, 2022 @06:30AM
(#33189297)
Riemannian geometry in general (and not just geometry of specific homogeneous spaces like the hyperbolic plane) was still somewhat recent and hard at the time or at least had that reputation. I’ve heard that the notion of parallel transport on Riemannian manifolds, for one, was developed as a consequence of people making sense of GR, before that Christoffel symbols were apparently just ... a formal thing.
(The general theory of connections on bundles certainly postdates GR although it does predate Yang–Mills.)
To some extent, yes. But the point was that Einstein was probably only able to develop GR thanks to work by people like Riemann, who investigated these things not knowing where they'd lead half a century later. For QM it was almost the other way around and people really had to come up with and formalise a whole new branch of mathematics to make sense of the early experiments. Sometimes physics follows math and sometimes math follows physics. For QM it was closer to the latter.