Locating the range of an operator with an adjoint
type: Item
instance of: scholarly article
title: Locating the range of an operator with an adjoint
zbMATH Open document ID: 1092.47063
DOI: 10.1016/S0019-3577(02)80024-6
author: Hajime Ishihara
author: Bas Spitters
author: Douglas Bridges
published in: Indagationes Mathematicae. New Series
publication date: 2003-08-07T00:00:00Z
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.
reviewed by: Victor N. Krivtsov
Mathematics Subject Classification ID: 47S30
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 46S30
zbMATH DE Number: 1961118
zbMATH Keywords: constructive analysis
zbMATH Keywords: Bishop-style mathematics
zbMATH Keywords: Hilbert space
zbMATH Keywords: linear operator
zbMATH Keywords: projection
MaRDI profile type: Publication
cites work: Q5591514
cites work: Q3803111
cites work: Q3678225
cites work: On the Lebesgue measurability of continuous functions in constructive analysis
cites work: Linear mappings are fairly well-behaved
cites work: Locating the Range of an Operator on a Hilbert Space
cites work: Spectra of selfadjoint operators in constructive analysis
cites work: Constructive closed range and open mapping theorems
cites work: Sequentially continuous linear mappings in constructive analysis
cites work: Q3754620
cites work: Q4529412
cites work: Q5601136
cites work: On the Constructive Hahn-Banach Theorem
cites work: Constructive compact operators on a Hilbert space
cites work: Q4838046
cites work: Q4520530
cites work: Locating subsets of a Hilbert space
cites work: Located Operators
cites work: Constructivism in mathematics. An introduction. Volume II
full work available at URL: s0019-3577(02)80024-6
OpenAlex ID: W2154598950
description: scientific article; zbMATH DE number 1961118