{"entities":{"Q1128331":{"pageid":1139080,"ns":120,"title":"Item:Q1128331","lastrevid":66837846,"modified":"2026-04-12T13:11:39Z","type":"item","id":"Q1128331","labels":{"en":{"language":"en","value":"Local invertibility of non-archimedean vector-valued functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1187662"}},"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":"Q1128331$FBDD43F4-9DA5-4FA5-8CD3-1EC41D852CF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"947a4171ce978a7deb82ec0935f6644b27224a71","datavalue":{"value":{"text":"Local invertibility of non-archimedean vector-valued functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1128331$596B007E-A6F7-414D-A5CC-14F241CD834C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8c687ec9bac3963fde95f4324416934ba608509","datavalue":{"value":"0922.46065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$516658FC-4292-4EA5-BBC1-596E1C9DA464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0824b2968cc973e9cc2c84e06b40686d90e75","datavalue":{"value":{"entity-type":"item","numeric-id":1128330,"id":"Q1128330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$1B1D495E-5A1E-4625-9F3E-A0FF1609134B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a9d16aa5bebe85061c7fdc74495e498a84ff06e","datavalue":{"value":{"entity-type":"item","numeric-id":172400,"id":"Q172400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$D4C0F08D-6088-4204-9C66-8C0EA1C9302E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da84256ba4cf59a5f1c2c150bb4ab85d06806895","datavalue":{"value":{"time":"+1998-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1128331$FF7BBA23-01AD-4CF3-9364-1D3B064CB698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b1c7b74cce32da15fccbe6daefd272651802c2","datavalue":{"value":"http://www.numdam.org/item?id=AMBP_1998__5_1_13_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1128331$D3ABF873-2653-4601-8EEA-569BF4370D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"99d780da03324f51b0d2d5115225b3fb6ff579f6","datavalue":{"value":"https://eudml.org/doc/79194","type":"string"},"datatype":"url"},"type":"statement","id":"Q1128331$76F69356-C7C7-4D3D-9CFD-5F66150381D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11c5dec2e1ce7180c73b7d1ab4b2b052cfb96363","datavalue":{"value":"Let \\(E\\) be an \\(n\\)-dimensional non-Archimedean vector space, \\(F\\) an \\(m\\)-dimensional non-Archimedean vector space and \\(X\\) a nonempty subset of \\(E\\) without isolated points. A function \\(f: X\\to F\\) is said to be continuously differentiable at \\(a\\), i.e., \\(f\\) is \\(C^1\\) at \\(a\\), if there is a function \\(g\\) and a linear function \\(L\\) (depending on \\(a\\)) such that for all \\(x\\neq y\\in X\\):  \\[ f(x)- f(y)= L(x- y)+ g(x- y)\\text{ with } \\lim_{(x,y)\\to (a,a)} {| g(y- x)|\\over| y-x|}= 0. \\]  The linear function \\(L\\) is then denoted by \\(df_a\\) and is called the differential of \\(f\\) at \\(a\\). Its matrix \\(f'(a)\\) is called the derivative of \\(f\\) at \\(a\\). Thus \\(f'(a)\\) is the unique \\(m\\times n\\) matrix such that \\(df_a(x)= f'(a)x\\) for all \\(x\\in X\\). The function \\(f\\) is \\(C^2\\) at \\(a\\) if there is a linear function \\(L_1\\) and a bilinear function \\(L_2\\) (both depending on \\(a\\)) such that for all \\(x\\neq y\\in X\\):  \\[ f(x)- f(y)= L_1(x- y)+ L_2(x- y)(x- y)+ g(x- y)\\text{ with }\\lim_{(x,y)\\to (a,a)} {| g(y- x)|\\over| y-x|^2}= 0. \\]  A similar definition can be given for \\(C^k\\)-functions.   The following two theorems proved in this paper deal with the local invertibility of non-archimedean vector-valued \\(C^1\\) and \\(C^k\\)-function:   Theorem 1. Let \\(f:E\\to E\\) be \\(C^1\\) at \\(a\\) and suppose \\(\\det f'(a)\\neq 0\\), then \\(f\\) is locally in vertible. The local inverse \\(g\\) of \\(f\\) is \\(C^1\\) at \\(f(a)\\) and \\(g'(f(a))=(f'(a))^{-1}\\).   Theorem 2. Let \\(f:E\\to E\\) be \\(C^k\\) at \\(a\\) and suppose \\(\\det f'(a)\\neq 0\\), then \\(f\\) is locally invertible. The local inverse \\(g\\) of \\(f\\) is \\(C^k\\) at \\(f(a)\\). (The proof of Theorem 2 is given for the case \\(k=2\\), \\(n=2)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128331$EAC1887C-5F13-4E97-A90D-E6534151C4A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8a9eccceff2edeeed2ef9d16996833ee1df720f","datavalue":{"value":"46S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$88145354-48D5-4035-B160-403E2AD116B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f09c4c63ab6ed6a6f1d3c2c5388cc8dc32cffcac","datavalue":{"value":"46G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$07D81F93-95D5-4CD2-BE0E-B14597409975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b3375132e1ed526d1e3f943e3f9c5350f0d546f","datavalue":{"value":"46E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$8A80B85F-B496-4395-8B98-F88781DC6F39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abb6b1ceb765a96ad2d1a7c51ec4bd73f1105396","datavalue":{"value":"1187662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$29426240-E05B-4343-9794-BB8920DD1D3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c462668dd763057ca71e2c144e8faea5e329e845","datavalue":{"value":"non-Archimedean vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128331$4AE6D9C0-63DC-49E4-8A9A-43EF864CF408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d6273290cf6af44a212261cd5e03c1ef710c47","datavalue":{"value":"differential","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128331$FA219701-20A2-498A-9769-9C9E3533CB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b89ad5e32c67b9158b062e02d5f830c4124169","datavalue":{"value":"derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1128331$FFA2D34E-695B-4A3A-AB3F-A888AABEF9E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98e1fc5fd675e19d096a6339fb87930ea233a8b2","datavalue":{"value":{"entity-type":"item","numeric-id":382134,"id":"Q382134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$B12BAE30-9415-4B22-86FE-633B82C9055F","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":"Q1128331$DC1A3D34-E998-4AA7-9127-C995ACC67B24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1749f1ee40ab1d566e1488148c9d76d9ba8b717","datavalue":{"value":"W2322342514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$CC868C96-BE6F-4B76-B252-531BD191E101","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebb0a8d85f5b8fbd0ef49def427a75d67292e87","datavalue":{"value":{"entity-type":"item","numeric-id":1326945,"id":"Q1326945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$79AA8949-0EE2-49C8-94C8-BF4E67C1C08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558f4c634cd25c320f85689f1dd8495833a5b08e","datavalue":{"value":{"entity-type":"item","numeric-id":1344897,"id":"Q1344897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$606E1D82-82E0-46A2-B8EB-DED7E851533D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73f4fcd6246e2821390fb5b94d15559f3a4e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":3913621,"id":"Q3913621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$D6F663D7-99B0-4A4C-97C8-53794C9B5BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926796d743519d081baa874c10629bb4be17ef43","datavalue":{"value":{"entity-type":"item","numeric-id":3346515,"id":"Q3346515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$DDEA9AD7-7C6A-4940-A44D-477EC62E9CDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30708ae17c22d04ce23df9c7e7c6ce3d48fe54d1","datavalue":{"value":"10.5802/AMBP.102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1128331$4D209982-AC8E-4AC5-985A-4F293D7D153C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65296fab6d48c37e189275e5b904236df9605417","datavalue":{"value":{"entity-type":"item","numeric-id":3677953,"id":"Q3677953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7235fbcd4f4be190f5e1cd55efce5a19b87adb18","datavalue":{"value":{"amount":"+0.8395202159881592","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":"Q1128331$FD43D97E-14D5-4856-8809-2CE13EEC9598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e07f5cc55b4d71d56d9aea6515fc325253983","datavalue":{"value":{"entity-type":"item","numeric-id":5966254,"id":"Q5966254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54022345ad9ed59ed6407be12c0cdf9193f7ee41","datavalue":{"value":{"amount":"+0.7950323224067688","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":"Q1128331$6FE548A7-A9D7-472F-83F0-154971B9A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4645ef46d14c55d691bdb8a9f7e15858b1cbf27","datavalue":{"value":{"entity-type":"item","numeric-id":633042,"id":"Q633042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063a96aad11c097e3f0cd603407a1f7df2fac1ae","datavalue":{"value":{"amount":"+0.7856408357620239","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":"Q1128331$9A048A83-7137-4853-9836-7AC75115B191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e54f57bd5ceecae9eaa16c7afa759c8dc506dd","datavalue":{"value":{"entity-type":"item","numeric-id":3701677,"id":"Q3701677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc412b452a538082cca860b6d4a4c31252bacc04","datavalue":{"value":{"amount":"+0.7751858234405518","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":"Q1128331$76BA0B07-5B7E-4570-A891-B7BE6D781DD8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1128331$E64D71E2-64EF-4063-8927-00B86DD1E382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local invertibility of non-archimedean vector-valued functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_invertibility_of_non-archimedean_vector-valued_functions"}}}}}