Definable operators on Hilbert spaces

DOI10.1215/00294527-1715689MaRDI QIDQ435239zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring

Publication date 11 July 2012

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1010.2243, https://projecteuclid.org/euclid.ndjfl/1336588250

zbMATH Keywords

continuous logiccontinuous structuresdefinable functionsHilbert spaces

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) General (adjoints, conjugates, products, inverses, domains, ranges, etc.) (47A05)

Abstract: Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.

Review text

The paper continues the study of definable functions on continuous structures started by the author of the paper using Herbrand's theorem. It is proved that they are approximated piecewise by terms. But this result is too general. So, in the present paper, definable linear operators on infinite-dimensional Hilbert spaces are characterized. It is shown that linear operators of the form \(\lambda I+K\), where \(K\) is compact and \(\lambda\in\mathbb R\), are definable and every definable operator is of this form. The complex version of this result is proved too.

Recommendations

• An approximate Herbrand's theorem and definable functions in metric structures
• Constructive compact operators on a Hilbert space
• scientific article; zbMATH DE number 1428723
• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
• Characterizing weak-operator continuous linear functionals on B(H) constructively

Cites work

• A hereditarily indecomposable \(\mathcal L_{\infty}\)-space that solves the scalar-plus-compact problem
• An approximate Herbrand's theorem and definable functions in metric structures
• Definable functions in Urysohn's metric space
• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• Model theory for metric structures

Cited in

(11)

• Strongly definitizable linear pencils in Hilbert space
• Definitizable operators and quasihyperbolic operator polynomials
• An approximate Herbrand's theorem and definable functions in metric structures
• An infinite-dimensional pre-Hilbert space all bounded linear operators of which are simple
• scientific article; zbMATH DE number 20506 (Why is no real title available?)
• scientific article; zbMATH DE number 638368 (Why is no real title available?)
• Definability in functional analysis
• scientific article; zbMATH DE number 4113323 (Why is no real title available?)
• Definable closure in randomizations
• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
• Partially defined operators on locally Hilbert spaces

This page was built for publication: Definable operators on Hilbert spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435239)