{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q909976","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q909976","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q909976","kernelVersion":"v1","immutable":true,"modified":"2026-01-07T00:56:10Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q909976","name":"On bounded part of an algebra of unbounded operators","headline":"On bounded part of an algebra of unbounded operators","description":"scientific article; zbMATH DE number 4138604","url":"https://portal.mardi4nfdi.de/entity/Q909976","datePublished":"1988-00-00","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q263877"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q174692"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.2977/PRIMS/1195174691","url":"https://doi.org/10.2977/PRIMS/1195174691"},"sameAs":["https://doi.org/10.2977/PRIMS/1195174691"],"comment":"The author has characterized the symmetry of an \\(Op^*\\)-algebra \\({\\mathcal A}\\) by topological properties of the bounded part \\({\\mathcal A}_ b\\) of \\({\\mathcal A}:\\)    Theorem 1. (a) If \\({\\mathcal A}\\) is symmetric, then \\({\\mathcal A}_ b\\) is sequentially dense in any *-algebra topology \\(\\tau\\) in \\({\\mathcal A}\\) such that \\(B_ 0\\equiv \\{T\\in {\\mathcal A}_ b\\); \\(\\| T\\| \\leq 1\\}\\) is \\(\\tau\\)-bounded.    (b) Let \\(\\tau\\) be any *-algebra topology on \\({\\mathcal A}\\) such that the multiplication in \\({\\mathcal A}\\) is \\(\\tau\\)-hypocontinuous, and \\(B_ 0\\) is \\(\\tau\\)-bounded and \\(\\tau\\)-sequentially complete. If (\\({\\mathcal A}_{b,\\| \\|})\\) is sequentially \\(\\tau\\)-dense in \\({\\mathcal A}\\), then \\({\\mathcal A}\\) is symmetric.    Furthermore, he has obtained the following result:    Theorem 2. Let \\({\\mathcal A}\\) be an \\(Op^*\\)-algebra satisfying condition (I); that is, there exists a sequence \\(\\{A_ n\\}\\) in \\({\\mathcal A}^{\\dag}\\) such that \\(A_ n\\geq 1\\) and \\(A_ n^{-1}\\in {\\mathcal A}\\) for all n, and for each \\(x\\in {\\mathcal A}\\) \\(x^*x\\leq kA_ n\\) for some n and \\(k>0\\). Then, the \\(\\rho\\)-topology, the \\(\\sigma\\)-weak topology and the ordered topology on \\({\\mathcal A}\\) coincide.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5525602"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1838695"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1243085"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5605458"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1248216"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1059838"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3869842"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2545263"}]},"provenance":{"prov:generatedAtTime":"2026-01-07T00:56:10Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}