{"entities":{"Q1401471":{"pageid":1412211,"ns":120,"title":"Item:Q1401471","lastrevid":70337943,"modified":"2026-04-13T14:05:44Z","type":"item","id":"Q1401471","labels":{"en":{"language":"en","value":"Differentiable functions defined in closed sets. A problem of Whitney"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965466"}},"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":"Q1401471$CF604318-EFD8-46E0-9CFD-2F43C79FC578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80673f9c2c1767e8de55bac02155b6c7b4c225c4","datavalue":{"value":{"text":"Differentiable functions defined in closed sets. A problem of Whitney","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401471$55769D8C-ECA0-4896-A4C0-42BA2E4E3029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17bd9a5958341e4d834f192ca5ccb1b3a71179ad","datavalue":{"value":"1031.58002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$8D1C9E17-9665-44A1-80AE-FAE3A6629D5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8448a4c30cbe2cc84e7884b414af861ca7bfb9df","datavalue":{"value":{"entity-type":"item","numeric-id":408451,"id":"Q408451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401471$4A854159-8370-4281-A71C-442F26DA5C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"485b0a662012a425280b61bd0b5042fa41a64203","datavalue":{"value":{"entity-type":"item","numeric-id":502659,"id":"Q502659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401471$36E5A61B-1088-4E03-B149-0212E1403EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d186023bd4fcfc00fe665a67fb7bc2c0b35656","datavalue":{"value":{"entity-type":"item","numeric-id":733375,"id":"Q733375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401471$0F553172-5D7E-4A7C-BA10-970E2F07B67A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401471$9A710354-7B70-49AC-9B8C-1C662D6452F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401471$D67FAAEC-DC08-455C-ADA5-72E22AFC5170","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be1d08a89a5f856bdc8e4e4ea831d61138cca503","datavalue":{"value":"https://arxiv.org/abs/math/0111213","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401471$39EBD481-0964-4B40-AD05-A5BAD1684271","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6eaea1332bc0ab9980d968ce003b0b3d8b878e61","datavalue":{"value":"\\noindent Consider a function \\( f: X\\rightarrow {\\mathbb R} \\), where \\( X \\) is a closed subset of \\( {\\mathbb R}^n \\). In 1934, Whitney raised the question of how to recognize, using only the values of \\( f \\), whether \\( f \\) is the restriction of a function of class \\( C^p \\) in \\( {\\mathbb R}^n \\). For \\( n=1 \\), he gave a necessary and sufficient condition using finite differences. In 1958, Glaeser solved the problem in higher dimensions in the case \\( p=1 \\): he defined a paratangent bundle \\( \\tau(X) \\) using limits of secants and proved that a continuous function \\( f: X\\rightarrow {\\mathbb R} \\) is the restriction of a \\( C^1 \\) function if and only if the paratangent bundle \\( \\tau(f) \\) of the graph of \\( f \\) is, itself, the graph of a function \\( \\tau(X)\\rightarrow {\\mathbb R} \\).    In the important paper under review, the authors define higher-order paratagent bundles \\( \\tau^p(X) \\) using limits of finite differences. Each fibre \\( \\tau_a^p(X) \\), \\( a\\in X \\), is a linear subspace of the dual space \\( {\\mathcal P}_p^* \\) of the space \\( {\\mathcal P}_p \\) of polynomials of degree at most \\( p\\). With each function \\( f: X\\rightarrow {\\mathbb R} \\), they also associate a bundle \\( \\nabla^pf\\subset \\tau^p(X)\\times {\\mathbb R} \\) such that if \\( f \\) is the restriction to \\( X\\) of a \\( C^p \\) function, then \\( \\nabla^p f \\) defines a graph \\( \\tau^p(X)\\rightarrow {\\mathbb R} \\).    The authors show that the converse is true when \\( X \\) is a \\( C^p \\) submanifold, or more generally a fat subset of a \\( C^p \\) submanifold. It is thus natural to conjecture that it is always true, at least for subsets \\( X \\) with a ``tame'' geometry. The authors obtain an interesting result in this direction when \\( X \\) is a compact subanalytic subset of \\( {\\mathbb R}^n \\): indeed, one can then find a number \\( q_X(p) \\) such that, if \\( q\\geq q_X(p) \\) and \\( \\nabla^qf \\) defines a graph \\( \\tau^p(X)\\rightarrow {\\mathbb R} \\), then \\( f \\) extends to a \\( C^p \\) function.   The proof uses the uniformization theorem for subanalytic sets and a previous result of the authors on formal composite functions [Duke Math. J. 83, 607-620 (1996; Zbl 0868.32011)].    It should be noted that the paratangent bundles presented in the paper also provide a new viewpoint on bundles of differential operators on singular spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401471$F360DB02-371E-4574-917A-75E2E69F5455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5a99b694950dbf951f8cf84bd00328a8aa0fcf","datavalue":{"value":"58C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$23A44FA9-82A3-4A83-BEE1-CD62F13DDD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a101227a4f478aca34c828624731a8dd1439d84","datavalue":{"value":"32B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$FA430E2E-C352-4E9B-917B-81A633ECE0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"616b6a7a0ceb4ddc24a4649db4114ade26e6042b","datavalue":{"value":"32K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$DF6BFAB4-AECC-48FD-B371-4EA56D679334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a1a37d84c4b49649b7afc1cdd6d20363381e1b6","datavalue":{"value":"1965466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$50473E05-5710-4A7F-B867-5EEB268983D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df0f722ad7a9110118122ce48fad2e665280360","datavalue":{"value":"parantangent bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401471$F81ACFED-8B4E-4590-AFDC-B7520EC52BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df02030b2da9c7ea73fdb5a1b5db8e443aa5c0a2","datavalue":{"value":"extension of differentiable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401471$DA8031C0-0BFE-492F-AB89-AD31846B5401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c9afd377a2d7327e68fed1bf3534f6e4be8f3a","datavalue":{"value":"subanalytic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401471$7BDEAAD6-A217-434F-B34D-5AC93EA28F40","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"600910b2753324a2ba1e61e5c5799569d4a16c42","datavalue":{"value":{"entity-type":"item","numeric-id":289499,"id":"Q289499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401471$50F4BF1D-204C-4A23-A2E0-2C2DAD57EF4F","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":"Q1401471$17E53315-7861-4949-A542-54C0575FCB74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eacdfad3bb48240a94f5da3d0844226778c78014","datavalue":{"value":"W1997105460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$B8F8D66C-BA36-4D3D-99B0-36B95002DDA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f3469c2fe942b2042468bffc343b581521b8400","datavalue":{"value":"10.1007/S00222-002-0255-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401471$3584962A-DC5E-4329-9BE5-0D664C108FAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c3b1c814e22dd50a2c07926fddfee1f7e445c83","datavalue":{"value":{"entity-type":"item","numeric-id":4693532,"id":"Q4693532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f0668243e1e2edfc834e72b9900750bbe5d59e","datavalue":{"value":{"amount":"+0.87472826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401471$F18764A1-22CC-421B-AD7B-B5B27AF63D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e0f5d3a54cb85af2e09b77f2ec7fdc4be2a19f","datavalue":{"value":{"entity-type":"item","numeric-id":3440685,"id":"Q3440685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea79128c10aa6c1ed0735e398c6f545658b9a4a","datavalue":{"value":{"amount":"+0.86618924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401471$9911C1B2-6D3B-4DC6-91B1-17101942E833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91570fce818df0097c13118e9e1400eb850614e","datavalue":{"value":{"entity-type":"item","numeric-id":2210838,"id":"Q2210838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cb29dc14da182a3850e16f2afe22b57b1990ad","datavalue":{"value":{"amount":"+0.8557309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401471$C0D8AB17-6049-4957-B0E4-31EE2274A76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3cf608a2065fc3e07dbb2ec46f0e4459583d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3975970,"id":"Q3975970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400090b5a6141e1a96081e88469f62a15f398612","datavalue":{"value":{"amount":"+0.8539553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401471$FF9CA60F-6CF6-4637-942F-4355AABC476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1fac05d5ceb9104e929212648c300177b35c6db","datavalue":{"value":{"entity-type":"item","numeric-id":1070173,"id":"Q1070173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720f973a9b4168e319a978034decfac3a7283420","datavalue":{"value":{"amount":"+0.85263044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401471$5371987F-A1E0-43F3-81B5-2470C7FC5D12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Differentiable functions defined in closed sets. A problem of Whitney","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Differentiable_functions_defined_in_closed_sets._A_problem_of_Whitney"}}}}}