Locating Ax, where A is a subspace of B(H)

DOI10.2168/LMCS-10(2:9)2014MaRDI QIDQ4979447zbMATH OpenOpenAlexFDO

Authors Douglas Bridges

Publication date 23 June 2014

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.6956

zbMATH Keywords

constructive mathematicsHilbert spacelocatednessspace of operators

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Constructive functional analysis (46S30) Constructive operator theory (47S30)

Abstract: Let A be a linear space of operators on a Hilbert space H, x a vector in H, and Ax the subspace of H comprising all vectors of the form Tx with T in A. We discuss, within a Bishop-style constructive framework, conditions under which the projection [Ax] of H on the closure of Ax exists. We derive a general result that leads directly to both the open mapping theorem and our main theorem on the existence of [Ax].

Recommendations

• The role of convexity in existence theorems for invariant and hyperinvariant subspaces in Hilbert spaces
• Locating the Range of an Operator on a Hilbert Space
• Constructive closed range and open mapping theorems
• Projections in operator ranges
• EQUATIONS AX = Y AND Ax = y IN ALGL

Cited in

(1)

• Locating subsets of B(H) relative to seminorms inducing the strong-operator topology

This page was built for publication: Locating \(\mathfrak{A}x\), where \(\mathfrak{A}\) is a subspace of \(\mathcal B(H)\)

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