Analytical embedding for geometries of constant curvature
In various sections of modern mathematics and theoretical physics find their wide application of geometry of constant curvature. These geometries include spherical geometry, Lobachevsky geometry, de Sitter geometry. 𝑛-dimensional geometries of constant curvature are defined by metric functions that are invariants of motion groups of dimension 𝑛(𝑛+1)/2, therefore they are geometries of local maximum mobility. In this article, by the example of geometries of constant curvature, the embedding problem is solved, the essence of which is to find (𝑛+1) -dimensional geometries of local maximum mobility from 𝑛-dimensional geometries of constant curvature. We search for all functions of a pair of points of the form 𝑓(𝐴,𝐵) = 𝜒(𝑔(𝐴,𝐵),𝑤𝐴,𝑤𝐵) that define (𝑛 + 1)-dimensional geometries with motion groups of dimension (𝑛 + 1)(𝑛 + 2)/2 by the wellknown metric functions of 𝑔(𝐴,𝐵) 𝑛-dimensional geometries of constant curvature. This problem reduces to solving functional equations of a special form in the class of analytic functions. The solution is sought in the form of Taylor series. To simplify the analysis of coefficients, the Maple 17 mathematical program package is used. The results of this embedding of 𝑛-dimensional geometries of constant curvature are (𝑛 + 1)-dimensional extensions of Euclidean and pseudo- Euclidean 𝑛-dimensional spaces. In addition to the main theorem, auxiliary statements of independent significance are proved.