Weak-operator Continuity and the Existence of Adjoints

Mathematical Logic Quarterly 45 (2):203-206 (1999)
  Copy   BIBTEX

Abstract

It is shown, within constructive mathematics, that the unit ball B1 of the set of bounded operators on a Hilbert space H is weak-operator totally bounded. This result is then used to prove that the weak-operator continuity of the mapping T → AT on B1 is equivalent to the existence of the adjoint of A

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Located Operators.Bas Spitters - 2002 - Mathematical Logic Quarterly 48 (S1):107-122.
Convergence of observables on quantum logics.W. Tomé & S. Gudder - 1990 - Foundations of Physics 20 (4):417-434.
Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
On Weak Operator Compactness of the Unit Ball of L(H).Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (31‐36):493-494.
On Weak Operator Compactness of the Unit Ball of L_( _H).Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (31-36):493-494.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
Omniscience Principles and Functions of Bounded Variation.Fred Richman - 2002 - Mathematical Logic Quarterly 48 (1):111-116.

Analytics

Added to PP
2014-01-16

Downloads
15 (#976,359)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Varieties of constructive mathematics.D. S. Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Continuity and nondiscontinuity in constructive mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.

View all 7 references / Add more references