Hilbert distances and positive definite functions. (Q2584126)

\(\mathfrak S\) sei ein topologischer Raum. Eine stetige komplexe Funktion zweier Variablen \(f (P, Q)\), \(P\), \(Q \in \mathfrak S\), gehört zur Klasse \(\mathfrak P\) der positiv definiten Funktionen, wenn \(f(P,Q) = \overline{f(Q,P)}\), \(f(P,P) = f(Q,Q)\) und für jedes \(n\), beliebige \(P_1, \dots, P_n\) und beliebige komplexe \(\varrho_1, \dots, \varrho_n\) die Beziehung \[ \sum_{i,j = 1}^n f(P_i,P_j)\varrho_i \bar \varrho_j \geqq 0 \tag{1} \] gilt. Wird (1) nur für solche \(\varrho_i\) verlangt, für die \[ \sum_{i=1}^n \varrho_i = 0 \tag{2} \] ist, so liegt \(f (P, Q)\) in der Klasse \(\mathfrak P_0\). \(\mathfrak S\) sei im folgenden separabel und kompakt, in \(\mathfrak S\) existiere ein Lebesguesches Maß \(dP\), für das alle Borelmengen meßbar sind, jede offene Menge ein nichtverschwindendes Maß hat und der ganze Raum das Maß 1 hat. Statt (1) kann dann \[ \iint f(P,Q)\varrho (P)\varrho (Q)\, dPdQ \geqq 0 \tag{3} \] für alle integrablen \(\varrho (P)\) verlangt werden, (2) kann durch \[ \int \varrho (P)\,dP = 0 \tag{4} \] ersetzt werden (die Integrale sind stets über ganz \(\mathfrak S\) zu nehmen). Eine Funktion \(f (P, Q)\) heißt maßinvariant, wenn \(\int f(P, Q)\, dQ \) unabhängig von \(P\) ist. Es gilt nun, daß \(g (P, Q)\) dann und nur dann eine maßinvariante Funktion aus \(\mathfrak P_0\) ist, wenn sie in der Form \[ g (P, Q) = f (P, Q)- f (\varPhi,\varPhi ) \tag{5} \] geschrieben werden kann, \(f (P, Q)\) maßinvariant in \(\mathfrak P\) und \(\varPhi\) ein Punkt aus \(\mathfrak S\). \(\mathfrak C\) sei im folgenden eine transitive Gruppe stetiger Transformationen von \(\mathfrak S\) in sich, das Maß sei gegenüber \(\mathfrak S\) invariant, \(f (P, Q)\) heißt gruppeninvariant, wenn für alle \(s\) in \(\mathfrak S\) \(f(sP,sQ) = f (P, Q)\) gilt. \(g(P,Q)\) ist eine gruppeninvariante Funktion aus \(\mathfrak P_0\) dann und nur dann, wenn (5) gilt mit gruppeninvariantem \(f (P, Q)\) aus \(\mathfrak P\). \(\varrho (P, Q)\) heißt eine Distanzfunktion, wenn \(\varrho (P, Q) = \varrho (Q, P) \geqq0\), \(\varrho (P, P) = 0\) und \(\varrho (P, Q) + \varrho ( Q, R) \geqq \varrho (P, R)\). Sie heißt eigentlich, wenn aus \(P\not = Q \) stets \(\varrho (P, Q) >0\) folgt. Läßt sich \(\mathfrak S\) so in den Hilbertschen Raum abbilden, daß \(\varrho (P, Q)\) gleich der Hilbertschen Entfernung der Bildpunkte wird, so heißt \(\varrho (P, Q)\) eine Hilbertsche Distanzfunktion. Aus dem Satze von \textit{Menger} und \textit{Schoenberg} (Trans. Amer. math. Soc. 44 (1938), 522-536; F. d. M. \(64_{\text{I}}\), 617), daß \(\varrho (P, Q)\) dann und nur dann eine Hilbertsche Distanzfunktion ist, wenn \(\varrho (P, Q)^2\) in \(\mathfrak P_0\) liegt, folgt: \(\varrho (P, Q)\) ist dann und nur dann eine gruppeninvariante Hilbertsche Distanzfunktion, wenn sie die Form \(\sqrt{f(\varPhi,\varPhi ) - f(P, Q)}\) hat, \(f(P,Q)\) reell, gruppeninvariant aus \(\mathfrak P\). Diese Resultate werden ergänzt durch Reihenentwicklungen nach verallgemeinerten sphärischen harmonischen Funktionen. Nach \textit{É. Cartan} und \textit{H. Weyl} (Ann. Math., Princeton, (2) 35 (1934), 486-494; F. d. M. \(60_{\text{I}}\), 360) existiert zu \(\mathfrak S\) ein vollständiges Orthogonalsystem \(\varphi_{k, m\mu} (P)\) \(k = 0, \pm 1, \pm 2,\dots \); \(m = 1, \dots, l (k)\), \(\mu = 1,\dots, h (k)\), so daß für festes \(h\) durch \[ \varphi_{k, m\mu} (sP) = \sum_{\alpha =1}^{l(k)} u_{k, m\alpha} (s) \varphi_{k, \alpha\mu} (P) \] eine irreduzible unitäre Darstellung \((u_{k, m\alpha})\) vom Grad \(l(k)\) gegeben wird und die Darstellungen für verschiedene \(k\) inäquivalent sind. Es gilt nun: Eine nichtnegative Funktion \(\varrho (P, Q)\) ist dann und nur dann eine gruppeninvariante Hilbertdistanz, wenn ihr Quadrat eine absolut und gleichmäßig konvergente Reihe der Form \[ \sum_{k=1}^\infty \left( \sum_{\mu, \nu = 1}^{h(k)} a_{k, \mu\nu} \psi_{k, \mu\nu} (P, Q) \right) \] ist, in der für festes \(k\) die Matrix \((a_{k, \mu\nu})\) nichtnegativ hermitesch ist und \[ \psi_{k, \mu\nu} (P, Q) = \sum_{m=1}^{l(k)} (\varphi_{k, m\mu} (P) - \varphi_{k, m\mu} (Q))\, (\overline{\varphi_{k, m\nu} (P)} - \overline{\varphi_{k,m\nu} (Q)}) \] ist. Diese Hilbertdistanz ist eigentlich, wenn die Matrix \((a_{k, \mu\nu})\) eigentlich positiv definit ist. Der Spezialfall, daß \(\mathfrak S\) die Gruppenmannigfaltigkeit von \(\mathfrak S\) ist, wird besonders betrachtet, ebenso Fälle, in denen die Distanz durch eine Riemannsche Metrik erzeugt werden kann.