Techniques of Constructive Analysis

2006
ISBN: 978-0-387-33646-6
Verlag: Springer

Buch, Englisch, 215 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 359 g

Reihe: Universitext

This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been obtained in the last twenty years. It is the only book to deal with developments in Bishop-style constructive analysis over the past 20 years. The text covers fundamental theory of the real line and metric spaces, focusing on locatedness in normed spaces and with associated results about operators and their adjoints on a Hilbert space. There are two appendices to the book. The first gathers together some basic notions about sets and orders; the second gives the axioms for intuitionistic logic. The intended readership of the book consists of senior undergraduate and graduate students, as well as professional research mathematicians. No background in intuitionistic logic or constructive analysis is needed in order to read the book, but some familiarity with the classical theories of metric, normed and Hilbert spaces is necessary.

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Vita, Luminita Simona

Bridges, Douglas S.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematische Analysis Funktionalanalysis
• Mathematik | Informatik Mathematik Mathematische Analysis Elementare Analysis und Allgemeine Begriffe
• Mathematik | Informatik Mathematik Mathematische Analysis Reelle Analysis
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik

Inhaltsverzeichnis

to Constructive Mathematics.- Techniques of Elementary Analysis.- The ?-Technique.- Finite-Dimensional and Hilbert Spaces.- Linearity and Convexity.- Operators and Locatedness.