{"entities":{"Q2597652":{"pageid":2608395,"ns":120,"title":"Item:Q2597652","lastrevid":44434764,"modified":"2025-11-22T22:03:28Z","type":"item","id":"Q2597652","labels":{"en":{"language":"en","value":"Les propri\u00e9t\u00e9s tangentielles des ensembles euclidiens de points."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2516806"}},"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":"Q2597652$A62E11A1-58E6-4ECE-8B8B-75FAEF8129CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"173853b7e5bbf990d570996b533ce5f397471d4f","datavalue":{"value":{"text":"Les propri\u00e9t\u00e9s tangentielles des ensembles euclidiens de points.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2597652$9B79CC0B-ACFD-4472-B45F-BF76EE92F50F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23598de1e918a802ad986e73d5bf97f0c44535a4","datavalue":{"value":"64.0703.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2597652$1CB4E3F0-1643-44B1-9109-7A1A78D2DF8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02aec9ede7a532decf03e74a8ab1802232306efd","datavalue":{"value":"10.1007/BF02547711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2597652$E8B8C0F1-8EB0-4978-910C-436AB6035EA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843795e78ef0f13a10a0d84178aa4543138e77f0","datavalue":{"value":{"entity-type":"item","numeric-id":2578582,"id":"Q2578582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2597652$18F9F9F2-1A73-49F6-A9BC-B9C443C511B5","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":"Q2597652$E3056CE5-9544-41CB-99C0-FC12785BD801","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":"Q2597652$98A64A80-821F-4139-8444-4CF634A121E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdf22f95e02833494822706e9cf3a868940221b6","datavalue":{"value":"https://eudml.org/doc/192877","type":"string"},"datatype":"url"},"type":"statement","id":"Q2597652$3EEDD2E5-FCCF-431E-AA7D-FEDA1DF60F23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3c186539c01ec9d02e815200e8bb6228bb43916","datavalue":{"value":"Die Arbeit gibt Verallgemeinerungen der \\textit{Denjoy}schen S\u00e4tze \u00fcber die Derivierten beliebiger (also nicht notwendig eindeutiger) reeller endlicher Funktionen einer reellen Ver\u00e4nderlichen auf solche von \\(n\\) Ver\u00e4nderlichen. Allgemeiner zu reden handelt es sich um S\u00e4tze \u00fcber das Verhalten der \\textit{Halbtangentenmengen,} \\(\\mathfrak H(\\mathfrak M;\\;P)= \\mathfrak H(\\overline {\\mathfrak M};\\;P)\\) (``Kontingent'' im Sinne von \\textit{Bouligand}) in ``nahezu'' allen Punkten \\(P\\) der betrachteten, in einem euklidischen \\(n\\)-dimensionalen Raume \\(E_n\\) gelegenen Menge \\(\\mathfrak M\\) bzw. ihrer abgeschlossenen H\u00fclle \\(\\overline {\\mathfrak M}\\). Wiewohl Voranzeigen \u00fcber die Ergebnisse der Arbeit bereits besprochen wurden (C. R. Acad. Sci., Paris, 201 (1935), 871-873; 202 (1936), 377-380, 1403-1405; 203 (1936), 1311-1313 (JFM 61.0729.*; 62\\(_{\\text{I}}\\), 800, 802); ferner \\textit{Saks}, Fund. math., Warszawa 26 (1936), 234-240; JFM 62.0799.*), erscheint eine Zusammenfassung ihres Inhaltes angebracht. Als \\textit{bilateralen Teil} \\(\\mathfrak B(\\mathfrak M;\\;P)\\) von \\(\\mathfrak H(\\mathfrak M;\\;P)\\) bezeichne man die Gesamtheit aller Geraden durch \\(P\\), deren \\textit{beide} Halbgeraden zu \\(\\mathfrak H(\\mathfrak M;\\;P)\\) geh\u00f6ren; eine abgeschlossene Menge von Geraden, welche s\u00e4mtlich durch \\(P\\) gehen, werde mit \\(\\mathfrak A(P)\\) bezeichnet. Ohne Ma\u00df theorie ergibt sich zun\u00e4chst: \\ I. \\ Satz: Die Menge der \\(P\\subset \\overline {\\mathfrak M}\\), in deren jedem eine zu \\(\\mathfrak B(\\overline {\\mathfrak M};\\;P)\\) fremde \\(\\mathfrak A (P)\\) existiert, ist enthalten in einer Summe von (h\u00f6chstens) abz\u00e4hlbar vielen abgeschlossenen Mengen \\(\\mathfrak F_\\nu \\), so beschaffen, da\u00df \\(\\mathfrak H(\\mathfrak F_\\nu ;\\;P)\\) fremd ist zu \\(\\mathfrak A (P)\\). Die Punkte mit leerem \\(\\mathfrak H(\\overline {\\mathfrak M};\\;P)\\) sind (daher) abz\u00e4hlbar. II. Satz: \\ Ist speziell \\(\\mathfrak A (P)\\) eine (mit \\(P\\) ver\u00e4nderliche) \\((n -p)\\)-dimensionale Ebene (d. h. \\((n - p)\\)-dimensionale lineare Mannigfaltigkeit im zugrunde liegenden \\(E_n\\)), so k\u00f6nnen die \\(\\mathfrak F_\\nu \\) des Satzes \\(I\\) als \\(p\\)-dimensionale ``Fl\u00e4chenst\u00fccke beschr\u00e4nkter Dehnung'' (kurz: ``Fl. b. D.'') gew\u00e4hlt werden, d. h. \\(\\mathfrak F_\\nu \\) ist bez\u00fcglich geeigneter kartesischer Koordinaten darstellbar durch \\(x_\\varrho = f_\\varrho \\,(x_1,\\ldots,x_p)\\), \\(\\varrho =p+1,\\ldots,n\\), wobei die eindeutigen Funktionen \\(f_\\varrho \\) einer Lipschitzbedingung gen\u00fcgen. -- An Hand kurzer Ausf\u00fchrungen \u00fcber \\(p\\)-dimensionale Ma\u00dfe im \\(E_n\\), insbesondere \u00fcber die Theorie von \\textit{Kolmogoroff} (Math. Ann. 107 (1933), 351-366; JFM 48.0249.*), wird festgestellt: \\ Jeder abgeschlossene Teil eines Fl. b. D. besitzt ein eindeutig bestimmtes ``\\(p\\)-dimensionales'' Ma\u00df; jede Borelsche Teilmenge eines Fl. b. D., deren Projektion in die \\(p\\)-dimensionale Ebene \\(x_\\varrho = 0\\), \\(\\varrho =p+1,\\ldots,n\\), eine Borel-Lebesguesche Nullmenge ist, besitzt das (eindeutig bestimmte) \\(p\\)-dimensionale Ma\u00df Null. -- Nunmehr wird gezeigt: \\ Bis auf eine ``\\(p\\)-dimensionale'' Nullmenge \\(\\mathfrak N\\) ist in jedem Punkte \\(P\\subset \\overline{\\mathfrak M}\\) mit zu \\((n - p)\\)-dimensionalem linearem \\(\\mathfrak A(P)\\) fremdem \\(\\mathfrak B(\\overline {\\mathfrak M};\\;P)\\); die \\(\\mathfrak B(\\overline {\\mathfrak M};\\;P)\\) eine \\(p\\)-dimensionale Ebene, w\u00e4hrend die nicht in \\(\\mathfrak B(\\overline {\\mathfrak M};\\;P)\\) gelegenen Halbgeraden von \\(\\mathfrak H(\\overline {\\mathfrak M};\\;P)\\) lineare \\((p + 1)\\)-dimensionale, von \\(\\mathfrak B(\\overline {\\mathfrak M};\\;P)\\) begrenzte Halbebenen bilden, von welch letzteren keine zwei zusammen eine \\((p + 1)\\)-dimensionale Ebene liefern. Die Nullmenge \\(\\mathfrak N\\) ist'', genauer gesagt, Summe von (h\u00f6chstens) abz\u00e4hlbar vielen Mengen, in deren Punkten ein Fl. b. D. (vgl. Satz II) keine \\(p\\)-dimensionale Tangentialebene besitzt. In dem nicht zu \\(\\mathfrak N\\) geh\u00f6rigen Punkte \\(P\\) von \\(\\mathfrak F_\\nu \\) besitzt \\(\\mathfrak F_\\nu \\) eine \\(p\\)-dimensionale Tangentenebene (Kontingent), die entweder \\ (a) mit \\(\\mathfrak H(\\overline {\\mathfrak M};\\;P)\\) zusammenf\u00e4llt oder \\ (b) mit \\(\\mathfrak B(\\overline {\\mathfrak M};\\;P)\\); im Falle (a) bzw. (b) wird \\(\\mathfrak H\\) bzw. \\(\\mathfrak B\\) als \\(p\\)-dimensionale Tangentenebene in \\(P\\) an \\(\\mathfrak M\\) im gew\u00f6hnlichen bzw. im weiteren Sinne bezeichnet. Die Menge \\(\\mathfrak P\\) der Punkte von \\(\\mathfrak M\\), in welchen \\(\\mathfrak M\\) eine durch einen festen Punkt \\(O\\) des \\(E_n\\) gehende \\(p\\)-dimensionale Tangentenebene (auch im weiteren Sinne) besitzt, projiziert sich von \\(O\\) aus auf jede \\(O\\) nicht enthaltende \\((n -1)\\)-dimensionale Ebene als \\(p\\)-dimensionale Nullmenge \\((p\\)-dimensionaler ``scheinbarer Umri\u00df'' \\(\\mathfrak P\\) von \\(\\mathfrak M\\) bez\u00fcglich \\(O\\)).  Als Anwendung ergibt sich u. a: Eine eindeutige, im \u00fcbrigen beliebige Funktion \\(f (z)\\) der komplexen Ver\u00e4nderlichen \\(z\\) verh\u00e4lt sich, bis auf eine zweidimensionale Nullmenge von Punkten \\(z\\), folgenderma\u00dfen: Entweder ist bei Ann\u00e4herung an \\(z\\) die Menge der Grenzwerte des Differenzenquotienten gleich der Menge aller komplexen Zahlen, oder bei Ann\u00e4herung in jeder Richtung an \\(z\\) besitzt der Differenzenquotient einen bestimmten Grenzwert (welcher \u00fcberdies in einfacher Weise von der Ann\u00e4herungsrichtung abh\u00e4ngt.)  Die oben angegebenen S\u00e4tze \u00fcber Halbtangentenmengen werden schlie\u00dflich zu folgendem Grenzwertverteilungssatze verallgemeinert: Es sei \\(\\mathfrak R\\) ein Raum, in welchem ein abz\u00e4hlbares System von Teilmengen \\(\\mathfrak U\\) als Umgebungen erkl\u00e4rt ist derart, da\u00df jeder Punkt \\(P\\subset \\mathfrak R\\) in einer \\(\\mathfrak U\\) enthalten ist und da\u00df der Durchschnitt zweier \\(\\mathfrak U\\) wieder ein \\(\\mathfrak U\\) ist (falls er nicht leer ist). Durch \\(R = f (P)\\) bzw. durch Vorgabe einer Paarmenge \\((P,R)= \\mathfrak P\\) mit \\(P\\subset E_n\\), \\(R\\subset \\mathfrak R\\) sei eine (beliebig vieldeutige) Abbildung des \\(E_n\\) in den \\(\\mathfrak R\\) erkl\u00e4rt. Ein Paar \\((P_0, R_0)\\) hei\u00dfe \\textit{Limespaar} von \\(\\mathfrak P\\), und \\(R_0\\) hei\u00dfe \\textit{Limes} von \\(f(P)\\) in \\(P_0\\), wenn zu \\((P_0, R_0)\\) Paare \\((P, R)\\subset \\mathfrak P\\) mit zu \\(P_0\\) bzw. \\(R_0\\) beliebig benachbarten \\(P\\) bzw. \\(R\\) existieren, wobei auch \\(P= P_0\\) oder \\(R = R_0\\) sein darf. Mit \\(\\varPhi _f(P_0, R_0)\\) bezeichne man schlie\u00dflich die Menge derjenigen Halbgeraden des \\(E_n\\) mit dem Anfangspunkt \\(P_0\\), so da\u00df bei tangentialer Ann\u00e4herung an \\(P_0\\) in Richtung einer dieser Halbgeraden \\(f(P)\\) den Limes \\(R_0\\) besitzt. Dann gilt: \\ Die Punkte \\(P'\\subset E_n\\), durch deren jeden f\u00fcr mindestens einen Limes \\(R_0^*\\) von \\(f\\) in \\(P'\\) eine \\((n - p)\\)-dimensionale Ebene \\(e\\) gelegt werden kann derart, da\u00df keine zwei in \\(e\\) gelegene, von \\(P'\\) ausgehende und auf der gleichen Geraden liegende Halbgeraden zu \\(\\varPhi _f(P', R_0^*)\\) geh\u00f6ren, verteilen sich auf abz\u00e4hlbar viele \\(p\\)-dimensionale Fl. b. D. Bis auf eine \\(p\\)-dimensionale Nullmenge von Punkten \\(P'\\) gilt ferner: \\ Bei festem \\(P'\\) existiert zu allen \\(R_0^*\\), denen sich in \\(P'\\) je eine derartige \\((n - p)\\)-dimensionale Ebene zuordnen l\u00e4\u00dft, eine gemeinsame \\(p\\)-dimensionale Ebene \\(e'\\), gebildet von einer Gesamtheit von Geraden durch \\(P'\\), so da\u00df bei tangentialer Ann\u00e4herung an \\(P'\\) l\u00e4ngs jeder ihrer beiden Halbgeraden irgend einer der \\(R_0^*\\) geliefert wird. Existieren nicht in \\(e'\\) gelegene Halbgeraden \\(g'\\) durch \\(P'\\) derart, da\u00df \\(f\\) bei tangentialer Ann\u00e4herung an \\(P'\\) l\u00e4ngs \\(g'\\) mindestens einen der \\(R_0^*\\) liefert, so wird dieser \\(R_0^*\\) auch geliefert bei tangentialer Ann\u00e4herung l\u00e4ngs jeder Halbgeraden, welche von \\(P'\\) ausgeht und der durch \\(g'\\) und \\(e'\\) aufgespannten, von \\(e'\\) begrenzten \\((p +1)\\)-dimensionalen Halbebene angeh\u00f6rt, w\u00e4hrend in der dazu komplement\u00e4ren \\((p +1)\\)-dimensionalen Halbebene keine einzige solche Gerade liegt. Die Punkte \\(P\\), f\u00fcr welche \\(e'\\) durch einen festen Punkt geht, projizieren sich auf eine \\((n - 1)\\)-dimensionale Ebene als \\(p\\)-dimensionale Nullmenge.  Falls f\u00fcr \\(f(P)\\) die charakteristische Funktion einer Menge \\(\\mathfrak M\\subset E_n\\) genommen und nur der Limes 1 betrachtet wird, kommt man auf die urspr\u00fcnglich angegebenen S\u00e4tze zur\u00fcck. (IV 3 C.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2597652$4AFA70C8-209C-4BD2-8957-E1E86B911DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e42410aa1af66464032328121b26bfe22d225ef","datavalue":{"value":"2516806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2597652$4B7414D2-D940-48B0-9FEC-28E9E0DF0E8F","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":"Q2597652$D5CCE370-C0F3-4E8F-A8DF-E56E85F1D998","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f338b67233b1d6d6d2a45308daf2152b757f0dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1839449,"id":"Q1839449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2597652$AA6301B9-DA8D-43F8-B8E6-D2E8003113DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2597652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2597652"}}}}}