{"entities":{"Q2596533":{"pageid":2607276,"ns":120,"title":"Item:Q2596533","lastrevid":44450445,"modified":"2025-11-23T00:51:58Z","type":"item","id":"Q2596533","labels":{"en":{"language":"en","value":"On infinite direct products."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2515717"}},"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":"Q2596533$5E432192-9EEA-4435-9DE0-FDCB8B0C0687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68be3351dadeb386f8d93eaec57fbc2ceb7c99d7","datavalue":{"value":{"text":"On infinite direct products.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2596533$BFF763B7-CEA8-48C9-A2D2-8DEFFA3034F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2741169a6c43dbd9d671ef1db96067579aa28de9","datavalue":{"value":"64.0377.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596533$F7DC613A-73F7-4FA9-9794-6D47FC6B47C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f643d340a5c91e372a5a0e616c8a734abc6e6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2586404,"id":"Q2586404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$C3AE2D8C-8B0A-4F2A-845A-9778C3AA8917","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2596533$C254FB0A-B2BE-48A8-9F09-D2E66EABDEF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74a3a392b7c2741507fc569b0efec43c82ec539a","datavalue":{"value":"https://eudml.org/doc/88704","type":"string"},"datatype":"url"},"type":"statement","id":"Q2596533$EBDDD5B1-B4E6-40F7-AEE2-30DA2794469A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e1035e0d93ce069b120a6b2b20a28b080dbb28a","datavalue":{"value":"Verf. definiert und untersucht das direkte Produkt der R\u00e4ume \\(\\mathfrak H_\\alpha\\), \\(\\alpha\\in I\\), \\(\\prod_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\), wo die \\(\\mathfrak H_\\alpha\\) unit\u00e4re, d. h. komplexe Euklidische R\u00e4ume sind und die Menge \\(I\\) irgendeine Menge von Indices ist. Zuerst sind die Fragen zu behandeln, die mit der Definition und dem Kriterium f\u00fcr Konvergenz von \\(\\sum_{\\alpha\\in I}z_\\alpha\\), \\(\\prod_{\\alpha\\in I} z_\\alpha\\) zusammenh\u00e4ngen, wo die \\(z_\\alpha\\) komplexe Zahlen sind. Ferner wird der Begriff der Quasikonvergenz eingef\u00fchrt: \\(\\prod_{\\alpha\\in I}z_\\alpha\\) hei\u00dft quasikonvergent, wenn \\(\\prod_{\\alpha\\in I}|z_\\alpha|\\) konvergent ist. Sein Wert ist \\(\\prod_{\\alpha\\in I}z_\\alpha\\), falls dieses Produkt konvergiert, andernfalls 0.  Eine Folge \\(f_\\alpha\\), \\(\\alpha\\in I\\), ist eine \\(C\\)-Folge, wenn \\(f_\\alpha\\in\\mathfrak H_\\alpha\\) und wenn \\(\\prod_{\\alpha\\in I}\\|f_\\alpha\\|\\) konvergiert. Die Menge der Funktionale \\(\\varPhi(f_\\alpha;\\;\\alpha\\in I)\\), definiert f\u00fcr alle \\(C\\)-Folgen \\(f_\\alpha\\) und konjugiert linear in jedem \\(f_{\\alpha_0}\\), wird mit \\(\\prod_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\) bezeichnet.  Es stelle \\(\\varPhi=\\prod_{\\otimes\\alpha\\in I}f^0_\\alpha\\) das lineare Funktional \\(\\varPhi(f_\\alpha) = \\prod_{\\alpha\\in I} (f^0_\\alpha,f_\\alpha)\\) dar, das zu einer gegebenen \\(C\\)-Folge \\(f^0_\\alpha\\) geh\u00f6rt. Die endlichen linearen Aggregate dieser \\(\\varPhi\\) werden mit \\(\\prod_{\\otimes\\alpha\\in I}'\\mathfrak H_\\alpha\\) bezeichnet. Es wird in \\(\\prod_{\\otimes\\alpha\\in I}'\\mathfrak H_\\alpha\\) ein inneres Produkt \\((\\varPhi, \\varPsi)\\) definiert. \\(C_0\\)-Folgen \\(f_\\alpha\\) werden definiert durch die Bedingung: \\(\\sum{ \\alpha\\in I}|\\, \\|f_\\alpha\\|-1|\\) konvergiert. Jede \\(C_0\\)-Folge ist eine \\(C\\)-Folge; jede \\(C\\)-Folge mit \\(\\prod_{\\otimes\\alpha\\in I} f_\\alpha\\neq 0\\) ist eine \\(C_0\\)-Folge. Zwei \\(C_0\\)-Folgen \\(f_\\alpha\\), \\(g_\\alpha\\) sind \u00e4quivalent, \\((f_\\alpha;\\;\\alpha\\in I)\\approx(g_\\alpha; \\;\\alpha\\in I)\\), wenn \\(\\sum_{\\alpha\\in I}|(f_\\alpha,g_\\alpha)-1|\\) konvergiert. Die Beziehung \\(\\approx\\) zerlegt die Menge der \\(C_0\\)-Folgen in elementefremde Klassen. Wenn \\(f_\\alpha\\), \\(g_\\alpha\\) zu verschiedenen Klassen geh\u00f6ren, so ist  \\[   (\\prod_{\\otimes\\alpha\\in I} f_\\alpha, \\prod_{\\otimes\\alpha\\in I} g_\\alpha)= \\prod_{\\alpha\\in I} (f_\\alpha, g_\\alpha)=0.  \\]  Wenn sie zur selben Klasse geh\u00f6ren, so ist  \\[   (\\prod_{\\otimes\\alpha\\in I} f_\\alpha, \\prod_{\\otimes\\alpha\\in I} g_\\alpha)=0  \\]  dann und nur dann, wenn ein gewisses \\((f_\\alpha,g_\\alpha)=0\\) ist. Es wird dann gezeigt, da\u00df \\(\\prod_{\\otimes\\alpha\\in I}'\\mathfrak H_\\alpha\\) ein komplexer linearer Raum ist mit einem Hermiteschen definiten linearen inneren Produkt. Der n\u00e4chste Schritt ist die Vervollst\u00e4ndigung von \\(\\prod_{\\otimes\\alpha\\in I}'\\mathfrak H_\\alpha\\). Sie geschieht durch Adjunktion derjenigen \\(\\varPhi\\in \\prod_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\), f\u00fcr die Folgen  \\[   \\varPhi_1,\\varPhi_2,\\ldots\\in \\prod\\nolimits_{\\otimes\\alpha\\in I}'\\mathfrak H_\\alpha  \\]  existieren, derart, da\u00df  \\[  \\displaylines{\\rlap{\\hskip\\parindent 1)} \\hfill \\varPhi(f_\\alpha; \\;\\alpha\\in I)=\\lim\\limits_{r\\to\\infty} \\varPhi_r(f_\\alpha;\\;\\alpha\\in I),\\hfill}  \\]   \\[  \\displaylines{\\rlap{\\hskip\\parindent 2)} \\hfill \\lim\\limits_{r,s\\to\\infty}\\|\\varPhi_r-\\varPhi_s\\|=0.\\hfill}  \\]  Der sich ergebende Raum wird mit \\(\\prod_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\) bezeichnet. Es wird bewiesen, da\u00df er ein unit\u00e4rer Raum ist.  Wenn \\(\\mathfrak C\\in\\varGamma\\) eine \u00c4quivalenzklasse ist, so hei\u00dft die abgeschlossene lineare Menge, die durch alle \\(\\prod_{\\otimes\\alpha\\in I} f_\\alpha\\) bestimmt ist, wo \\(f_\\alpha\\) irgendeine \\(C_0\\)-Folge aus \\(\\mathfrak C\\) ist, das \\(\\mathfrak C\\)-adische unvollst\u00e4ndige direkte Produkt der \\(\\mathfrak H_\\alpha\\) und wird mit \\(\\prod^{\\mathfrak C}_{\\otimes\\alpha\\in I} \\mathfrak H_\\alpha\\) bezeichnet. Es sei \\(f^0_\\alpha\\) eine Folge in \\(\\mathfrak C\\) mit \\(\\|f_\\alpha\\|=1\\), \\(\\boldsymbol\\aleph_\\alpha\\) die Dimension von \\(\\mathfrak H_\\alpha\\), \\(K_\\alpha\\) eine Menge von Indices von der M\u00e4chtigkeit \\(\\aleph_\\alpha\\) und \\(\\varPhi_{\\alpha,\\beta}\\), \\(\\beta\\in K_\\alpha\\) eine vollst\u00e4ndige orthonormale Menge in \\(\\mathfrak H_\\alpha\\), deren Wahl so getroffen sei, da\u00df \\(0\\in K_\\alpha\\) und \\(\\varPhi_{\\alpha,0}= f^0_\\alpha\\) ist. Es sei ferner \\(F\\) die Menge aller Funktionen \\(\\beta(\\alpha)\\), derart, da\u00df \\(\\beta(\\alpha)\\in K_\\alpha\\) und \\(\\beta(\\alpha)\\neq 0\\) nur f\u00fcr endliche viele \\(\\alpha\\). Dann existieren alle \\(\\prod_{\\otimes\\alpha\\in I}\\varPhi_{\\alpha,\\beta(\\alpha)}\\) und bilden ein vollst\u00e4ndiges orthonormales System in \\(\\prod^{\\mathfrak C}_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\).  Das assoziative Gesetz bei der Bildung direkter Produkte wird untersucht, und es wird gezeigt, da\u00df es auf unvollst\u00e4ndige direkte Produkte beschr\u00e4nkt ist. Die Beziehung von Operatoren in den verschiedenen \\(\\mathfrak H_\\alpha\\) zu denen in \\(\\prod_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\) wird untersucht. Der Ring der beschr\u00e4nkten linearen Operatoren in \\(\\mathfrak H_\\alpha\\) wird mit \\(\\boldsymbol B_\\alpha\\) bezeichnet; der in \\(\\prod_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\) mit \\(\\boldsymbol B_\\otimes\\). Wenn \\(A_{\\alpha_0}\\in\\boldsymbol B_{\\alpha_0}\\), so existiert ein einziger Operator \\(\\overline{A}_{\\alpha_0}\\in\\boldsymbol B_\\otimes\\) derart, da\u00df f\u00fcr alle \\(C\\)-Folgen \\(f_\\alpha\\)  \\[  \\overline{A}_{\\alpha_0}\\prod_{\\otimes\\alpha\\in I}f_\\alpha = A_{\\alpha_0}f_{\\alpha_0}\\otimes \\prod_{\\otimes\\alpha\\in I,\\neq\\alpha_0}f_\\alpha.  \\]  Die Menge aller \\(\\overline{A}_{\\alpha_0}\\) wird mit \\(\\overline{\\boldsymbol B}_{\\alpha_0}\\) bezeichnet.  Die Abbildung \\(A_{\\alpha_0}\\rightleftarrows A_{\\alpha_0}\\) ist ein Ringisomorphismus von \\(\\boldsymbol B_{\\alpha_0}\\) und \\(\\overline{\\boldsymbol B}_{\\alpha_0}\\subset \\overline{\\boldsymbol B}_\\otimes\\).  Man bezeichne den durch alle \\(\\overline{A}_{\\alpha_0}\\) erzeugten Ring mit \\(\\boldsymbol B^{\\#}\\). Ein Hauptergebnis ist, da\u00df \\(\\boldsymbol B^{\\#}\\) nicht identisch ist mit \\(\\boldsymbol B_\\otimes\\), denn jedes \\(A\\in\\boldsymbol B^{\\#}\\) transformiert jedes \\(\\prod^{\\mathfrak C}_{\\otimes\\alpha\\in I}\\mathfrak H_\\alpha\\) in eine Teilmenge seiner selbst.  Die Arbeit schlie\u00dft mit der ins einzelne gehenden Diskussion eines Beispiels, das eine Illustration von ``Faktoren'' gibt (vgl. \\textit{Murray, von Neumann}, Ann. Math., Princeton, (2) 37 (1936), 116-229; F. d. M. \\(62_{\\text I}\\), 449), enschlie\u00dflich derjenigen des Typus II\\(_1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2596533$2EC292BA-193E-4C3B-80D3-38A1C2C21034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85dc3c2533b068ea791df75c063cb17c679cd172","datavalue":{"value":"2515717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596533$E2852709-100D-4BFC-A8A8-5FE86C8CA9EF","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":"Q2596533$C01C22DE-680E-4A12-B57D-E81FED037D84","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":"Q2596533$46CAF62C-7C99-4632-AEE4-90F9B9479BBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f3f51c01384e19fdc0e99248043db2f7e6771a","datavalue":{"value":{"entity-type":"item","numeric-id":2645548,"id":"Q2645548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$55FEFB7D-EEA0-4099-BD70-2C7CA1836524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad9aa6c98e71102c6b87267830fd684f1828d7","datavalue":{"value":{"entity-type":"item","numeric-id":4756234,"id":"Q4756234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$18EBA0F5-C777-49A2-9292-966BF8F46269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76760727dab837e0b820dbbf2b8503c531dc9a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4754553,"id":"Q4754553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$ED2004E0-A9F5-4D2A-8479-DC33B9B2B880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f0181f00b3213e62cec81d596b13d17a4a4f52","datavalue":{"value":{"entity-type":"item","numeric-id":4757108,"id":"Q4757108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$F0FAB2DA-8EB1-4D8F-A15E-F8116D92D584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59f1c683cae522f368b8bec76143f231db885e4","datavalue":{"value":{"entity-type":"item","numeric-id":4757593,"id":"Q4757593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$07E9A6BC-C311-4EAF-AE18-A7625F59563A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccfb263f87b232f9ec3835572d397257aecc825","datavalue":{"value":{"entity-type":"item","numeric-id":2645085,"id":"Q2645085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$6A0A3EB5-D5C5-4352-A362-8A7B36DFF62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de15fc3e43911f848be1977d23ed47046d23ae","datavalue":{"value":{"entity-type":"item","numeric-id":1565558,"id":"Q1565558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$C42A5917-0CE6-4367-A93D-3B3E7D829E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078ec39acc22985440ab39d8fb216045bea43896","datavalue":{"value":{"entity-type":"item","numeric-id":2645084,"id":"Q2645084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$7714F09E-AB55-4904-B682-0D38D0483E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"885c5d6640fc51d84df911159ff7254e70fdd0bf","datavalue":{"value":{"entity-type":"item","numeric-id":1840109,"id":"Q1840109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$94122541-3F81-4E7C-B49F-0F4B4CCA20AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9966cbf29c91675934fedfee7e19614dbd0e560a","datavalue":{"value":{"entity-type":"item","numeric-id":4720052,"id":"Q4720052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596533$86C49063-A4E4-4F9F-8DC3-7599AE407C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2596533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2596533"}}}}}