Techniques of Constructive Analysis
Información General
- Autores: Douglas S. Bridges, Luminita Simona Vîta
- Editores: New York : Springer, 2006
- Año de publicación: 2006
- País: Estados Unidos
- Idioma: inglés
- ISBN: 978-0-387-33646-6, 978-0-387-38147-3
- Texto completo no disponible (Saber más ...)
Resumen
This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been 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. Some of the other areas that are discussed in this book are the Ishihara's tricks, Separation theorems, and Locally convex spaces. 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 postgraduate or senior undergraduate students, and 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 recommended.
Otros catálogos
Índice
Preface.- Introduction to Constructive Mathematics.- Techniques of Elementary Analysis.- The Lamda Technique.- Finite-Dimensional and Hilbert Spaces.- Linearity and Convexity.- Operators and Locatedness.- References.- Index.
