{"entities":{"Q790269":{"pageid":792117,"ns":120,"title":"Item:Q790269","lastrevid":64492617,"modified":"2026-04-11T20:14:45Z","type":"item","id":"Q790269","labels":{"en":{"language":"en","value":"Symmetrically differentiable functions are differentiable almost everywhere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847689"}},"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":"Q790269$5C2183FA-2469-4EFB-A366-869CA5D846F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67cdedad10b0795fd9e09df1b0f74d3967d4c13a","datavalue":{"value":{"text":"Symmetrically differentiable functions are differentiable almost everywhere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790269$5742338B-5BC0-476B-BD90-41082A02CF76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32216b1da4022c5aee065a251933efba355e0283","datavalue":{"value":"0534.26006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790269$CE9BB1BE-547B-418E-8492-3B8E92C4100B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68c2edf7a138cf871b0854ce182ff396a106cc9a","datavalue":{"value":{"entity-type":"item","numeric-id":790268,"id":"Q790268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790269$93584EBD-52B1-4C2A-A3D5-E432ABCA9BBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc44a233e5e8bd544c3e30852775af330b8fff3a","datavalue":{"value":{"entity-type":"item","numeric-id":178039,"id":"Q178039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790269$5A10194C-9D7F-4AB1-BFD4-1D83D69E3F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q790269$F19973EE-DAEA-4D2C-881B-840AB6E1E8BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bc8c05fa03cb60f2d86b5b0521d6011477eea17","datavalue":{"value":"Let \\(R=(-\\infty,\\infty)\\), f:\\(R\\to R\\) and \\(x\\in R\\). The upper (lower) symmetric derivative of f at x is  \\[  \\bar f^ s(x)=\\lim \\sup_{h\\to 0}\\frac{1}{2h}(f(x+h)-f(x-h))\\quad(\\bar f^ s(x)=\\lim \\inf_{h\\to 0}\\frac{1}{2h}(f(x+h)-f(x-h))).  \\]  A function f:\\(R\\to R\\) is called symmetrically differentiable at x iff \\(\\underline f^ s(x)=\\bar f^ s(x).\\) A function f:\\(R\\to R\\) is called upper (lower) symmetrically semicontinuous at x, \\(x\\in R\\), iff  \\[  \\lim \\sup_{h\\to 0+}(f(x+h)-f(x- h))\\leq 0\\quad(\\lim \\inf_{h\\to 0+}(f(x+h)-f(x-h))\\geq 0).  \\]  If \\(M\\subset R\\), then we denote by \\(| M|\\) the outer Lebesgue measure of M and by D(M) the set \\(\\{x\\in R:\\lim_{h\\to 0+}\\frac{| M\\cap(x- h,x+h)|}{2h}=1\\}.\\) If f:\\(R\\to R\\) and \\(x\\in R\\), then \\(\\underline Df(x)=\\min(\\underline D^+f(x),\\underline D^-f(x)),\\) where \u1e0e\\({}^+f(x)\\) and \u1e0e\\({}^-f(x)\\) are the lower Dini derivatives of f at x. The main result is the following Lemma: If f:\\(R\\to R\\), \\(K\\in R\\) and E is a measurable subset of R such that \\((i)\\quad E\\subset D(E), (ii)\\quad E\\subset D(\\{z\\in R:\\underline f^ s(z)>K\\})\\) and (iii) f is symmtrically semicontinuous at each point of E, then \\(\\underline Df(z)\\geq K\\) at almost every point of E. The following Theorem and two Corollaries are easy consequences of this Lemma: Theorem. If f:\\(R\\to R\\), then f is differentiable at almost all points of the set \\(D(\\{x\\in R:\\bar f^ s(x)<\\infty \\quad or\\quad \\underline f^ s(x)>-\\infty \\})-D(\\{x\\in R:\\) f is not symmetrically semicontinuous at \\(x\\})\\). Corollary 1. A function f is differentiable almost everywhere in a measurable set E if it is symmetrically differentiable almost everywhere in E. Corollary 2. If a function is symmetrically differentiable almost everywhere in R, then it is measurable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790269$4A3CCECC-C669-4CC6-B2F0-C2BBAFE74843","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5d9781fec40247fb75d062cb4fcf1e1956cf1fb","datavalue":{"value":{"entity-type":"item","numeric-id":757624,"id":"Q757624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790269$58E87D37-79E2-4044-9681-581F96680BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e11be76db0504a20556545d615708c6152734ed","datavalue":{"value":"26A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790269$C4F28F85-0049-40FD-AA43-33F3B1D5B619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b822e7a8e3182eac90bd373b5db12c2ae0651c8d","datavalue":{"value":"26A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790269$4251E120-A0E0-4515-A9B4-42FD419873CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e372f823e4ddb49e52626f1cf1764391f37c60","datavalue":{"value":"3847689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790269$712D7CAB-60CA-49E3-872E-FDABE92DF9E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d98ec72382b155012562464d14624095b92e68c1","datavalue":{"value":"symmetrically continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q790269$319A45B7-49A5-4DC0-8F2E-93A3F1BA68B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faacb0beff3ad952d980c26743be304c1c0c781","datavalue":{"value":"symmetric differentiability at a point","type":"string"},"datatype":"string"},"type":"statement","id":"Q790269$F1608C56-27DE-463F-B19F-A9CC15A43701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f252de20e551e19e45a0070ffcc7b3cd33891b","datavalue":{"value":"Dini derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q790269$67C1E91C-04C0-4530-BE2E-668BDB382054","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":"Q790269$B68A752B-2588-49D5-A2F1-739302B450D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b609916cfbf0df0383292c1240eb2f5961d37f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2735698,"id":"Q2735698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8880e3eec97d04ed5a64c5f15ffaa8e8967a543c","datavalue":{"value":{"amount":"+0.89517593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$056BF36C-DBE6-496C-A710-2E7208E31E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba45490abde89532682411a41c2b0d57e67db8e","datavalue":{"value":{"entity-type":"item","numeric-id":2709546,"id":"Q2709546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8880e3eec97d04ed5a64c5f15ffaa8e8967a543c","datavalue":{"value":{"amount":"+0.89517593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$BC5F19B7-3FF1-4E1E-8092-CDA83A0F2121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecefe96d2c24a48b124627844d8d99a5be2561df","datavalue":{"value":{"entity-type":"item","numeric-id":1080543,"id":"Q1080543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f734d1eeba2bf2edcc49d8417e2f093a5f80e5a","datavalue":{"value":{"amount":"+0.89124674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$F3DF9778-29E0-40A2-9C4E-53282D72B1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5c6b0a606af90ad6eeec55b77ffc8c99af7df5","datavalue":{"value":{"entity-type":"item","numeric-id":4947956,"id":"Q4947956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677e39ed0cb5a3d59140fa30fb462987246ae518","datavalue":{"value":{"amount":"+0.8812482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$518BCD78-570F-46AF-B655-990DD32C863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606b8b1d758b96928f77d26c336837b06613c51c","datavalue":{"value":{"entity-type":"item","numeric-id":1059414,"id":"Q1059414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bac70ad7c0e6f397ca896c63d8683361c16c8d8","datavalue":{"value":{"amount":"+0.8762071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$4D1271D7-2E22-4CE7-A3AD-5AB88AA2A023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc47b53d8f1f427afbe4dc89ee27dcc20044688f","datavalue":{"value":{"entity-type":"item","numeric-id":3034000,"id":"Q3034000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7a6f9f0d50a50d18d494bc781a4e120f355290","datavalue":{"value":{"amount":"+0.8753875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$3B253B83-9897-4B58-AC71-DA7F6F74DD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aded1535ab90516b8443015c22979b105c4320","datavalue":{"value":{"entity-type":"item","numeric-id":1080544,"id":"Q1080544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65434247434230214c4c3316c6087cca52621749","datavalue":{"value":{"amount":"+0.86248785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$89AACEA9-5FD6-4FC4-AA5D-BFE2737B884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3942b839a6a6ec6002e9257258ccc61598fd005","datavalue":{"value":{"entity-type":"item","numeric-id":1064424,"id":"Q1064424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdb7699f0097eaf303e97a5bd8299e940c01231","datavalue":{"value":{"amount":"+0.86214554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$DAEB78F5-0930-4DEA-B1E1-6411A52C2D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f53561d118db71e743194d485455e5a4c1cd63f","datavalue":{"value":{"entity-type":"item","numeric-id":5551588,"id":"Q5551588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d97e7ac5255c70d5070985a81a622fde2610b5","datavalue":{"value":{"amount":"+0.8577988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$F00A21A8-BC7D-459D-A899-17CDC1B20AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ecf44b152ca97019a84d514b399b69c63a7a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3786666,"id":"Q3786666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678b5c597fc3588b3d51f88f21ce4a2002b6b059","datavalue":{"value":{"amount":"+0.85387343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q790269$E3719B0D-C22C-4A07-989A-25D2C9A85372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetrically differentiable functions are differentiable almost everywhere","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetrically_differentiable_functions_are_differentiable_almost_everywhere"}}}}}