Liouville measure
E898514
Liouville measure is a canonical volume measure on phase space in Hamiltonian mechanics and symplectic geometry that remains invariant under the system’s time evolution.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Liouville measure canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10992183 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Liouville measure Context triple: [Joseph Liouville, hasEponym, Liouville measure]
-
A.
Lebesgue measure
Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
-
B.
Haar measure
Haar measure is a fundamental concept in harmonic analysis and topological group theory, providing a translation-invariant way to assign measures to subsets of locally compact groups.
-
C.
Wiener measure
Wiener measure is the canonical probability measure on the space of continuous paths that models standard Brownian motion in probability theory and stochastic analysis.
-
D.
Liouville's theorem
Liouville's theorem is a fundamental result in complex analysis stating that any bounded entire function must be constant.
-
E.
Plancherel measure
The Plancherel measure is a canonical measure on the unitary dual of a group that describes how the regular representation decomposes into irreducible unitary representations in harmonic analysis.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Liouville measure Target entity description: Liouville measure is a canonical volume measure on phase space in Hamiltonian mechanics and symplectic geometry that remains invariant under the system’s time evolution.
-
A.
Lebesgue measure
Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
-
B.
Haar measure
Haar measure is a fundamental concept in harmonic analysis and topological group theory, providing a translation-invariant way to assign measures to subsets of locally compact groups.
-
C.
Wiener measure
Wiener measure is the canonical probability measure on the space of continuous paths that models standard Brownian motion in probability theory and stochastic analysis.
-
D.
Liouville's theorem
Liouville's theorem is a fundamental result in complex analysis stating that any bounded entire function must be constant.
-
E.
Plancherel measure
The Plancherel measure is a canonical measure on the unitary dual of a group that describes how the regular representation decomposes into irreducible unitary representations in harmonic analysis.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
canonical measure
ⓘ
measure ⓘ symplectic invariant ⓘ volume form ⓘ |
| associatedWith |
Hamiltonian flow
ⓘ
symplectic form ⓘ |
| characterizes | conservation of phase-space volume ⓘ |
| constructedFrom | top exterior power of the symplectic form ⓘ |
| definedOn |
phase space
ⓘ
symplectic manifold ⓘ |
| domainDimension | 2n for an n-degree-of-freedom Hamiltonian system ⓘ |
| ensures |
phase-space density evolves via Liouville equation
ⓘ
probability is conserved along Hamiltonian trajectories ⓘ |
| expressedAs |
dq^1 ∧ … ∧ dq^n ∧ dp_1 ∧ … ∧ dp_n in canonical coordinates
ⓘ
ω^n / n! for a 2n-dimensional symplectic manifold with symplectic form ω ⓘ |
| field |
Hamiltonian mechanics
NERFINISHED
ⓘ
ergodic theory ⓘ statistical mechanics ⓘ symplectic geometry ⓘ |
| hasProperty |
absolutely continuous with respect to Lebesgue measure in canonical coordinates
ⓘ
canonical up to normalization ⓘ invariant under Hamiltonian flow ⓘ locally equivalent to Lebesgue measure in Darboux coordinates ⓘ preserved by time evolution ⓘ volume-preserving ⓘ |
| invariantUnder |
Hamiltonian diffeomorphisms
ⓘ
canonical transformations ⓘ symplectomorphisms ⓘ |
| mathematicalNature |
Borel measure on phase space
ⓘ
smooth measure induced by a volume form ⓘ |
| namedAfter | Joseph Liouville NERFINISHED ⓘ |
| normalization | can be scaled by a constant factor ⓘ |
| playsRoleIn |
conservation laws in classical mechanics
ⓘ
measure-theoretic foundations of Hamiltonian dynamics ⓘ phase-space formulation of classical mechanics ⓘ |
| relatedConcept |
invariant measure
ⓘ
microcanonical measure ⓘ symplectic volume ⓘ |
| relatedTo | Liouville’s theorem NERFINISHED ⓘ |
| usedIn |
Hamiltonian statistical mechanics
ⓘ
classical ergodic theory ⓘ definition of invariant measures for dynamical systems ⓘ definition of microcanonical ensemble ⓘ formulation of Liouville’s theorem in Hamiltonian mechanics ⓘ phase-space integration of observables ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Liouville measure Description of subject: Liouville measure is a canonical volume measure on phase space in Hamiltonian mechanics and symplectic geometry that remains invariant under the system’s time evolution.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.