Book contents
- Frontmatter
- Contents
- FOREWORD
- CHAPTER 0 GUIDE
- CHAPTER 1 MAPS
- CHAPTER 2 REAL AND COMPLEX NUMBERS
- CHAPTER 3 LINEAR SPACES
- CHAPTER 4 AFFINE SPACES
- CHAPTER 5 QUOTIENT STRUCTURES
- CHAPTER 6 FINITE-DIMENSIONAL SPACES
- CHAPTER 7 DETERMINANTS
- CHAPTER 8 DIRECT SUM
- CHAPTER 9 ORTHOGONAL SPACES
- CHAPTER 10 QUATERNIONS
- CHAPTER 11 CORRELATIONS
- CHAPTER 12 QUADRIC GRASSMANNIANS
- CHAPTER 13 CLIFFORD ALGEBRAS
- CHAPTER 14 THE CAYLEY ALGEBRA
- CHAPTER 15 NORMED LINEAR SPACES
- CHAPTER 16 TOPOLOGICAL SPACES
- CHAPTER 17 TOPOLOGICAL GROUPS AND MANIFOLDS
- CHAPTER 18 AFFINE APPROXIMATION
- CHAPTER 19 THE INVERSE FUNCTION THEOREM
- CHAPTER 20 SMOOTH MANIFOLDS
- CHAPTER 21 TRIALITY
- BIBLIOGRAPHY
- LIST OF SYMBOLS
- INDEX
CHAPTER 19 - THE INVERSE FUNCTION THEOREM
Published online by Cambridge University Press: 06 January 2010
- Frontmatter
- Contents
- FOREWORD
- CHAPTER 0 GUIDE
- CHAPTER 1 MAPS
- CHAPTER 2 REAL AND COMPLEX NUMBERS
- CHAPTER 3 LINEAR SPACES
- CHAPTER 4 AFFINE SPACES
- CHAPTER 5 QUOTIENT STRUCTURES
- CHAPTER 6 FINITE-DIMENSIONAL SPACES
- CHAPTER 7 DETERMINANTS
- CHAPTER 8 DIRECT SUM
- CHAPTER 9 ORTHOGONAL SPACES
- CHAPTER 10 QUATERNIONS
- CHAPTER 11 CORRELATIONS
- CHAPTER 12 QUADRIC GRASSMANNIANS
- CHAPTER 13 CLIFFORD ALGEBRAS
- CHAPTER 14 THE CAYLEY ALGEBRA
- CHAPTER 15 NORMED LINEAR SPACES
- CHAPTER 16 TOPOLOGICAL SPACES
- CHAPTER 17 TOPOLOGICAL GROUPS AND MANIFOLDS
- CHAPTER 18 AFFINE APPROXIMATION
- CHAPTER 19 THE INVERSE FUNCTION THEOREM
- CHAPTER 20 SMOOTH MANIFOLDS
- CHAPTER 21 TRIALITY
- BIBLIOGRAPHY
- LIST OF SYMBOLS
- INDEX
Summary
Let X and Y be normed affine spaces and let A be a subset of X and B a subset of Y. A map f: A → B is said to be a smooth homeomorphism if it is a homeomorphism and if each of the maps X ↣ Y; x ⇝ f(x) and is smooth (C1). A map f : X ↣ Y is said to be locally a smooth homeomorphism at a point a ∈ X if there are open neighbourhoods A of a in X and fi of f(a) in Y such that f⊢(A) = B; x ⇝ f(x) and the map is a smooth homeomorphism.
The main theorem of this chapter, the ‘inverse function theorem’, is a criterion for a map f: X ↣ Y to be locally a smooth homeomorphism, when X and Y are complete normed affine spaces. Important corollaries include the ‘implicit function theorem’ and various propositions preliminary to the study of smooth submanifolds. Another corollary is the ‘fundamental theorem of algebra’.
Higher differentials are considered briefly at the end of the chapter.
The increment formula
One of the main tools used in the proof of the inverse function theorem is the ‘increment formula’ (‘la formule des accroissements finis’). This inequality replaces the ‘mean value theorem’, which occurs at this stage in many treatments of the calculus of real-valued functions of one real variable.
- Type
- Chapter
- Information
- Topological Geometry , pp. 375 - 398Publisher: Cambridge University PressPrint publication year: 1981