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.
Publié le : 2000-03-14
Classification:
Constructive Functional Analysis,
Linear Operators,
Self-Adjointness,
Spectral Theorem,
Stone's Theorem,
03F65,
46S30
@article{1183746027,
author = {Ye, Feng},
title = {Toward a Constructive Theory of Unbounded Linear Operators},
journal = {J. Symbolic Logic},
volume = {65},
number = {1},
year = {2000},
pages = { 357-370},
language = {en},
url = {http://dml.mathdoc.fr/item/1183746027}
}
Ye, Feng. Toward a Constructive Theory of Unbounded Linear Operators. J. Symbolic Logic, Tome 65 (2000) no. 1, pp. 357-370. http://gdmltest.u-ga.fr/item/1183746027/