{"entities":{"Q2590780":{"pageid":2601523,"ns":120,"title":"Item:Q2590780","lastrevid":44422605,"modified":"2025-11-22T20:06:58Z","type":"item","id":"Q2590780","labels":{"en":{"language":"en","value":"Sur l'extension \u00e0 l'ordre \\(n\\) des th\u00e9or\u00e8mes de M. Denjoy sur les nombres d\u00e9riv\u00e9s du premier ordre."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510236"}},"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":"Q2590780$76C53085-1C34-41D8-B4D7-4DFC0182DA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47e22744a024546684d4056396999dac02190cea","datavalue":{"value":{"text":"Sur l'extension \u00e0 l'ordre \\(n\\) des th\u00e9or\u00e8mes de M. Denjoy sur les nombres d\u00e9riv\u00e9s du premier ordre.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590780$4DE8A8B3-9936-4923-98F5-9CF302169C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baa1c18323cb2f66e598fbe7a63425efcb31fe4b","datavalue":{"value":"65.0204.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590780$9CC01FC5-3A15-48E2-A1CC-86326EE0D4AD","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":"Q2590780$159A0922-A9C0-40CB-89C5-EE24EBB8571B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3564fffbea34e6cdc8d4dfaafa1f98a44041b0cc","datavalue":{"value":{"entity-type":"item","numeric-id":558939,"id":"Q558939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590780$9E5DFBEB-A478-4995-A3C3-8E95CC12F9A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2590780$E755FA67-91C5-4E24-BBDF-B8A3942FCBE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d90f21e347ed9034deb147b2c0c84b1ae991444","datavalue":{"value":"Es sei \\(f(x)\\) eine eindeutige, reelle Funktion der reellen Ver\u00e4nderlichen \\(x\\). Ferner sei die Anzahl derjenigen der \\(n\\) Punkte \\(x_1,\\ldots, x_n\\), welche rechts bzw. links von \\(x_0\\) liegen, um \\(k\\) gr\u00f6\u00dfer als die der links bzw. rechts von \\(x_0\\) gelegenen unter den \\(x_1,\\ldots, x_n\\). Ist dann \\(Q= Q(f; x_0; x_1, \\ldots,x_n)\\) der \\(n\\)-te Differenzenquotient von \\(f\\) bez\u00fcglich \\(x_0,x_1,\\ldots, x_n\\), so wird jeder Grenzwert von \\(Q\\) bei gegen \\(x_0\\) konvergierenden \\(x_1,\\ldots, x_n\\) und festem \\(k\\) als \\textit{Rechts}bzw. \\textit{Linksderivierte} \\(R_{n,k} =R_{n,k} (f; x_0)\\) bzw. \\(L_{n,k}\\) der Ordnung \\(n\\) und des Ranges \\(k\\) von \\(f(x)\\) in \\(x_0\\) bezeichnet. Die Extremwerte \\(\\operatorname{Max}R_{n,k}\\), \\(\\operatorname{Min}R_{n,k}\\) usw. sollen \\textit{obere} und \\textit{untere} Rechts- bzw. Linksderivierte \\(\\overline{R}_{n, k}=\\overline{R}_{n, k}(f;x_0)\\), \\(\\overline{L}_{n, k}\\) bzw. \\(\\underline{R}_{n, k}\\), \\(\\underline{L}_{n, k}\\) hei\u00dfen.  \\textit{S\u00e4tze}: I. Der Denjoysche Satz f\u00fcr \\(n = k = 1\\) gilt f\u00fcr beliebiges \\(n\\) und \\(k\\), d. h.: Bis auf eine Nullmenge sind in jedem Punkte \\(x_0\\) (des Definitionsbereiches von \\(f(x)\\)) nur folgende drei F\u00e4lle m\u00f6glich:  1) \\(\\overline{R}_{n,k}=\\overline{L}_{n, k} = +\\infty \\), \\ \\ \\(\\underline{R}_{n,k}=\\underline{L}_{n, k} = -\\infty;\\)  2) \\(\\overline{R}_{n,k}=+\\infty, \\;\\;\\underline{R}_{n, k} =\\overline{L}_{n,k} = \\text{endlich}\\), \\(\\underline{L}_{n,k}= - \\infty \\); oder \\(\\underline{R}_{n, k} =-\\infty\\), \\(\\overline{R}_{n,k}=\\underline{L}_{n, k} =\\) endlich, \\(\\overline{L}_{n,k}=+\\infty\\). Der gemeinsame Wert von \\(\\underline{R}_{n,k}\\) und \\(\\overline{L}_{n,k}\\) bzw. \\(\\overline{R}_{n,k}\\) und \\(\\underline{L}_{n,k}\\) wird dann als \\textit{Fast-Derivierte} \\(FD_{n, k}(f; x_0)\\) bezeichnet.  3) \\(\\overline{R}_{n,k}=\\underline{R}_{n,k}=\\overline{L}_{n,k}= \\underline{L}_{n,k}=\\) endlich. Dieser Wert wird als \\textit{verallgemeinerte Derivierte} \\(D_{n, k}(f; x_0)\\) bezeichnet.  II. Bis auf eine Nullmenge von Punkten \\(x_0\\) zieht die Existenz einer \\(FD_{n, k}(f; x_0)\\) bzw. von \\(D_{n,k}(f; x_0)\\) nach sich: a) die Existenz einer \\(FD_{n', k'}(f; x_0)\\) bzw. \\(D_{n', k'}(f; x_0)\\) f\u00fcr jedes \\(n', k'\\) mit \\(m =\\dfrac{n+k}{2}\\leqq n'<n, k'=k+(n-n')\\), sowie die Existenz der \\(FD_{n'', k''}(f; x_0)\\) f\u00fcr jedes \\(n''\\), \\(k''\\) mit \\(n''\\leqq n,\\) \\(k'' \\leqq k + (n-n'')\\). -- b) In der Umgebung von \\(x_0\\) bis auf eine Nullmenge, auf welcher die auftretenden Funktionen nicht definiert werden, die Existenz der \\(f^{(\\nu)}(x)\\) mit \\(0\\leqq \\nu \\leqq m-1\\), sowie die Existenz einer \\(FD_{1,1}(f^{(m-1)}; x)\\) mit \\(FD_{1,1}(f^{(m-1)}; x)=FD_{m, m}(f; x)\\) bzw. der \\(D_{1,1}(f^{(m-1)}; x)\\) mit \\(D_{1,1}(f^{(m-1)}; x)=D_{m, m}(f; x)\\).  Diese S\u00e4tze dienen als Grundlage einer Differentialgeometrie der Punktmengen \\(\\mathfrak M\\) im euklidischen \\(R_q\\). Beispiel f\u00fcr \\(q = 3\\). Die Begrenzung \\(\\mathfrak M\\) einer konvexen Menge besitzt bis auf eine (``zweidimensionale'') Nullmenge in jedem ihrer Punkte \\(P\\) ein Schmiegparaboloid \\(\\mathfrak P\\) in dem Sinne, da\u00df ein Kreis durch \\(P\\) und zwei gegen \\(P\\) konvergierende Punkte \\(P_1, P_2\\) von \\(\\mathfrak M\\) die gleichen Grenzkreise liefert wie der Kreis durch \\(P\\) und diejenigen Punkte \\(P_1', P_2'\\) von \\(\\mathfrak P\\), in welchen \\(\\mathfrak P\\) von den Loten durch \\(P_1\\) bzw. \\(P_2\\) auf eine feste St\u00fctzebene an \\(\\mathfrak M\\) in \\(P\\) getroffen wird. -- Einige Beweisandeutungen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590780$0F1C9E36-1078-45EF-BFEC-3F13EE4D7CD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ce73143f0fe3625ce893a8205f517733bfda1b9","datavalue":{"value":"2510236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590780$7D48D0DF-5FFB-4B30-8110-42B9B568AE93","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":"Q2590780$CE55258B-7B80-454F-9AD6-5DA9AC9DBDF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590780"}}}}}