Hostname: page-component-8488f9846f-rhfwd Total loading time: 0 Render date: 2023-08-10T02:14:01.669Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": false, "useRatesEcommerce": true } hasContentIssue false

A Constructive Analysis of a Proof that the Numerical Range is Convex

Published online by Cambridge University Press:  01 February 2010

Douglas Bridges
Affiliation:
Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch 1, New Zealand, d.bridges@math.canterbury.ac.nz
Robin Havea
Affiliation:
Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch 1, New Zealand, rha40@student.canterbury.ac.nz

Abstract

Core share and HTML view are not possible as this article does not have html content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It is shown where the classical proof of the convexity of the numerical range of an operator on a Hilbert space breaks down by using principles that are not valid in intuitionistic logic. Those breakdowns are then repaired, as far as possible, to provide constructive versions of the convexity theorem. Finally, it is shown that our results are the best possible in a constructive setting.

Type
Research Article
Copyright
Copyright © London Mathematical Society 2000

References

1. Bishop, Errett and Bridges, Douglas, Constructive analysis, Grundlehren Math. Wiss. 279 (Springer–Verlag, Heidelberg, 1985).CrossRefGoogle Scholar
2. Bridges, Douglas, ‘Constructive mathematics: a foundation for computable analysis’, Theoretical Comput. Sci. 219 (1999) 95109.CrossRefGoogle Scholar
3. Bridges, Douglas and Ishihara, Hajime, ‘Locating the range of an operator on a Hilbert space’, Bull. London Math. Soc. 24 (1992) 599605.CrossRefGoogle Scholar
4. Bridges, Douglas and Richman, Fred, Varieties of constructive mathematics, London Math. Soc. Lecture Notes 97 (Cambridge University Press, 1987).CrossRefGoogle Scholar
5. Bridges, Douglas, Richman, Fred and Schuster, Peter, ‘Adjoints, absolute values, and polar decompositions’, J. Operator Theory, to appear.Google Scholar
6. Halmos, Paul R., A Hilbert space problem book, Grad. Texts in Math. 19 (Springer-Verlag, Heidelberg, 1974).CrossRefGoogle Scholar
7. Ishihara, Hajime, ‘Continuity and nondiscontinuity in constructive mathematics’, J. Symbolic Logic 56 (1991) 13491354.CrossRefGoogle Scholar
8. Kushner, B. A., Lectures on constructive mathematical analysis (Amer. Math. Soc, Providence, RI, 1985).Google Scholar
9. Richman, Fred, ‘Intuitionism as generalization’, Philos. Math. 5 (1990) 124128.Google Scholar
10. Richman, Fred, ‘Polynomials and linear transformations’, Linear Algebra Appl. 131 (1990) 131137.CrossRefGoogle Scholar
11. Troelstra, A. S. and Van Dalen, D., Constructivism in mathematics: an introduction, two volumes (North Holland, Amsterdam, 1988).Google Scholar
12. Weihrauch, Klaus, ‘A foundation for computable analysis’, Combinatorics, complexity, & logic, (ed. Bridges, D. S., Calude, C. S., Gibbons, J., Reeves, S. and Witten, I. H.) Conference Proc, Auckland, 9–13 December 1996 (Springer–Verlag, Singapore, 1996).Google Scholar