{"entities":{"Q2580586":{"pageid":2591329,"ns":120,"title":"Item:Q2580586","lastrevid":44399916,"modified":"2025-11-22T16:38:57Z","type":"item","id":"Q2580586","labels":{"en":{"language":"en","value":"Lebesgue theory on a Boolean algebra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500349"}},"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":"Q2580586$5D4FCB52-6229-419E-909C-237CA864E740","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab7263cb5be8a3d4ca168bc1cb2443835392a769","datavalue":{"value":{"text":"Lebesgue theory on a Boolean algebra.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580586$AE397674-315A-4189-8CC1-339DDA87D9A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9762b2bff1d05e23e389581e2fa0748303125cc9","datavalue":{"value":"68.0112.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580586$435B8ABC-0DAE-45A9-AE48-671F74DE3CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d109cfbb9a3c83abd588f2cdf7dc0b55b0b6866","datavalue":{"value":"10.1090/S0002-9947-1942-0006593-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580586$520A71A0-123F-418D-9D4A-90403F087612","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":"Q2580586$9F9409BE-2DCA-444E-BB30-A67F9FCC8ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-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":"Q2580586$890611D4-166A-4130-B4C7-8BB8C3984FEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"178b86e221e030857f6d320cb79de39221755fc9","datavalue":{"value":"Kap. I. Mit jeder \u00fcberall endlichen reellen Funktion \\(f(x)\\) ist die Mengenfunktion \\(E(\\alpha )=E[f(x)>\\alpha ]\\) verkn\u00fcpft, durch die umgekehrt wieder \\(f(x)\\) bestimmt ist. Diese Funktionen \\(E(\\alpha )\\) werden nun in folgender Weise f\u00fcr allgemeine Boolesche Algebren, statt f\u00fcr Mengenk\u00f6rper eingef\u00fchrt:  \\(B\\) sei eine \\(\\sigma \\)-vollst\u00e4ndige Boolesche Algebra. \\(\\varOmega \\) sei die Menge aller Funktionen \\(f(\\alpha )\\) mit reellen Argumenten und Werten in \\(B\\) mit den Eigenschaften: 1) \\(f(\\alpha )\\) ist monoton fallend, wenn \\(\\alpha \\) monoton w\u00e4chst. 2) \\(\\lor_\\alpha f(\\alpha )=1\\), \\(\\land_\\alpha f(\\alpha )=0\\). 3) \\(\\lor_{\\beta >\\alpha }f(\\beta )=f(\\alpha )\\) f\u00fcr jedes \\(\\alpha \\). In \\(\\varOmega \\) wird durch \\(f\\leqq g\\), wenn \\(f(\\alpha )\\leqq g(\\alpha )\\) f\u00fcr alle \\(\\alpha \\), eine Ordnung eingef\u00fchrt, bez\u00fcglich deren \\(\\varOmega \\) eine teilweise geordnete Menge wird. Ferner wird durch \\(f+g=\\lor_\\beta \\land\\,[f(\\beta ), g(\\alpha -\\beta )]\\) eine Addition erkl\u00e4rt (\\(\\beta \\) durchl\u00e4uft dabei irgend eine abz\u00e4hlbare dichte Menge reeller Zahlen), ferner wird \\(\\beta f=f(\\alpha /\\beta )\\) f\u00fcr \\(\\beta >0\\),\\newline \\(-f(\\alpha )=1-\\kern-5pt\\underset{\\varrho <-\\alpha }{\\land}\\kern-4pt f(\\varrho )\\) und \\(0=0(\\alpha )=\\begin{cases} 0,\\;\\text{f\u00fcr}\\;0\\leqq \\alpha \\\\ 1\\;\\text{f\u00fcr}\\;\\alpha <0\\end{cases}\\) gesetzt. Dadurch wird \\(\\varOmega \\) zu einem \\(\\sigma \\)-vollst\u00e4ndigen \\(F\\)-Raum (darunter versteht Verf. einen teilweise geordneten linearen Raum mit Einheitselement im Sinn von \\textit{Freudenthal}, Proc. Akad. Wet. Amsterdam 89 (1936), 641-651; JFM 62.0091.*). In \\(\\varOmega \\) l\u00e4\u00dft sich ferner eine Multiplikation einf\u00fchren, die f\u00fcr positive \\(f\\) und \\(g\\) so aussieht:  \\[ fg(\\alpha )=1\\;\\;\\text{f\u00fcr}\\;\\,\\alpha <0,\\;\\;=\\lor_{\\varrho >0}\\,\\land\\,[f(\\varrho ), g(\\alpha /\\varrho )]\\;\\;\\text{f\u00fcr}\\;\\,\\alpha \\geqq 0; \\]  \\(\\varrho \\) durchl\u00e4uft dabei ein abz\u00e4hlbares dichtes System positiver reeller Zahlen. \\(\\varOmega \\) wird ein kommutativer Ring. In \\(\\varOmega \\) ist dicht der Ring der einfachen Funktionen, d. h. der Funktionen mit nur endlich vielen Werten.  Kap. II. \\(F\\) sei ein \\(F\\)-Raum. Die Gesamtheit der Elemente \\(e\\) aus \\(F\\) mit \\(\\land(e, 1-e)=0\\) bildet eine Boolesche Algebra \\(B\\). Nach \\textit{Freudenthal} (a. a. \\(O\\).) wird jedem \\(a\\in F\\) ein \\(e(a)\\) aus \\(B\\) zugeordnet durch den Proze\u00df \\(e(a)=\\kern-3pt\\underset{n=1}{\\overset{\\infty }{\\lor}}\\kern-2pt\\land\\,[(na)^+, 1]\\). Wird nun jedem \\(c\\in F\\) die Funktion \\(f(\\alpha )=e(c-\\alpha )\\) zugeordnet, so bilden diese \\(f(\\alpha )\\) einen Teilraum \\(\\varPhi \\) des zu \\(B\\) nach Kap. I konstruierten \\(\\varOmega \\). \\(\\varPhi \\) ist isomorph zu \\(F\\), so da\u00df \\(\\varOmega \\) eine Erweiterung von \\(F\\) ist. Wird auf \\(\\varOmega \\) der Proze\u00df noch einmal angewandt, so erh\u00e4lt man \\(\\varOmega \\) wieder. \\(\\varOmega \\) hat dieselbe Boolesche Algebra \\(B\\) wie \\(F\\).  Kap. III. Eine Funktion aus \\(\\varOmega \\) hei\u00dft beschr\u00e4nkt, wenn es \\(\\alpha \\) und \\(\\beta \\) gibt mit \\(f(\\alpha )=0\\), \\(f(\\beta )=1\\). Wird f\u00fcr eine positive beschr\u00e4nkte Funktion \\(\\|\\,f\\,\\|= \\text{l. u. b.}\\; \\{\\alpha \\}\\) aller \\(\\alpha \\) mit \\(f(\\alpha )>0\\) gesetzt, und f\u00fcr beliebiges \\(f\\;\\|\\,f\\,\\|=\\|\\,\\,|\\,f\\,|\\,\\,\\|\\), so wird die Menge \\(M\\) der beschr\u00e4nkten Funktionen aus \\(\\varOmega \\) zu einem vollst\u00e4ndigen normierten Raum.  Kap. IV. Eine \\(\\sigma \\)-vollst\u00e4ndige Boolesche Algebra hei\u00dft vom Typ \\(B_\\mu \\), wenn in ihr ein reelles Ma\u00df \\(\\mu (a)\\) mit den Eigenschaften \\(0\\leqq \\mu \\leqq 1\\), \\(\\mu (a)=0\\leftrightarrow a=0\\), \\(\\mu (1)=1\\), \\(\\mu (\\lor(a,b))=\\mu (a)+\\mu (b)\\) f\u00fcr \\(a\\), \\(b\\) mit \\(\\land(a,b)=0\\), aus \\(a_n\\Downarrow 0\\) folgt \\(\\mu a_n\\Downarrow 0\\), erkl\u00e4rt ist. Ein \\(F\\)-Raum hei\u00dft normiert vom Typus \\(F^p\\), \\(p\\geqq 1\\), wenn in ihm eine Norm \\(\\|\\,f\\,\\|\\) erkl\u00e4rt ist, die den Bedingungen gen\u00fcgt: Aus \\(f<g\\Rightarrow\\|\\,f\\,\\|<\\|\\,g\\,\\|\\), aus \\(f_n\\Downarrow 0\\) bzw. \\(f_n\\Uparrow\\infty \\Rightarrow\\|\\,f_n\\,\\|\\Downarrow0\\) bzw. \\(\\|\\,f_n\\,\\|\\Uparrow\\infty \\), aus \\(\\land(f,g)=0\\Rightarrow\\|\\,f+g\\,\\|^p=\\|\\,f\\,\\|^p+\\|\\, g\\,\\|^p\\). Die Boolesche Algebra eines \\(F^p\\) wird durch die Festsetzung \\(\\mu (a)=\\|\\,a\\,\\|^p\\) zu einer \\(B_\\mu \\). Ist eine \\(B_\\mu \\) gegeben, so l\u00e4\u00dft sich f\u00fcr die positiven Funktionen aus \\(\\varOmega \\;\\int f^p\\,d\\mu \\) erkl\u00e4ren; \\(M^p\\) sei die Menge aller \\(f\\in \\varOmega \\) mit \\(\\|\\,f\\,\\|=\\bigl[\\int f^p\\,d\\mu \\bigr]^{\\tfrac{1}{p}}<\\infty \\), \\(\\varLambda _p\\) der Teilraum aller \\(f\\) aus \\(\\varOmega \\) mit \\(|\\,f\\,|\\in M^p\\). \\(\\varLambda _p\\) is ein \\(F^p\\)-Raum und jeder \\(F^p\\)-Raum ist isomorph dem \\(\\varLambda _p\\), der aus der Booleschen Algebra von \\(F^p\\) gebildet ist.  Kap. V. Eine reellwertige Funktion \\(\\xi (a)\\), \\(a\\) aus einer \\(B_\\mu \\), hei\u00dft absolut stetig, wenn zu jedem \\(\\alpha >0\\) ein \\(\\beta >0\\) geh\u00f6rt, so da\u00df \\(\\mu (\\alpha )<\\beta \\Rightarrow|\\,\\xi (a)\\,|<\\alpha \\). Der lineare Raum aller additiven absolut stetigen Funktionen auf \\(B_\\mu \\) werde mit \\(AC\\) bezeichnet. Sei andererseits \\(\\varLambda _1\\) der in Kap. IV erkl\u00e4rte Raum \u00fcber \\(B_\\mu \\). \\(\\varLambda _1\\) und \\(AC\\) sind isomorph, ein \\(\\xi (a)\\) aus \\(AC\\) ist das unbestimmte Integral \u00fcber ein \\(f\\) aus \\(\\varLambda _1\\) aus dem man umgekehrt durch Differentiation \\(\\xi (a)\\) wiedergewinnen kann.  Kap. VI. Die Bedingungen f\u00fcr die Regularit\u00e4t von \\(\\varOmega \\) im Sinn von \\textit{Kantorovitch} (Rec. math., Moscou, (2) 2 (1937), 121-165; JFM 63.0353.*) werden auf die zugeh\u00f6rige Boolesche Algebra \u00fcbertragen; ist sie vom Typ \\(B_\\mu \\), so ist sie regul\u00e4r. F\u00fcr die \\(\\varLambda _p\\) gilt die H\u00f6ldersche Ungleichung, jedes lineare Funktional \\(A(f)\\) in \\(\\varLambda _p\\), \\(p > 1\\), ist von der Form \\(\\int fg\\,d\\mu \\) mit \\(g\\in \\varLambda _q\\), \\(1/p + 1/q = 1\\), und die Norm von \\(g\\) in \\(\\varLambda _q\\) ist gleich \\(\\|\\,A\\,\\|\\). F\u00fcr \\(\\varLambda _1\\) gilt ein analoger Satz mit \\(g\\) im Raum der beschr\u00e4nkten Funktionen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580586$E7946790-92B1-4EA5-B8BF-BD984B3A879D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd8050cf63822f1761b14a70a6649f1d1a203eca","datavalue":{"value":"2500349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580586$F54C23B7-CB60-4B6C-A82F-1C2476D59931","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9876e5f528901887cd94337ad8bddcdc9330d6a9","datavalue":{"value":"Q108809409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580586$33311B67-BC4F-49A6-BECC-66CC2C121099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec06e5800e962779ed0d0e9f306a2ab16f1dcac","datavalue":{"value":{"entity-type":"item","numeric-id":1188677,"id":"Q1188677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$905DCFC6-DFFA-4462-A1CA-814348283192","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":"Q2580586$E654538D-C6ED-4CE8-A446-F964E6433A05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b649fe66b7ab3492abe5d106b6a818d9bb5579","datavalue":{"value":{"entity-type":"item","numeric-id":5763026,"id":"Q5763026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$E022D4F7-9338-4FA1-8108-64208E940563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc2dc009030cb36d866fd18074cd7bdf4495081","datavalue":{"value":{"entity-type":"item","numeric-id":5768777,"id":"Q5768777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$006609EF-5524-4EF2-B477-4CDA29D841E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$204E7B48-4C3B-4FBC-B4F3-658FE822944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75afe04a6480128c8f8c8b2efcdf9af9ab77a657","datavalue":{"value":{"entity-type":"item","numeric-id":2646389,"id":"Q2646389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$F82D35CD-9A2F-4AD6-88C0-62DCF9AF1227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482b34b434ba9b1340d9c30ace6d98c528ebe5c6","datavalue":{"value":{"entity-type":"item","numeric-id":2646762,"id":"Q2646762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$A6E50EEB-2345-48B6-B71A-B9046BF015A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f06ac1d02897f09baad3a30d7c113f2b2da766e","datavalue":{"value":{"entity-type":"item","numeric-id":2646553,"id":"Q2646553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580586$2BB9F0AF-012A-4DE9-95FB-CD9E087AA271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580586"}}}}}