{"entities":{"Q503425":{"pageid":505192,"ns":120,"title":"Item:Q503425","lastrevid":62321565,"modified":"2026-04-11T05:18:01Z","type":"item","id":"Q503425","labels":{"en":{"language":"en","value":"Where is matrix multiplication locally open?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674125"}},"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":"Q503425$03EE3091-48B4-4077-869F-C54252502835","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da7be92fc7b17d9ed818e209395b5797437c7abb","datavalue":{"value":{"text":"Where is matrix multiplication locally open?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503425$E6733F8A-4828-4032-8004-7EBA6478A5D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d042f422387b727f48b2823f761c2092d0b30d9","datavalue":{"value":"1362.46017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$80B2E4D2-6791-4C07-9BD8-1789A9CD1D70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcd5a1a887079a0f69319730764287ae6a51879","datavalue":{"value":{"entity-type":"item","numeric-id":170901,"id":"Q170901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$F6DEF301-C679-4FC0-A1E3-AF1D09849453","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$8BFF1DEB-828A-48D1-953F-705AEFAD389C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f59af348026d8b50a0a15d8fae44d96b789e2f1","datavalue":{"value":{"time":"+2017-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q503425$9DF2878B-C08F-4FD7-9F53-123C395200AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d5d347b4beb1faab73e2d06891002e05a6ffb609","datavalue":{"value":"A map \\(f\\) from a metric space \\(M_1\\) into a metric space \\(M_2\\) is locally open at \\(x\\in M_1\\) if for every \\(\\varepsilon>0\\) there is a \\(\\delta>0\\) such that \\(B(f(x),\\delta)\\subset f(B(x,\\varepsilon))\\).  In particular, one can study the problem of when composition of linear operators (``matrix multiplication'' in the finite-dimensional case) is locally open.  More precisely, let \\(X, Y, Z\\) be normed spaces and \\(L(X,Y), L(Y,Z)\\) and \\(L(X,Z)\\) be the corresponding spaces of operators, equipped with their operator norms. Let \\(\\Phi\\) be defined on \\(L(Y,Z)\\times L(X,Y)\\to L(X,Z)\\) by \\(\\Phi(S,T)=S\\circ T\\). The problem the author studies is: At what points \\((S_0,T_0)\\) is \\(\\Phi\\) locally open?  The author succeeds in giving a complete answer in the finite-dimensional case (both real and complex) in terms of dimensions related to the operators (matrices) and spaces involved. The characterization is a bit involved, but goes like this: Matrix multiplication is open at \\((S_0,T_0)\\) if and only if  \\[ \\dim(\\operatorname{range}T_0\\cap\\operatorname{ker}S_0)\\leq \\dim Y - \\dim Z \\]  or  \\[ \\dim X - \\dim (\\operatorname{range}T_0\\cap(\\operatorname{ker}S_0)^\\perp)\\leq \\dim Y - \\dim \\operatorname{range} S_0. \\]   Despite this positive result, it is interesting to read the authors reflections at the end of the paper: ``The formulation and the proof of our main theorem was strongly dependent on the fact that we are dealing with finite-dimensional spaces\\(\\dots\\) Part of our results have a counterpart for continuous operators on separable Hilbert spaces, but we are still far from an understanding how an interplay of the ranges, the kernels and the spectra gives rise to local openness.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q503425$78C5651B-92EF-4C28-9759-9AFC2ACEEDE5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f2f30895740ba4ef89ddfacb04d423ffa291223","datavalue":{"value":{"entity-type":"item","numeric-id":203343,"id":"Q203343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$8FAF9075-E2CC-4416-A577-CE726E77EAB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a57e88a823d7ecc8bfc0754ca60f75002184cdad","datavalue":{"value":"46B28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$96B24534-7770-497C-86E7-F0DB2E238CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"486e712aa0e58a7d88cad0afe626adea8bd0f027","datavalue":{"value":"54E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$FBEAA193-B6F8-4FDE-9D64-68239879442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a9ce079beb2a7c6a6cdeb7eecf093d7a0b1a930","datavalue":{"value":"46G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$C3041662-AE13-42BC-B4AF-A9D2D779199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$E9F270F7-89A3-4D08-9A88-B3E7B51C9489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c011f07a25c6f2cee2e483a6453b13fa0366053","datavalue":{"value":"6674125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$999E12CA-034C-42BD-B275-75B082D11CE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a796aa728f8b6a22c22ee14ebcfab6f68d7e08c","datavalue":{"value":"locally open map","type":"string"},"datatype":"string"},"type":"statement","id":"Q503425$01547268-EBAB-4FAD-8DB3-D34C87694808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f75d418c6568ad1ebad624da84f2b623fcfbff","datavalue":{"value":"matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q503425$E77443B6-5814-4AC2-A1DA-01B815F318FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5004629f14cc5bafc239770dc825aa484c73280","datavalue":{"value":"singularity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q503425$F1504916-E0C3-4722-B5EB-96AE9A9768E3","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":"Q503425$96BFB3E3-95E2-419E-A239-6697FD5F7E07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c9317fc289f46ddb577d3cbfe945ca133680b75","datavalue":{"value":"https://doi.org/10.1016/j.laa.2016.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q503425$B73C0C0B-3F21-45D7-904D-BC4EA5D4D6AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"814013fa0d59ad96f2f3ef031353d9d030727336","datavalue":{"value":"W2561774353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$5858D85C-0525-4B75-80A1-4F85B992D00C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d950e0ccd6d54aa071f27d887b1621c5609a572","datavalue":{"value":{"entity-type":"item","numeric-id":4677455,"id":"Q4677455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$4917D898-48AA-475A-9A41-CEF480C73B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e5875dbdca784b87906fad201e6161d973fec","datavalue":{"value":{"entity-type":"item","numeric-id":306998,"id":"Q306998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$F610FC70-2923-4D08-9B97-5463C15F0722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043f28090bc27b10b6dbaac735ff564fba80102","datavalue":{"value":{"entity-type":"item","numeric-id":2430139,"id":"Q2430139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$3063780E-DECB-4D4C-A5CF-0B9F83025F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ed341853b248863b566dd7037312c7edaebb01","datavalue":{"value":{"entity-type":"item","numeric-id":3002667,"id":"Q3002667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$7E6137D9-1EDE-46EF-A1BD-F2078253F1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17479d4af3ca4e544669fbe81ac689b13a2739c2","datavalue":{"value":{"entity-type":"item","numeric-id":2836009,"id":"Q2836009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$8C6CDFFD-BA30-419B-A18A-1F9C8FD60B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd47bdb2574b10378dede6902eaab4d8bc93de05","datavalue":{"value":{"entity-type":"item","numeric-id":3375514,"id":"Q3375514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$C96DCC19-5BE7-495C-8D3D-573DC4295D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e203d4cb992d734bb5e1e9721b9f84ce698cafa","datavalue":{"value":{"entity-type":"item","numeric-id":1047483,"id":"Q1047483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503425$37FCB11D-191A-4794-B521-810D3AC4CB4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f473a1bf22d0e5742e7b9968e7ca26b8024da44","datavalue":{"value":"10.1016/J.LAA.2016.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503425$769F27AA-5595-4DCA-880D-26CFD92BB83D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5350a3bf35333f21a18b4d277421cd1877bb0059","datavalue":{"value":{"entity-type":"item","numeric-id":1790596,"id":"Q1790596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b28c3d3f0a34792a6c0b7e0f1fde774ca7586f","datavalue":{"value":{"amount":"+0.8170291185379028","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":"Q503425$F52FA56C-76C2-4847-BAF2-C90B0C71D7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fb75d5634da524a833f3290f8b49f2e2d93f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1680297,"id":"Q1680297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b44a3e84447981b21eb1ae5bf3f0f0c4cf5a28f","datavalue":{"value":{"amount":"+0.7542791366577148","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":"Q503425$935DC8BE-5D61-4829-A399-735EAEBCC6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13636332669313a88503faae530952146897392a","datavalue":{"value":{"entity-type":"item","numeric-id":5208823,"id":"Q5208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e051ea3935fe391c522875d50282c71dfc1583","datavalue":{"value":{"amount":"+0.753519594669342","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":"Q503425$85D2C14D-02CB-490D-88DF-E901720C0D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3ccdb8f190a11a6a954291f1079a6237b58824","datavalue":{"value":{"entity-type":"item","numeric-id":390086,"id":"Q390086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70252ce44604760eb0ae8ea38db609634cbb023","datavalue":{"value":{"amount":"+0.7521072030067444","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":"Q503425$E6670EAB-DA85-4577-B6FE-3F9399C17511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2258d7dba092c8548aebbf157675b2b1d474b1d","datavalue":{"value":{"entity-type":"item","numeric-id":3460845,"id":"Q3460845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd3243ac28fa21a7e16a91e36eba9f4d082523a","datavalue":{"value":{"amount":"+0.7480007410049438","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":"Q503425$8B2A3F40-6346-41F9-8592-DCAF9359152F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Where is matrix multiplication locally open?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Where_is_matrix_multiplication_locally_open%3F"}}}}}