Math 147, Homework 1 Solutions Due: April 10, 2012
|
|
- Mervin White
- 5 years ago
- Views:
Transcription
1 1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M a in the cases where M a is a smooth manifold. Consider the map f : R 3 R 1 given by f(x, y, z) = x 2 + y 2 z 2. Note that f is a smooth map between manifolds of dimension 3 and 1. Hence if a R is a regular value, then Lemma 1 of 2 of Milnor will imply that M a = f 1 (a) is a smooth manifold of dimension 3 1 = 2. Let s find the regular values. The derivative of f is df (x,y,z) = [ 2x 2y 2z ]. Note that df (x,y,z) has rank less than 1 only if (x, y, z) = (0, 0, 0). Hence (0, 0, 0) is the only critical point of f and f(0, 0, 0) = 0 is the only critical value of f. By Lemma 1 of 2 of Milnor, M a is a smooth manifold for all a 0. First let s find explicit parameterizations for open sets covering M a in the case a < 0. We will need only two such sets. Let W 1 = {(x, y, z) R 3 z > 0} and let W 2 = {(x, y, z) R 3 z < 0}. Note that W 1 and W 2 cover M a. Let g 1 : R 2 W 1 M a and g 2 : R 2 W 2 M a be given by and g 1 (x, y) = (x, y, x 2 + y 2 a) g 1 (x, y) = (x, y, x 2 + y 2 a). Note that g 1 and g 2 are one to one, onto, and smooth. Since d(g 1 ) (x,y) : R 2 T (M a ) g1 (x,y) and d(g 2 ) (x,y) : R 2 T (M a ) g2 (x,y) are nonsingular for all (x, y) R 2, the inverse function theorem implies that g 1 and g 2 are local diffeomorphisms. Hence their inverses are smooth, and so g 1 and g 2 are diffeomorphisms. We have found explicit parameterizations for open sets covering M a in the case a < 0. Next let s find explicit parameterizations for open sets covering M a in the case a > 0. Let W 1 = {(x, y, z) R 3 x > 0}, W 2 = {(x, y, z) R 3 x < 0}, W 3 = {(x, y, z) R 3 y > 0}, and W 4 = {(x, y, z) R 3 y < 0}. 1
2 Note that these sets cover M a. Let be given by g 1 : {(y, z) R 2 a y 2 + z 2 > 0} W 1 M a, g 2 : {(y, z) R 2 a y 2 + z 2 > 0} W 2 M a, g 3 : {(x, z) R 2 a x 2 + z 2 > 0} W 3 M a, and g 4 : {(x, z) R 2 a x 2 + z 2 > 0} W 4 M a g 1 (y, z) = ( a y 2 + z 2, y, z), g 2 (y, z) = ( a y 2 + z 2, y, z), g 3 (x, z) = (x, a x 2 + z 2, z), and g 4 (x, z) = (x, a x 2 + z 2, z). Note that g 1, g 2, g 3, and g 4 are one to one, onto, and smooth. Since the derivatives of g 1, g 2, g 3, and g 4 are nonsingular at each point in their domains, the inverse function theorem implies that g 1, g 2, g 3, and g 4 are local diffeomorphsims. Hence their inverses are smooth, and g 1, g 2, g 3, and g 4 are diffeomorphisms. We have found explicit parameterizations for open sets covering M a in the case a > 0. Conversely, set M 0 is not a manifold. Set M 0 is a cone, as drawn in Figure 1-2 in Guillemin and Pollack. We will show that there is no neighborhood W M 0 about the point (0, 0, 0) M 0 diffeomorphic to an open subset U of R 2. Suppose for a contradiction that there is a diffeomorphism g : U W M 0, where U is an open subset of R 2 and where W M 0 is a neighborhood about the point (0, 0, 0) M 0. By restricting this diffeomorphism to a single connected component, we can assume that both W and U are connected. Let u U be the point satisfying g(u) = (0, 0, 0). Note that g restricts to a diffeomorphism from U \ {u} to (W M 0 ) \ {(0, 0, 0)}. However U \ {u} is a connected set while (W M 0 ) \ {(0, 0, 0)} is not. A connected set cannot be homeomorphic to a disconnected set, so this is a contradiction. Hence there is no neighborhood W M 0 about the point (0, 0, 0) M 0 diffeomorphic to an open subset U of R 2. So M 0 is not a manifold. 2. (a) Show that the interval (a, b) is diffeomorphic to (0, 1) whenever b > a. Define f : (a, b) (0, 1) by f(x) = (x a)/(b a) for a < x < b. Note that f is one to one, onto, and smooth since its a polynomial. The inverse map f 1 (y) = (b a)y + a is also smooth since its a polynomial. Hence f is a diffeomorphism, so (a, b) and (0, 1) are diffeomorphic. (b) Show that R 1 is diffeomorphic to (0, 1). 2
3 By part (a), (0, 1) is diffeomorphic to ( π/2, π/2). Hence we need only show that R 1 is diffeomorphic to ( π/2, π/2), since diffeomorphisms form an equivalence relation. Consider tan: ( π/2, π/2) R 1 which is one to one and onto. Note tangent is smooth on ( π/2, π/2), which one can see since its derivative is 1/ cos 2 and cosine is smooth and positive on this range. The inverse function theorem then implies that tangent is a local diffeomorphism on this range, and hence its inverse is also smooth. So R 1 is diffeomorphic to ( π/2, π/2) and also to (0, 1). (c) Is the function f(x) = x 3 a diffeomorphism from R 1 R 1? No. The inverse function f 1 = 3 x is not smooth, since its derivative (1/3)x 2/3 is not defined at Let M R k and N R l be manifolds of dimensions m and n respectively. (a) Show that the Cartesian product M N consisting of pairs (x, y) R l R k with x M and y N is a smooth manifold of dimension m + n. Let (x, y) M N. Since M is a smooth manifold, there exists a neighborhood W M containing x in R m and a diffeomorphism g M : U M W M M where U M is an open subset of R m. Since N is a smooth manifold, there exists a neighborhood W N containing y in R n and a diffeomorphism g N : U N W N N where U N is an open subset of R n. Note that U M U N is an open subset of R m+n, that W M W N is an open subset of R k+l, and that g M g N : U M U N (W M M) (W N N) = (W N W N ) (M N) defined by (g M g N )(u, u ) = (g M (u), g N (u)) is a diffeomorphism. Since our point (x, y) M N was arbitrary, this shows that M N is a smooth manifold of dimension m + n. (b) If x M and y N, show that the tangent space T (M N) (x,y) is the Cartesian product T M x T N y. Let (u, u ) U M U N satisfy (g M g N )(u, u ) = (x, y). The tangent space T (M N) (x,y) is defined to be the image d(g M g N ) (u,u )(R m+n ). Recall d(g M g N ) (u,u ) and d(g M ) u d(g N ) u are each (k + l) (m + n) matrices of partial derivatives. These matrices both have d(g M ) u in the top left block, d(g N ) u in the bottom right block, and zeros in all other entries. Hence we have d(g M g N ) (u,u ) = d(g M ) u d(g N ) u. 3
4 So T (M N) (x,y) = d(g M g N ) (u,u )(R m+n ) = ( d(g M ) u d(g N ) u ) (R m+n ) = d(g M ) u (R m ) d(g N ) u (R n ) = T M x T N y. (c) Let f : M M and g : N N be smooth maps between manifolds and f g : M N M N be the product map defined by (f g)(x, y) = (f(x), g(y)). Show that the derivatives of f, g and f g satisfy: d(f g) (x,y) = df x dg y. Let M R k and N R l. Since f : M M is smooth there exists an open set W M containing x in R k and a smooth map F : W M R k that coincides with f on W M M. Since f : N N is smooth there exists an open set W N containing y in R l and a smooth map G: W N R l that coincides with g on W N N. Now F G: W M W N R k +l is a smooth map that coincides with f g on (W M M) (W N N) = (W M W N ) (M N). Since F and G have domains that are open subsets of Euclidean space, an argument identical to that in part (b) shows that d(f G) (x,y) = df x dg y. Indeed, these are each (k + l ) (k + l) matrices with d(f ) x on the top left block, d(g) y on the bottom right block, and zeros elsewhere. Let (v, v ) T (M N) (x,y) = T M x T N y. By definition of d(f g) (x,y), we have d(f g) (x,y) (v, v ) = d(f G) (x,y) (v, v ) = (df x dg y )(v, v ) = df x (v) dg y (v ) = df x (v) dg y (v ) = (df x dg y )(v, v ). Since our point (v, v ) was arbitrary, this shows that d(f g) (x,y) = df x dg y. 4
5 4. Let X R 3 be the circle of radius one in the xz-plane centered at (2, 0, 0) and let Y be the surface of revolution obtained by rotating X around the z-axis. Show that Y is a smooth manifold of dimension two and admits a diffeomorphism to the product S 1 S 1 R 4. and Let W = {(x, y, z) z 1 and either y 0 or x < 0} W = {(x, y, z) z 1 and either y 0 or x > 0}. One can check that W and W cover Y. Let U = {(u, v) R 2 0 < u < 2π and π/2 < v < 5π/2}. A diffeomorphism g : U W Y is given by g(u, v) = ( (2 + cos v) cos u, (2 + cos v) sin u, sin v ). This map is a homeomorphism and smooth. Because its derivative is everywhere nonsingular, the inverse function theorem implies that its inverse is also smooth. Similarly, let U = {(u, v) R 2 π < u < π and π/2 < v < 3π/2}. A diffeomorphism g : U W Y is also given by g(u, v) = ( (2 + cos v) cos u, (2 + cos v) sin u, sin v ). This map is a homeomorphism and smooth. Because its derivative is everywhere nonsingular, the inverse function theorem implies that its inverse is also smooth. Hence Y is a smooth manifold of dimension two. Next we show that Y is diffeomorphic to S 1 S 1 R 4. We define f : S 1 S 1 Y by setting f(a, b, c, d) = ( (2 + c)a, (2 + c)b, d ) for (a, b, c, d) S 1 S 1. Map f is one to one and onto. Map f is smooth because it extends to a smooth map, given by the same formula, on all of R 4. One can check that the inverse f 1 : Y S 1 S 1 is given by f 1 (x, y, z) = ( x x2 + y, y 2 x2 + y, x 2 + y 2 2, z 2 ). Map f 1 is smooth because it extends to a smooth map, given by the same formula, on R 3 \ {(0, 0, 0)}. So Y is diffeomorphic to S 1 S Recall that an n n matrix A is orthogonal if it is invertible and A 1 = A T. Show that the set SO(2) of 2 2 orthogonal matrices of determinant 1 is a smooth manifold of dimension one diffeomorphic to S 1. What is the tangent space to SO(2) at the identity matrix? (Note: in this question, the set of all 5
6 two-by-two matrices is identified with R 4 ; a matrix A corresponds to the vector whose coordinates are the coefficients of A). We will identify the 2 2 matrix [ ] x z A = y w with the point (x, y, z, w) R 4. If matrix A has determinant 1, then its inverse is [ ] w z A 1 =. y x If A 1 = A T, then x = w and y = z. Since the determinant of A is 1, we have 1 = xw yz = x 2 + y 2. Hence any matrix in SO(2) can be written as [ ] x y A = = (x, y, y, x) y x with (x, y) S 1. We define f : S 1 SO(2) by setting f(x, y) = (x, y, y, x). Map f is one to one, and it is onto by our work above. Map f is smooth because it extends to a smooth map F, given by the same formula, on all of R 2. The inverse f 1 : SO(2) S 1 is smooth because it extends to the smooth map (x, y, z, w) (x, y) defined on all of R 4. Hence SO(2) is diffeomorphic to S 1, and so is also a smooth manifold of dimension one. Now let s find the tangent space to SO(2) at the identity matrix. Note f(1, 0) = (1, 0, 0, 1) is the identity matrix I. The assertion on page 7 of Milnor says that df (1,0) : T S(1,0) 1 T SO(2) I is an isomorphism of vector spaces. Note T S(0,1) 1 = {(0, t) t R1 } and 1 0 df (1,0) =
7 where F is the extension of f to all of R 2. Hence T SO(2) I = df (1,0) (T S 1 (1,0)) = df (1,0) (T S(1,0)) 1 by definition { 1 0 [ ] } = t R 1 t 1 0 = { (0, t, t, 0) t R 1} as vectors in R 4 { [0 ] } t = t R 1 as matrices. t 0 6. The stereographic projection is the map f from S 2 \ {(0, 0, 1)} to the xy-plane sending (x, y, z) to the unique point in the xy-plane lying on the line through (0, 0, 1) and (x, y, z). (a) Show that f is a diffeomorphism onto the xy-plane. In particular, the open set S 2 \ {(0, 0, 1)} can be parametrized by a single function. [Hint: You should be able to write down explicit formulas for f and f 1.] The map f : S 2 \ {(0, 0, 1)} R 2 is given by ( x f(x, y, z) = 1 z, y ) 1 z for any (x, y, z) S 2 \ {(0, 0, 1)}. Map f is one to one, onto, and is smooth because it extends to a smooth map, given by the same formula, on the open set {(x, y, z) R 3 z < 1} containing S 2 \ {(0, 0, 1)}. One can check the inverse f 1 is given by ( f 1 2u (u, v) = 1 + u 2 + v, 2v u 2 + v, 1 + u2 + v 2 ) u 2 + v 2 for any (u, v) R 2. Since f 1 is also smooth, f is a diffeomorphism onto the xy-plane. (b) Show that there is no parametrization of the whole sphere by a single open set in R 2. [Hint: S 2 is compact.] We will do a proof by contradiction. Suppose there is indeed a parameterization of the whole sphere by a single open set in R 2. This amounts to a diffeomorphism h: S 2 U for some open set U R 2. Since S 2 is compact and since a continuous image of a compact space is compact, this means U = h(s 2 ) is compact. By the Heine-Borel theorem, U is closed. Since R 2 is connected, the only closed and open sets of R 2 are the emptyset and all of R 2. But U 7
8 cannot be the emptyset because the emptyset is not diffeomorphic to S 2. Also U cannot be R 2 because R 2 is not bounded and hence not compact. So we have reached a contradiction. Therefore, there is no parameterization of the whole sphere by a single open set in R 2. 8
Math 147, Homework 5 Solutions Due: May 15, 2012
Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is
More informationDifferential Topology Solution Set #2
Differential Topology Solution Set #2 Select Solutions 1. Show that X compact implies that any smooth map f : X Y is proper. Recall that a space is called compact if, for every cover {U } by open sets
More informationBROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8
BROUWER FIXED POINT THEOREM DANIELE CARATELLI Abstract. This paper aims at proving the Brouwer fixed point theorem for smooth maps. The theorem states that any continuous (smooth in our proof) function
More informationf(x, y) = 1 2 x y2 xy 3
Problem. Find the critical points of the function and determine their nature. We have We find the critical points We calculate f(x, y) = 2 x2 + 3 2 y2 xy 3 f x = x y 3 = 0 = x = y 3 f y = 3y 3xy 2 = 0
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationChapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem
Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter
More informationTHE JORDAN-BROUWER SEPARATION THEOREM
THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside
More informationB 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 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationChapter 1. Smooth Manifolds
Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.
More informationThe theory of manifolds Lecture 2
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
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationPRACTICE PROBLEMS FOR MIDTERM I
Problem. Find the limits or explain why they do not exist (i) lim x,y 0 x +y 6 x 6 +y ; (ii) lim x,y,z 0 x 6 +y 6 +z 6 x +y +z. (iii) lim x,y 0 sin(x +y ) x +y Problem. PRACTICE PROBLEMS FOR MIDTERM I
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationMath 141 Final Exam December 18, 2014
Math 141 Final Exam December 18, 2014 Name: Complete the following problems. In order to receive full credit, please provide rigorous proofs and show all of your work and justify your answers. Unless stated
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationDifferential Geometry qualifying exam 562 January 2019 Show all your work for full credit
Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit 1. (a) Show that the set M R 3 defined by the equation (1 z 2 )(x 2 + y 2 ) = 1 is a smooth submanifold of R 3.
More informationMath 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014
Math 90: Fall 04 Homework 4 Solutions Due 5:00pm on Friday /7/04 Problem : Recall that S n denotes the n-dimensional unit sphere: S n = {(x 0, x,..., x n ) R n+ : x 0 + x + + x n = }. Let N S n denote
More information1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0
1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic
More informationDifferential Topology Final Exam With Solutions
Differential Topology Final Exam With Solutions Instructor: W. D. Gillam Date: Friday, May 20, 2016, 13:00 (1) Let X be a subset of R n, Y a subset of R m. Give the definitions of... (a) smooth function
More informationSTOKES THEOREM ON MANIFOLDS
STOKES THEOREM ON MANIFOLDS GIDEON DRESDNER Abstract. The generalization of the Fundamental Theorem of Calculus to higher dimensions requires fairly sophisticated geometric and algebraic machinery. In
More informationDifferential Geometry III, Solutions 6 (Week 6)
Durham University Pavel Tumarkin Michaelmas 016 Differential Geometry III, Solutions 6 Week 6 Surfaces - 1 6.1. Let U R be an open set. Show that the set {x, y, z R 3 z = 0 and x, y U} is a regular surface.
More informationMath 361: Homework 1 Solutions
January 3, 4 Math 36: Homework Solutions. We say that two norms and on a vector space V are equivalent or comparable if the topology they define on V are the same, i.e., for any sequence of vectors {x
More informationMultivariable Calculus
2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)
More informationMATH 332: Vector Analysis Summer 2005 Homework
MATH 332, (Vector Analysis), Summer 2005: Homework 1 Instructor: Ivan Avramidi MATH 332: Vector Analysis Summer 2005 Homework Set 1. (Scalar Product, Equation of a Plane, Vector Product) Sections: 1.9,
More informationAlgebraic Topology Homework 4 Solutions
Algebraic Topology Homework 4 Solutions Here are a few solutions to some of the trickier problems... Recall: Let X be a topological space, A X a subspace of X. Suppose f, g : X X are maps restricting to
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT #2, Math 253
SOLUTIONS TO HOMEWORK ASSIGNMENT #, Math 5. Find the equation of a sphere if one of its diameters has end points (, 0, 5) and (5, 4, 7). The length of the diameter is (5 ) + ( 4 0) + (7 5) = =, so the
More informationTransversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2
Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let
More informationMath 291-2: Final Exam Solutions Northwestern University, Winter 2016
Math 29-2: Final Exam Solutions Northwestern University, Winter 206 Determine whether each of the following statements is true or false f it is true, explain why; if it is false, give a counterexample
More informationMath 147, Homework 6 Solutions Due: May 22, 2012
Math 147, Homework 6 Solutions Due: May 22, 2012 1. Let T = S 1 S 1 be the torus. Is it possible to find a finite set S = {P 1,..., P n } of points in T and an embedding of the complement T \ S into R
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationInverse and Implicit Mapping Theorems (Sections III.3-III.4)
MATH W8 Daily Notes Preamble As an executive decision, I am skipping Section III.2. It is something like an 8-page lemma, with a number of concepts and results introduced at this stage mainly for the purpose
More information(a) The points (3, 1, 2) and ( 1, 3, 4) are the endpoints of a diameter of a sphere.
MATH 4 FINAL EXAM REVIEW QUESTIONS Problem. a) The points,, ) and,, 4) are the endpoints of a diameter of a sphere. i) Determine the center and radius of the sphere. ii) Find an equation for the sphere.
More informationSARD S THEOREM ALEX WRIGHT
SARD S THEOREM ALEX WRIGHT Abstract. A proof of Sard s Theorem is presented, and applications to the Whitney Embedding and Immersion Theorems, the existence of Morse functions, and the General Position
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationHomework set 4 - Solutions
Homework set 4 - Solutions Math 407 Renato Feres 1. Exercise 4.1, page 49 of notes. Let W := T0 m V and denote by GLW the general linear group of W, defined as the group of all linear isomorphisms of W
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationMAC2313 Final A. (5 pts) 1. How many of the following are necessarily true? i. The vector field F = 2x + 3y, 3x 5y is conservative.
MAC2313 Final A (5 pts) 1. How many of the following are necessarily true? i. The vector field F = 2x + 3y, 3x 5y is conservative. ii. The vector field F = 5(x 2 + y 2 ) 3/2 x, y is radial. iii. All constant
More informationDifferential Topology Solution Set #3
Differential Topology Solution Set #3 Select Solutions 1. Chapter 1, Section 4, #7 2. Chapter 1, Section 4, #8 3. Chapter 1, Section 4, #11(a)-(b) #11(a) The n n matrices with determinant 1 form a group
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More information(x x 0 ) 2 + (y y 0 ) 2 = ε 2, (2.11)
2.2 Limits and continuity In order to introduce the concepts of limit and continuity for functions of more than one variable we need first to generalise the concept of neighbourhood of a point from R to
More informationDepartment of Mathematical and Statistical Sciences University of Alberta
MATH 214 (R1) Winter 2008 Intermediate Calculus I Solutions to Problem Set #8 Completion Date: Friday March 14, 2008 Department of Mathematical and Statistical Sciences University of Alberta Question 1.
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationGood Problems. Math 641
Math 641 Good Problems Questions get two ratings: A number which is relevance to the course material, a measure of how much I expect you to be prepared to do such a problem on the exam. 3 means of course
More informationDIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS
DIFFERENTIAL GEOMETRY PROBLEM SET SOLUTIONS Lee: -4,--5,-6,-7 Problem -4: If k is an integer between 0 and min m, n, show that the set of m n matrices whose rank is at least k is an open submanifold of
More informationFINAL REVIEW Answers and hints Math 311 Fall 2017
FINAL RVIW Answers and hints Math 3 Fall 7. Let R be a Jordan region and let f : R be integrable. Prove that the graph of f, as a subset of R 3, has zero volume. Let R be a rectangle with R. Since f is
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationMath General Topology Fall 2012 Homework 8 Solutions
Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that
More informationAnalysis II: The Implicit and Inverse Function Theorems
Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely
More informationNOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS
NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS 1. What is a tensor? Let V be a finite-dimensional vector space. 1 It could be R n, it could be the tangent space to a manifold at a point, or it could just
More informationCALCULUS ON MANIFOLDS
CALCULUS ON MANIFOLDS 1. Manifolds Morally, manifolds are topological spaces which locally look like open balls of the Euclidean space R n. One can construct them by piecing together such balls ( cells
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationDef. 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 =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More information1. Bounded linear maps. A linear map T : E F of real Banach
DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:
More informationfy (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))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationALGEBRAIC TOPOLOGY N. P. STRICKLAND
ALGEBRAIC TOPOLOGY N. P. STRICKLAND 1. Introduction In this course, we will study metric spaces (which will often be subspaces of R n for some n) with interesting topological structure. Here are some examples
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More information1 + f 2 x + f 2 y dy dx, where f(x, y) = 2 + 3x + 4y, is
1. The value of the double integral (a) 15 26 (b) 15 8 (c) 75 (d) 105 26 5 4 0 1 1 + f 2 x + f 2 y dy dx, where f(x, y) = 2 + 3x + 4y, is 2. What is the value of the double integral interchange the order
More informationThe Inverse Function Theorem 1
John Nachbar Washington University April 11, 2014 1 Overview. The Inverse Function Theorem 1 If a function f : R R is C 1 and if its derivative is strictly positive at some x R, then, by continuity of
More informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
More information7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete.
Math 411 problems The following are some practice problems for Math 411. Many are meant to challenge rather that be solved right away. Some could be discussed in class, and some are similar to hard exam
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationMath 598 Feb 14, Geometry and Topology II Spring 2005, PSU
Math 598 Feb 14, 2005 1 Geometry and Topology II Spring 2005, PSU Lecture Notes 7 2.7 Smooth submanifolds Let N be a smooth manifold. We say that M N m is an n-dimensional smooth submanifold of N, provided
More information4 Inverse function theorem
Tel Aviv University, 2014/15 Analysis-III,IV 71 4 Inverse function theorem 4a What is the problem................ 71 4b Simple observations before the theorem..... 72 4c The theorem.....................
More informationLECTURE 5: SMOOTH MAPS. 1. Smooth Maps
LECTURE 5: SMOOTH MAPS 1. Smooth Maps Recall that a smooth function on a smooth manifold M is a function f : M R so that for any chart 1 {ϕ α, U α, V α } of M, the function f ϕ 1 α is a smooth function
More informationLecture 13 - Wednesday April 29th
Lecture 13 - Wednesday April 29th jacques@ucsdedu Key words: Systems of equations, Implicit differentiation Know how to do implicit differentiation, how to use implicit and inverse function theorems 131
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationCourse Summary Math 211
Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
Uncountably Many Inequivalent Analytic Actions of a Compact Group on Rn Author(s): R. S. Palais and R. W. Richardson, Jr. Source: Proceedings of the American Mathematical Society, Vol. 14, No. 3 (Jun.,
More informationSubgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this
More informationMA455 Manifolds Solutions 1 May 2008
MA455 Manifolds Solutions 1 May 2008 1. (i) Given real numbers a < b, find a diffeomorpism (a, b) R. Solution: For example first map (a, b) to (0, π/2) and ten map (0, π/2) diffeomorpically to R using
More informationQualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1)
Qualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1) PROBLEM 1 (DG) Let S denote the surface in R 3 where the coordinates (x, y, z) obey x 2 + y 2 = 1 +
More informationMath 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015
Math 30-: Final Exam Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A closed and bounded subset of C[0, 1] which is
More informationThe theory of manifolds Lecture 3
The theory of manifolds Lecture 3 We recall that a subset, X, of R N is an n-dimensional manifold, if, for every p X, there exists an open set, U R n, a neighborhood, V, of p in R N and a C -diffeomorphism,
More informationApril 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v.
April 3, 005 - Hyperbolic Sets We now extend the structure of the horseshoe to more general kinds of invariant sets. Let r, and let f D r (M) where M is a Riemannian manifold. A compact f invariant set
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More information1 Differentiable manifolds and smooth maps. (Solutions)
1 Differentiable manifolds and smooth maps Solutions Last updated: March 17 2011 Problem 1 The state of the planar pendulum is entirely defined by the position of its moving end in the plane R 2 Since
More informationMath 61CM - Quick answer key to section problems Fall 2018
Math 6CM - Quick answer key to section problems Fall 08 Cédric De Groote These are NOT complete solutions! You are always expected to write down all the details and justify everything. This document is
More information1 The Differential Geometry of Surfaces
1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationPreliminary Exam 2016 Solutions to Morning Exam
Preliminary Exam 16 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem 1. Find the volume of the ice cream cone defined by the inequalities x + y + z 1 and x + y z /3
More informationTopology Homework Assignment 1 Solutions
Topology Homework Assignment 1 Solutions 1. Prove that R n with the usual topology satisfies the axioms for a topological space. Let U denote the usual topology on R n. 1(a) R n U because if x R n, then
More informationWORKSHEET #13 MATH 1260 FALL 2014
WORKSHEET #3 MATH 26 FALL 24 NOT DUE. Short answer: (a) Find the equation of the tangent plane to z = x 2 + y 2 at the point,, 2. z x (, ) = 2x = 2, z y (, ) = 2y = 2. So then the tangent plane equation
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationGEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0
GEOMETRY HW CLAY SHONKWILER Consider the map.5.0 t, 0, e /t ), t > 0 αt) = t, e /t, 0), t < 0 0, 0, 0), t = 0 a) Prove that α is a differentiable curve. Proof. If we denote αt) = xt), yt), zt0), then it
More informationNotes on Differential Topology
Notes on Differential Topology George Torres Last updated January 18, 2018 Contents 1 Smooth manifolds and Topological manifolds 3 1.1 Smooth Structures............................................ 3 1.2
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationChapter 16. Manifolds and Geodesics Manifold Theory. Reading: Osserman [7] Pg , 55, 63-65, Do Carmo [2] Pg ,
Chapter 16 Manifolds and Geodesics Reading: Osserman [7] Pg. 43-52, 55, 63-65, Do Carmo [2] Pg. 238-247, 325-335. 16.1 Manifold Theory Let us recall the definition of differentiable manifolds Definition
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationExercises for Multivariable Differential Calculus XM521
This document lists all the exercises for XM521. The Type I (True/False) exercises will be given, and should be answered, online immediately following each lecture. The Type III exercises are to be done
More informationg(t) = f(x 1 (t),..., x n (t)).
Reading: [Simon] p. 313-333, 833-836. 0.1 The Chain Rule Partial derivatives describe how a function changes in directions parallel to the coordinate axes. Now we shall demonstrate how the partial derivatives
More informationDirectional Derivative and the Gradient Operator
Chapter 4 Directional Derivative and the Gradient Operator The equation z = f(x, y) defines a surface in 3 dimensions. We can write this as z f(x, y) = 0, or g(x, y, z) = 0, where g(x, y, z) = z f(x, y).
More informationLectures 18: Gauss's Remarkable Theorem II. Table of contents
Math 348 Fall 27 Lectures 8: Gauss's Remarkable Theorem II Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams.
More information