Located Operators

Mathematical Logic Quarterly 48 (S1):107-122 (2002)
  Copy   BIBTEX

Abstract

We study operators with located graph in Bishop-style constructive mathematics. It is shown that a bounded operator has an adjoint if and only if its graph is located. Locatedness of the graph is a necessary and sufficient condition for an unbounded normal operator to have a spectral decomposition. These results suggest that located operators are the right generalization of bounded operators with an adjoint

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200210)48:1

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Weak-operator Continuity and the Existence of Adjoints.Douglas Bridges & Luminita Dediu - 1999 - Mathematical Logic Quarterly 45 (2):203-206.
Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
Self-adjointness of momentum operators in generalized coordinates.J. M. Domingos & M. H. Caldeira - 1984 - Foundations of Physics 14 (2):147-154.
Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges. [REVIEW]Boris A. Kushner - 1999 - Journal of Symbolic Logic 64 (1):397-398.
Convergence of observables on quantum logics.W. Tomé & S. Gudder - 1990 - Foundations of Physics 20 (4):417-434.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
Considerable Sets of Linear Operators in Hilbert Spaces as Operator Generalized Effect Algebras.Jan Paseka & Zdenka Riečanová - 2011 - Foundations of Physics 41 (10):1634-1647.
Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem. [REVIEW]Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (3):221 - 248.
Constructive mathematics and unbounded operators — a reply to Hellman.Douglas S. Bridges - 1995 - Journal of Philosophical Logic 24 (5):549 - 561.
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.

Analytics

Added to PP
2013-12-01

Downloads
9 (#449,242)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.

Add more citations

References found in this work

No references found.

Add more references