Skip to main content
SpringerLink
Log in

Square Roots and Powers in Constructive Banach Algebra Theory

  • Conference paper
How the World Computes (CiE 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7318))

Included in the following conference series:

  • 1653 Accesses

Abstract

Several new and improved results about positive integral powers of hermitian elements, and square roots of positive elements, in a Banach algebra are proved constructively.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berger, J., Schuster, P.M.: Dini’s theorem in the light of reverse mathematics. In: Lindström, S., Palmgren, E., Segerberg, K., Stoltenberg-Hansen, V. (eds.) Logicism, Intuitionism, and Formalism—What has become of them? Synthèse Library, vol. 341, pp. 153–166. Springer, Dordrecht (2009)

    Google Scholar 

  2. Bishop, E.A., Bridges, D.S.: Constructive Analysis. Grundlehren der Mathematischen Wissenschaften, vol. 279. Springer, Berlin (1985)

    Book  MATH  Google Scholar 

  3. Bonsall, F.F., Duncan, J.: Complete Normed Algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 80. Springer, Berlin (1973)

    MATH  Google Scholar 

  4. Bridges, D.S., Havea, R.S.: Approximating the numerical range in a Banach algebra. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis. Oxford Logic Guides, pp. 293–303. Clarendon Press, Oxford (2005)

    Chapter  Google Scholar 

  5. Bridges, D.S., Havea, R.S.: Constructing square roots in a Banach algebra. Sci. Math. Japon. 70(3), 355–366 (2009)

    MathSciNet  MATH  Google Scholar 

  6. Bridges, D.S., Havea, R.S.: Powers of a Hermitian element. New Zealand J. Math. 36, 1–10 (2007)

    MathSciNet  MATH  Google Scholar 

  7. Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes, vol. 97. Cambridge Univ. Press (1987)

    Google Scholar 

  8. Bridges, D.S., Vîţă, L.S.: Techniques of Constructive Analysis. Universitext. Springer, New York (2006)

    Book  MATH  Google Scholar 

  9. Havea, R.S.: On Firmness of the State Space and Positive Elements of a Banach Algebra. J. UCS 11(12), 1963–1969 (2005)

    MathSciNet  MATH  Google Scholar 

  10. Holmes, R.B.: Geometric Functional Analysis and its Applications. Graduate Texts in Mathematics, vol. 24. Springer, New York (1975)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics & Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand

    Douglas S. Bridges

  2. Department of Mathematics & Computing Science, University of the South Pacific, Suva, Fiji

    Robin S. Havea

Authors
  1. Douglas S. Bridges
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robin S. Havea
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Mathematics, University of Leeds, LS2 9JT, Leeds, UK

    S. Barry Cooper

  2. Computer Laboratory, University of Cambridge, Willialm Gates Building, J.J. Thomson Avenue, CB3 0FD, Cambridge, UK

    Anuj Dawar

  3. Institute for Logic, Language and Computation, University of Amsterdam, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bridges, D.S., Havea, R.S. (2012). Square Roots and Powers in Constructive Banach Algebra Theory. In: Cooper, S.B., Dawar, A., Löwe, B. (eds) How the World Computes. CiE 2012. Lecture Notes in Computer Science, vol 7318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30870-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30870-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30869-7

  • Online ISBN: 978-3-642-30870-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation