{"entities":{"Q5916343":{"pageid":8032909,"ns":120,"title":"Item:Q5916343","lastrevid":46144306,"modified":"2025-12-23T12:54:56Z","type":"item","id":"Q5916343","labels":{"en":{"language":"en","value":"Local inversion theorems without assuming continuous differentiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3506"}},"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":"Q5916343$BB493507-10DC-423D-B5AE-CB6C292C00DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e45574070a1ea4b8f394ee8f9aca24d3df7a5d70","datavalue":{"value":{"text":"Local inversion theorems without assuming continuous differentiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5916343$70D9B4FA-923A-40A9-BD22-D099417359C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf3c9b87ff1144c9080724053f477b347747e09e","datavalue":{"value":"0745.58008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916343$3AC90968-EB18-43E1-8A1B-30A08B8B1FD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8687f8027c8708bf86c237adae31870bd01e22be","datavalue":{"value":"10.1016/0022-247X(89)90312-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916343$A000F9DE-C712-49A6-B069-A73984F96556","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"603e70d11c8e525f50f0385cedd6f23535d58a72","datavalue":{"value":{"entity-type":"item","numeric-id":499692,"id":"Q499692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$9B8FD3CB-8569-4749-A808-8AA89D132950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda6f0f5d1aa65816fe3ecb1009da4bd21d52559","datavalue":{"value":{"entity-type":"item","numeric-id":475230,"id":"Q475230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$35DC43A7-0FD2-4EEA-AB74-5219910D17CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$21B6F9B3-ACD0-4D7F-8A7F-C3D01D627043","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":"Q5916343$12D7CF79-AF0F-4CEC-AB55-A55E57C8A198","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70eb748bb67f10c0b81acd5b225d5c64ffba4033","datavalue":{"value":"It is a rather classical result that if \\(f\\) is a one-to-one mapping from an open subset \\(U\\) of \\(\\mathbb{R}^ n\\) such that \\(f\\) is differentiable at \\(a\\in U\\), with \\(\\hbox{det}(f'(a))\\neq 0\\), and if \\(f^{-1}\\) is continuous at \\(b=f(a)\\) interior to \\(f(U)\\), then \\(f^{-1}\\) is differentiable at \\(b\\) and \\((f^{-1})'(b)=(f'(a))^{-1}\\). Thus if \\(f\\) is a differentiable local homeomorphism from \\(U\\) into \\(\\mathbb{R}^ n\\) such that \\(\\hbox{det}(f')\\) does not vanish in \\(U\\), then \\(f\\) is a local diffeomorphism. The authors prove that the condition ``\\(f\\) is differentiable in \\(U\\) and \\(\\hbox{det}(f')\\) does not vanish in \\(U\\)'' is already sufficient for \\(f\\) to be a local homeomorphism and further a local diffeomorphism. Additionally they obtain that \\(\\hbox{det}(f')\\) has a constant sign on each connected component of \\(U\\).   The proof relies on the theory of topological degree and on results on the set over which a discrete open mapping fails to be a local homeomorphism. As long as it is possible the authors state their lemmas in terms of functions belonging to an admissible class \\(M(D)\\), where \\(D\\) is open in a Banach space \\(E\\). Thus they obtain easily that if \\(f\\) is differentiable on \\(D\\) with \\(f'(x)\\in \\hbox{Isom}(E,E)\\cap M(E)\\) for all \\(x\\in D\\), then \\(f\\) is open and discrete. Although they conjecture that under these conditions \\(f\\) is a local homeomorphism, they need the finite-dimensionality assumption to show that \\(f\\) meets the more restrictive conditions that provide the results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916343$3E8829A7-CE2E-4D94-A4ED-AB0AE8487800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87ac7bcbdae742a2bd2627c4b721e0ed79cf7506","datavalue":{"value":"58C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916343$89986444-D64F-48A5-80EF-A512B48B5269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f09c4c63ab6ed6a6f1d3c2c5388cc8dc32cffcac","datavalue":{"value":"46G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916343$CDF030C7-1A59-48B8-83B7-D0BE64996037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfb9f2ba397ed10e05207f30d9a810fd3b8a3b99","datavalue":{"value":"3506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916343$0B9A046F-8656-4BDE-952E-91CFF4E63375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca14aac01f799f730ba1bd5d74d865fc18e548ed","datavalue":{"value":"local homeomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916343$5E4F81BD-F4F1-4B5D-9C2B-2C6B53D1607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb525c1737f19602fd3d682ae8453e8b210fcfcc","datavalue":{"value":"local diffeomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916343$3E159B41-FA24-47F2-A890-1272D02C187E","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":"Q5916343$147D9BE2-BA89-448F-A6D9-FE1C01A501EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"baca70ad5381f425aa4453d10b676a8daa55c646","datavalue":{"value":{"entity-type":"item","numeric-id":2626059,"id":"Q2626059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$2DD62C07-E95E-4A33-8B1E-69EFBD137263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68581f7beb5abf8e0d88b7fb5c9d9a484a58df7b","datavalue":{"value":{"entity-type":"item","numeric-id":5727924,"id":"Q5727924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$2C9A5DF5-D130-4709-993B-BCE225F88B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2444b175843e8e8e4091287c4e87be6703ac5fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3884418,"id":"Q3884418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$1BA67759-E796-4772-902C-14DA2A76B440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c229b406dd12f41b75d0b13afd85b632cfbfdc1f","datavalue":{"value":{"entity-type":"item","numeric-id":5652463,"id":"Q5652463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$29730CA3-6055-406A-9FBF-CD20F2C723CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0a7a15a1ac26886c50a9e4bf5883a958baeda5","datavalue":{"value":{"entity-type":"item","numeric-id":3253915,"id":"Q3253915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$B1A2ABE7-C4FB-4659-9675-F510F6466A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8511fa607b521e99aaa5422b3f490ae65282ac5a","datavalue":{"value":{"entity-type":"item","numeric-id":4143788,"id":"Q4143788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$BCA442C7-1CDD-4611-9ECC-C828DBE5DBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77e12d0e89fca0a983c7e41824fcf4a4cd0e8af","datavalue":{"value":{"entity-type":"item","numeric-id":5526208,"id":"Q5526208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$EC5DDC8A-2EAB-4302-BC65-969D5B5BBBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e38092d76f03702ff57f3d9946b51cc770de4","datavalue":{"value":{"entity-type":"item","numeric-id":3717313,"id":"Q3717313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$DCD778F2-218C-49B1-9F73-5C151FB59482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11c3db0c7bc40c742c5ba14a383b74da514a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4152777,"id":"Q4152777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$6B6B52BC-F2B6-4D73-85BA-8ADA9D39C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95b610023a5904699b2f6dd1d5699be1a3525a4","datavalue":{"value":{"entity-type":"item","numeric-id":5520542,"id":"Q5520542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$73458836-ED31-401F-8F25-1C256CC29A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabd68a99a9763e8575b3b9217fc4c14a63b35a9","datavalue":{"value":{"entity-type":"item","numeric-id":5624274,"id":"Q5624274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916343$D9660B44-957E-4D13-89DD-A0BB89FF1608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b301ce0d1fd0aea5f553e955307b58643d75db","datavalue":{"value":"https://doi.org/10.1016/0022-247x(89)90312-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5916343$8B972CCF-5C92-46A8-8F45-FD443B71C45D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bc31827c6a49935d5ff961c7a9ffba6d9db2e37","datavalue":{"value":"W2008614546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916343$FBB19937-8CDB-4BFE-9DE5-450A9BB698E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1066a37b2ff95f2d8f5d4e424bc13484bc5ecd7c","datavalue":{"value":{"entity-type":"item","numeric-id":5752799,"id":"Q5752799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8341226733351f818dd19af54b6902133f54e9","datavalue":{"value":{"amount":"+0.8690555691719055","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":"Q5916343$6E35C5E1-4DEB-46BE-AA2F-FB36412CBC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741772d3b472e831260e118df349ae3eac2fefa9","datavalue":{"value":{"entity-type":"item","numeric-id":4304531,"id":"Q4304531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20e239607c86c7c1f5ae275d0641e1f597ba887","datavalue":{"value":{"amount":"+0.849617600440979","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":"Q5916343$5B6444CC-2F17-469A-9F98-C2927130E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a057a9389e09fc770db78837d9cf69aa9c0715e","datavalue":{"value":{"entity-type":"item","numeric-id":5895299,"id":"Q5895299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16812c6dc39dc620de6ec80f747d69266e81e799","datavalue":{"value":{"amount":"+0.8490214347839355","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":"Q5916343$5F70A8EF-1A4A-4003-9274-250922D9F702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bfad90bc1c51ec535159367468ee957a6fa9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3827269,"id":"Q3827269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b85272fea6ce00fed94113bf7da70629f6ed5e","datavalue":{"value":{"amount":"+0.8344225883483887","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":"Q5916343$58033C5C-31CB-487C-B8DC-29FC304148B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5916343","badges":[]}}}}}