Locating the range of an operator with an adjoint

DOI10.1016/S0019-3577(02)80024-6MaRDI QIDQ1397696zbMATH OpenOpenAlexFDO

Authors Hajime Ishihara, Bas Spitters, Douglas Bridges

Publication date 7 August 2003

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-3577(02)80024-6

Bishop-style mathematics constructive analysis Hilbert space linear operator projection

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30) Constructive operator theory (47S30)

Review text

The authors consider the following question: given a linear operator on a Hilbert space, can one compute the projection on the closure of its range? To answer this question affirmatively, it is enough to show that the range \({\text{ran}}(T)\) of the operator \(T\) on the Hilbert space \(H\) is \textit{located} -- that is, the distance \(\rho(x, \text{ran}(T)) = {\text{inf}} \{\| x - Ty\| : y \in H\}\) exists (is computable) for each \(x \in H.\) The paper presents necessary and sufficient conditions under which the locatedness of \({\text{ker}}(T^*)\) (the kernel of the adjoint \(T^*\) of \(T\)) ensures that of \({\text{ran}}(T)\). Namely, it is shown that for any operator \(T\) with an adjoint \(T^*\), the following four statements are equivalent: (i) \(\text{ran}(T)\) is located, (ii) \(\text{ran}(T^*)\) is located, (iii) \(\text{ker}(T)\) is located and \(T\) is decent, (iii) \(\text{ker}(T^*)\) is located and \(T^*\) is decent. (\(T\) is \textit{decent} if for any bounded sequence \(\langle x_n\rangle\) such that \(Tx_n \rightarrow 0\), there exists a sequence \(\langle y_n\rangle\) in \(\text{ker}(T)\) such that \(\langle x_n + \,y_n, z \rangle \rightarrow 0\) for all \(z \in H\).) All the results of the paper are acceptable both in classical and Bishop-stile mathematics.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Locating the range of an operator with an adjoint

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