Abstract
The existence of points outside the domain of an unbounded linear map‑ ping between normed spaces is investigated constructively.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Michael Beeson, Foundations of Constructive Mathematics, Springer-Verlag, Heidelberg, 1985.
Errett Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
Errett Bishop and Douglas Bridges, Constructive Analysis, Grundlehren math. Wiss. 279, Springer-Verlag, Heidelberg, 1985.
Douglas Bridges, Computability: A Mathematical Sketchbook, Graduate Texts in Mathematics 146, Springer-Verlag, Heidelberg, 1994.
Douglas Bridges, “Constructive mathematics and unbounded operators a reply to Hellman”, J. Philos. Logic 24, 549–561, 1995.
Douglas Bridges and Hajime Ishihara, “Linear mappings are fairly well—behaved”, Arch. Math. 54, 558–562, 1990.
Douglas Bridges, William Julian, and Ray Mines, “A constructive treatment of open and unopen mapping theorems”, Zeit. math. Logik und Grundlagen der Math. 35, 29–43, 1989.
Douglas Bridges and Fred Richman, Varieties of Constructive Mathematics,London Math. Soc. Lecture Notes 97, Cambridge University Press, 1987.
Douglas Bridges, Fred Richman, and Peter Schuster, “Adjoints, absolute values, and polar decompositions”, J. Operator Theory 44, 243–254, 2000.
Geoffrey Hellman, “Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem”, J. Phil. Logic 22, 221–248, 1993.
] Hajime Ishihara, “Continuity and nondiscontinuity in constructive mathematics”, J. Symbolic Logic 56 (4), 1349–1354, 1991.
Hajime Ishihara, “A constructive proof of Banach’s inverse mapping theorem”, New Zealand J. Math. 23 (1), 71–75, 1994.
R.V. Kadison and J.R. Ringrose, Fundamentals of the Theory of Operator Algebras ( 2 Vols), Academic Press, New York, 1983.
Fred Richman, “Intuitionism as generalization”, Philosophia Math. 5, 124–128, 1990.
Fred Richman, “Interview with a constructive mathematician”, Modern Logic 6, 247–271, 1996.
Halsey L. Royden, “Aspects of constructive analysis”, in Errett Bishop: Reflections on Him and His Research, Contemporary Mathematics 39, Amer. Math. Soc., Providence RI, 1985.
Walter Rudin, Functional Analysis ( 2nd edn ), McGraw-Hill, New York, 1991.
A.S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction (two volumes). North—Holland, Amsterdam, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bridges, D., Ishihara, H. (2001). Constructive Unbounded Operators. In: Schuster, P., Berger, U., Osswald, H. (eds) Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum. Synthese Library, vol 306. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9757-9_3
Download citation
DOI: https://doi.org/10.1007/978-94-015-9757-9_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5885-0
Online ISBN: 978-94-015-9757-9
eBook Packages: Springer Book Archive