{"entities":{"Q2580367":{"pageid":2591110,"ns":120,"title":"Item:Q2580367","lastrevid":79041587,"modified":"2026-05-06T13:00:46Z","type":"item","id":"Q2580367","labels":{"en":{"language":"en","value":"Approximative properties of matrices of high finite order."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500126"}},"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":"Q2580367$4553B8DE-0F5C-4053-8937-0F1E14E050D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba45098f2fbe4a630bdb9030465f3339b4f945ee","datavalue":{"value":{"text":"Approximative properties of matrices of high finite order.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580367$07B1FDE6-59DA-454C-9F7F-C767B136481D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a38f66ae5c9e04d959af1eeb216d6a3be6f5337","datavalue":{"value":"68.0029.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580367$615A71BD-217F-46D5-B471-858FF790BEC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e24811b0c50f98740f81ee39ad4516f888f778d","datavalue":{"value":{"entity-type":"item","numeric-id":2578061,"id":"Q2578061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580367$09E9A44E-F140-42F5-9277-8E4A83FDDDC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2580367$9564DCB1-1BA5-4469-9AF6-6F841A402911","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c63a8baabac8bae567c28440fd8767f6b1c1f64","datavalue":{"value":"https://eudml.org/doc/114594","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580367$AC98EF98-8879-432A-8850-D122936A94CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1734df12c6fd0f5b4f2f80a8a4cc832feabbd41c","datavalue":{"value":"\\(M_n\\) sei der Ring aller \\(n\\)-reihigen Matrizen \\(A=(a_{\\varkappa\\lambda})\\) mit komplexen Koeffizienten, \\(A^*\\) sei die adjungierte Matrix, \\(t(A)=\\dfrac 1n \\sum\\limits_{\\varkappa=1}^n a_{\\varkappa\\varkappa}\\) die Spur von \\(A\\). In \\(M_n\\) ist durch \\(|A|=\\sqrt{\\dfrac 1n \\sum\\limits_{\\varkappa, \\lambda=1}^n |a_{\\varkappa\\lambda}|^2}\\) eine Metrik erkl\u00e4rt, durch \\(|||A|||=\\operatornamewithlimits{Max}\\limits_{\\xi \\neq 0} \\dfrac{|A\\xi|}{|\\xi|}\\) (\\(\\xi\\) ein Vektor mit \\(n\\) komplexes Komponenten) eine zweite, die Pseudometrik von \\(M_n\\) genannt wird. Als eine Einbettung von \\(M_m\\) in \\(M_n\\) wird eine isomorphe Zuordnung \\(A\\to A'\\) von \\(M_m\\) zu einem Teilring von \\(M_n\\) bezeichnet, bei der die Einheitsmatrix der Einheitsmatrix entspricht, ferner \\((zA)'=z A'\\), \\(z\\) komplex, und \\((A^*)'=(A')^*\\) gilt. Eine solche Einbettung gibt es dann und nur dann, wenn \\(n = mp\\) ist. Ist dies der Fall, so wird durch \\(a_{\\varkappa\\lambda}'= a_{\\mu\\nu}\\) f\u00fcr \\(\\alpha=\\beta\\) bzw. \\(a_{\\varkappa\\lambda}'=0\\) f\u00fcr \\(\\alpha \\neq \\beta\\), wobei \\(\\varkappa=m(\\alpha-1)+\\mu\\), \\(\\lambda=m(\\beta-1)+\\nu\\) ist, eine Einbettung gegeben, alle anderen ergeben sich daraus durch unit\u00e4re Transformation. Bei jeder solchen Einbettung bleiben \\(||\\ldots||\\), \\(|||\\ldots |||\\), und \\(t(\\ldots)\\) invariant. Mit \\(M_m^n\\) werde die Menge aller Elemente aller dieser Einbettungen bezeichnet. Es wird nun die Frage untersucht, wie gut sich im Sinne der Metrik bzw. Pseudometrik von \\(M_n\\) jede Matrix von \\(M_n\\) durch Matrizen aus \\(M_m^n\\) approximieren l\u00e4\u00dft.  \\(M_m^n\\) l\u00e4\u00dft sich auch so charakterisieren: \\(p^2\\) Matrizen \\(C_{\\alpha\\beta}\\) aus \\(M_n\\) bilden ein System von Matrizeneinheiten \\(p\\)-ter Ordnung, wenn \\(C_{\\alpha\\beta}C_{\\gamma\\delta}=C_{\\alpha\\delta}\\) f\u00fcr \\(\\beta=\\gamma\\) bzw. \\(= 0\\) f\u00fcr \\(\\beta\\neq \\gamma\\), \\((C_{\\alpha\\beta}^*=C_{\\beta\\alpha}\\), \\(\\sum\\limits_{\\alpha=1}^p C_{\\alpha\\alpha}=1\\) gilt. \\(M_m^n\\) besteht (\\(n=mp\\)) aus allen Matrizen, die mit allen \\(C_{\\alpha\\beta}\\) eines Systems von Matrizeneinheiten \\(p\\)-ter Ordnung aus \\(M_n\\) vertauschbar sind. Es wird nun bewiesen, da\u00df es ein \\(\\varepsilon>0\\) gibt, so da\u00df zu jedem \\(m\\) und jedem \\(p\\) ein \\(A\\) in \\(M_{mp}\\), existiert mit \\(|||A|||\\leqq 1\\), so da\u00df \\(||A- B|| > \\varepsilon\\) (wegen \\(||A||\\leqq |||A|||\\) ist also erst recht \\(|||A-B|||>\\varepsilon\\)) gilt f\u00fcr jedes \\(B\\), das mit allen \\(C_{\\alpha\\beta}\\) eines Systems von Matrizeneinheiten \\(p\\)-ter Ordnung aus \\(M_{mp}\\) vertausehbar ist. Eine Versch\u00e4rfung dieser Aussage ist: Zu jedem \\(\\delta> 0\\) existiert ein \\(\\varepsilon > 0\\), so da\u00df zu jedem \\(n\\) ein \\(A\\) in \\(M_n\\) existiert mit \\(|||A|||\\leqq 1\\), so da\u00df \\(||A-B||> \\varepsilon\\) ist f\u00fcr jedes \\(B\\), das mit einer Projektion \\(E\\) aus \\(M_n\\) vertauschbar ist mit \\(\\delta<t(E)<1-\\delta\\). Eine weitere Versch\u00e4rfung ist: Zu jedem \\(\\delta> 0\\) gibt es ein \\(\\varepsilon> 0\\), so da\u00df zu jedem \\(n\\) ein \\(A\\) in \\(M_n\\) existiert mit \\(||| A|||\\leqq 1\\), so da\u00df f\u00fcr jedes \\(B\\) in \\(M_n\\) mit \\(|||B|||\\leqq 1\\), \\(||B^*B-BB^*|| < \\varepsilon\\) und \\(||AB-BA||\\leqq \\varepsilon\\) stets \\(||B-t(B)1||\\leqq \\delta\\) gilt.  Andererseits gilt: \\(S\\) sei eine feste Menge von komplexen Zahlen. Zu jedem \\(\\varepsilon\\) gibt es ein \\(m_1\\), so da\u00df f\u00fcr alle \\(m\\geqq m_1\\) und alle \\(p\\) gilt: Es sei \\(n=mp\\), \\(A\\) irgend eine normale Matrix in \\(M_n\\) mit \\(|||A|||\\leqq 1\\) und allen Eigenwerten aus \\(S\\). Dann gibt es eine normale Matrix \\(C\\) in \\(M_m^n\\) mit \\(|||C||| \\leqq 1\\) und allen Eigenwerten aus \\(S\\), so da\u00df \\(||A-C||\\leqq \\varepsilon\\) ist. Also sind die hermiteschen, unit\u00e4ren und normalen Matrizen aus \\(M_n\\) durch ebensolche aus \\(M_m^n\\) mit wachsendem \\(m\\) beliebig gut approximierbar.  Die Beweismethoden sind teils algebraischer Natur, teils verwenden sie Volumbetrachtungen im Raum der \\(M_n\\). Es wird f\u00fcr die nichtapproximierten \\(A\\) keine Konstruktion, nur ein Existenzbeweis gegeben.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580367$08454729-3B4D-46AE-BF05-6FBCAFD886FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa8cb1547cd0a6b25d01a4dacecbd25efe59e828","datavalue":{"value":"2500126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580367$D6CF50B3-1E10-4AEE-972C-92CAE12FE250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee96420e31a33f0741706c7430f3e2da6e67cbdc","datavalue":{"value":{"entity-type":"item","numeric-id":564712,"id":"Q564712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580367$E55C3037-5998-4442-80E9-1F48F90BD1B0","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":"Q2580367$2C4D95C9-566F-4F83-ABBB-DD6983F7D2C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximative properties of matrices of high finite order.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximative_properties_of_matrices_of_high_finite_order."}}}}}