Techniques of Constructive Analysis

✍ Scribed by Douglas S. Bridges, Luminita Simona Vita,

• Publisher: Springer
• Year: 2006
• Tongue: English
• Leaves: 227
• Series: Universitext
• Edition: 1
• Category: Library

✦ Synopsis

This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty 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. The first appendix gathers together some basic notions about sets and orders, the second gives the axioms for intuitionistic logic. 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.

✦ Table of Contents

038733646X......Page 1
Universitext......Page 2
Techniques of
Constructive Analysis......Page 4
Preface......Page 8
Acknowledgments......Page 13
Contents......Page 15
1
Introduction to Constructive Mathematics......Page 17
2
Techniques of Elementary Analysis......Page 40
3
The λ-Technique......Page 78
4
Finite-Dimensional and Hilbert Spaces......Page 95
5
Linearity and Convexity......Page 121
6
Operators and Locatedness......Page 161
References......Page 216
Index......Page 221