{"entities":{"Q2663646":{"pageid":2674389,"ns":120,"title":"Item:Q2663646","lastrevid":57622356,"modified":"2026-03-31T16:07:15Z","type":"item","id":"Q2663646","labels":{"en":{"language":"en","value":"Existence of continuous right inverses to linear mappings in finite-dimensional geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7334963"}},"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":"Q2663646$2BE96DA2-8B75-4D14-97FE-C40501A52518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6206ece9db5bb3d6eb9e9ad3b1f3a5b31c8e360e","datavalue":{"value":{"text":"Existence of continuous right inverses to linear mappings in finite-dimensional geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2663646$3EB2FAE5-1A08-452E-AE66-B1FD01CE9677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1af5cc34a667e3a1f4b2e43809c03a7cbebc228","datavalue":{"value":"1472.51018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663646$C57458B7-7DE4-4D63-A57E-EF721B0F668E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b32bb9ad4247d98168045282f88ab96b4605a011","datavalue":{"value":{"entity-type":"item","numeric-id":446238,"id":"Q446238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$C544A03C-D9FC-4750-A58C-E00178B9C100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de90ff41e10f3b8f946ae147b28768de364628a5","datavalue":{"value":{"entity-type":"item","numeric-id":2472371,"id":"Q2472371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$418F83D9-ED44-4823-99E0-06B93C58A6D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c90c6880477e5b8205fc27abd99e34ccb378ae6f","datavalue":{"value":{"entity-type":"item","numeric-id":194541,"id":"Q194541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$4854D6BE-9630-4A8A-98F6-D0A548CB283F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a75ecc8651000ecb4ff9566ba97a118200de08","datavalue":{"value":{"time":"+2021-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2663646$A4CAB873-E45B-4D9D-87CD-0049ADB9B8A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2344fce6efd8edc59fa13f25e6aa2ca73897dce","datavalue":{"value":"If \\(f: \\mathbb{R}^n \\to \\mathbb{R}^m\\) is a linear mapping, \\(A \\subseteq \\mathbb{R}^n\\) is a non-empty subset and \\(B = f(A)\\), the authors study the problem of the existence of a continuous right inverse of the mapping \\(f |_A: A \\to B\\). Section 2 contains examples of \\((f,A,B)\\) for which the restriction \\(f |_A : A \\to B\\) does not admit a continuous right inverse, with \\(A\\) compact and convex (in the third example in that section, which is a bit more complex than the first two examples, \\(A\\) has even smooth boundary).  The authors then study sufficient conditions under which \\(f |_A\\) has a continuous right inverse. Without loss of generality, it is enough to consider the case where \\(m = n-1\\) and \\(f\\) is the projection mapping \\[ (x_1, \\ldots, x_n) \\mapsto (x_1, \\ldots, x_{n-1}), \\] essentially because a linear projection from \\(\\mathbb{R}^n\\) onto a subspace of codimension \\(k\\) can be obtained as the composition of \\(k\\) such projections onto a codimension \\(1\\) subspace at every step.  Given a non-empty subset \\(A \\subseteq \\mathbb{R}^m \\times \\mathbb{R}\\), the authors define two functions \\(u_A\\) and \\(w_A: \\mathbb{R}^m \\to [-\\infty, \\infty]\\) by \\begin{align*} u_A(x) &= \\operatorname{inf}_{t \\in \\mathbb{R}} \\{ t \\in \\mathbb{R}: (x,t) \\in A \\} \\\\ w_A(x) &= \\operatorname{sup}_{t \\in \\mathbb{R}} \\{ t \\in \\mathbb{R}: (x,t) \\in A \\} \\end{align*}  Note that \\(u_A\\) and \\(w_A\\) are not necessarily continuous. If one assumes that \\(f^{-1}(x)\\) is connected, for any \\(x \\in B\\), then one can see that the problem of the existence of a continuous right inverse for \\(f |_A\\) is closely related to the problem of the existence of a continuous function \\(w\\) whose values are squeezed between \\(u_A\\) and \\(w_A\\).  Sufficient conditions for the existence of a continuous right inverse are obtained in Sections 4, 5 and 6. For instance, Corollary 2 in Section 6 states the following.  Corollary 2 Let \\(A\\) be a compact convex subset of \\(\\mathbb{R}^m \\times \\mathbb{R}\\), let \\(f\\) be the restriction to \\(A\\) of the projection \\(\\mathbb{R}^m \\times \\mathbb{R}\\) onto its first factor \\(\\mathbb{R}^m\\), thus mapping \\((x,t) \\mapsto x\\) and let \\(B = f(A)\\). Assume there exist two functions \\(u, w: B \\to [-\\infty, \\infty]\\) such that \\[ A = \\{ (x,t) \\in \\mathbb{R}^m \\times \\mathbb{R}: u(x) \\leq t \\leq w(x) \\}. \\] Then \\(f\\) admits a continuous right inverse iff \\(u^\\sharp \\leq w^\\flat\\) on \\(\\partial B\\), where \\(f^\\sharp\\) (\\(f^\\flat\\)) denotes the upper (lower) regularization of a function \\(f: B \\to [-\\infty, \\infty]\\).  In Section 7, the authors consider the special case of polyhedra, and in Section 9, they formulate and prove a result which shows that projections which do not have a continuous right inverse are exceptional (rather than generic).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663646$D1AA3046-C2C9-420C-A629-D546CCA0D376","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f84502a48b14178cf846413e9a2b85a6d55f8e37","datavalue":{"value":{"entity-type":"item","numeric-id":828412,"id":"Q828412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$F267F202-72EB-4F40-B718-9BD47474C25B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40bc7a19146c6389fd1d558a0ca183cd10cebf02","datavalue":{"value":"51N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663646$A0927C2F-8514-4BB2-8C23-1E8490E40BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"530400266b598f0b06b634b1082c0ed18a5b12d9","datavalue":{"value":"26B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663646$8AA08419-36C6-415E-A528-3E28364AD27C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99d7232ff4b42eb6cc1145b915a9f86728de898e","datavalue":{"value":"7334963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663646$5AB65032-FADD-4B20-B66C-CFFE7E3A3DBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47368460ddecb361740c1a09a38e5ab00247c22b","datavalue":{"value":"linear mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663646$912CE6CA-8B07-44B5-B62C-87A65D39938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775dff11db73f8ab13bf416ea1418e88a761bb44","datavalue":{"value":"continuous right inverse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663646$C6927CA9-3D15-4A5C-9F73-E3F5DCF9D546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663646$2418EF57-E1D1-4747-ABBB-B90D054C1353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3905468585b237ab11eda3efb7661aed8b3b969c","datavalue":{"value":"finite-dimensional vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2663646$271329E2-76F8-446F-8E2D-A9AED10B8357","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":"Q2663646$A7681D33-2082-4725-ACF4-97ED4DEDD06E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c1ccca7342da86924e7bb43ab78205f0d51d37","datavalue":{"value":"https://doi.org/10.1007/s00591-020-00286-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2663646$15D4561F-D29F-48E1-B7E2-8855D531A6C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a052a66955923f3d3f1ef6da6f0567418e3cd60","datavalue":{"value":"W3109771984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663646$EF817F0B-8E0B-4C81-83F4-AFCE47158C23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6277e3014908b416601a4481d25a27e9252a910a","datavalue":{"value":{"entity-type":"item","numeric-id":3999037,"id":"Q3999037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$1DC98E77-E125-4548-8D2D-F3BEE3480406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a27291b5ce1bca526773b48fbdf6dc97765f37","datavalue":{"value":{"entity-type":"item","numeric-id":2569003,"id":"Q2569003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$418719FE-95E1-48FB-BD78-6D4B98C22137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21726ca0d58dbf63ca1cdf8e04623979aa92956","datavalue":{"value":{"entity-type":"item","numeric-id":4219111,"id":"Q4219111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$37EAE729-34D8-4AC4-A22F-3ED3DEEAEA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77a8931f2e169e40b7c98579d0d6f1bbb981a57","datavalue":{"value":{"entity-type":"item","numeric-id":5528072,"id":"Q5528072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2663646$00CC4F2D-5736-4811-8810-EB6D15FB0824","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d1222d94745de061ac1098f46650f8f8d4083a","datavalue":{"value":"10.1007/S00591-020-00286-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2663646$50522068-BEA4-4FCB-972F-042514AEB78F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9e81bd4907d1fce9f341d1b3e5dd108a91b24e","datavalue":{"value":{"entity-type":"item","numeric-id":1013803,"id":"Q1013803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314f45463909186c04ac6004845fbbe1bfc60b7a","datavalue":{"value":{"amount":"+0.8178834319114685","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":"Q2663646$D00DBDDD-D993-4B4E-BD9F-81E66CAFBC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12962bd02fea6248a5272694dc1a70152c6a5dee","datavalue":{"value":{"entity-type":"item","numeric-id":483145,"id":"Q483145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d874e409959e344573d0f5e16295a3f9779cd56","datavalue":{"value":{"amount":"+0.7415900230407715","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":"Q2663646$7263FB0E-DC7A-416C-968D-798E0F40F86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4fef44b71bc42dd227db842cb5e06d482d6aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4778426,"id":"Q4778426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f5795965ea07c8ad8dfe7ce8712d28e140e632","datavalue":{"value":{"amount":"+0.7294834852218628","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":"Q2663646$BE92762F-C482-416F-964B-E89510EC7015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9971901aa8b364b500bb77f4231762e7037b390f","datavalue":{"value":{"entity-type":"item","numeric-id":1109907,"id":"Q1109907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3386c5ffdbeda9b7e0c8e46bf5d9c96eabacbdb","datavalue":{"value":{"amount":"+0.7203862071037292","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":"Q2663646$D7C8AF78-008C-4B9D-98D1-EA8FEF616227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6a2f67be5653375596b6fd0789f0ed4ea3ff9f","datavalue":{"value":{"entity-type":"item","numeric-id":3705911,"id":"Q3705911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35224c723ab781b60d956ec094c14c04f3fd316a","datavalue":{"value":{"amount":"+0.7108809947967529","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":"Q2663646$E72C096D-141C-47B3-ACCE-75959958D7DA","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":"Q2663646$90BEA947-4A06-4A5C-AB88-8A3874B69BC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2663646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2663646"}}}}}