3

Is the phase space in classical mechanics a linear vector space (LVS)? If yes,, can we define operators, inner products in this space?

Edit: I have seen Liouville operator $\mathcal{L}$ in Classical mechanics defined as $$i\mathcal{L}\equiv \dot{q}\frac{\partial}{\partial q}+\dot{p}\frac{\partial}{\partial p}\tag{1}$$ which act on functions $f(q,p)$ of phase space variables $(q,p)$. One also defines inner product on phase space as $$(f,g)=\int dq\int dp f^*(q,p)g(q,p).\tag{2}$$ Using (2) one also proves the Hermiticity of $\mathcal{L}$ in Classical mechanics. For a link see this.

Since this is analogous to the mathematical operators in a Linear vector space, I wonder whether a Phase space is a LVS.

SRS
  • 27,790
  • 13
  • 115
  • 365

1 Answers1

10
  1. A phase space is not necessarily a linear vector space or an affine space. More generally, it is a Poisson manifold or a symplectic manifold. It is often not possible to globally assign a linear or affine structure to a manifold.

  2. In quantization, one often constructs a Hilbert space ${\cal H}=L^2(X,\Sigma,\mu)$ as a $L^2$-space over a measure space $(X,\Sigma,\mu)$. E.g. a symplectic manifold $(M,\omega)$ comes equipped with a canonical volume form $\Omega=\omega^{\wedge n}$ (cf. e.g. this Phys.SE post), and is hence a measure space. The Hilbert space ${\cal H}=L^2(X,\Sigma,\mu)$ is indeed a linear vector space. And it is possible to consider linear operators thereon.

Qmechanic
  • 220,844