In geometry of normed spaces, the Holmes–Thompson volume is a notion of volume that allows to compare sets contained in different normed spaces (of the same dimension). It was introduced by Raymond D. Holmes and Anthony Charles Thompson.
Definition The Holmes–Thompson volume Vol HT ( A ) {\displaystyle \operatorname {Vol} _{\text{HT}}(A)} of a measurable set A ⊆ R n {\displaystyle A\subseteq R^{n}} in a normed space ( R n , ‖ − ‖ ) {\displaystyle (\mathbb {R} ^{n},\|-\|)} is defined as the 2n-dimensional measure of the product set A × B ∗ , {\displaystyle A\times B^{*},} where B ∗ ⊆ R n {\displaystyle B^{*}\subseteq \mathbb {R} ^{n}} is the dual unit ball of ‖ − ‖ {\displaystyle \|-\|} (the unit ball of the dual norm ‖ − ‖ ∗ {\displaystyle \|-\|^{*}} ).
Symplectic (coordinate-free) definition The Holmes–Thompson volume can be defined without coordinates: if A ⊆ V {\displaystyle A\subseteq V} is a measurable set in an n-dimensional real normed space ( V , ‖ − ‖ ) , {\displaystyle (V,\|-\|),} then its Holmes–Thompson volume is defined as the absolute value of the integral of the volume form 1 n ! ω ∧ ⋯ ∧ ω ⏞ n {\displaystyle {\frac {1}{n!}}\overbrace {\omega \wedge \cdots \wedge \omega } ^{n}} over the set A × B ∗ {\displaystyle A\times B^{*}} ,
Vol H T ( A ) = | ∫ A × B ∗ 1 n ! ω n | {\displaystyle \operatorname {Vol} _{HT}(A)=\left|\int _{A\times B^{*}}{\frac {1}{n!}}\omega ^{n}\right|}
where ω {\displaystyle \omega } is the standard symplectic form on the vector space V × V ∗ {\displaystyle V\times V^{*}} and B ∗ ⊆ V ∗ {\displaystyle B^{*}\subseteq V^{*}} is the dual unit ball of ‖ − ‖ {\displaystyle \|-\|} . This definition is consistent with the previous one, because if each point x ∈ V {\displaystyle x\in V} is given linear coordinates ( x i ) 0 ≤ i < n {\displaystyle (x_{i})_{0\leq i<n}} and each covector ξ ∈ V ∗ {\displaystyle \xi \in V^{*}} is given the dual coordinates ( x i i ) 0 ≤ i < n {\displaystyle (xi_{i})_{0\leq i<n}} (so that ξ ( x ) = ∑ i ξ i x i {\displaystyle \xi (x)=\sum _{i}\xi _{i}x_{i}} ), then the standard symplectic form is ω = ∑ i d x i ∧ d ξ i {\displaystyle \omega =\sum _{i}\mathrm {d} x_{i}\wedge \mathrm {d} \xi _{i}} , and the volume form is
… excerpt ends here. Continue reading the full article.
