{"entities":{"Q1664077":{"pageid":1674818,"ns":120,"title":"Item:Q1664077","lastrevid":57458322,"modified":"2026-03-31T00:25:28Z","type":"item","id":"Q1664077","labels":{"en":{"language":"en","value":"The implicit function theorem for maps that are only differentiable: an elementary proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6924899"}},"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":"Q1664077$EF9D9618-E1F5-453A-9025-7ADEE21BDD49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332fb1463e6789321e80d1604be6c91df787c2ad","datavalue":{"value":{"text":"The implicit function theorem for maps that are only differentiable: an elementary proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1664077$94F270E9-13EB-41C6-80E0-D5FC7F76877D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c753282741756b1c9fe7b022a07e3a7d71ba7821","datavalue":{"value":"1401.26026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$911493C9-33E5-4419-8B2C-9A24DCA1B68E","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":"Q1664077$19099026-F18F-4B2B-876F-45780914AB0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13cdd6edc13ae30df49ead881dcc6c954c3f5ea5","datavalue":{"value":{"time":"+2018-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1664077$D0B32957-658D-4599-812E-D7E76499EE26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6206228e9df4a596b4baea17d0fda469bd17f1c2","datavalue":{"value":"https://arxiv.org/abs/1708.02065","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664077$08CC46C1-6EB1-4C59-84D9-238FE00F1014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a5934391ec52c49a2a9052588e122c5f8f592d","datavalue":{"value":"https://projecteuclid.org/euclid.rae/1530064971","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664077$A7B2FBB6-7D28-4AB8-88AF-659E36D1234D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"152b8d39d5fa5a04fcff6415ce22bacb547871d1","datavalue":{"value":"In this paper, the author presents an elementary proof of a version of the implicit function theorem that is stronger than the classical one. One proves the implicit function theorem for differentiable maps \\(F(x,y)\\), defined on a finite-dimensional Euclidean space, assuming that the leading principal minors of the Jacobian matrix \\(\\frac{\\partial F}{\\partial y} (x,y)\\) are nowhere vanishing; there are no hypotheses on the continuity of the partial derivatives of the map \\(F\\).  The case of one equation with several real variables and a differentiable function, that is, \\(F: \\mathbb{R}^{n+1}\\to \\mathbb{R}\\) has been considered by the author in a previous paper. For the general case the result is the following:  Let \\(F: \\Omega\\to \\mathbb{R}^{m}\\) be differentiable, with \\(\\Omega\\) a non-degenerate open ball within \\(\\mathbb{R}^{n}\\to \\mathbb{R}^{m}\\) and centered at \\((a,b)\\). Let us suppose that \\(F(a,b)=0\\) and that all the \\(m\\) leading principal minors of the matrix \\(\\frac{\\partial F}{\\partial y}\\) are nowhere vanishing. The following are true.  \\(\\bullet\\) There exists an open set \\(X\\times Y\\), within \\(\\Omega\\) and containing \\((a,b)\\), and a differentiable function \\(g: X\\to Y\\) satisfying  \\[  F(x,g(x))=0,\\text{ for all }x\\in X,\\quad \\text{and }g(a)=b.  \\]  \\(\\bullet\\) We have  \\[  Jg(x)=-\\left[\\frac{\\partial F}{\\partial y} (x,g(x))\\right]^{-1}_{m\\times m}\\left[ \\frac{\\partial F}{\\partial x} (x,g(x))\\right]_{m\\times n},\\text{ for all \\(x\\) in \\(X\\)}.  \\]  Let us suppose that we also have \\(\\det\\bigl(\\frac{\\partial F_{j}}{\\partial y_{j}}(\\xi_{i})\\bigr)_{1\\leq i,j\\leq m}\\neq 0\\), for every point \\((\\xi_{1},\\dotsc,\\xi_{m})\\) in \\(\\Omega^{m}\\). Then, the following uniqueness is true.  \\(\\bullet\\) If \\(h: X\\to Y\\) satisfies \\(F(x,h(x))=0\\) for all \\(x\\in X\\), then we have \\(h=g\\).  From this, one can deduce the corresponding inverse function theorem:  Let \\(F: \\Omega\\to \\mathbb{R}^{n}\\) be a differentiable map, with \\(\\Omega\\) a non-degenerate open ball within \\(\\mathbb{R}^{n}\\) and centered at the point \\(x_{0}\\). Let us suppose that all the \\(n\\) leading principal minors of \\(JF(x)\\) are nowhere vanishing. We also suppose \\(\\det\\bigl(\\frac{\\partial F_{j}}{\\partial x_{j}}(\\xi_{i})\\bigr)_{1\\leq i,j\\leq n}\\neq 0\\) for every point \\((\\xi_{1},\\dotsc,\\xi_{n})\\) inside \\(\\Omega^{n}\\). Under such conditions, there exist an open set \\(X\\) containing \\(x_{0}\\), an open set \\(Y\\) containing \\(y_{0}=F(x_{0})\\), and a differentiable map \\(G: Y\\to X\\) satisfying  \\[  F(G(y))=y\\text{ for all }y\\in Y,\\text{ and } G(F(x))=x\\text{ for all }x\\in X.  \\]  In addition, we have  \\[  JG(y)=JF(G(y))^{-1}\\text{ for all }y\\text{ in }X.  \\]  The author also provides some illustrative examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664077$24B61415-AFB7-4C67-902C-BC6A1B8DC953","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10fd372a91f9b8ae71b7dfa2439184afbb7df826","datavalue":{"value":{"entity-type":"item","numeric-id":393416,"id":"Q393416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664077$8395C168-93C4-4F23-864D-CBAFCF3B30F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8160d494c69bf795ca75b7bb533b605422f2c49","datavalue":{"value":"26B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$E541F885-6EDB-4BC1-8B3B-B7BF47542673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b61e45068a49d38884c7652bfe6757c8c73204a","datavalue":{"value":"26B12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$FA9CBABE-9B1F-4F1E-A038-9ED9724C26CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5a2dbfa8fffecc5af5e4e17fca00a749f538abc","datavalue":{"value":"6924899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$80C5E9A2-A48C-448D-8AE3-D9DBEB15BFFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b964281220da9564122f2fe0119c4d328f747c93","datavalue":{"value":"implicit function theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664077$48B7C6F4-FAF9-4A2E-B6B0-FAC712D7E263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5df7c5d5e12a14201535ebd7652fe220ddc663","datavalue":{"value":"Jacobians","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664077$E3AFCAF1-3BF6-4336-9F48-DC8673EED75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4934aa1b0b9a6a9e739c72ddf2738f25136be1b","datavalue":{"value":"transformations with several variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664077$EDCD0990-4480-4B6F-B496-ACC752ACF92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3933a90754db5698fb3d12c6b6d0a25d58eea498","datavalue":{"value":"calculus of vector functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664077$F390D8A6-43FB-4597-A344-5983F4440C89","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"568bed37a0adc9ee67c5df0599c32748ffe35400","datavalue":{"value":"Q111288348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$8B82239E-C097-471A-8A99-BB8C7F0A2335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee6e81da4ac6ca52fe2859e86d5dcc0316cf582","datavalue":{"value":{"entity-type":"item","numeric-id":642124,"id":"Q642124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664077$18E67B24-93BC-4164-8A95-1BEB65BC3637","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":"Q1664077$A72CB1C3-31E9-41AA-A825-A801F51F0065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"896f4ca485dc1e9b94b656f01e7e26709acfead9","datavalue":{"value":"W2962840045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$5B386F66-56EF-46E2-A5F4-7429AB15251A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f922ae8b1f2f2387e9f6ef57498445e38a145371","datavalue":{"value":"10.14321/REALANALEXCH.43.2.0429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664077$C0FC875B-A3DD-421C-9A18-509FC6AFF3CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892bad859ffb35c52dedfc369c1733d95fb24acc","datavalue":{"value":{"entity-type":"item","numeric-id":2370039,"id":"Q2370039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0f7a4ef37b3f6b0305eef33c12afd2456be878","datavalue":{"value":{"amount":"+0.92789197","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":"Q1664077$56C1EAC4-428E-4B23-9A0E-7F8F960B5424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025bb3a32b76773934fd0e487cb0c231f1d20a4c","datavalue":{"value":{"entity-type":"item","numeric-id":6169446,"id":"Q6169446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54a558f39432eb3c12bfe8b6ca4e28dc9e3a671","datavalue":{"value":{"amount":"+0.91242117","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":"Q1664077$938D44C0-7088-4462-AEAA-347395F8B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29aff33506592836c098b32e32309d975b34ef86","datavalue":{"value":{"entity-type":"item","numeric-id":3516927,"id":"Q3516927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e92ce0fd696955650dc1c17e4a08f4c7a51019","datavalue":{"value":{"amount":"+0.90334296","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":"Q1664077$EEBFAE9A-5AF5-4487-8F66-F6581F75DC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e929807cab1602a73dc55935379d95555f5f01","datavalue":{"value":{"entity-type":"item","numeric-id":2910741,"id":"Q2910741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af8b3f3f2984d47ca80dc7159189c49ef0c903e","datavalue":{"value":{"amount":"+0.90103936","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":"Q1664077$BA7EFF09-DDBA-4630-937B-FB858DDAB45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343f640f7235dcb98aded66728c7898179de246c","datavalue":{"value":{"entity-type":"item","numeric-id":1904965,"id":"Q1904965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50fef4b0a7384b93fe8896b53c81259f80c1c92","datavalue":{"value":{"amount":"+0.89910245","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":"Q1664077$AD494E48-6892-4532-B5E3-45764B8F63FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b38b118250b2dab885fbc5ae33e015156adcb7","datavalue":{"value":{"entity-type":"item","numeric-id":1263050,"id":"Q1263050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d738b42b5ce39c3f6ef08264e9264243a28631","datavalue":{"value":{"amount":"+0.8982759","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":"Q1664077$91B34BB9-682A-44D9-944A-72C798A4078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f643e0980ef08d828a715825ffd0bd3ed20d78","datavalue":{"value":{"entity-type":"item","numeric-id":790493,"id":"Q790493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208797b6a4a60091e82518bd20cdac7e2da020f8","datavalue":{"value":{"amount":"+0.89711887","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":"Q1664077$2EAA8482-6F3E-420B-B796-C9BE7A1295A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851cba9de101cd5f5dd7f5df86f3e74ae4a0fb03","datavalue":{"value":{"entity-type":"item","numeric-id":3029838,"id":"Q3029838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebaef5f487cc81bf9627290c2152c1d5ae8ca024","datavalue":{"value":{"amount":"+0.8931421","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":"Q1664077$ACC9506D-517D-4D22-9FC2-444A39745838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d2e2ccf0441267b330e38cf6ed15ad46a50603","datavalue":{"value":{"entity-type":"item","numeric-id":3790111,"id":"Q3790111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f5f9d34890dcdb06b2734207ede842384d3c00","datavalue":{"value":{"amount":"+0.8926435","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":"Q1664077$B770B18A-29D9-477F-9A86-3ACA7029DDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ceff063aa3f08dda51515a5d88048faaa708c3f","datavalue":{"value":{"entity-type":"item","numeric-id":654074,"id":"Q654074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeed6fd1400e1bc486306446fc028a944d1eb7fb","datavalue":{"value":{"amount":"+0.8910243","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":"Q1664077$B5C63405-8178-4A9B-BBAB-2BA3E81E1C6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1664077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1664077"}}}}}