{"entities":{"Q674737":{"pageid":676586,"ns":120,"title":"Item:Q674737","lastrevid":63487896,"modified":"2026-04-11T13:30:05Z","type":"item","id":"Q674737","labels":{"en":{"language":"en","value":"Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987559"}},"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":"Q674737$35E7425F-E836-4795-8DBC-5BFD268E9E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6052cfd79c4ac5e926d019e16927073e9beefeb8","datavalue":{"value":{"text":"Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674737$AED0FD57-5C5C-4863-A0EE-F930FD281725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a08a778340090926a9d2d7cfc454fa53db0ca19a","datavalue":{"value":"0897.46046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$A77F081B-FB38-4D12-9D6E-8D4B4C844C32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"946880039e82ce4b167ae4884680f4c4ce1c4e50","datavalue":{"value":{"entity-type":"item","numeric-id":674735,"id":"Q674735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674737$BB8ECCA3-8A51-406C-8775-9EEF24CF6A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bec6b608d0651ce7701299df23d2d63db65cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":674736,"id":"Q674736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674737$B4009324-D1AB-45FE-9C7F-26728E02CF2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674737$2EEF29DB-6537-417F-92B4-2B0B5765A4E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a674c4e1e8cb8fe7790fbdbe393a9377aa1d860","datavalue":{"value":{"time":"+1998-10-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":"Q674737$59D5005A-28CD-4704-805F-B7D1ADA777E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8c85bb0f675a9e7ead671f2c16522fee25a33f1","datavalue":{"value":"Let \\(V\\) and \\(V'\\) be dual vector spaces (over \\(\\mathbb{C}\\)). This means that there is a non-degenerate pairing between the two spaces so that each of them can be seen as a subspace of the dual space of the other. Associated with the pairing come weak topologies on these vector spaces. If \\(K\\) is a convex subset of \\(V\\), the polar set \\(K^0\\) in \\(V'\\) is defined as  \\[ K^0= \\{f\\in V'\\mid\\text{Re}\\langle v, f\\rangle\\leq 1\\text{ for all }v\\in K\\}. \\]  It is a weakly closed convex set in \\(V'\\), containing \\(0\\). The classical bipolar theorem says that \\(K^{00}= K\\) if \\(0\\in K\\) and \\(K\\) is weakly closed to begin with. The result is closely related to, and usually proved by means of the algebraic form of the Hahn-Banach theorem.   This paper is a contribution to the further development of `quantized functional analysis'. It treats the quantized forms of the bipolar theorem and the Hahn-Banach theorem. The basic notion in this context is a matrix convex set, already introduced by \\textit{G. Wittstock} in [North Holland Math. Stud. 90, 175-188 (1984; Zbl 0589.46003)]. As before, let \\(V\\) be a vector space (over \\(\\mathbb{C}\\)) and consider the vector spaces \\(M_n(V)\\) of \\(n\\) by \\(n\\) matrices with entries in \\(V\\) for every \\(n= 1,2,\\dots\\). A matrix convex set is a collection \\((K_n)_{n= 1}\\) of convex sets \\(K_n\\subseteq M_n(V)\\) satisfying the following two conditions:   i) If \\(n\\), \\(m\\) are natural numbers and \\(\\alpha\\in M_{n, m}(\\mathbb{C})\\) such that \\(\\alpha^*\\alpha= 1\\), then \\(\\alpha^*K_n\\alpha\\subseteq K_m\\).   ii) For any \\(n\\), \\(m\\) we have \\(K_n\\oplus K_m\\subseteq K_{n+ m}\\).   The quantized bipolar theorem now has the following form. If \\(V\\) and \\(V'\\) are dual vector spaces, there is a natural bilinear map from \\(M_n(V)\\times M_n(V')\\to M_{nm}(\\mathbb{C})\\) given, and denoted by  \\[ \\langle\\langle v, w\\rangle\\rangle= [\\langle v_{i,j}, w_{k,\\ell}\\rangle]. \\]  The matrix polar \\(K^\\pi\\) of a matrix convex set \\(K\\) is now defined by  \\[ K^\\pi_n= \\{w\\in M_n(V')\\mid\\text{Re}\\langle \\langle v,w\\rangle\\rangle\\leq I_{nm}\\text{ for any }v\\in K_m\\text{ and all }m\\}. \\]  Here, the real part of a matrix \\(x\\) is \\({1\\over 2}(x^*+ x)\\), where \\(x^*\\) is the adjoint matrix.   Now \\((K^\\pi_n)_n\\) is again a matrix convex set. Every \\(K^\\pi_n\\) is weakly closed for the weak topology induced by the pairing \\(\\langle\\langle\\;,\\;\\rangle\\rangle\\) and \\(0\\in K^\\pi_1\\). Now, the bipolar theorem says that \\(K^{\\pi\\pi}= K\\) if and only if \\(0\\in K_1\\) and \\(K\\) is weakly closed.   The quantized form of the Hahn-Banach theorem is more involved. The theorem proved in the paper is rather general. Earlier versions, like the Hahn-Banach type extension theorems for completely bounded maps follow.","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$02CD0673-820E-4477-A0D8-6D171C72356B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f37ba5f9d5f460f19960b050f9bcd03ad96f36e","datavalue":{"value":"46L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$2CF69CD1-E247-489E-8AC6-8E3FD916F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be723b2ba909bc8dbb94960f73196353245cdab2","datavalue":{"value":"46A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$83CD1AEB-2E7A-4AB6-AFBF-62C1BB3E32D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f254ae445c00ab3f058898278c9331ea6c3ea7","datavalue":{"value":"46A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$C0906021-487D-48C6-AF4F-93E42440A079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"430f11e4310c02df6a5e0224beb96c97266aedf1","datavalue":{"value":"987559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$42C681F4-180D-4222-85C7-A654B4173549","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1a0d0aa95645f90cacb9c0ea4818398f9e4c91","datavalue":{"value":"quantized functional analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$ECA54E67-9714-4BEA-A919-6F4B0C707787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f523a9c2669a2f95cdb85ff0e7e20bb63913488","datavalue":{"value":"dual vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$6837331A-6A40-4C82-B4A6-4699CD5F8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08bb35bc27443be6f6df45a2f862530f7bb71bb","datavalue":{"value":"bipolar theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$CE78A4E1-21D0-41E6-B236-839318AED18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67686752290e09563be313ec976a5637887a4f36","datavalue":{"value":"algebraic form of the Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$1158655F-D155-4920-A3B1-34148DF3D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b88e6569ff1f02995b832a58a6021c7ed36aaf08","datavalue":{"value":"matrix convex set","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$0323BB35-3805-4C28-A9BB-7941A59AB095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08275aacd379a5d1be3503a042eba051962018d","datavalue":{"value":"quantized bipolar theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$5F6558B0-D015-4D89-B412-D0C87C8B442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0198de10e806ca82e0e44a85e36c9ee7d8b872f4","datavalue":{"value":"matrix polar","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$117AEF7D-44A0-4CA7-B0F7-BE14B854A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7572fe6ddb3849d179e95ce6d044bfebe266ce9","datavalue":{"value":"quantized form of the Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$5890526B-2FB3-44D4-A179-F55E9C0199BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ef72cc39476383ed104a3ae85cb3a0050ad141d","datavalue":{"value":"Hahn-Banach type extension theorems for completely bounded maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q674737$DF1AF3DF-BAB9-4764-B9DD-D959E428096C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"aea4a751f7c3153f7cc788bb7e430b3a1b0419d6","datavalue":{"value":{"entity-type":"item","numeric-id":205849,"id":"Q205849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674737$7C5945A4-27FD-4706-9BA8-03E5FB599F11","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":"Q674737$4D37E723-38F6-4515-A5EE-E6D96F27C11B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80b9c7fe3e123555f49b14ab04dd0f9931262bf0","datavalue":{"value":"https://doi.org/10.1006/jfan.1996.2958","type":"string"},"datatype":"url"},"type":"statement","id":"Q674737$DBD759BB-B29F-40B5-BE85-73ECBD685D69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"616ea52d547e4d17a4d7e4108ff7901c4251e2cf","datavalue":{"value":"W2088104180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$5D078F9C-DE62-4CF0-BBBE-247B1905C37C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2ed5528ac4db6d05770e4d71ac82904ce0abdd3","datavalue":{"value":"10.1006/JFAN.1996.2958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674737$B0B6CF9C-C584-4300-A310-8264C1B11DB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e8b7230a6ba785c7be702cfc1249ff474cd2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5738653,"id":"Q5738653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc773ea794f05a6de92e267c07f2d86348b487d","datavalue":{"value":{"amount":"+0.8048092722892761","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":"Q674737$000F5AD2-19D2-4595-B22E-BFD9650A9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7266b8c2fd527e0ae6ad362ce69cb6bac8daf930","datavalue":{"value":{"entity-type":"item","numeric-id":2998044,"id":"Q2998044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc0bfae39b5c08f90faeaa54628d7762c4b3d7a","datavalue":{"value":{"amount":"+0.7496667504310608","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":"Q674737$1A532932-1349-4678-8B75-CD862DD25526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b684822f8a925546ddb745e8eb233dca37a57a","datavalue":{"value":{"entity-type":"item","numeric-id":366085,"id":"Q366085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24de4fffea023aba5caf70343574bee70a844b92","datavalue":{"value":{"amount":"+0.7470277547836304","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":"Q674737$91632643-9F2C-4168-9BC6-8EFC00439A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430b46ec7ce821ede7bdfb620bc50a82fb193865","datavalue":{"value":{"entity-type":"item","numeric-id":4637487,"id":"Q4637487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ff615c3b791e200acd6aaf1997abab26c5ab6c","datavalue":{"value":{"amount":"+0.7395152449607849","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":"Q674737$9FA1B656-1D47-4CE1-BB49-35F4803E1593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14a975139a2e06038895b89e886b7769c016ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1709723,"id":"Q1709723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669c611ef122340c130b63135dae7a0731842f58","datavalue":{"value":{"amount":"+0.7391356825828552","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":"Q674737$9DE7F5B6-C3DB-4073-B80E-23DCB2A23E42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrix_convexity:_Operator_analogues_of_the_bipolar_and_Hahn-Banach_theorems"}}}}}