The theory of manifolds Lecture 2

Similar documents
The theory of manifolds Lecture 3

The theory of manifolds Lecture 3. Tf : TR n TR m

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

LECTURE 11: TRANSVERSALITY

CHAPTER 3 SUBMANIFOLDS

INVERSE FUNCTION THEOREM and SURFACES IN R n

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU

Vector fields Lecture 2

Math 147, Homework 5 Solutions Due: May 15, 2012

Analysis II: The Implicit and Inverse Function Theorems

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

Math 215B: Solutions 1

Math 147, Homework 1 Solutions Due: April 10, 2012

We have the following immediate corollary. 1

Differential Topology Solution Set #2

Changing coordinates to adapt to a map of constant rank

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

Introduction to Computational Manifolds and Applications

Math 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech. Integration on Manifolds, Volume, and Partitions of Unity

Extra exercises Analysis in several variables

Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit

1 The Local-to-Global Lemma

SMSTC (2017/18) Geometry and Topology 2.

THE JORDAN-BROUWER SEPARATION THEOREM

M4P52 Manifolds, 2016 Problem Sheet 1

0.1 Diffeomorphisms. 0.2 The differential

Lecture 2. Smooth functions and maps

Theorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.

10. The subgroup subalgebra correspondence. Homogeneous spaces.

274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan

Math 141 Final Exam December 18, 2014

5 Integration with Differential Forms The Poincare Lemma Proper Maps and Degree Topological Invariance of Degree...

Math 396. Bijectivity vs. isomorphism

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

Modelling and Control of Mechanical Systems: A Geometric Approach

THE EULER CHARACTERISTIC OF A LIE GROUP

NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n

Chapter 1. Smooth Manifolds

TANGENT VECTORS. THREE OR FOUR DEFINITIONS.

Math 205C - Topology Midterm

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

Integration and Manifolds

Degree of circle maps and Sard s theorem.

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

Lecture 6. Differential Equations

Metric spaces and metrizability

The Implicit Function Theorem 1

Appendix B: Multivariable Calculus

Math Advanced Calculus II

Math 291-2: Final Exam Solutions Northwestern University, Winter 2016

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.

SYMPLECTIC GEOMETRY: LECTURE 5

Differential Topology Solution Set #3

Math 215B: Solutions 3

Lecture 11 Hyperbolicity.

Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.

Solutions to Problem Set 5 for , Fall 2007

February 11, 2019 LECTURE 5: THE RULES OF DIFFERENTIATION.

Foliations of Three Dimensional Manifolds

1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0

Welcome to Copenhagen!

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

Math 423 Course Notes

Lecture 5 : Projections

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

Defn 3.1: An n-manifold, M, is a topological space with the following properties:

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS

Continuity. Chapter 4

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

Continuity. Chapter 4

Implicit Functions, Curves and Surfaces

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

NOTES ON MANIFOLDS ALBERTO S. CATTANEO

Lectures - XXIII and XXIV Coproducts and Pushouts

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

22A-2 SUMMER 2014 LECTURE Agenda

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS

LECTURE 9: THE WHITNEY EMBEDDING THEOREM

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =

c i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].

Tangent bundles, vector fields

LECTURE 22: COUNTABLE AND UNCOUNTABLE SETS

10. Smooth Varieties. 82 Andreas Gathmann

(2) For x π(p ) the fiber π 1 (x) is a closed C p subpremanifold in P, and for all ξ π 1 (x) the kernel of the surjection dπ(ξ) : T ξ (P ) T x (X) is

225A DIFFERENTIAL TOPOLOGY FINAL

Lecture 8. Connections

There are two things that are particularly nice about the first basis

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

Differentiable Topology and Geometry

Lecture III: Neighbourhoods

Lagrangian submanifolds and generating functions

LECTURE 22: INTEGRATION ON MANIFOLDS. 1. Orientations

Transcription:

The theory of manifolds Lecture 2 Let X be a subset of R N, Y a subset of R n and f : X Y a continuous map. We recall Definition 1. f is a C map if for every p X, there exists a neighborhood, U p, of p in R N and a C map, g p : U p R n, which coincides with f on U p X. We also recall: Theorem 1 (Munkres, 16,#3). If f : X Y is a C map, there exists a neighborhood, U, of X in R N and a C map, g : U R n such that g coincides with f on X. We will say that f is a diffeomorphism if it is one one and onto and f and f 1 are both diffeomorphisms. In particular if Y is an open subset of R n, X is a simple example of what we will call a manifold. More generally, Definition 2. A subset, X, of R N is an n-dimensional manifold if, for every p X, there exists a neighborhood, V, of p in R m, an open subset, U, in R n, and a diffeomorphism ϕ : U X V. Thus X is an n-dimensional manifold if, locally near every point p, X looks like an open subset of R n. We ll now describe how manifolds come up in concrete applications. Let U be an open subset of R N and f : U R k a C map. Definition 3. A point, a R k, is a regular value of f if for every point, p f 1 (a), f is a submersion at p. Note that for f to be a submersion at p, Df(p) : R N R k has to be onto, and hence k has to be less than or equal to N. Therefore this notion of regular value is interesting only if N k. Theorem 2. Let N k = n. If a is a regular value of f, the set, X = f 1 (a), is an n-dimensional manifold. Proof. Replacing f by τ a f we can assume without loss of generality that a = 0. Let p f 1 (0). Since f is a submersion at p, the canonical submersion theorem tells us that there exists a neighborhood, O, of 0 in R N, a neighborhood, U 0, of p in U and a diffeomorphism, g : O U 0 such that f g = π (1) 1

where π is the projection map R N = R k R n R k, (x, y) x. Hence π 1 (0) = {0} R n = R n and by (1), g maps O π 1 (0) diffeomorphically onto U 0 f 1 (0). However, O π 1 (0) is a neighborhood, V, of 0 in R n and U 0 f 1 (0) is a neighborhood of p in X, and, as remarked, these two neighborhoods are diffeomorphic. Some examples: 1. The n-sphere. Let be the map, Then f : R n+1 R (x 1,..., x n+1 ) x 2 1 + + x2 n+1 1. Df(x) = 2(x 1,..., x n+1 ) so, if x 0 f is a submersion at x. In particular f is a submersion at all points, x, on the n-sphere S n = f 1 (0) so the n-sphere is an n-dimensional submanifold of R n+1. 2. Graphs. Let g : R n R k be a C map and let X = graph g = {(x, y) R n R k, y = g(x)}. We claim that X is an n-dimensional submanifold of R n+k = R n R k. Proof. Let be the map, f(x, y) = y g(x). Then f : R n R k R k Df(x, y) = [ Dg(x), I k ] where I k is the identity map of R k onto itself. This map is always of rank k. Hence graph g = f 1 (0) is an n-dimensional submanifold of R n+k. 3. Munkres, 24, #6. Let M n be the set of all n n matrices and let S n be the set of all symmetric n n matrices, i.e., the set S n = {A M n, A = A t }. 2

The map gives us an identification and the map gives us an identification [a i,j ] (a 11, a 12,..., a 1n, a 2,1,..., a 2n,...) M n = R n 2 [a i,j ] (a 11,... a 1n, a 22,... a 2n, a 33,... a 3n,...) (Note that if A is a symmetric matrix, S n = R n(n+1) 2. a 12 = a 21, a 13 = a 13 = a 31, a 32 = a 23, etc. so this map avoids redundancies.) Let O(n) = {A M n, A t A = I}. This is the set of orthogonal n n matrices, and the exercise in Munkres requires you to show that it s an n(n 1)/2-dimensional manifold. Hint: Let f : M n S n be the map f(a) = A t A I. Then O(n) = f 1 (0). These examples show that lots of interesting manifolds arise as zero sets of submersions, f : U R k. We ll conclude this lecture by showing that locally every manifold arises this way. More explicitly let X R N be an n-dimensional manifold, p a point of X, U a neighborhood of 0 in R n, V a neighborhood of p in R N and ϕ : (U, 0) (V X, p) a diffeomorphism. We will for the moment think of ϕ as a C map ϕ : U R N whose image happens to lie in X. Lemma 3. The linear map is injective. Dϕ(0) : R n R N Proof. ϕ 1 : V X U is a diffeomorphism, so, shrinking V if necessary, we can assume that there exists a C map ψ : V U which coincides with ϕ 1 on V X Since ϕ maps U onto V X, ψ ϕ = ϕ 1 ϕ is the identity map on U. Therefore, D(ψ ϕ)(0) = (Dψ)(p)Dϕ(0) = I by the change rule, and hence if Dϕ(0)v = 0, it follows from this identity that v = 0. 3

Lemma 6 says that ϕ is an immersion at 0, so by the canonical immersion theorem there exists a neighborhood, U 0, of 0 in U a neighborhood, V p, of p in V, a neighborhood, O, of 0 in R N and a diffeomorphism such that g : (V p, p) (O, 0) and ι 1 (O) = U 0 (2) ι being, as in lecture 1, the canonical immersion g ϕ = ι, (3) ι(x 1,..., x k ) = (x 1,..., x k, 0,... 0). (4) By (3) g maps ϕ(u 0 ) diffeomorphically onto ϕ(u 0 ). However, by (2) and (3) ι(u 0 ) is the subset of O defined by the equations, x i = 0, i = n + 1,..., N. Hence if g = (g 1,..., g N ) the set, ϕ(u 0 ) = V p X is defined by the equations g i = 0, i = n + 1,..., N. (5) Let l = N n, let be the canonical submersion, π : R N = R n R l R l π(x 1,..., x N ) = (x n+1,... x N ) and let f = π g. Since g is a diffeomorphism, f is a submersion and (5) can be interpreted as saying that V p X = f 1 (0). (6) A nice way of thinking about Theorem 2 is in terms of the coordinates of the mapping, f. More specifically if f = (f 1,..., f k ) we can think of f 1 (a) as being the set of solutions of the system of equations f i (x) = a i, i = 1,..., k (7) and the condition that a be a regular value of f can be interpreted as saying that for every solution, p, of this system of equations the vectors (df i ) p = f i x j (0) dx j (8) 4

in T p R n are linearaly independent, i.e., the system (7) is an independent system of defining equations for X. Problem set 1. Show that the set of solutions of the system of equations and x 2 1 + + x 2 n = 1 x 1 + + x n = 0 is an n 2-dimensional submanifold of R n. 2. Let S n 1 be the n-sphere in R n and let X q = {x S n 1, x 1 + + x n = 0}. For what values of a is X q an (n 2)-dimensional submanifold of S n 1? 3. Show that if X i, i = 1, 2, is an n i -dimensional submanifold of R N i then X 1 X 2 R N 1 R N 2 is an (n 1 + n 2 )-dimensional submanifold of R N 1 R N 2. 4. Show that the set X = {(x, v) S n 1 R n, x v = 0} is a 2n 2-dimensional submanifold of R n R n. (Here x v is the dot product, xi v i.) 5. Let g : R n R k be a C map and let X = graph g. Prove directly that X is an n-dimensional manifold by proving that the map γ : R n X, x (x, g(x)) is a diffeomorphism. 5