{"entities":{"Q2596210":{"pageid":2606953,"ns":120,"title":"Item:Q2596210","lastrevid":78995633,"modified":"2026-05-06T12:54:47Z","type":"item","id":"Q2596210","labels":{"en":{"language":"en","value":"A theorem of Lusin."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2515389"}},"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":"Q2596210$91C955C9-D7E4-4A8C-B30B-DEA36BC00B94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c5c509879810b03f1722a544cc285ecb2b40d0","datavalue":{"value":{"text":"A theorem of Lusin.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2596210$50DB410E-4CAF-496E-8D68-7C26F46BF568","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974b56065ea432326479884aa6fd80053cff3628","datavalue":{"value":"64.0268.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596210$7A3936D9-5386-43D4-AD17-91CD41AB8075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71a7bddc3a4ffb996893725c6b73dd31f130eb66","datavalue":{"value":"10.1215/S0012-7094-38-00440-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596210$89B31F5F-62CA-4B46-BE95-4CEF4650B574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b0f1ff5b4b812f18963ba5b8abdbbb6ca7ff67","datavalue":{"value":{"entity-type":"item","numeric-id":767218,"id":"Q767218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596210$149AF66A-5ECC-4187-AF6A-E73A11AEED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd6c6da5a607c27713be470f4d51a351f6f3d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":6482460,"id":"Q6482460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596210$3BA0AD13-D46A-442B-8DF0-FFCAF7B84590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596210$2F7D2F7F-FA2D-43B4-B6AE-B68FF56F55B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2596210$A44E6BE5-A255-4C17-9D16-2E227735477E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cee3bb1bf4bbef17b03992f776ca4c1eee3ffd97","datavalue":{"value":"I. Eine in \\(|z|<1\\) analytische Funktion \\[ f(z)=\\sum_{n=0}^\\infty a_nz^n \\] hei\u00dft f\u00fcr ein \\(\\lambda>0\\) zur Klasse \\(H^\\lambda\\) geh\u00f6rig, wenn \\[ I_\\lambda(r,f)=\\frac1{2\\pi}\\int\\limits_0^{2\\pi}|f(re^{i\\theta})|^\\lambda d\\theta \\] f\u00fcr \\(r<1\\) beschr\u00e4nkt ist. Aus der Zugeh\u00f6rigkeit von \\(f(z)\\) zur Klasse \\(H^\\lambda\\) folgt f\u00fcr fast alle \\(\\theta\\) die Existenz des Randwerts \\[ f(e^{i\\theta})=\\lim_{z\\to e^{i\\theta}} f(z), \\] wenn \\(z\\) l\u00e4ngs irgendeines, den Einheitskreis nicht ber\u00fchrenden Wegs gegen \\(e^{i\\theta}\\) strebt. Ist \u00fcberdies \\(C\\) eine obere Schranke von \\(I_\\lambda(r,f)\\) in \\(r<1\\), so gilt \\[ \\int\\limits_0^{2\\pi}|f(e^{i\\theta})|^\\lambda d\\theta\\leqq C. \\] Unter \\(\\varGamma\\) werde eine einfachgeschlossene Kurve verstanden, die in \\(|z|\\leqq 1\\) liegt, mit \\(|z|=1\\) nur den Punkt 1 gemein hat und in einer Umgebung des Punkts 1 ganz in einem Winkelraum \\(|\\operatorname{arc} (1-z)|\\leqq \\dfrac\\pi2-\\delta\\) mit \\(\\delta>0\\) verl\u00e4uft. \\(\\varGamma_u\\) entstehe aus \\(\\varGamma\\) durch Drehung um \\(z=0\\) durch den Winkel \\(u\\), und \\(\\varOmega_u\\) sei das Innere von \\(\\varGamma_u\\). Endlich sei \\[ s(u)=\\Bigl(\\iint\\limits_{\\varOmega_u}|f'(z)|^2dxdy\\Bigr)^{\\frac12}, \\] also \\(s^2(u)\\) der Inhalt des durch \\(w=f(z)\\) vermittelten Bilds von \\(\\varOmega_u\\). Das Hauptresultat des Verf. ist die folgende Verallgemeinerung eines Satzes von \\textit{N. Lusin} (Bull. Calcutta math. Soc. 20 (1930), 139-154; F. d. M. \\(60_{\\text{II}}\\), 969): Geh\u00f6rt \\(f(z)\\) f\u00fcr ein \\(\\lambda>0\\) zur Klasse \\(H^\\lambda\\), so ist \\(s(u)\\) f\u00fcr fast alle \\(u\\) endlich und geh\u00f6rt zur Klasse \\(L^\\lambda\\). \u00dcberdies gilt \\[ \\left(\\int\\limits_0^{2\\pi}s^\\lambda(u)du\\right)^{\\tfrac1\\lambda}\\leqq A_{\\lambda,\\varGamma}\\left(\\int\\limits_0^{2\\pi} |f(e^{i\\theta})|^\\lambda d\\theta\\right)^{\\tfrac1\\lambda}, \\tag{1} \\] wo \\(A_{\\lambda,\\varGamma}\\) nur von \\(\\lambda\\) und \\(\\varGamma\\) abh\u00e4ngt. Der Beweis st\u00fctzt sich auf Resultate von \\textit{Hardy, Littlewood} und \\textit{Paley}. Dabei ist die Funktion \\[ g(\\theta)=\\left(\\int\\limits_0^1(1-\\varrho)|f'(\\varrho e^{i\\theta})|^2 d\\varrho\\right)^{\\frac12} \\] von Bedeutung. Verf. untersucht genauer die Beziehungen zwischen \\(g(\\theta)\\) und \\(s(u)\\) f\u00fcr Funktionen \\(f(z)\\) aus einer Klasse \\(H^\\lambda\\) mit \\(\\lambda >1\\), f\u00fcr die \\(f(0)=0\\) ist. Er findet, da\u00df keine Ungleichung \\[ s(u)\\leqq\\alpha g(u) \\] mit einer (m\u00f6glicherweise von \\(\\varGamma\\) abh\u00e4ngigen) Konstanten \\(\\alpha\\) gilt, wohl aber unter der zus\u00e4tzlichen Voraussetzung, da\u00df \\(\\varGamma\\) die reelle Achse in 1 unter positivem Winkel trifft, eine Ungleichung \\[ g(u)\\leqq \\beta s(u) \\tag{2} \\] mit nur von \\(\\varGamma\\) abh\u00e4ngigem \\(\\beta\\). Daraus folgt dann, da\u00df f\u00fcr die in Rede stehenden Funktionen \\(f(z)\\) und Kurven \\(\\varGamma\\) auch die Umkehrung von (1) gilt, d. h. es besteht die Ungleichung \\[ \\left(\\int\\limits_0^{2\\pi}|f(e^{i\\theta})|^\\lambda d\\theta \\right)^{\\tfrac1\\lambda}\\leqq B_{\\lambda,\\varGamma} \\left(\\int\\limits_0^{2\\pi} s^\\lambda(u)du\\right)^{\\tfrac1\\lambda} \\tag{3} \\] mit einer nur von \\(\\lambda\\) und \\(\\varGamma\\) abh\u00e4ngigen Konstanten \\(B_{\\lambda,\\varGamma}\\). II. In zwei weiteren Teilen der Arbeit werden Folgerungen aus dem \\textit{Lusin}schen Satz und den vorstehenden Resultaten (1)-(3) gezogen: 1) Es sei \\(f(z)\\) in \\(|z|<1\\) analytisch und \\(E\\) eine Punktmenge auf \\(|z|=1\\) von positivem Ma\u00df, f\u00fcr deren Elemente \\(e^{iu}\\) der Grenzwert \\[ f(e^{iu})= \\lim_{z\\to e^{iu}} f(z) \\] bei Ann\u00e4herung von \\(z\\) an \\(e^{iu}\\) l\u00e4ngs den Einheitskreis nicht ber\u00fchrender Wege existiert und endlich ist. Dann ist \\(s(u)\\) f\u00fcr fast alle Elemente \\(e^{iu}\\) von \\(E\\) endlich; dasselbe gilt f\u00fcr \\(g(u)\\). 2) Es seien \\(r\\), \\(p\\), \\(q\\) reelle Zahlen mit \\(r>1\\), \\(1