Analyticity of the solutions of implicit function problems with analytic data (Q2532175)

Verf. beweist seinen Satz über die isometrische Einbettung kompakter, Riemannscher \(C^{\infty}\)-Mannigfaltigkeiten in einen \(\mathbb R^n\) [ibid. 63, 20--63 (1956; Zbl 0070.38603)] für den realanalytischen Fall. Der Nachweis der Analytizität wird dadurch erbracht, daß alle kritischen Prozesse in einer geeigneten Komplexifizierung betrachtet werden. Eine besonders einfache Situation ergibt sich im Fall des \(n\)-dimensionalen Torus, auf den sich der allgemeine Fall zurückführen läßt.