{"entities":{"Q2584126":{"pageid":2594869,"ns":120,"title":"Item:Q2584126","lastrevid":79354301,"modified":"2026-05-06T13:43:17Z","type":"item","id":"Q2584126","labels":{"en":{"language":"en","value":"Hilbert distances and positive definite functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2503936"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2584126$56B38E98-6591-4209-AD86-CFE9AD5312D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3781b5e7c198779fc60a3226c79f749816650409","datavalue":{"value":{"text":"Hilbert distances and positive definite functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2584126$55EE0F52-A89E-411D-A341-ED381B797943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd36c71293878afb3afb763427bfb33dc365aa2e","datavalue":{"value":"67.0691.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2584126$097AB5B4-F515-45A4-AD65-4932A3F6647E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a74019e6a8a3a6444a94ef74814c3831e28aa77b","datavalue":{"value":"10.2307/1969252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2584126$ECF8BA7F-E3E4-461D-A1F8-CD1AD79BBA00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2584126$474564E1-3DAA-4AFF-9FB9-CB353510195C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2584126$B02255BB-7262-4109-AED5-F09467C52388","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51f02afe7b26dd27100e42bbcb630462d0516d13","datavalue":{"value":"\\(\\mathfrak S\\) sei ein topologischer Raum. Eine stetige komplexe Funktion zweier Variablen \\(f (P, Q)\\), \\(P\\), \\(Q \\in \\mathfrak S\\), geh\u00f6rt zur Klasse \\(\\mathfrak P\\) der positiv definiten Funktionen, wenn \\(f(P,Q) = \\overline{f(Q,P)}\\), \\(f(P,P) = f(Q,Q)\\) und f\u00fcr 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\u00fcr solche \\(\\varrho_i\\) verlangt, f\u00fcr 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\u00df \\(dP\\), f\u00fcr das alle Borelmengen me\u00dfbar sind, jede offene Menge ein nichtverschwindendes Ma\u00df hat und der ganze Raum das Ma\u00df 1 hat. Statt (1) kann dann  \\[  \\iint f(P,Q)\\varrho (P)\\varrho (Q)\\, dPdQ \\geqq 0 \\tag{3}  \\]  f\u00fcr alle integrablen \\(\\varrho (P)\\) verlangt werden, (2) kann durch  \\[  \\int \\varrho (P)\\,dP = 0 \\tag{4}  \\]  ersetzt werden (die Integrale sind stets \u00fcber ganz \\(\\mathfrak S\\) zu nehmen).  Eine Funktion \\(f (P, Q)\\) hei\u00dft ma\u00dfinvariant, wenn \\(\\int f(P, Q)\\, dQ \\) unabh\u00e4ngig von \\(P\\) ist. Es gilt nun, da\u00df \\(g (P, Q)\\) dann und nur dann eine ma\u00dfinvariante 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\u00dfinvariant 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\u00df sei gegen\u00fcber \\(\\mathfrak S\\) invariant, \\(f (P, Q)\\) hei\u00dft gruppeninvariant, wenn f\u00fcr 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\u00dft 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\u00dft eigentlich, wenn aus \\(P\\not = Q \\) stets \\(\\varrho (P, Q) >0\\) folgt. L\u00e4\u00dft sich \\(\\mathfrak S\\) so in den Hilbertschen Raum abbilden, da\u00df \\(\\varrho (P, Q)\\) gleich der Hilbertschen Entfernung der Bildpunkte wird, so hei\u00dft \\(\\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\u00df \\(\\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\u00e4nzt durch Reihenentwicklungen nach verallgemeinerten sph\u00e4rischen harmonischen Funktionen. Nach \\textit{\u00c9. 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\u00e4ndiges 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\u00df f\u00fcr 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\u00e4re Darstellung \\((u_{k, m\\alpha})\\) vom Grad \\(l(k)\\) gegeben wird und die Darstellungen f\u00fcr verschiedene \\(k\\) in\u00e4quivalent 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\u00e4\u00dfig 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\u00fcr 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\u00df \\(\\mathfrak S\\) die Gruppenmannigfaltigkeit von \\(\\mathfrak S\\) ist, wird besonders betrachtet, ebenso F\u00e4lle, in denen die Distanz durch eine Riemannsche Metrik erzeugt werden kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2584126$B6FC0F71-0E54-4770-933B-2C053E4F2071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f66964f286192cea7a7eb015d27484c1a548975","datavalue":{"value":"2503936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2584126$8346C8FC-A972-43C5-8F57-1C4EC7F9F532","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2584126$BDCD4339-9E16-493A-8AA7-69DCE562B2D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c30d98253b5a3b06b0f077f07b45edbd8f54ce00","datavalue":{"value":"https://doi.org/10.2307/1969252","type":"string"},"datatype":"url"},"type":"statement","id":"Q2584126$F4A8439F-834A-4856-B050-54B1E2A03E22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e005fe1155d497db1d749fb229c1f9b7800dd91","datavalue":{"value":"W2315512191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2584126$B393209A-D0F8-45A1-9282-E259EDCCD64B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bf09071acdfa2d1c1443db477031487cbb7589f","datavalue":{"value":{"entity-type":"item","numeric-id":6480505,"id":"Q6480505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2584126$6C5B8E6A-18EF-462C-96A9-5AB84007D187","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert distances and positive definite functions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert_distances_and_positive_definite_functions."}}}}}