{"entities":{"Q2617366":{"pageid":2628109,"ns":120,"title":"Item:Q2617366","lastrevid":79124240,"modified":"2026-05-06T13:12:05Z","type":"item","id":"Q2617366","labels":{"en":{"language":"en","value":"The theory of integration in a space of an infinite number of dimensions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537982"}},"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":"Q2617366$ACBDA992-9B80-46B8-A474-89B74A7044B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a87e2538b113b319b3604e55e416e0084dea8218","datavalue":{"value":{"text":"The theory of integration in a space of an infinite number of dimensions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2617366$7C591C7C-57AE-4927-818C-84B43E94E426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73df6824dd3b21035a12a7ba49077ffa6f245857","datavalue":{"value":"60.0328.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617366$53F4817D-1A5D-4C1F-A5B6-3EAE5A7B0ECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0b6f58345bf8e61f24f51f49934c3c5e5ad6022","datavalue":{"value":"10.1007/BF02547355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617366$0EF31310-FA94-47AB-A08D-38742756A2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$A7E8E33B-6F17-44EF-9982-F0B57FCA15EE","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":"Q2617366$2DD25A12-1B1D-4037-B725-1873DEB9C3C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8ebc6f64082fa560a46eab3589b34c6d9d68764","datavalue":{"value":"Die Arbeit enth\u00e4lt eine zusammenh\u00e4nge Dartstellung und Forf\u00fchrung der Untersuchungen des Verf. \u00fcber den im Titel genannten Gegenstand. Zugrunde gelegt wird der unendlich-dimensionale ``Torusraum''  \\[ Q_\\omega :\\quad \\begin{matrix} \\\\0\\leqq x_1\\leqq 1,\\\\0\\leqq x_2\\leqq 1,\\\\\\hdotsfor 1\\\\0\\leqq x_n\\leqq 1,\\\\ \\hdotsfor 1\\\\\\hdotsfor 1,\\end{matrix}  \\] desen Koordinaten \\(x_1, x_2, x_3,\\dots \\) auf Kreisen \\(c_2, c_2, c_3,\\dots \\) der L\u00e4nge 1 variieren. Eine Folge von Punkten \\(x^{(n)}=\\left (x_1^{(n)}, x_2^{(n)}, x_3^{(n)}, \\dots \\right )\\) hei\u00dft konvergent gegen \\(x=(x_1, x_2, x_3,\\dots )\\), wenn \\(x_\\varkappa ^{(n)}\\rightarrow x_\\varkappa \\) f\u00fcr \\(n\\rightarrow \\infty \\). Ist \\(b_\\varkappa \\) ein Bogen von \\(c_\\varkappa \\), der \\(x_\\varkappa \\) enth\u00e4lt, so ist das Intervall \\(I=(b_1, b_2, b_3,\\dots )\\) eine Umgebung von \\(x\\). Es gilt der \\textit{Heine-Borel}sche und \\textit{Lindel\u00f6f}sche \u00dcberdeckungsatz. Wie \u00fcblich hei\u00dft eine Funtion \\(f(x)=f(x_1, x_2, x_3,\\dots )\\) in \\(Q_\\omega \\) nur solche Intervalle \\(I=(b_1, b_2, b_3,\\dots )\\) herangezogen werden, die einen von Null verschiedenen Inhalt haben, f\u00fcr die also nur endlich viele der B\u00f6gen \\(b_\\varkappa \\) von dem Kreis \\(c_\\varkappa \\) verschieden sind. Tut man dies, so lassen sich die Begriffe des \\textit{Lebesgue}schen und \\textit{Jordan}schen Ma\u00dfes sowie des \\textit{Lebesgue}schen und \\textit{Riemann}schen Integrals sinngem\u00e4\u00df\\^^Mverallgemeinern. Um die Integrals\u00e4tze auf die entsprechenden in einer Dimension zur\u00fcckzuf\u00fchren, wird der Satz bewiesen, da\u00df\\ sich \\(Q_\\omega \\), abgesehen von einer Nullmenge, umkehrbar eindeutig auf den \\(n\\)-dimensionalen \\((n=1,2,3,\\dots )\\) Raum abbilden l\u00e4\u00dft, und zwar derart, da\u00df\\ das innere und \u00e4u\u00dfere Ma\u00dfentsprechender Mengen dabei erhalten bleibt. Unter dem ``unbestimmten Integral'' \u00fcber eine Menge \\(E\\) in \\(Q_\\omega \\) wird \\(F(E)=\\int \\limits _Ef(x)dw_\\omega \\) verstanden. Die \\textit{Lebesgue}sche Bedingung daf\u00fcr, da\u00df\\ eine Mengenfunktion \\(F(E)\\) unbestimmtes Integral von einer Funktion \\(f(x)\\) ist, bleibt auf Grund des Abbildungsprinzips erhalten. F\u00fcr das bestimmte Integral gilt die Darstellung  \\[ \\int \\limits _{Q_\\omega }f(x)dw_\\omega =\\underset {n\\rightarrow \\infty } \\lim \\int \\limits _{c_n}dx_n\\dotsc \\int \\limits _{c_2}dx_2\\int \\limits _{c_1}f(x_1,x_2,x_3,\\dotsc )dx_1.\\leqno (1) \\]  Ist ferner \\(f(x)\\) integrabel, so gilt fast \u00fcberall in \\(Q_\\omega \\)  \\[ f(x)=\\underset {n\\rightarrow \\infty } \\lim \\left \\{\\underset {p\\rightarrow \\infty } \\lim \\int \\limits _{c_{n+p}}dx_{n+p}\\dots \\int \\limits _{c_{n+2}}dx_{n+2}\\int \\limits _{c_{n+1}}f(x_1,x_2,x_3,\\dots )dx_{n+1} \\right \\}.\\leqno (2) \\] F\u00fcr das Folgende sind die drei Funktionen wichtig:  \\[ f_n(x)=\\int \\limits _{\\left (c_{n+1},c_{n+2},c_{n+3},\\dots \\right )}f(x_1,x_2,x_3,\\dots )dw_\\omega \\quad \\left ( \\text{h\u00e4ngt nur von }x_1,\\dots,x_n\\text{ ab}\\right ), \\]   \\[ f_{n,\\omega }(x)=\\int \\limits _{c_n}dx_n\\dotsc \\int \\limits _{c_2}dx_2\\int \\limits _{c_1}fdx_1\\quad (\\text{h\u00e4ngt nur von }x_{n+1},x_{n+2},\\dots \\text{ ab}) \\] und die Funktion \\(\\varDelta _n(x)\\), welche analog der Treppenfunktion im \\(n\\)-dimensionalen Raum gebildet ist. Dann gilt:  \\[ f_n(x)\\rightarrow f(x),\\quad f_{n,\\omega }\\rightarrow \\int \\limits _{Q_\\omega }f(x)dw_\\omega,\\quad \\varDelta _n(x)\\rightarrow f(x)\\leqno (3) \\] bis auf eine Nullmenge. Die beiden ersten Tatsachen sind mit (2) und (1) identisch.   Wenn f\u00fcr me\u00dfbares \\(f(x)\\) und \\(p\\geqq 1\\) auch \\(|f(x)|^p\\) \u00fcber \\(Q_\\omega \\) integrabel ist, geh\u00f6rt \\(f\\) zur Klasse \\(L_p\\). Der Abstand von \\(f\\) und \\(g\\) wird durch \\[ D_p(f,g)=\\left [\\int \\limits _{Q_\\omega }|f-g|^pdw_\\omega \\right ]^{\\frac 1p} \\]  erkl\u00e4rt. Ist \\(D_p(f,h_n)\\rightarrow 0\\) f\u00fcr die Funktionenfolge \\(h_1(x),h_2(x),\\dots \\) mit \\(n\\rightarrow \\infty \\), so hei\u00dft \\(h_n\\) gegen \\(f\\) im Mittel konvergent. Die Relationen (3) gelten nun, wenn \\(f\\) in \\(L_p\\) liegt, auch im Sinne mittlerer Konvergenz. Die Theorie der orthogonalen Funktionensysteme sowie der \\textit{Riesz-Fischer}sche Satz \u00fcbertragen sich nach dem Abbildungsprinzip.  Zur Verallgemeinerung der \\textit{Fourier}reihen werden Ausdr\u00fccke der Form  \\[ e^{2\\pi i(x_1p_1+x_2p_2+x_3p_3+\\dots )}\\quad (p_\\varkappa =0,\\pm 1,\\pm 2,\\dots ), \\]  betrachtet, wobei, damit ein endlicher Wert herauskommt, nur endlich viele \\(p_\\varkappa \\neq 0\\) sein d\u00fcrfen. In abgek\u00fcrzter Schreibweise: \\(p=(p_1,p_2,p_3,\\dots ),e^{2\\pi ipx}\\).  Die \\textit{Fourier}reihe lautet nun \\[ f(x)\\thicksim \\sum \\limits _pc_pe^{2\\pi ipx},\\quad c_p=\\int \\limits _{Q_\\omega }fe^{-2\\pi ipx}dw_\\omega. \\]   Durch sie ist \\(f(x)\\) eindeutig bestimmt. Geh\u00f6rt \\(f\\) zu \\(L_2\\), so gilt die \\textit{Parseval}sche Gelichung. Hat die Reihe von \\(f(x)\\) die spezielle Form \\[ \\sum \\limits _{\\varkappa =1}^\\infty a_\\varkappa e^{2\\pi ix_\\varkappa },\\leqno (4) \\]  so konvergiert sie stets fast \u00fcberall gegen \\(f(x)\\). Dies folgt aus \\(f_n(x)=\\sum \\limits _{\\varkappa =1}^na_\\varkappa e^{2\\pi ix_\\varkappa }\\) und der ersten Gleichung (3). (4) konverigiert zugleich mit \\(\\sum \\limits _{\\varkappa =1}^\\infty |a_\\varkappa |^2\\). Die S\u00e4tze von \\textit{Paley} und \\textit{Zygmund} (1930; F. d. M. \\(56_{\\text I}\\), 254) lassen sich f\u00fcr Reihen der Form (4) aussprechen.   \\textit{Birkhoff}s ``Ergodic Theorem'' bekommt folgende Gestalt:   Bei gegebener Folge \\(\\mu _\\varkappa \\) werde \\(\\mu t=(\\mu _1t,\\mu _2t,\\mu _3t,\\dots )\\) gesetzt; dann existiert \\[ M_t\\left \\{f(x+\\mu t)\\right \\}=\\underset {T\\rightarrow \\infty } \\lim \\frac 1T\\int \\limits _{-T}^0fdt=\\varphi (x) \\]  fast \u00fcberall, und es ist \\(\\int \\limits _{Q_\\omega }\\varphi (x)dw_\\omega =\\int \\limits _{Q_\\omega }f(x)dw_\\omega \\).  Zur Untersuchung der fastperiodischen Funktionen wird die Definition von \\textit{Besicovitch} zugrunde gelegt (B. f. p.) Die Reihe \\[ \\sum \\limits _{\\varkappa =1}^\\infty a_\\varkappa e^{2\\pi ix}\\varkappa e^{i\\lambda _\\varkappa t} \\]  stellt dann und nur dann fast \u00fcberall in \\(Q_\\omega \\) eine B. f. p. Funktion dar, wenn \\(\\Sigma |a_\\varkappa |^2\\) konvergiert. Jetzt werden Reihe der Form \\[ f(x,s)=\\sum \\limits _{\\varkappa =1}^\\infty a_\\varkappa e^{2\\pi ix_\\varkappa } e^{\\lambda _\\varkappa s}\\quad (s=\\sigma +it)\\leqno (5) \\] betrachtet. Wenn \\(\\sum \\limits _{\\varkappa =1}^\\infty |a_\\varkappa |^2 e^{2\\lambda _\\varkappa \\sigma }\\) genau f\u00fcr \\(a\\underset {(=)} <\\sigma \\underset {(=)} <\\beta \\) konvergiert, so ist \\(f(s,x)\\) im Streifen \\(\\alpha <\\sigma <\\beta \\) regul\u00e4r, aber f\u00fcr fast alle \\(x\\) in \\(Q_\\omega \\) nicht dar\u00fcber hinaus forsetzbar. Stets aber ist (5) fast \u00fcberall in \\(Q_\\omega \\) die \\textit{Dirichlet}sche Reihe einer B. f. p. Funktion, in jedem Teilstreifen von \\(<\\alpha,\\beta >\\).   Endlich werden nochmals Funktionen der Form  \\[ f(x)=\\sum \\limits _{\\varkappa =1}^\\infty g_\\varkappa (s)e^{2\\pi ix_\\varkappa } \\]  betrachtet, wobei jedoch \\(\\sum \\limits _{\\varkappa =1}^\\infty |a_\\varkappa |\\) konvergieren soll und wenigstens f\u00fcnf der Zahlen \\(a_\\varkappa \\) von Null verschieden sind. \\(E\\) sei eine me\u00dfbare Menge der \\(z\\)-Ebene, und \\(\\varOmega (E)\\) bezeichne die Menge der \\(x\\) aus \\(Q_\\omega \\), f\u00fcr die \\(f(x)\\) in \\(E\\) liegt. Dann ist \\(\\varOmega (E)\\) f\u00fcr alle \\(E\\) me\u00dfbar, und die ``Verteilungsfunktion'' \\(m\\varOmega (E)\\) ist das unbestimmte Integral einer stetigen Funktion. Der \\textit{Weyl}sche Gleichverteilungssatz l\u00e4\u00dft sich auf \\(Q_\\omega \\) \u00fcbertragen.   \u00c4hnliche S\u00e4tze gelten f\u00fcr die Verteilungsfunktion einer analytischen Funktion  \\[ f(s,x)=\\sum \\limits _{\\varkappa =1}^\\infty g_\\varkappa (s)e^{2\\pi ix_\\varkappa }, \\]  wenn \\(g_\\varkappa (s)\\) in einem Bereich \\(D\\) analytisch ist und \\(\\sum \\limits _{\\varkappa =1}^\\infty \\text{fin}\\sup |g_\\varkappa (s)|\\) in einem Teilbereich konvergiert, sowie f\u00fcr f. p. Funktionen der Form (5), wenn \\(\\sum \\limits _{\\varkappa =1}^\\infty |a_\\varkappa | e^{\\lambda _\\varkappa \\sigma }\\) f\u00fcr \\(\\alpha <\\sigma <\\beta \\) konvergiert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2617366$50C79238-523A-4BC6-9A13-FDC8CF0DFD35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"418c0988aaa29dc929e476d3a957c77a99c3b236","datavalue":{"value":"2537982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617366$B192C9D4-F499-4D85-94BA-400F9159D094","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43892b760134d13cff035a6bf0bb88b3779317f0","datavalue":{"value":"Q93586054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617366$50CC3EF1-1D54-41ED-A2F4-1FF56721030D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P12","hash":"d05e7b8957567bca5b690e6720128d0bd3dddf96","datavalue":{"value":"Q109779507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617366$2B00FD52-A2D2-405D-96C8-95421173BF7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc0d03bdf97778fe74c39bb99cbf4938fe7cd1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1565770,"id":"Q1565770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$39590249-2BC2-4B5E-A4E1-13248A675CFA","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":"Q2617366$27CAC3EA-B969-4995-9E32-FAA2BD5691DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdcdacff001c07c6af9bf867a5f93fa5af75b95","datavalue":{"value":{"entity-type":"item","numeric-id":1840121,"id":"Q1840121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$C76C0986-66B7-40B0-89AF-72BD08710ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b017f132631dd417b91db01acc5689a989f1be","datavalue":{"value":{"entity-type":"item","numeric-id":1565730,"id":"Q1565730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$E21EA89A-18AA-4552-BAD9-B5FEF5DF270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591b1e1784dfe5b07dacab5c78f4a8227b26ef04","datavalue":{"value":{"entity-type":"item","numeric-id":4334587,"id":"Q4334587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$2AB8ACDA-4E9A-42F4-85A7-B660B2B93ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5340ad21e1a5b5e3b4bbba309497ba968d1ccedf","datavalue":{"value":{"entity-type":"item","numeric-id":1839713,"id":"Q1839713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$71027F4B-55FC-4A41-B4E1-22083116C95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9854d7d5684c61f055e5b8835463d29ba7548732","datavalue":{"value":{"entity-type":"item","numeric-id":5906744,"id":"Q5906744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$B7E13F85-9D5A-44C3-8BFB-12E97E192D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d458fa24542f93b1d408f35a4d5c7754bbb587","datavalue":{"value":{"entity-type":"item","numeric-id":1839815,"id":"Q1839815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2617366$2DA03306-9F99-4D5D-AD67-2C9EA9FE564E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e12b79b5a1ef20b4ae173c48a148e73dcf720c","datavalue":{"value":"https://doi.org/10.1007/bf02547355","type":"string"},"datatype":"url"},"type":"statement","id":"Q2617366$B80AE08C-E503-43BC-8142-BAD37FD8CDE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2008d0576212b0a9c406104f4326c64ab8175dd7","datavalue":{"value":"W2003208363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2617366$4DB528D3-B1D1-4242-AC48-38920B93F306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theory of integration in a space of an infinite number of dimensions.","badges":[]}}}}}