{"entities":{"Q6482806":{"pageid":13978953,"ns":120,"title":"Item:Q6482806","lastrevid":104441491,"modified":"2026-07-10T19:40:12Z","type":"item","id":"Q6482806","labels":{"en":{"language":"en","value":"inverse function theorem"},"de":{"language":"de","value":"Satz von der Umkehrabbildung"}},"descriptions":{"en":{"language":"en","value":"theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that point"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{"de":[{"language":"de","value":"Satz \u00fcber die Umkehrabbildung"},{"language":"de","value":"Satz von der inversen Abbildung"},{"language":"de","value":"Satz \u00fcber die inverse Abbildung"},{"language":"de","value":"Satz von der Umkehrfunktion"},{"language":"de","value":"Satz \u00fcber die Umkehrfunktion"},{"language":"de","value":"Satz von der inversen Funktion"},{"language":"de","value":"Satz \u00fcber die inverse Funktion"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"399368f2e03436f7939bdcc69e097a2579354015","datavalue":{"value":"Q931001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$86CCD8DD-2129-48A7-8801-4C5A36DE1C58","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"cf2390a5614b984cef42d53519fd8d0b887d718a","datavalue":{"value":"/m/01q5s1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$25A12EB5-9444-439B-AF92-1F58DDAABFC0","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482806$9BDA0FB6-0B46-493D-85FB-4C89791F6B92","rank":"normal"}],"P250":[{"mainsnak":{"snaktype":"value","property":"P250","hash":"02f18eefd0826bc2e2dcb07df827768443d28fc2","datavalue":{"value":{"entity-type":"item","numeric-id":6482807,"id":"Q6482807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482806$212D5D3D-E0F4-4042-BE8F-60A114411AE8","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"46bb9936b33932311a47d7c01d31d657cc0e15a6","datavalue":{"value":"43987214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$58DD8F74-6EEA-4C44-9154-4F9A221278D6","rank":"normal"}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"8ed2ecba3c756ccb959e2e2157e2cd3f261f08cf","datavalue":{"value":"inverse function theorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$08B18B0A-9E42-4478-8D53-0D2B8EB2F438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e055a53cba4c1fae1af25744496da6da3b0e75d4","datavalue":{"value":"C43987214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$350F7F5C-A3D5-4A00-A0C1-214F69B4A2F3","rank":"normal","references":[{"hash":"b61840b5e4c07320c0aa508d1e9d37d18264ae22","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}]},"snaks-order":["P98","P69","P56"]}]}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"4dde54223567e799ed08c0807ebab6959a58559e","datavalue":{"value":"InverseFunctionTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$029195D6-0607-4268-B73E-8B57A3B3BC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"4dde54223567e799ed08c0807ebab6959a58559e","datavalue":{"value":"InverseFunctionTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"dfd8399281195249317a3a419a36187b1f64e91d","datavalue":{"value":"Inverse Function Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6482806$BF9F4EA6-0308-4193-905F-C5C479D0CF0E","rank":"normal"}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"3bc252c9543c1c2d3f353d9a23230e44ed81319a","datavalue":{"value":"Inv-Fun-Thm-3.png","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P401":[{"snaktype":"value","property":"P401","hash":"bcb302f6253cb23953ff6d4388e1e3a49f4b2f9b","datavalue":{"value":{"text":"a counterexample demonstrating the necessity of continuous differentiability in the inverse function theorem: the function \ud835\udc65+2\ud835\udc65\u00b2sin(\u00b9\u2044\ud835\udc65) is differentiable (but not continuously so) at 0 and does not admit a local inverse near 0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},{"snaktype":"value","property":"P401","hash":"9f600df7a449ba484b28654c4f817ec8bf94188b","datavalue":{"value":{"text":"kontra\u016dekzemplo pri la neceso de kontinua derivebleco en la funkcio de la inversa funkcio: la funkcio \ud835\udc65+2\ud835\udc65\u00b2sin(\u00b9\u2044\ud835\udc65) estas derivebla (sed ne kontinue derivebla) \u0109e 0, kaj loka inversa funkcio mankas \u0109irka\u016d 0","language":"eo"},"type":"monolingualtext"},"datatype":"monolingualtext"}]},"qualifiers-order":["P401"],"id":"Q6482806$B32D5FFB-6EC1-40C5-8E45-9C4A3633F433","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"8b22498838912b0baee7274084dba723f8979b78","datavalue":{"value":"\\begin{aligned}&f\\in\\mathcal C^1(M,N)\\\\&\\det Df(x)\\ne0\\implies\\exists(x\\in U\\subset M)\\exists(g\\colon f(U)\\to U)\\colon \\operatorname{id}_U=g\\circ f,\\;f\\circ g=\\operatorname{id}_{f(U)}\\end{aligned}","type":"string"},"datatype":"math"},"type":"statement","id":"Q6482806$95CA873C-AE1D-4DA5-A614-66E37E07C64F","rank":"normal"}],"P983":[{"mainsnak":{"snaktype":"value","property":"P983","hash":"e0b4613a2df5cee5f12357e6d91c2aeb5d7215b4","datavalue":{"value":"\\det Df","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"fe9974422bdd57f68436532db91d95a90dd76113","datavalue":{"value":{"entity-type":"item","numeric-id":6482885,"id":"Q6482885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6482806$A9AA42BE-B6E0-4184-ACB5-8F01C2D82FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"39af02992727c64438b92e7a9607ea7ef30a9d71","datavalue":{"value":"\\mathcal C^1(-,-)","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"b9fefa34e7e402c8022ff278b2b083f179004f9c","datavalue":{"value":{"entity-type":"item","numeric-id":6481124,"id":"Q6481124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6482806$07E61F9D-0518-45E6-ADD5-C58560502B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"8e44cc68cc7cbfcb8266b40e01b0bd03bd034cec","datavalue":{"value":"\\operatorname{id}","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"d43744ed155ff2cd5775b561940ba0e25bc8ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":6674013,"id":"Q6674013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6482806$2E53FA53-2266-4CBE-95BA-4F8AD02C2A34","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6482806$201B25B4-F100-426C-BE8D-D263C437D623","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"98979031c19643409d8ca0498a7d6bc74da8de9a","datavalue":{"value":"inverse function theorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482806$7E8CD07E-1943-4E22-9205-EDF279D547A4","rank":"normal"}]},"sitelinks":{}}}}