{"entities":{"Q331374":{"pageid":333141,"ns":120,"title":"Item:Q331374","lastrevid":61023804,"modified":"2026-04-10T20:40:17Z","type":"item","id":"Q331374","labels":{"en":{"language":"en","value":"Injective convex polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644335"}},"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":"Q331374$23E31BF4-3F82-4AA0-95C6-68DC4438C944","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9efa3ac963522e3adce9467cd196cc00dab5bd69","datavalue":{"value":{"text":"Injective convex polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q331374$0429ED02-7ADD-4BD5-9F32-EDE07645C750","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7964448bd1179fbd7bce3f7a1d95be59ab55d4ec","datavalue":{"value":"1356.52006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$FE337149-C802-4F0A-9B51-F81EBCC8D6E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60c91c920dc78009a219d06e9f727185600c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":331373,"id":"Q331373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$30F5461F-6FD2-4B88-A3CE-2F27E273AF71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$0F79EA60-976F-4783-9D24-7DD857878BEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q331374$CBCE4950-D3A9-4625-98FA-04A79FF0A874","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b27b0636c591acab66034c5643d26a5e5e8696db","datavalue":{"value":"https://arxiv.org/abs/1410.7306","type":"string"},"datatype":"url"},"type":"statement","id":"Q331374$F886B72B-F6BB-42A6-ACEF-7BB7D6635651","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a597be7155adc29c5b3d48f4e21cac8dfe3ab63","datavalue":{"value":"Given \\(x \\in {\\mathbb R}^n\\), let \\(\\| x \\|_{\\infty} = \\max |x_i|\\), \\(\\| x \\|_1 = \\sum^n_{i=1} |x_i|\\), and let \\(S \\subset {\\mathbb R}^n\\), endowed with the metric \\(d_{\\infty}\\) defined by \\(\\| x \\|_{\\infty}\\), be an injective object in the category of metric spaces and distance non-increasing maps. This \\((S, d_{\\infty})\\) is called \\textit{injective}.  The main results of the paper are devoted to characterization of injective convex polyhedra and injective convex polyhedral cones in terms of their facets and tangent cones (Theorems 1, 2) and    Theorem 8. {Let \\(P \\subset {\\mathbb R}^n\\) be a convex polyhedron with non-empty interior. Then the following two conditions are equivalent: (i) \\(P\\) is injective; (ii) \\(T_p P\\) is injective for every \\(p \\in \\partial P\\).} Here \\(T_p P\\) is the tangent cone to \\(P\\) at \\(p \\in \\partial P\\).  The author applies these results to the linear programming in the case of at most two variables per inequality (TVLI). Let \\(I_n := \\{1,2,\\ldots n\\}\\), \\(I_m := \\{1,2,\\ldots m\\}\\).    Theorem 3. {Consider \\(f,g: I_m \\to I_n\\) and for \\(i \\in I_m\\), \\(a_i, b_i, c_i \\in {\\mathbb R}\\) so that  \\[ P = \\bigcap_{i \\in I_m} \\{x \\in {\\mathbb R}^n: a_i x_{f(i)} + b_i x_{g(i)} \\geq c_i \\} \\]  satisfies \\(\\mathrm{int}(P) \\neq \\emptyset\\), and \\(P \\neq {\\mathbb R}^n\\). Then, \\(P\\) is injective.}  A characterization of injective linear subspaces of \\({\\mathbb R}^n\\) is obtained as well:    Theorem 6. Let \\(\\emptyset \\neq X \\subset {\\mathbb R}^n\\) be a linear subspace, \\(\\dim X=k\\). Then, the following conditions are equivalent: (i) \\(X \\) is injective; (ii) There is a subset \\(J \\subset I_n\\), with \\(|J| = k\\) such that for any \\(i \\in I_n \\setminus J\\) there exist real numbers \\(\\{\\alpha (i,j) \\}_{j \\in J}\\) such that \\(\\sum_{j \\in J} |\\alpha (i,j)| \\leq 1\\) and such that  \\[ X = \\{x\\in {\\mathbb R}^n: \\text{ for all } i \\in I_n \\setminus J,\\, x_i = \\sum_{j \\in J} \\alpha (i,j) x_j \\}. \\]   In particular, Theorem 7. Let \\(\\nu \\in {\\mathbb R}^n \\setminus \\{0\\}\\). The hyperplane \\(X=\\{x\\in {\\mathbb R}^n: x \\cdot \\nu = 0 \\} \\subset {\\mathbb R}^n\\) is injective if and only if \\(\\| \\nu \\|_1 \\leq 2 \\|\\nu \\|_{\\infty}\\). Here \\(x \\cdot \\nu\\) is the standard scalar product.   Reviewer's remark: It seems to the reviewer that on the page 593, line 8, one should read ``satisfying \\(r_y + r_z \\geq d_{\\infty} (y,z)\\) for every \\(y,z \\in Y\\)'', not ``\\(r_y + r_z \\geq d_{\\infty} (x,z)\\)'' since there are no ``\\(x\\)'' in these considerations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$BC70FE3A-CA2C-49A3-8446-E367D3484FB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8c559b7735995b34a52383ad36604ca4654763f2","datavalue":{"value":{"entity-type":"item","numeric-id":589924,"id":"Q589924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$2049CC37-71DD-4121-A217-2B5EAF70AD77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798eea1f37baf19c7c9678fe1fc9dd8eadfa6f52","datavalue":{"value":"52B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$45FDD6CE-94FC-4BDF-A363-F2D4CCF3D255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c5e393dcd87db92696b1a6e89f879f680fcfa4","datavalue":{"value":"51F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$1E762568-1389-4845-AFD1-1B1B6A90B7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1843e81409f3792b00d3182ce7ba4ed15ff9fdc","datavalue":{"value":"46B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$F5327BD9-D2D5-43B1-A3B1-5329B3B28927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3e91529a8a08801bafc0325eb71a11714228bfc1","datavalue":{"value":"52A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$EAC4C9FD-650A-40B5-81A2-B655858E4003","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e967faea9a9c7020b2410671942efab4b659301","datavalue":{"value":"6644335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$EBB73E52-FD3D-40DF-9817-1992D0154C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74401e580d6d92481fccd16522c1337f4975af0c","datavalue":{"value":"hyperconvexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$E145086C-B5AF-4A03-BA99-E8A86B11F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$F971F3D5-838A-4DDB-AE07-995D3D3C1245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af787d1b4b14af1c021acee5efc3a18774584b59","datavalue":{"value":"Helly property","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$4E20C8E8-953D-457E-A4C7-0A94BAF0C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d5c7e6be4aa87ac6f4ac92c90373e0f1eafaa1","datavalue":{"value":"binary intersection property","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$4C5D4C07-BD6B-4625-92A5-9D1A41F4DE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67a90fbc3a77c8e8421ad2dca0963edf170732d","datavalue":{"value":"absolute 1-Lipschitz retracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$1020A653-EE1F-4B16-956D-7DA79BE8CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$6A592EA0-5DA0-42DC-BC54-5A74443CA19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c60e1a6a2b145a3ae46235715f69367b03dabd5b","datavalue":{"value":"injective objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q331374$85E2D0D9-86A9-4B95-886B-57836DC4A209","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b306fd381a1c6ff0ab42e6741994755f3e06f1ed","datavalue":{"value":"Q114229316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$FE92A938-EDC7-4F7A-ABBE-1150598A1038","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":"Q331374$1FD6B251-3B19-4BCE-A80B-699A315BB542","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5fe914c5a114858672c8fba566a8b7d35ecc471","datavalue":{"value":"W2244530709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$ED175140-CB5F-493B-B055-C69703A818B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"945b569cb2b5d0341f9462d371c087963dc779f6","datavalue":{"value":{"entity-type":"item","numeric-id":3411966,"id":"Q3411966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$696219C4-2E09-4037-AA35-258531BA419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd5b7122a4d3f9518cb624fcaf6b6e1945e681","datavalue":{"value":{"entity-type":"item","numeric-id":768180,"id":"Q768180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$7D9E7DA3-8282-48DF-BC8C-209B9848C7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc28f04887f41c4e0abae68e8bba68c1199df555","datavalue":{"value":{"entity-type":"item","numeric-id":3602885,"id":"Q3602885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$3591D498-73FB-4800-84E6-093C7360FAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bbf6eee86767cb587044b9afcdc2ceb905f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":1056946,"id":"Q1056946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$72B975D6-9125-4727-AD61-3C9D9AF66064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5505702c35cae0aba385293ce9a1253702cd6c","datavalue":{"value":{"entity-type":"item","numeric-id":2761638,"id":"Q2761638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$F772E475-3DED-4BFA-B0F3-E4BACB1FAE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967ee43eeedc0f68009be4f4a6ac9a160bf68fc4","datavalue":{"value":{"entity-type":"item","numeric-id":2525528,"id":"Q2525528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$9295F145-6301-401D-8E82-304144AF3748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3e13b8663efba099d2304d3ab3be5369c8c434","datavalue":{"value":{"entity-type":"item","numeric-id":2852536,"id":"Q2852536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$353BFB8E-2AC4-4666-AC68-D9D76B066A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77284c0af45e11a212094acc203feb4be8b06b6","datavalue":{"value":{"entity-type":"item","numeric-id":5515712,"id":"Q5515712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$B10A1323-EF48-4A62-824A-D912733F29E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34388d55de5ecb3a5089dad86e4afb8d2246a761","datavalue":{"value":{"entity-type":"item","numeric-id":5793528,"id":"Q5793528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$F8F5E72C-E76B-4C1C-86E9-90D4B3B967F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c63d982dc105c28707a995483aecf925525eec","datavalue":{"value":{"entity-type":"item","numeric-id":3922186,"id":"Q3922186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$C2C0F263-30EA-4C66-80B0-E95ADD612A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589122fc263bb9a1fd735f4e58159d24892be2f0","datavalue":{"value":{"entity-type":"item","numeric-id":656848,"id":"Q656848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$9C8FC02A-D70B-435A-9D5C-0710344A8912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b550b155a0fb60530d6998dde6c611bf7462905d","datavalue":{"value":{"entity-type":"item","numeric-id":5830185,"id":"Q5830185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$16844D72-F6FC-4131-9E5F-3F898D9F71CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd86ecbeabd3f7b71a7139a04af977266bf16ca","datavalue":{"value":{"entity-type":"item","numeric-id":5891086,"id":"Q5891086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$E7FCA8E4-9DB0-4125-899C-81D3B8F48ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce2a67917373e5b4e39d7c86d75e3ad261de966","datavalue":{"value":{"entity-type":"item","numeric-id":4323295,"id":"Q4323295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331374$2D67DA88-0EF3-462B-85EE-E48DF73BA87B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882410136e2a710fba7782e38f55c0f9941785e8","datavalue":{"value":"10.1007/S00454-016-9810-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331374$F8E2DEC0-72D4-43FE-A2ED-8979A70CC470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e51c072a6fcdde71fea0155be1bbdef4b659b9","datavalue":{"value":{"entity-type":"item","numeric-id":6161891,"id":"Q6161891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58953639339a088bbf730b68ea22e84863edbc58","datavalue":{"value":{"amount":"+0.6965197920799255","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":"Q331374$8C1CB4BA-1973-45C0-B7AC-9EAC9001A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6982705274749579251534dc65e38e891b119e7","datavalue":{"value":{"entity-type":"item","numeric-id":4628619,"id":"Q4628619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52e6d816f73533f6b59b0c0304406b5fcedf8f6","datavalue":{"value":{"amount":"+0.6928521990776062","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":"Q331374$AB743CCD-8551-4B4F-BF57-2249B6BFAC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d93b4b23c39fcf2c16a8a899d0d855bbcad2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3334539,"id":"Q3334539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c07593f202fb6ad7a0ae9dd0f83dd5432e87114","datavalue":{"value":{"amount":"+0.6884016394615173","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":"Q331374$6076DD10-1BA6-48EF-A4A9-3FEFA4300F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce1bde13f22b3784be8d61bb93d58167056e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1893631,"id":"Q1893631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf1ae8a591f6bf6e60231a32a4ab09da6ac0aee","datavalue":{"value":{"amount":"+0.6878239512443542","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":"Q331374$3D16EAE2-4033-4CD7-A024-F6218069A7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6438f8c083559ebe728d7a8c4c3e474846fb3a","datavalue":{"value":{"entity-type":"item","numeric-id":4038559,"id":"Q4038559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf1ae8a591f6bf6e60231a32a4ab09da6ac0aee","datavalue":{"value":{"amount":"+0.6878239512443542","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":"Q331374$29CD1D3A-415B-4F7B-8EFC-CF7D98DE03A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Injective convex polyhedra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Injective_convex_polyhedra"}}}}}