{"entities":{"Q701743":{"pageid":703592,"ns":120,"title":"Item:Q701743","lastrevid":63639630,"modified":"2026-04-11T14:32:50Z","type":"item","id":"Q701743","labels":{"en":{"language":"en","value":"Imaginaries in Hilbert spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123161"}},"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":"Q701743$F9F0D74B-CA3F-4B6D-B01F-06149BD2C4B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bbc5eade07a886088b5d4060c717269458cc9da","datavalue":{"value":{"text":"Imaginaries in Hilbert spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701743$6C1B21F0-1401-41CA-B873-BAF3167875BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"224a246db675912e5566fc171e612247fcc0c143","datavalue":{"value":"1059.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$DD00A9A7-798D-4BDB-9BCA-9B89D00E0D5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed62740b60208076d419f7464fa491f45e004c47","datavalue":{"value":{"entity-type":"item","numeric-id":627466,"id":"Q627466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701743$0CE5379D-FCC7-4B77-8723-DB86EF46492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be6d53cf5d4185884085e4b1d12832c3e469335","datavalue":{"value":{"entity-type":"item","numeric-id":521603,"id":"Q521603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701743$5BEC3D5A-B5F6-4D9F-BCA8-D0882109DB4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701743$2E7FFB1E-53C3-42D1-9483-869828989980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701743$6A3AC443-7253-49CD-B701-A673392A65A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b5e387cbdc80bac410686aa73f3e941fe509170","datavalue":{"value":"The paper is a contribution to the model theory of Hilbert spaces. The authors work in a ``big'' Hilbert space \\(\\mathcal H\\) and consider it as a multi-sorted structure whose sorts are the balls \\(\\{v: \\| v\\| \\leq n\\}\\), for \\(n<\\omega\\). Atomic predicates are \\(r\\leq\\| \\lambda_1x_1+\\dots+\\lambda_kx_k\\| \\leq s\\), where \\(r,s\\in\\mathbb R^{>0}\\), all \\(\\lambda_i\\) are in \\(\\mathbb R\\) or \\(\\mathbb C\\) (depending of the ground field of \\(\\mathcal H\\)), and all \\(x_i\\) are of the same sort. Positive formulas are defined to be positive Boolean combinations of atomic formulas. Then with respect to positive formulas \\(\\mathcal H\\) is a universal domain of a compact abstract theory, in the sense of \\textit{I.~Ben-Yaacov} [J. Math. Log. 3, No.~1, 85--118 (2003; Zbl 1028.03034)]. A partial type is a set of positive formulas, possibly with parameters in \\(\\mathcal H\\). A type-definable set is a set of realizations in \\(\\mathcal H\\) of a partial type. An imaginary is the equivalence class \\(a_E\\) of a (possibly infinite!) tuple \\(a\\) modulo a type-definable equivalence relation \\(E\\). The goal of the paper is to characterize imaginaries in \\(\\mathcal H\\).  A type-definable set is called bounded if its cardinality is smaller than \\(| \\mathcal H| \\). For imaginaries \\(a\\) and \\(b\\), we say that \\(b\\) is definable (bounded) over \\(a\\) if the set of realizations of \\(\\text{tp}(b/a)\\) is a singleton (bounded set). The set of all \\(b\\) definable (bounded) over \\(a\\) is called the definable (bounded) closure of \\(a\\) (in symbols, \\(\\text{dcl}(a)\\) and \\(\\text{bdd}(a)\\), respectively). It is shown that \\(\\text{bdd}(a)\\) is inter-definable with a unique Hilbert space \\(H\\subseteq\\mathcal H\\). Moreover, given \\(H\\), there is a Galois correspondence between the imaginaries \\(a\\) such that \\(\\text{bdd}(a)\\) is inter-definable with \\(H\\) and the compact subgroups of \\(U(H)\\), the unitary group of \\(H\\) with the strong topology. The correspondence is given by \\(a\\mapsto\\text{Gal}(a)\\) and \\(H\\mapsto H^G\\), where \\(\\text{Gal}(a)\\) is \\(\\text{Aut}(\\text{bdd}(a)/a)\\), and \\(H^G\\) is the set of fixed points in \\(\\text{dcl}(H)\\) under the action of \\(G\\).  For \\(n<\\omega\\), any subgroup \\(G\\) of the group of unitary \\(n\\times n\\) matrices \\(U(n)\\) naturally acts on \\({\\mathcal H}^n\\). We write \\(\\bar{c}E_G\\bar{e}\\) if \\(\\bar{c}\\) and \\(\\bar{e}\\) are orthonormal \\(n\\)-tuples in \\(\\mathcal H\\), and \\(g(\\bar c)=\\bar e\\) for some \\(g\\in G\\). The equivalence relation \\(E_G\\) is type-definable if \\(G\\) is closed. A classical result is that for any compact subgroup \\(G\\) of \\(U(H)\\) the Hilbert space \\(H\\) is a Hilbert direct sum of finite-dimensional \\(G\\)-invariant subspaces. Together with the Galois correspondence, this implies the main result of the paper: every imaginary is inter-definable with a tuple of (finitary!) imaginaries of the form \\(\\bar{e}_{E_G}\\), where \\(\\bar{e}\\) is an orthonormal tuple in \\(\\mathcal H\\) of finite length \\(n\\), and \\(G\\) is a closed subgroup of \\(U(n)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q701743$CF20221B-FD0E-473C-A705-7A2AF36C4320","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701743$D14D12B4-231E-45DB-9FB4-64C0084D00CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$F1989365-DCB8-4F5B-B03A-DAF18353C68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$A498F803-2485-4711-8E62-696555192EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32497e8c55e8aef7a70dfd7d4a577cedd69c36db","datavalue":{"value":"46C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$84241A2C-C376-41D4-BA0E-D084223D9DDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff6d7a4be7b1e18e5a33502098109887ec7e3c53","datavalue":{"value":"2123161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$E1067837-6016-409B-B37C-D249B18A0D29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183ca9ab965323f327ce51011f8c63c73032cdd9","datavalue":{"value":"elimination of imaginaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q701743$AD1F6B76-DB73-4D33-96F8-5C998A305044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a9302662d8c99d729b689693fa62ecf65d79edb","datavalue":{"value":"model theory of Hilbert spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q701743$4F5B67A1-17E2-4096-892A-007EA87AD52E","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":"Q701743$2204299D-A0F4-4C0D-A7CF-E6B81B52A273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c8a6d477c3340c600c21fb1849f12e98c5261fb","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0200-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q701743$2A2E7340-E57E-44FA-BB71-CEEB5351D5DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af11e67515a0589dde5ab77e493ad4273ec8ce38","datavalue":{"value":"W2023176173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$DD84A03C-5609-4807-94C8-B322B27E7730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2cceb017e5fa594194c57ba2943b5cc716b8d86","datavalue":{"value":"10.1007/S00153-003-0200-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701743$B593AEA4-8E7F-410E-B202-CE5F6FA3FE62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4afbf4e20bccb726f93c75c2775e1ae9cdfdcca1","datavalue":{"value":{"entity-type":"item","numeric-id":403407,"id":"Q403407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aff83c763ab9b01a52022745d41153a4887a911","datavalue":{"value":{"amount":"+0.7625330090522766","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":"Q701743$7E6342EA-4029-4410-8273-12D199F84F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853c0097e53754ce988b87931f11ff4b30121ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5311755,"id":"Q5311755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683094a67680be4622e2016e5382e2f1dd520775","datavalue":{"value":{"amount":"+0.7442042827606201","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":"Q701743$5A693C73-82AB-4865-A918-A885F8E4162A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aae9a83198e217faa61b76591f1a41d0529a497","datavalue":{"value":{"entity-type":"item","numeric-id":877262,"id":"Q877262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309ae879b2076bcd73999b2449965c4ddd1dfb38","datavalue":{"value":{"amount":"+0.7418457865715027","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":"Q701743$A5269902-04D9-4D92-957C-3A5604493073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f968185b749344628c978e6220d70e5e5df9cfc5","datavalue":{"value":{"entity-type":"item","numeric-id":2732271,"id":"Q2732271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513245db3b364c2d80c504caf8dfeea8ead50b42","datavalue":{"value":{"amount":"+0.7413023710250854","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":"Q701743$00AC77C7-C62A-4EEB-BB82-0128DF52487C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8102e2b5037c8e008fb98802883476b32d59ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":4623119,"id":"Q4623119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513245db3b364c2d80c504caf8dfeea8ead50b42","datavalue":{"value":{"amount":"+0.7413023710250854","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":"Q701743$A3601D3E-EB5F-420F-8BA9-D7DBC1959CDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imaginaries in Hilbert spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Imaginaries_in_Hilbert_spaces"}}}}}