{"entities":{"Q2617408":{"pageid":2628151,"ns":120,"title":"Item:Q2617408","lastrevid":44491344,"modified":"2025-11-23T08:03:11Z","type":"item","id":"Q2617408","labels":{"en":{"language":"en","value":"Almost periodic functions in a group. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2538036"}},"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":"Q2617408$B7C1A9CE-92FD-4564-9A6A-8408B02E5EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3142c04e1bd2aa9ba41699cd41f4053caa67bd64","datavalue":{"value":{"text":"Almost periodic functions in a group. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2617408$319C092F-1FD3-4E6C-9D2A-CDCD9F6F5CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9c27fd8f23f440d454298aacbea8cad17c0866","datavalue":{"value":"60.0357.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617408$626C5153-BF0D-4CC9-84B6-3006D5C1A47E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df59143782c113225aa7e53ad243c3c1f5af4e0a","datavalue":{"value":"10.1090/S0002-9947-1934-1501752-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617408$B1C9FC14-2F19-46C3-9CB2-1B494FD11EC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$7B98EE4E-936A-4070-878B-6A65265305EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q2617408$F3517FEE-4E2C-433C-84CF-CFB2BC85DC94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89b7446ce892cf97ec6a0e241a1011195db3c3c8","datavalue":{"value":"Die \\textit{Frobenius}-\\textit{Schur}sche Darstellungtheorie mit ihren Erweiterungen durch \\textit{Peter} und \\textit{Weyl} wird auf die beschr\u00e4nkten Darstellungen beliebiger Gruppen, frei von allen topologischen Annahmen, ausgedehnt. Statt des f\u00fcr im Kleinen kompakte separable topologische Gruppen heranzuziehenden \\textit{Haar}schen invarianten Gruppenma\u00dfes wird eine Erweiterung des \\textit{Bohr}schen Integralmittels f\u00fcr fastperiodische Funktionen auf \\(\\mathfrak G\\) benutzt. Zugrunde gelegt sei eine beliebige Gruppe \\(\\mathfrak G\\), d. h. eine Menge, deren Elemente den Gruppenpostulaten gen\u00fcgen. Eine auf \\(\\mathfrak G\\) definierte komplexwertige Funktion \\(f(x)\\) hei\u00dft fastperiodisch (f. p.), falls jede Folge von Funktionen \\(f(a_\\nu,xb_\\nu )\\) (wobei \\(x\\) die Variable ist und \\(a_\\nu \\) und \\(b_\\nu \\) \\(\\mathfrak G\\) angeh\u00f6ren) bedingt kompakt ist, d. h. falls man daraus eine Teilfolge \\(f_1(x), f_2(x), \\dotsc \\) derart ausw\u00e4hlen kann, da\u00df \\[ \\underset {x\\subset \\mathfrak G} {\\text{fin}\\sup }|f_\\nu (x)-f_\\mu (x)|\\rightarrow 0\\quad (\\mu,\\nu \\rightarrow \\infty ). \\]   Als Mittelwert \\(M_xf(x)\\) einer f. p. Funktion \\(f(x)\\) wird eine Zahl \\(A\\) definiert, f\u00fcr die es zu jedem \\(\\varepsilon >0\\) eine Zahl \\(n\\) und Zahlen \\(\\alpha _1,\\dotsc,\\alpha _n\\geqq 0\\) mit \\(\\alpha _1+\\dotsb +\\alpha _n=1\\) und Gruppenelemente \\(a_1,\\dotsc,a_n\\) oder auch \\(b_1,\\dotsc,b_n\\) so gibt, da\u00df \\[ \\begin{matrix} |\\alpha _1f(xa_1)+\\dotsb +\\alpha _nf(xa_n)-A|\\leqq \\varepsilon \\\\ |\\alpha _1f(b_1x)+\\dotsb +\\alpha _nf(b_nx)-A|\\leqq \\varepsilon.\\end{matrix} \\leqno \\text{bzw.} \\]  (Es zeigt sich, da\u00df\\ f\u00fcr f.p. Funktionen die so definierten Rechts- und Linksmittel einander gleich sind.) Die Mittelwertbildung erweist sich als eine eindeutig bestimmte lineare Operation.   In \u00dcbertragung der \\textit{Weyl}schen Methode (s. \\textit{H. Weyl}, 1926; F. d. M. 52, 260 (JFM 52.0260.*); \\textit{H. Weyl}, \\textit{F. Peter}, 1927; F. d. M. 53, 387 (JFM 53.0387.*)) zur Behandlung der \\textit{Bohr}schen Theorie, die die Eigenwerttheorie \\textit{E. Schmidts} heranzieht, gelten folgende S\u00e4tze: Unter \\(f\\times g\\) verstehe man  \\[ f\\times g=M_y[f(xy^{-1})g(y)]. \\] Die Norm einer f. p. Funktion sei erkl\u00e4rt durch \\(Nf=\\sqrt {M_x[|f(x)|^2]}.\\)  Setzt man nun f\u00fcr eine nicht identisch verschwindende f. p. Funktion \\(f(x)\\)  \\[ \\Gamma _n=N[f\\times f^\\prime \\times \\dotsb ]^2=(f\\times f^{\\prime })^n,\\leqno (1) \\] wobei \\(f^\\prime (x)=\\overline {f(x^{-1})},\\) so gilt \\[ \\Gamma _n>0,\\quad (\\Gamma _n)^2\\leqq \\Gamma _{n-1}\\Gamma _{n+1},\\quad \\Gamma _{m+n}\\leqq \\Gamma _m\\Gamma _n, \\]   \\[ \\frac {\\Gamma _{n+1}}{\\Gamma _n}\\rightarrow \\gamma,\\quad \\frac {(f\\times f^\\prime )^n(x)}{\\gamma ^n}\\rightarrow \\varphi (x), \\]   \\[ \\varphi ^\\prime =\\varphi,\\quad \\varphi \\times \\varphi =\\varphi \\text{ und }f\\times f^\\prime \\times \\varphi =\\gamma \\varphi. \\]   Die Matrizen einer beschr\u00e4nkter Darstellung von \\(\\mathfrak G\\) seien mit \\[ D(a)=\\left (d_{\\varkappa \\lambda }(a)\\right )\\quad (a\\subset \\mathfrak G) \\] bezeichnet. Es zeigt sich, da\u00df\\ jede beschr\u00e4nkte Darstellung eine positiv definite \\textit{Hermite}sche Form unge\u00e4ndert l\u00e4\u00dft, woraus folgt, da\u00df\\ jede reduzible derartige Datstellung auch vollst\u00e4ndig zerf\u00e4llt. F\u00fcr zwei vollst\u00e4ndig irreduzible beschr\u00e4nkte Darstellungen \\(D(a)\\) und \\(F(a)\\) gilt \\[ d_{\\varkappa \\lambda }(x) f_{\\mu \\nu }(x)=0 \\]   \\[ d_{\\varkappa \\lambda }(x)d_{\\mu \\nu }(x)=\\begin{cases} \\frac 1nd_{\\varkappa \\nu }(x)&\\lambda =\\mu \\\\ 0&\\lambda \\neq \\mu,\\end{cases} \\leqno \\text{und} \\] wobei \\(n\\) der Grad von \\(D(a)\\) ist.   Man ordne die Gesamtheit aller irreduziblen beschr\u00e4nkten Darstellungen von \\(\\mathfrak G\\) in Klassen \u00e4quivalenter an. Aus jeder Klasse \\(\\mathfrak C\\) w\u00e4hle man eine repr\u00e4sentierende unit\u00e4re Darstellung, die mit \\(D(a,\\mathfrak C)\\) bezeichnet sei. Bezeichnet man dann die ``Entwicklungskoeffizienten'' einer f. p. Funktion mit \\[ \\alpha _{\\varrho \\sigma }(\\mathfrak C)=M_x[f(x)\\overline {d_{\\varrho \\sigma }(x,\\mathfrak C)}], \\] so gilt die \\textit{Bessel}sche Ungleichung in der Form \\[ (Nf)^2\\geqq \\sum \\limits _\\tau n(\\mathfrak C_\\tau )\\sum \\limits _{\\varrho,\\sigma =1}^{n(\\mathfrak C_\\tau )} |\\alpha _{\\varrho,\\sigma }(\\mathfrak C_\\tau )|^2, \\] wobei \\(n(\\mathfrak C_\\tau )\\) der Grad der Darstellungen der Klasse \\(\\mathfrak C_\\tau \\) ist und die Summe \u00fcber die h\u00f6chstens abz\u00e4hlbar vielen Summanden zu erstrecken ist, f\u00fcr die \\(\\alpha (\\mathfrak C)\\neq 0\\).   Weiter gibt es ein Analogon zur \\textit{Parseval}schen Gleichung.   Schlie\u00dflich gelangt man zum Aproximationssatz: F\u00fcr jede f. p. Funktion und jedes \\(\\varepsilon >0\\) gibt es ein Linearaggregat \\(h(x)\\) einer endlichen Zahl von Elementen \\(d_{\\varrho,\\sigma }(x,\\mathfrak C)\\) derart, da\u00df \\[ |f(x)-h(x)|\\leqq \\varepsilon \\text{ f\u00fcr jedes } x. \\]   Es wird weiter untersucht, wie sich die Verh\u00e4ltnisse bei Auferlegung von topologischen Beschr\u00e4nkungen gestalten.  Unter \u00dcbertragung einer Methode von \\textit{A. Haar} (\u00dcber unendliche kommutative Gruppen, M. Z. 33 (1931), 129-159; F. d. M. 57) f\u00fcr abz\u00e4hlbare abelsche Gruppen wird zum Schlu\u00df\\ gezeigt, da\u00df\\ es f\u00fcr eine im Kleinen kompakte separable topologische Gruppe eine Schar von stetigen Funktionen von \\(a,\\varphi (a,\\lambda )(a\\subset \\mathfrak G,\\lambda \\) reell), die \\textit{Baire}sche Funktionen des Parameters \\(\\lambda \\) sind, so gibt, da\u00df \\[ \\varphi (ab,\\lambda )=\\varphi (a,\\lambda )\\varphi (b,\\lambda ),\\quad |\\varphi (a,\\lambda )|=1, \\] und da\u00df\\ aus \\[ \\varphi (a,\\lambda )=\\varphi (b,\\lambda )\\text{ und }\\varphi (a_n,\\lambda ) \\rightarrow \\varphi (a,\\lambda ) \\] f\u00fcr alle \\(\\lambda \\) folgt \\(a=b\\) bzw. \\(a_n\\rightarrow a\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2617408$C167DC8E-3E0E-4B92-A82C-4BC35789410B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c7580183cce8ca3e414b1aa3d0821d6fa735f44","datavalue":{"value":"2538036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617408$9E4DF75E-E0BD-44CE-91E8-A1E2D4A351E5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d417ac465267c3351fb7c4faeee64149d9564728","datavalue":{"value":"Q91408052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617408$AA5E841B-5FC9-4F3C-9B24-71AD67BD4A04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee96420e31a33f0741706c7430f3e2da6e67cbdc","datavalue":{"value":{"entity-type":"item","numeric-id":564712,"id":"Q564712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$23624E20-EEBD-4F3B-ACF9-FE7CD2302017","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":"Q2617408$F787F6CF-F83E-409D-94DD-C328F68F4DD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5957a1065cbd2e59204959dafad7fc83ca321a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1565480,"id":"Q1565480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$1C2ACAA5-8904-4EEB-8BFF-C142F3A38155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d50df36917b17e7608d7d4de3ac3cc3e41855d3","datavalue":{"value":{"entity-type":"item","numeric-id":1839471,"id":"Q1839471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$87FD67DD-435B-43E2-BC8B-418483281B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549b85deab79b4cbe6e418217f791aeb3c3e8bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1565698,"id":"Q1565698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$7BF4E4FE-CC78-455D-A0AA-F75BF4F3CD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8e38bb62d10df27aa56a1b944688d4565365fe","datavalue":{"value":{"entity-type":"item","numeric-id":4755386,"id":"Q4755386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$98513472-368F-4A94-8FA1-18B93B700A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66f91bbf2760910e0c4478c40dbd59b9444d9f0","datavalue":{"value":{"entity-type":"item","numeric-id":4334625,"id":"Q4334625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$FA4D4775-2079-4759-8CD1-288BBEC98FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d53beba8707490535ce9e6b738159ccaeb97fe","datavalue":{"value":{"entity-type":"item","numeric-id":1839572,"id":"Q1839572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$AFEB338A-ABC7-436A-A05B-6B50C0740ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0c33f9898d7336e2f011851e9bb8634c018730","datavalue":{"value":{"entity-type":"item","numeric-id":4751740,"id":"Q4751740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617408$F80C8EC5-B3CA-445C-8C6B-171736964071","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2617408","badges":[]}}}}}