#015: More in depth exploration of coordinate invariant measures

Category: Measure theory - Tags: General theory, Classical mechanics, Complex analysis

---

Find if there are more mathematically interesting and precise ways to express the idea of invariant measures.

Mathematical problem. In our derivation of classical mechanics, we recover symplectic spaces by requiring that the measure needed to quantify the number of states in a region must be coordinate invariant. That is, we need to be able to change coordinates while keeping the measure invariant. This leads to the need for a conjugate quantity such that \(dq \wedge dp = dq' \wedge dp'\). The question is whether we can formalize this requirement in a more abstract way, since other theories (e.g. quantum mechanics) must have a similar requirement (e.g. both quantum mechanics have a Poisson structure that becomes the Poisson brackets in classical mechanics and the commutators in quantum mechanics. This is also probably related to the generalized complex structure).

One way to approach the problem is to see what properties measures possess on the complex plane. This may be related to understanding why integration on the complex plane is more powerful than on the real line. Trying to justify those properties from the physics may lead to new ideas.

Physical significance. The requirement of a coordinate invariant measure stems from the principle of relativity and the idea that nature must account for preservation of number of states during deterministic and reversible evolution without specific reference to reference frames.

Here we want to find the most minimal and general mathematical argument to that effect.