{"entities":{"Q1046925":{"pageid":1048773,"ns":120,"title":"Item:Q1046925","lastrevid":66030219,"modified":"2026-04-12T07:03:33Z","type":"item","id":"Q1046925","labels":{"en":{"language":"en","value":"A separation theorem for nonlinear inverse images of convex sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652039"}},"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":"Q1046925$2048C5D2-3A48-47FB-9568-888F35A78F9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b2ea22b55a6ac99e65dad855467544f449ad762","datavalue":{"value":{"text":"A separation theorem for nonlinear inverse images of convex sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1046925$FDC658C1-1B11-4B71-95C8-1B7EFD834ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f1d40bb24b0e003d02d28583a7a72a0f1b0bf9","datavalue":{"value":"1212.46007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$1E9F89AE-150E-44D5-B337-82DD0C82ECFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92681e2480281e21d40f7ce0e8e554eb460e69a","datavalue":{"value":{"entity-type":"item","numeric-id":230527,"id":"Q230527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$66421919-8961-4F22-89DF-5C8E7FB27AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aa2373ddca2788238b58a9224389a2988ec3df2","datavalue":{"value":{"entity-type":"item","numeric-id":371555,"id":"Q371555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$787D6154-7C95-49D9-AC4B-052592EA2B25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$A6DEB4A3-5FC9-4C7E-8823-0C2502E8C6D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"687c75732839f2c72eaef9f265e249aec96677a2","datavalue":{"value":{"time":"+2009-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1046925$0984CD3C-2C51-470A-8353-19AA1687CC47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5287ac29f4d2a6a73e93e778273cd3ef459db7b0","datavalue":{"value":"Let \\(X, \\; Y_0\\) be Banach spaces, \\(Q_0 \\subseteq Y_0\\) a nonempty convex set, \\(Y_i\\) normed linear spaces and \\(Q_i \\subseteq Y_i\\) convex sets with nonempty interior for \\(i \\in \\{1,\\dots,n \\}\\). Let \\(D \\subset X\\) be an open set, \\(p \\in D, \\; F_0: D \\rightarrow Y_0\\) such that there exists a bounded surjective linear operator \\(F_0' (p): X \\rightarrow Y_0\\) such that \\( {\\lim} _{(x,h) \\rightarrow (p,0)} {{| F_0(x+h) - F_0(x) - F_0' (p) h| } \\over {| h| }} = 0, \\; F_i: D \\rightarrow Y_i\\) such that there exist \\(L, \\; r >0\\) such that \\(| F_i(x) - F_i(y)| \\leq L | x-y| \\) for all \\(x, \\; y \\in B(p,r)\\) and there exist bounded linear operators \\(F_i' (p): X \\rightarrow Y_i\\) such that \\(\\lim _{(x,t) \\rightarrow (p,0+)} {{F_i(x+tv) - F_i (x)} \\over {t}} = F_i' (p) (v)\\) for all \\(v \\in X, \\; i \\in \\{1,\\dots,n \\}\\). Assume that \\(F_0 (p) \\in Q_0, \\; F_i (p) \\in \\overline{Q_i}\\) for \\(i \\in \\{1,\\dots,n \\}\\) and there exists a neighbourhood \\(U\\) of \\(p\\) such that \\(U \\cap F_0 ^{-1} (Q_0) \\cap \\dots \\cap F_n ^{-1} (Q_n) = \\emptyset\\). Then, for each \\(\\alpha \\equiv (x_k, t_k)_{k \\in \\mathbb N}\\), where \\(x_k \\in X\\) and \\(t_k > 0, \\; x_k \\rightarrow p, \\; t_k \\rightarrow 0\\), such that there exist \\(\\lim {{F_i (x_k) - F_i (p)} \\over {t_k}} \\equiv D_ \\alpha F_i (p)\\) for \\(i \\in \\{ 0,\\dots,n \\}\\), there exist continuous linear functionals \\({y_i}^* \\in {Y_i}^*\\) such that \\({y_i}^*(y) \\leq {y_i}^*(F_i(p))\\) for all \\(y \\in Q_i\\) for \\(i \\in \\{0,\\dots,n \\}\\), not all zero, \\({y_0}^* \\circ F_0' (p) + \\dots + {y_n}^* \\circ F_n' (p) = 0\\) and \\({y_0}^* (D_ \\alpha F_0 (p)) + \\dots + {y_n}^* (D_ \\alpha F_n (p)) \\geq 0\\). The authors derive a variant of the Lagrange multiplier principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046925$4909364E-72E6-41EA-A193-0446B50B1003","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"68d25de9abaef42a20c20f07c0f2108c38882322","datavalue":{"value":{"entity-type":"item","numeric-id":589891,"id":"Q589891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$ACCF83A1-8977-426C-9606-EEF3D6A2174E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be723b2ba909bc8dbb94960f73196353245cdab2","datavalue":{"value":"46A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$07D42799-37D3-4CBC-A86E-FC25CAD23E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bb0a9b5cc34aac48ce30600862f79854c409cf1","datavalue":{"value":"46T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$08FE66C0-DCDF-443F-B57B-1447DA5730FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63d741e0f22e0451d1edb9ab803cae60ecf912c2","datavalue":{"value":"49J53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$B5894E84-D556-48DA-ABA5-9010932B580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d12aa3e5fc818866047bae7c17952552bac538","datavalue":{"value":"49J50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$29D99548-CDDC-44F0-BA73-09DCF5755662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386d1744250520ec9e7c5e4d2893ca8f30e3a971","datavalue":{"value":"5652039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$36B5FD4F-A6F2-4BED-A626-1DA3FB87A776","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fe0783eda0b40e4d2fba8de000888d61373748","datavalue":{"value":"Hahn-Banach separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046925$47B25AD6-73D8-4748-A476-A867E578152A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b241eb0713f9fbc88e4482a303a9973cd5d4dac9","datavalue":{"value":"Dubovitskii-Milyutin separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046925$D5E8C35A-17B1-45F7-BB38-7D7DA3A9DE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13635d3b201f18aee8a1be14871c490e61c1c8af","datavalue":{"value":"inverse images of convex sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046925$9F310F1F-EAF8-45AA-9259-30D310D1593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08185e0478b6581db9638ed5242344cbf38d0d01","datavalue":{"value":"admissible variation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046925$88ABD63D-665F-4024-9029-6CD68BBFA19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534328db10df255c0a7b7a97cab1863ebf611e32","datavalue":{"value":"tangent variation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046925$97429361-20F6-4860-B9FB-B2F76A7A2E0A","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":"Q1046925$DAD5631A-1E8B-4C28-850D-CA3945266F87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46545a6f2182923297fa71113195dce2242f1181","datavalue":{"value":"https://doi.org/10.1007/s10474-009-8164-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1046925$EF004249-2C67-403B-98E0-ADC4DDD9D92E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"079d28fd8a4494f6daa01ac457700bc710d7789c","datavalue":{"value":"W2069234950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$0DAF7FFF-B5B9-4A4F-9330-1EA49454EF7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fdef77660e527dbc345236f7aa4730fa26f001","datavalue":{"value":{"entity-type":"item","numeric-id":5905479,"id":"Q5905479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$AA62EE21-9B7B-4214-8F75-4172FC5AB79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783b7cfa6e47f7ac79479d1bd3e7c0a49b7f8514","datavalue":{"value":{"entity-type":"item","numeric-id":754769,"id":"Q754769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$8C656511-E219-45D9-BF3A-0DB827B5EABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d2ecbcf7e1517c7129ded87f888bf531a01a4b","datavalue":{"value":{"entity-type":"item","numeric-id":3957532,"id":"Q3957532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$F51CF8B8-1D58-4A46-86ED-86D0ECE8033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15408dd651c652ea2471c48748482f66a8c8a92a","datavalue":{"value":{"entity-type":"item","numeric-id":4503250,"id":"Q4503250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$5D1C5D3F-0E56-4F85-865A-89D8A6D80775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d0aaf1cf4ec1996156bf9e2aa333674ab83ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5509874,"id":"Q5509874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$6965AAA4-6936-4DD0-AE5A-A6ECA90620B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a3c1ff20a66a3e7652ec05f2af0ca0718825b8","datavalue":{"value":{"entity-type":"item","numeric-id":2551613,"id":"Q2551613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$E6E9705C-976A-4FDF-ACBF-88E69C8D64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9ff0338dd0c9efe4bd5b78ab7c33e1cc3e7494","datavalue":{"value":{"entity-type":"item","numeric-id":4104377,"id":"Q4104377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$1D9F190A-4669-42E1-A259-256E916C4C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6d2b49e8cfad926c235174ab1f1120631817e5","datavalue":{"value":{"entity-type":"item","numeric-id":4194725,"id":"Q4194725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$09B1E383-C3F3-44BA-A19B-5405F9184648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064810e897ac08630ca7025e48ceda53061bd0ef","datavalue":{"value":{"entity-type":"item","numeric-id":3896139,"id":"Q3896139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$72BADEE6-673F-435D-8E7B-6D080AFC9BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bec60bf2b5ce4822c95c9b25998ec4e683e73f","datavalue":{"value":{"entity-type":"item","numeric-id":1239908,"id":"Q1239908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$3EB72A9F-8DAA-412B-9A98-180C3A156E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2597b35445b3bce36432bc0296cba2bb5bd38c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1329327,"id":"Q1329327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$C3B92C24-1C28-410E-9A78-71DFF5D607D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8660d11c39ca13da0dd0cfdda76754d62bc3a512","datavalue":{"value":{"entity-type":"item","numeric-id":1337776,"id":"Q1337776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$F168775A-E105-438D-BC46-E4ACC3503358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6654e4e1a71b143ac8c8ba0816c9510b745db0","datavalue":{"value":{"entity-type":"item","numeric-id":1359565,"id":"Q1359565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$0934B9FE-9241-4E28-9C27-DD24BB12188E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491177830e61ca5ab8dc21c85a3f612077c9900c","datavalue":{"value":{"entity-type":"item","numeric-id":1000085,"id":"Q1000085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$AF332954-1872-460F-9C1C-EC084005384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889ac697c48311c7cdc37adaac4670568f715826","datavalue":{"value":{"entity-type":"item","numeric-id":4308547,"id":"Q4308547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$D20EB3F1-EC75-4C3C-8240-E1C247A519C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57dabca48b8cd36c5d07c6fa636e5fb4870e375b","datavalue":{"value":{"entity-type":"item","numeric-id":4877761,"id":"Q4877761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046925$01C7196E-942E-4DE4-9C4A-C9A088E3E236","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01ababd9ffb5f11e99aadf9f1f0ede7526c021c7","datavalue":{"value":"10.1007/S10474-009-8164-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046925$2A835B0B-9068-4663-85FA-B0CDC824D8BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad38556d5da638c12cf5bf90ec5eb6a0e410baf5","datavalue":{"value":{"entity-type":"item","numeric-id":1298712,"id":"Q1298712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7ebdc79338dc5fa2cc512f682cea086a6472d3","datavalue":{"value":{"amount":"+0.8130893707275391","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":"Q1046925$D317F367-C186-4095-BB3B-FC55C3BD8E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afeea7502cdb230a612dca89b514e8aa792312d9","datavalue":{"value":{"entity-type":"item","numeric-id":5158548,"id":"Q5158548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b9f7eb09b3775d8b068bd4701fcbb9b478298c","datavalue":{"value":{"amount":"+0.8129608631134033","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":"Q1046925$D0DEFDAC-4E18-4BEA-9BE6-E4B72D2F5395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d6d67716132721e75c338a195ad0a08d608f42","datavalue":{"value":{"entity-type":"item","numeric-id":4657599,"id":"Q4657599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4a4e769a803d30cd7e225ab4e1a9c572b6fd0a","datavalue":{"value":{"amount":"+0.767620861530304","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":"Q1046925$1297ADAF-75C8-45CE-81D9-F0A86561FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f7cbdae64c3ad37a24d5726d0de87e0db4725e","datavalue":{"value":{"entity-type":"item","numeric-id":1005836,"id":"Q1005836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc5ca43eb5b2a3c67568b146976686d967dac28","datavalue":{"value":{"amount":"+0.7576994895935059","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":"Q1046925$ADB27595-E4C1-4DF6-87D8-2A59C05AAC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4922153d25c1aede30fddbfdc8eabd823b8c6c","datavalue":{"value":{"entity-type":"item","numeric-id":719485,"id":"Q719485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7a3c1428f505d47c5ce3a209ce4dcaaf6d1ed6","datavalue":{"value":{"amount":"+0.7561736106872559","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":"Q1046925$B0A86F6E-8D24-413E-82EA-336C94B23271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A separation theorem for nonlinear inverse images of convex sets","badges":[]}}}}}