Constructing extensions of ultraweakly continuous linear functionals
Let \(\mathcal R\subset B(H)\) be a linear space of bounded operators on a Hilbert space \(H\), and let \(f: \mathcal R\to {\mathbb C}\) be an ultraweakly continuous linear functional. It is a classical result in operator theory whose proof involves the Hahn-Banach theorem and thus Zorn's lemma that such a functional has the form \(f(T)= \sum_{n=1}^\infty \langle Tx_{n}, y_{n} \rangle\) for suitable sequences \((x_{n}), (y_{n}) \in \ell_{2}(H)\). In this paper the authors prove the above result in the framework of constructive mathematics as expounded in \textit{E. Bishop} and \textit{D. Bridges}, ``Constructive analysis, Springer (1985; Zbl 0656.03042). In order to achieve this they have to make some classically redundant assumptions, e.g., that \(H\) has an orthonormal basis.
- Characterizing weak-operator continuous linear functionals on B(H) constructively
- Characterising dominated weak-operator continuous functionals on subspaces of \(\mathcal B(H)\)
- Toward a constructive theory of unbounded linear operators
- Weak‐operator Continuity and the Existence of Adjoints
- Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
- Choice Implies Excluded Middle
- Constructing ultraweakly continuous functionals on ℬ(ℋ)
- Constructive mathematics: a foundation for computable analysis
- Constructivism in mathematics. An introduction. Volume I
- scientific article; zbMATH DE number 3144746 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 3987247 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 1107625 (Why is no real title available?)
- scientific article; zbMATH DE number 913566 (Why is no real title available?)
- scientific article; zbMATH DE number 1390063 (Why is no real title available?)
- scientific article; zbMATH DE number 3310901 (Why is no real title available?)
- Intuitionism As Generalization
- On Weak Operator Compactness of the Unit Ball of L(H)
- The weak-operator sequential continuity of left multiplication
- Weak‐operator Continuity and the Existence of Adjoints
- Can constructive mathematics be applied in physics?
- Slight extensions of positive linear functionals: two concrete realizations
- STRICTLY CONTINUOUS EXTENSION OF FUNCTIONALS WITH LINEAR GROWTH TO THE SPACE BV
- scientific article; zbMATH DE number 5720095 (Why is no real title available?)
- Continuous Linear Extension of Ultradifferentiable Functions of Beurling Type
- Computing infima on convex sets, with applications in Hilbert spaces
- Characterizing weak-operator continuous linear functionals on B(H) constructively
This page was built for publication: Constructing extensions of ultraweakly continuous linear functionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840580)
