{"entities":{"Q1813893":{"pageid":1824635,"ns":120,"title":"Item:Q1813893","lastrevid":69028314,"modified":"2026-04-13T03:49:51Z","type":"item","id":"Q1813893","labels":{"en":{"language":"en","value":"Inverse map theorem in the ultra-\\(F\\)-differentiable class"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5316"}},"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":"Q1813893$D3AC7712-89B4-493C-8822-EA2338BA8DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20f50437a9b60e4fb757319c585005c3a7c22ecb","datavalue":{"value":{"text":"Inverse map theorem in the ultra-\\(F\\)-differentiable class","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813893$2F77CCBF-4339-48E7-84EE-273BC2510F03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4adb1298e1dc0c331bdf60f1ac88f5446d318114","datavalue":{"value":"0759.58009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$54233CA5-938B-4CF7-8BCD-7FB7095999A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"579d1737ff9b6c04414254347f85acce5d141092","datavalue":{"value":{"entity-type":"item","numeric-id":1058052,"id":"Q1058052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813893$B89FD645-AACC-4674-AF0A-60BAC7883458","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813893$FF18A236-BF32-4546-ABFF-1A4E9266B69A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813893$AD0E18A7-C715-42FE-A329-2C3A673BFA8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cea4dd745301661934929f4629c6c1468da0dd6","datavalue":{"value":"Let \\(M_ p\\), \\(p=0,1,2,\\dots\\), be a sequence of positive numbers such that there is a constant \\(H\\geq 1\\) satisfying \\((M_ p/p!)^{1/p}\\leq H(M_ q/q!)^{1/q}\\), \\(1\\leq p\\leq q\\). A smooth map \\(f\\) (in the sense of Fr\u00e9chet derivatives) between open sets of Banach spaces is said to be ultra-\\(F\\)-differentiable for \\(M_ p\\) if \\(\\| f^{(p)}(x)\\|\\leq ch^ pM_ p\\) for some constants \\(c\\geq 0\\) and \\(h>0\\). Suppose now that a smooth map between open sets of Banach spaces is invertible at a point. Then the inverse function theorem gives us a local diffeomorphism. The author proves that if the derivative of this map is ultra-\\(F\\)- differentiable then so is the derivative of the inverse. This generalizes to infinite dimensions a weaker theorem of \\textit{H. Komatsu} [ibid. Ser. A 55, No. 3, 69-72 (1979; Zbl 0467.26004)]. The proof uses the formula for the higher derivatives of a composite function in an essential way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813893$303AFF81-A146-4998-AE65-5BC7D7DB7D56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87ac7bcbdae742a2bd2627c4b721e0ed79cf7506","datavalue":{"value":"58C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$BC11CEA8-D6A9-4047-8461-1303037ADF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8160d494c69bf795ca75b7bb533b605422f2c49","datavalue":{"value":"26B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$4A2EC4E3-D467-4399-BD6C-70AE152BEF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f09c4c63ab6ed6a6f1d3c2c5388cc8dc32cffcac","datavalue":{"value":"46G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$4B855104-5DDE-40E4-9F49-6D89D2EF3ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d52bb8d0b2b4160bdc0539a8b665099e3f65e585","datavalue":{"value":"58C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$DC153273-B5CF-46D3-9DCE-FA72AEFC2C81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2180336179a1c952b9140658ea4074c43aa634e","datavalue":{"value":"5316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$6CADF3CD-3EF4-4A65-B2E2-342753899615","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4cd4b786b7888ca923b8be7e3b304fc44d7647e","datavalue":{"value":"ultra \\(F\\)-differentiable derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813893$BABBEF3B-0FBF-4408-BFA9-9A02648B52FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfbcca44a0e4b95602807138189e1b23425ef4df","datavalue":{"value":"smooth map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813893$AD8FBCE4-A25E-4B85-959B-BA18357C03CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8450ebfb449b0ab34d6b7e52cbd9ef0e542620a5","datavalue":{"value":"Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813893$43FB9DDF-0F41-4943-8F9B-B46CB5520342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17312c70545fec1e93532c6bad698a7cb95c657","datavalue":{"value":"inverse function theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813893$DAD87F2A-177F-4D7A-91EC-A209F4D03770","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":"Q1813893$6EF12BB2-6878-44CE-8A35-4852417FDD0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0add9957587ca9b3f4da583da6b7b390b8c91221","datavalue":{"value":"https://doi.org/10.3792/pjaa.65.199","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813893$87936606-36BC-4A24-82CB-EBB41A4570E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b00dc7dbb0a49c1ddce2ef1f66c70e317d3c281","datavalue":{"value":"W2008496903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$4C8D57D4-6A19-4D2A-9320-C2E14BCD688D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17dd59770f1a1930df6b46841e74edbbe1d07002","datavalue":{"value":{"entity-type":"item","numeric-id":1155734,"id":"Q1155734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813893$0D4C08E0-240B-4FBA-A702-2D7BC61B4803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2da3761c638813c9b3fdfac1d8a0a857ea3889","datavalue":{"value":{"entity-type":"item","numeric-id":2640199,"id":"Q2640199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813893$7963AD9B-5B8A-41AB-9A1C-0CE4387914E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e4ab31b7e5e9f12385b5427094904fb4d3acdb8","datavalue":{"value":"10.3792/PJAA.65.199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813893$56C2C1C3-C3A1-492E-92A4-C59414CC4981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d79ca17af6e47a03567c769a36384eb3dce40d3","datavalue":{"value":{"entity-type":"item","numeric-id":676763,"id":"Q676763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edcc515c36e714849b331186c6cfb12f330929f","datavalue":{"value":{"amount":"+0.7984400391578674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813893$CAA6A255-5FCA-462F-99F4-EF85A37CCDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3540b047b351cb81fbbd7396bfd39e7086e3fb74","datavalue":{"value":{"entity-type":"item","numeric-id":631665,"id":"Q631665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fad38f98a6d9c9ff2e57eab1a6e67138afd97c4","datavalue":{"value":{"amount":"+0.7601193189620972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813893$D3C35F45-162B-4C36-8945-F23ACD69DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868e11b7435ac434f50a59e6aba2f55138e92150","datavalue":{"value":{"entity-type":"item","numeric-id":4008856,"id":"Q4008856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2c1bc9bd9ed396842ed0f35a85aa0e02f0f154","datavalue":{"value":{"amount":"+0.7552380561828613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813893$2C476358-E418-44EB-BF31-847B46057227","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverse map theorem in the ultra-\\(F\\)-differentiable class","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inverse_map_theorem_in_the_ultra-%5C(F%5C)-differentiable_class"}}}}}