Toward a constructive theory of unbounded linear operators

Journal of Symbolic Logic 65 (1):357-370 (2000)
  Copy   BIBTEX

Abstract

We show that the following results in the classical theory of unbounded linear operators on Hilbert spaces can be proved within the framework of Bishop's constructive mathematics: the Kato-Rellich theorem, the spectral theorem, Stone's theorem, and the self-adjointness of the most common quantum mechanical operators, including the Hamiltonians of electro-magnetic fields with some general forms of potentials

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
A Constructive Version of the Spectral Mapping Theorem.Douglas Bridges & Robin Havea - 2001 - Mathematical Logic Quarterly 47 (3):299-304.

Analytics

Added to PP
2009-01-28

Downloads
288 (#95,361)

6 months
15 (#211,303)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Feng Ye
Capital Normal University, Beijing, China

References found in this work

Constructive Functional Analysis.D. S. Bridges & Peter Zahn - 1982 - Journal of Symbolic Logic 47 (3):703-705.
Gleason's theorem is not constructively provable.Geoffrey Hellman - 1993 - Journal of Philosophical Logic 22 (2):193 - 203.

Add more references