{"entities":{"Q2580018":{"pageid":2590761,"ns":120,"title":"Item:Q2580018","lastrevid":44392773,"modified":"2025-11-22T15:08:25Z","type":"item","id":"Q2580018","labels":{"en":{"language":"en","value":"Linear functionals and integrals in abstract spaces."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502502"}},"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":"Q2580018$BB04D9CB-29C9-43A2-A33B-08DE88A8D3D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12fe513a89bbb0516c53d8fd24f98b710b2e177c","datavalue":{"value":{"text":"Linear functionals and integrals in abstract spaces.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580018$E45C9A6B-A972-48C5-9CD7-206A2430C39D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b1d375bb91e4ca38e81bb2fde4409b98536052","datavalue":{"value":"67.0169.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580018$DF021D63-6945-4A8D-A9F1-2808C9FC207D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8110a91a091bbdca0aca7e4e032361c9d9eb8cf","datavalue":{"value":"10.1090/S0002-9904-1941-07524-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580018$555D2CC3-F987-4CFF-97D1-C17FD1867FC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80a3391547e5feed483f09e7d325c43945ab475a","datavalue":{"value":{"entity-type":"item","numeric-id":768271,"id":"Q768271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580018$C3A1A29E-947B-406E-88EF-DFD59DC876B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580018$A1146A87-E6FB-4D75-8C01-7ABBD911AD85","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":"Q2580018$797B35FC-50EB-43CE-A419-376B61525B06","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73ef3445ec75ea2ed54c086f07ee6afc97fb1bd9","datavalue":{"value":"I. Verf. geht aus von einer beliebigen Punktmenge \\(\\mathfrak P\\) als Definitionsbereich zweier linearer Systeme \\(\\mathfrak X\\) und \\(\\mathfrak Z\\) reeller Funktionen \\(x (p)\\) bzw. \\(z (p)\\). Dabei soll \\(\\mathfrak X\\) der Forderung gen\u00fcgen, da\u00df aus \\(x\\in \\mathfrak X\\) folgt \\(|x|\\in \\mathfrak X\\), w\u00e4hrend \\(\\mathfrak Z\\) aus allen \\(z\\) besteht, zu deren jeder eine (von \\(z\\) abh\u00e4ngige) Funktion \\(x\\in \\mathfrak X\\) existiert mit \\(|z| \\leqq x\\). \u00dcber \\(\\mathfrak X\\) als Definitionsbereich ist eine ``lineare'', ``positive'' reelle Funktion (Funktional) \\(I(x)\\) erkl\u00e4rt, f\u00fcr welche also \\(I(c_1x_1 + c_2x_2) = c_1 I(x_1) + c_2I(x_2)\\) und \\(I(x) \\geqq 0\\) f\u00fcr \\(x(p) \\geqq 0\\) gilt. Es werde gesetzt \\(I^*(z)=\\underset{z\\leqq x}  {\\underline{\\text{Grenze}}}\\;I(x)\\), \\(I_*(z) = \\underset{z\\geqq x}  {\\overline{\\text{Grenze}}}\\;I(x)\\). Ist dann \\(\\mathfrak Y\\) die Menge aller \\(y (p) \\in \\mathfrak Z\\) mit \\(I_*(y) = I^* (y)\\), so gilt \\(\\mathfrak X \\subset \\mathfrak Y\\), und es ist \\(\\mathfrak Y\\) linear; ferner l\u00e4\u00dft sich \\(I\\) nach \\(\\mathfrak Y\\) in ein lineares positives Funktional \\(L(y)\\) erweitern.  II. Mit Hilfe von \\(L\\) wird sodann ein \u00e4u\u00dferes Ma\u00df \\(m (\\mathfrak M)\\) f\u00fcr die Punktmengen \\(\\mathfrak M\\subset \\mathfrak P\\) folgenderma\u00dfen erkl\u00e4rt: Geh\u00f6rt die charakteristische Funktion \\(\\gamma_{\\mathfrak M}\\) von \\(\\mathfrak M\\) zu \\(\\mathfrak Y\\), so hei\u00dfe \\(\\mathfrak M\\) eine \\(M\\)-Menge, und es werde gesetzt \\(m (\\mathfrak M) = L(\\gamma_{\\mathfrak M})\\). Hingegen sei f\u00fcr beliebige \\(\\mathfrak M \\subset \\mathfrak P\\) gesetzt: \\(m(\\mathfrak M) = \\underline{\\text{Grenze}} L(\\gamma_{\\mathfrak F})\\), die \\(\\underline{\\text{Grenze}}\\) gebildet f\u00fcr alle \\(M\\)-Mengen \\(\\mathfrak F\\) mit \\(\\mathfrak M \\subset \\mathfrak F\\). Das entsprechend definierte innere Ma\u00df sei \\(m_*\\) (vgl. \\textit{E. T. Welmers}, Diss. Michigan 1936). F\u00fcr jede \\(M\\)-Menge \\(\\mathfrak Q\\) ist \\(m (\\mathfrak Q) = m_* (\\mathfrak Q)\\) und umgekehrt. Jede \\(M\\)-Menge ist auch im \u00fcblichen Sinne \\(m\\)-me\u00dfbar.  III. Es wird jetzt die weitere Forderung gestellt, da\u00df \\(I_*\\) \\((\\lim x_n) \\geqq \\lim I(x_n)\\) ist f\u00fcr jede fallende Folge nicht negativer \\(x_n\\in \\mathfrak X\\). Alsdann ist das System \\(\\mathfrak m\\) der \\(M\\)-Mengen volladditiv und enth\u00e4lt jede (im \u00fcblichen Sinne) \\(m\\)-me\u00dfbare Menge; ferner ist \\(m\\) ein regul\u00e4res \u00e4u\u00dferes Carath\u00e9odory-Ma\u00df. Jede Funktion \\(y \\in \\mathfrak Y\\) ist \\(m\\)-integrierbar, und es gilt \\(L(y) =\\int y\\,dm\\). Es sei jetzt \\(\\mathfrak U\\) ein linearer Raum reeller Funktionen \\(u\\) \u00fcber \\(\\mathfrak P\\), welcher \\(u(\\mathfrak P) = 1\\) und mit \\(u\\) auch \\(|u|\\) enth\u00e4lt; ist \\(K(u)\\) ein lineares positives Funktional \u00fcber \\(\\mathfrak U\\) mit \\(\\lim\\limits_n K(u_n) = 0\\) f\u00fcr jede fallende Nullfolge aus \\(\\mathfrak U\\), so existiert f\u00fcr \\(K\\) ein regul\u00e4res \u00e4u\u00dferes Ma\u00df \\(m_K\\) mit \\(K(u) = \\int u\\,dm_K\\) f\u00fcr \\(u \\in\\mathfrak U\\).  IV. Schlie\u00dflich wird noch ein Satz \u00fcber gliedweise Integrierbarkeit bewiesen, welcher sich auf ein im Sinne von Moore-Smith geordnetes System von me\u00dfbaren Funktionen \\(y_l \\in \\mathfrak Y\\) bezieht mit \\(|y_l(p)| \\leqq y_0(p)\\) wo \\(y_0 \\in \\mathfrak Y\\) integrabel ist, und wobei die \\(y_l\\) fast \u00fcberall derart gegen eine integrable Funktion \\(y (p)\\) konvergieren, da\u00df \\(|y_l(p) - y (p)|< \\varepsilon\\) f\u00fcr alle \\(l >l(\\varepsilon, p)\\); die Menge der zu festem \\(\\varepsilon\\) bei variablem \\(p\\) geh\u00f6rigen derartigen \\(l\\) soll dabei h\u00f6chstens abz\u00e4hlbar unendlich sein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580018$093F1B5A-6FCE-4CEA-8179-8FC845584FC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4211be073ffa5392786ed13751432199bb4506e","datavalue":{"value":"2502502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580018$762DCE8A-F15F-48D9-BE1E-DAFCA5F71FED","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":"Q2580018$FF52ADC0-2C8F-48D5-BFB9-A7BD0F3B62A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580018"}}}}}