ソボレフ空間
For finite kinetic energies, the first (stronger) inequality places the square root of the density in the Sobolev space formula_22. Together with the normalization and non-negativity this defines a space containing physically acceptable densities as