|
Chapter 1 Differential Calculus |
|
|
1 | (48) |
|
|
1 | (3) |
|
1.1.1 What Is Differential Calculus? |
|
|
1 | (2) |
|
|
3 | (1) |
|
|
4 | (7) |
|
1.2.1 Definition and Basic Properties |
|
|
4 | (3) |
|
1.2.2 Three Fundamental Examples |
|
|
7 | (3) |
|
1.2.3 Functions of Class Cp |
|
|
10 | (1) |
|
|
11 | (3) |
|
|
14 | (7) |
|
|
14 | (2) |
|
1.4.2 Local Diffeomorphisms |
|
|
16 | (2) |
|
1.4.3 Immersions, Submersions |
|
|
18 | (3) |
|
|
21 | (8) |
|
|
21 | (2) |
|
1.5.2 Examples: Spheres, Tori, and the Orthogonal Group |
|
|
23 | (2) |
|
|
25 | (1) |
|
1.5.4 Tangent Vectors, Tangent Space |
|
|
26 | (3) |
|
1.6 One-Parameter Subgroups of the Linear Group |
|
|
29 | (4) |
|
|
33 | (3) |
|
|
36 | (2) |
|
1.9 Differential Calculus in Infinite Dimensions |
|
|
38 | (2) |
|
|
40 | (2) |
|
|
42 | (7) |
|
Chapter 2 Manifolds: The Basics |
|
|
49 | (48) |
|
|
49 | (2) |
|
2.1.1 A Typical Example: The Set of Lines in the Plane |
|
|
49 | (2) |
|
|
51 | (1) |
|
|
51 | (5) |
|
2.2.1 From Topological to Smooth Manifolds |
|
|
51 | (3) |
|
|
54 | (2) |
|
2.3 Differentiable Functions: Diffeomorphisms |
|
|
56 | (4) |
|
2.4 Fundamental Theorem of Algebra |
|
|
60 | (1) |
|
|
61 | (6) |
|
2.6 The Tangent Space: Maps |
|
|
67 | (6) |
|
2.6.1 Tangent Space. Linear Tangent Map |
|
|
67 | (2) |
|
2.6.2 Local Diffeomorphisms, Immersions, Submersions, Submanifolds |
|
|
69 | (4) |
|
|
73 | (10) |
|
2.7.1 Quotient of a Manifold by a Group |
|
|
74 | (7) |
|
2.7.2 Simply Connected Spaces |
|
|
81 | (2) |
|
2.8 Countability at Infinity |
|
|
83 | (2) |
|
|
85 | (2) |
|
|
87 | (10) |
|
Chapter 3 From Local to Global |
|
|
97 | (50) |
|
|
97 | (1) |
|
3.2 Bump Functions; Embedding Manifolds |
|
|
98 | (5) |
|
|
103 | (7) |
|
3.3.1 Derivation at a Point |
|
|
103 | (3) |
|
3.3.2 Another Point of View on the Tangent Space |
|
|
106 | (2) |
|
|
108 | (2) |
|
3.4 Image of a Vector Field: Bracket |
|
|
110 | (3) |
|
|
113 | (6) |
|
3.5.1 The Manifold of Tangent Vectors |
|
|
113 | (1) |
|
|
114 | (3) |
|
3.5.3 Vector Fields on Manifolds: The Hessian |
|
|
117 | (2) |
|
3.6 The Flow of a Vector Field |
|
|
119 | (8) |
|
3.7 Time-Dependent Vector Fields |
|
|
127 | (4) |
|
3.8 One-Dimensional Manifolds |
|
|
131 | (2) |
|
|
133 | (4) |
|
|
137 | (10) |
|
|
147 | (38) |
|
|
147 | (1) |
|
4.2 Left Invariant Vector Fields |
|
|
148 | (6) |
|
4.3 The Lie Algebra of a Lie Group |
|
|
154 | (7) |
|
4.3.1 Basic Properties; The Adjoint Representation |
|
|
154 | (3) |
|
4.3.2 From Lie Groups to Lie Algebras |
|
|
157 | (1) |
|
4.3.3 From Lie Algebras to Lie Groups |
|
|
158 | (3) |
|
4.4 A Digression on Topological Groups |
|
|
161 | (6) |
|
4.5 Commutative Lie Groups |
|
|
167 | (4) |
|
4.5.1 A Structure Theorem |
|
|
167 | (3) |
|
4.5.2 Towards Elliptic Curves |
|
|
170 | (1) |
|
|
171 | (5) |
|
|
176 | (2) |
|
|
178 | (7) |
|
Chapter 5 Differential Forms |
|
|
185 | (50) |
|
|
185 | (2) |
|
5.1.1 Why Differential Forms? |
|
|
185 | (1) |
|
|
186 | (1) |
|
|
187 | (7) |
|
|
187 | (2) |
|
|
189 | (4) |
|
5.2.3 Application: The Grassmannian of 2-Planes in 4 Dimensions |
|
|
193 | (1) |
|
5.3 The Case of Open Subsets of Euclidean Space |
|
|
194 | (5) |
|
|
194 | (2) |
|
5.3.2 Forms of Arbitrary Degree |
|
|
196 | (3) |
|
|
199 | (5) |
|
5.5 Interior Product, Lie Derivative |
|
|
204 | (5) |
|
|
209 | (4) |
|
5.6.1 Star-Shaped Open Subsets |
|
|
209 | (3) |
|
5.6.2 Forms Depending on a Parameter |
|
|
212 | (1) |
|
5.7 Differential Forms on a Manifold |
|
|
213 | (5) |
|
|
218 | (4) |
|
|
218 | (1) |
|
5.8.2 The Electromagnetic Field as a Differential Form |
|
|
219 | (1) |
|
5.8.3 Electromagnetic Field and the Lorentz Group |
|
|
220 | (2) |
|
|
222 | (3) |
|
|
225 | (10) |
|
Chapter 6 Integration and Applications |
|
|
235 | (38) |
|
|
235 | (2) |
|
6.2 Orientation: From Vector Spaces to Manifolds |
|
|
237 | (7) |
|
|
237 | (2) |
|
|
239 | (3) |
|
6.2.3 Orientation Covering |
|
|
242 | (2) |
|
6.3 Integration of Manifolds: A First Application |
|
|
244 | (4) |
|
6.3.1 Integral of a Differential Form of Maximum Degree |
|
|
244 | (2) |
|
6.3.2 The Hairy Ball Theorem |
|
|
246 | (2) |
|
|
248 | (9) |
|
6.4.1 Integration on Compact Subsets |
|
|
248 | (1) |
|
6.4.2 Regular Domains and Their Boundary |
|
|
249 | (4) |
|
6.4.3 Stokes's Theorem in All of Its Forms |
|
|
253 | (4) |
|
6.5 Canonical Volume Form of a Submanifold of Euclidean Space |
|
|
257 | (5) |
|
|
262 | (3) |
|
|
265 | (1) |
|
|
266 | (7) |
|
Chapter 7 Cohomology and Degree Theory |
|
|
273 | (50) |
|
|
273 | (2) |
|
|
275 | (2) |
|
7.3 Cohomology in Maximum Degree |
|
|
277 | (4) |
|
|
281 | (11) |
|
7.4.1 The Case of a Circle |
|
|
281 | (2) |
|
7.4.2 Definition and Basic Properties in the General Case |
|
|
283 | (3) |
|
7.4.3 Invariance of the Degree under Homotopy: Applications |
|
|
286 | (3) |
|
7.4.4 Index of a Vector Field |
|
|
289 | (3) |
|
7.5 Fundamental Theorem of Algebra: Revisited |
|
|
292 | (3) |
|
7.5.1 Two Proofs of the Fundamental Theorem of Algebra Using Degree Theory |
|
|
292 | (1) |
|
7.5.2 Comparison of the Different Proofs of the Fundamental Theorem of Algebra |
|
|
293 | (2) |
|
|
295 | (4) |
|
7.7 Invariance under Homotopy |
|
|
299 | (4) |
|
7.8 The Mayer-Vietoris Sequence |
|
|
303 | (7) |
|
|
303 | (1) |
|
7.8.2 The Mayer-Vietoris Sequence |
|
|
304 | (3) |
|
7.8.3 Application: A Few Cohomology Calculations |
|
|
307 | (2) |
|
7.8.4 The Noncompact Case |
|
|
309 | (1) |
|
|
310 | (3) |
|
|
313 | (2) |
|
|
315 | (8) |
|
Chapter 8 Euler-Poincare and Gauss-Bonnet |
|
|
323 | (26) |
|
|
323 | (3) |
|
8.1.1 From Euclid to Carl-Friedrich Gauss and Pierre-Ossian Bonnet |
|
|
323 | (2) |
|
8.1.2 Sketch of a Proof of the Gauss-Bonnet Theorem |
|
|
325 | (1) |
|
|
326 | (1) |
|
8.2 Euler-Poincare Characteristic |
|
|
326 | (5) |
|
8.2.1 Definition; Additivity |
|
|
326 | (2) |
|
|
328 | (3) |
|
8.3 Invitation to Riemannian Geometry |
|
|
331 | (5) |
|
8.4 Poincare-Hopf Theorem |
|
|
336 | (3) |
|
8.4.1 Index of a Vector Field: Revisited |
|
|
336 | (1) |
|
|
336 | (3) |
|
8.5 From Poincare-Hopf to Gauss-Bonnet |
|
|
339 | (5) |
|
8.5.1 Proof Using the Classification Theorem for Surfaces |
|
|
339 | (1) |
|
8.5.2 Proof Using Tilings: Sketch |
|
|
340 | (1) |
|
8.5.3 Putting the Preceding Arguments Together |
|
|
341 | (3) |
|
|
344 | (2) |
|
|
346 | (3) |
Appendix: The Fundamental Theorem of Differential Topology |
|
349 | (2) |
Solutions to the Exercises |
|
351 | (32) |
Bibliography |
|
383 | (10) |
Index |
|
393 | |