Hostname: page-component-7b9c58cd5d-sk4tg Total loading time: 0 Render date: 2025-03-19T12:59:31.859Z Has data issue: false hasContentIssue false
  • English
  • Français

Toward a constructive theory of unbounded linear operators

Published online by Cambridge University Press:  12 March 2014

Feng Ye
Feng Ye*
Affiliation:
Philosophy Department, Princeton University, Princeton, New Jersey 08544, USA, E-mail: fengye@princeton.edu
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

Constructive functional analysisLinear operatorsSelf-adjointnessSpectral theoremStone's theorem
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 65 , Issue 1 , March 2000 , pp. 357 - 370
Copyright
Copyright © Association for Symbolic Logic 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bishop, E., Foundations of constructive analysis, McGraw-Hill, New York, 1967.Google Scholar
[2]Bishop, E. and Bridges, D. S., Constructive analysis, Springer-Verlag, Berlin, 1985.CrossRefGoogle Scholar
[3]Blank, J., Exner, P., and HavlÍcek, M., Hilbert space operators in quantum mechanics, American Institute of Physics, 1994.Google Scholar
[4]Bridges, D., Constructive functional analysis, Pitman, London, 1979.Google Scholar
[5]Bridges, D., Constructive mathematics and unbounded operators—a reply to Hellman, Journal of Philosophical Logic, vol. 24 (1995), pp. 549–561.CrossRefGoogle Scholar
[6]Bridges, D. and Ishihara, H., Locating the ranges of an operator on a hilbert space, Bulletin of London Mathematical Society, vol. 24 (1992), pp. 599–605.CrossRefGoogle Scholar
[7]Bridges, D. and Richman, F., Varieties of constructive mathematics, London Mathmatical Society Lecture Note Series, no. 97, Cambridge University Press, Cambridge, 1987.CrossRefGoogle Scholar
[8]Conway, J., A course in functional analysis, Springer-Verlag, Berlin, 1990.Google Scholar
[9]Hellman, G., Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem, Journal of Philosophical Logic, vol. 22 (1993), pp. 221–248.CrossRefGoogle Scholar
[10]Hellman, G., Gleason's theorem is not constructively provable, Journal of Philosophical Logic, vol. 22 (1993), pp. 193–203.CrossRefGoogle Scholar
[11]Hellman, G., Quantum mechanical unbounded operators and constructive mathematics—a rejoinder to Bridges, Journal of Philosophical Logic, vol. 26 (1997), pp. 121–127.CrossRefGoogle Scholar
[12]Ishihara, H., A constructive version of Banach's inverse mapping theorem, New Zealand Journal of Mathematics, vol. 23 (1994), pp. 71–75.Google Scholar
[13]Prugovecki, E., Quantum mechanics in Hilbert space, 2nd ed., Academic Press, 1981.Google Scholar
[14]Reed, M. and Simon, B., Methods of modern mathematical physics, II: Fourier analysis, self-adjointness, Academic Press, Inc., 1975.Google Scholar
[15]Riesz, F. and Sz.-Nagy, B., Functional analysis, Frederick Ungar Publishing Co., 1955.Google Scholar
[16]Weidmann, J., Linear operators in Hilbert space, Springer-Verlag, Berlin, 1980.CrossRefGoogle Scholar
[17]Ye, F., Strict constructivism and the philosophy of mathematics, Ph.D. dissertation, Princeton University, 1999.Google Scholar