Techniques of Constructive Analysis
Seiten
2006
|
2006 ed.
Springer-Verlag New York Inc.
978-0-387-33646-6 (ISBN)
Springer-Verlag New York Inc.
978-0-387-33646-6 (ISBN)
This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been obtained in the last twenty years. There is specific focus on techniques and themes, and the book includes many simplified or improved proofs.
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.
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.
to Constructive Mathematics.- Techniques of Elementary Analysis.- The ?-Technique.- Finite-Dimensional and Hilbert Spaces.- Linearity and Convexity.- Operators and Locatedness.
| Reihe/Serie | Universitext |
|---|---|
| Zusatzinfo | XVI, 215 p. |
| Verlagsort | New York, NY |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Analysis | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-387-33646-X / 038733646X |
| ISBN-13 | 978-0-387-33646-6 / 9780387336466 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Hardcover (2023)
Hanser, Carl (Verlag)
CHF 41,95
