Math 205B Homework. Edward Burkard. f(x + h) f(x) L(h) < ɛ h. f(x + h) f(x) < ɛ h + L(h) , then we get continuity.

Size: px
Start display at page:

Download "Math 205B Homework. Edward Burkard. f(x + h) f(x) L(h) < ɛ h. f(x + h) f(x) < ɛ h + L(h) , then we get continuity."

Transcription

1 Math 05B Homework Edward Burkard 0.0. Lecture Problems. 1. Show that a differentiable function is continuous. 0. Kaiser Wilhelm Problems Let f : R n R m be a differentiable function. Then for any ɛ > 0 there is a δ > 0 such that if h < δ, then f(x + h) f(x) L(h) < ɛ. h So f(x + h) f(x) L(h) < ɛ h, and f(x + h) f(x) L(h) f(x + h) f(x) L(h). Thus: f(x + h) f(x) L(h) < ɛ h f(x + h) f(x) < ɛ h + L(h) Let k = ɛ + Df(x) and δ = ɛ k, then we get continuity. < ɛ h + h Df(x) = (ɛ + Df(x) ) h. Let A R n and B R n be closed sets such that ζ A and η B. Define Give F (A, B) the uniform metric: F (A, B) := {ϕ : A B ϕ(ζ) = η}. d(ϕ, ψ) = sup { ϕ(x) ψ(x) }. x A Show that (F (A, B), d) is a complete metric space. Let {ϕ n } n I be a Cauchy sequence in F (A, B). Thus ɛ > 0 N N such that m, n > N we have d(ϕ m, ϕ n ) < ɛ. Equivalently stated we have sup x A { ϕ m (x) ϕ n (x) } < ɛ. If we fix a A then {ϕ n (a)} is a Cauchy sequence in B, a complete metric space (as B is a closed subset of R n which is a complete metric space). Thus ϕ n (a) ϕ(a). Since this is true for all a A we get that ϕ n ϕ F (A, B) 3. Use Invariance of Domain to show that local dimension is well-defined and locally constant (and hence constant if M is connected). Let M be a topological manifold and let x M. Suppose that m and n are local dimensions for some charts containing x. Let (U, ϕ) be the chart where ϕ : U ϕ(u) R m and let (V, ψ) be the chart where ψ : V ψ(v ) R n. Since every manifold is locally (path) connected choose C U V to be the open connected set containing x. Since ϕ and ψ are homeomorphisms, we have that ϕ : C ϕ(c) and ψ : C ψ(c) are homeomorphisms, and, moreover, ϕ(c) and ψ(c) are connected. Note the fact that an open connected subset of R k is homeomorphic to R k. Let h m : ϕ(c) R m and h n : ψ(c) R n be the corresponding homeomorphisms. Then: R n h 1 n ψ(c) ψ 1 C ϕ ϕ(c) hm R m is a homeomorphism. So by the next exercise, which uses Invariance of Domain, we have that n = m. Since these charts were arbitrary we get that local dimension is well defined. Since local dimension is locally constant we have a continuous function d : M N (the dimension function ). If we assume that M is connected then d(m) must be connected and hence d is a constant map. 4. Use Invariance of Domain to show R n is not homeomorphic to R m if m < n. 1

2 View R m as a subspace of R n. Given any nonempty open subset U of R m, it is not open in R n. (Let U R m be open and let 0 R. When viewed in R n it is of the form: U {0} {0}. This is clearly not }{{} n m times open.) Suppose h : R n R m is a homeomorphism. Define i : R m R n by (x 1,..., x m ) (x 1,..., x m, 0,..., 0). Then i : R m R n is an embedding. Thus i h : R n R n is 1-1 and continuous since i and h are individually. Let V be an open set of R n. Then by Invariance of Domain we get that i h(v ) is open in R n, however this is not possible since h(u) is open in R m and i h(v ) = h(v ) {0} {0}. Thus i h(v ) is not open }{{} n m times in R n which is a contradiction. h is not a homeomorphism, thus R n is not homeomorphic to R m. 5. Show that Φ : M N is smooth at x M iff ψ Φ ϕ 1 is smooth at x for some chart (U, ϕ) with x U and some chart (V, ψ) with Φ(x) V. (= ) Clearly if ψ Φ ϕ 1 is smooth at ϕ(x) for all charts (U, ϕ) with x U and all charts (V, ψ) with Φ(x) V, then it is smooth with respect to any choice of (U, ϕ) and (V, ψ). ( =) Let M = {(U ξ, ϕ ξ )} be the atlas on M and N = {(V η, ψ η )} be the atlas on N. Let (U, ϕ), x U, be a chart on M and (V, ψ), Φ(x) V, a chart on N such that ψ Φ ϕ 1 is smooth at ϕ(x). Let (U ξ, ϕ ξ ) be any chart in M and (V η, ψ η ) be any chart in N such that x U ξ and Φ(x) V η. If we have the case where Φ(U) V, we can replace U by E where E U is an open neighborhood of x such that Φ(E) V. Similarly we can create E ξ such that Φ(E ξ ) V η. Then ψ η Φ ϕ 1 ξ : ϕ ξ (U U ξ ) ψ(v V η ) is given by ϕ ξ (U U ξ ) ϕ ϕ 1 ξ φ(u U ξ ) ψ Φ ϕ 1 ψ(v V η ) ψη ψ 1 ψ η (V V η ) (or quickly viewed as: ψ η ψ 1 (ψ Φ ϕ 1 ) ϕ ϕ 1 ξ = ψ η Φ ϕ 1 ξ ) So we have that ψ η Φ ϕ 1 ξ is smooth at ϕ ξ (x) as it is just a composition of smooth functions. 6. If c 1, c : R R n satisfy d dt c 1(t) t=0 = d dt c (t) t=0, show d dt (f c 1)(t) t=0 = d dt (f c )(t) t=0 f C (U p, R). Let f C (U p, R), and suppose c 1, c : R R n satisfy d dt c 1(t) t=0 = d dt c (t) t=0. We need c 1 (0) = c (0) because if not we have the following counterexample: Suppose c 1 (t) = (cos t, sin t) and c (t) = (cos t +, sin t + ) with f(x, y) = x + y. Then c 1(t) = ( sin t, cos t) = c (t), but f c 1 (t) = sin t + cos t = 1 and f c (t) = So (f c 1 ) (0) = 0 and cos t + 4 cos t sin t + 4 sin t + 4 = 4 cos t + 4 sin t + 8. (f c ) (0) = 1 (4 cos t 4 sin t) 1 4 cos t + 4 sin t + 8 t=0 = 1 (4) = 1 0. Then: d dt (f c 1)(t) t=0 = c 1(0)f (c 1 (0)) = c (0)f (c 1 (0)) = c (0)f (c (0)) = d dt (f c )(t) t=0 Thus since f was arbitrary, we are done. 7. Prove part of the Whitney Embedding Theorem.

3 3 As M is a compact manifold, we can cover M by a finite number of charts (U i, φ i ), i = 1,..., k. We can also assume that there are sets V i covering M such that V i U i for each i. By theorem 10.6 of Bredon there are smooth functions λ i : M R which are 1 on V i and have support in U i. Now define ψ i (p) = λ i (p)φ i (p) for p U i and 0 otherwise. Then each ψ i is smooth as it is a product of smooth functions. Define θ : M (R n ) k R k by and note that θ(p) = (ψ 1 (p),..., ψ k (p), λ 1 (p),..., λ k (p)) Dθ = Dψ 1 Dψ k Dλ 1 Dλ k. Our first claim is that θ is an immersion. Look at a point p M which must lie in some V i, say p V j. Since λ j = 1 near p, ψ j coincides with φ j near p. Thus Dψ j = Dφ j near p, and Dφ j is one-to-one near p as it is a chart. Thus it follows that Dθ is one-to-one at p, and hence since p was arbitrary, θ is an immersion. Now we claim that θ is one-to-one. Suppose that θ(p) = θ(q). Then λ i (p) = λ i (q) for each i. Now p V i for some i and, for that i we have λ i (p) = 1. Thus we have φ i (p) = 1 λ i (p) ψ i(p) = 1 λ i (q) ψ i(q) = φ i (q) which forces that p = q since φ i is one-to-one as it is a chart. Since we have that M is compact, (R n ) k R k is Hausdorff, and θ is one-to-one, onto its image, and continuous (being an immersion), it is a homeomorphism onto its image. So θ is an embedding of M n into R N for some large N. 8. Prove the path-lifting lemma: Let p : E B be a covering map, let p(e 0 ) = b 0. Any path F : [0, 1] B beginning at b 0 has a unique lifting to a path f in E beginning at e 0. Existence: Cover B by open sets U which are evenly covered by p. Pick a partition P = {0 = s 0 < s 1 < < s n = 1} of [0, 1] such that for each i the set f([s i, s i+1 ]) lies in such an open set U by using the Lebesgue number lemma. Define f as follows: First define f(0) = e 0. Then, supposing that f(s) is defined for 0 s s i, define f on [s i, s i+1 ] as follows: The set f([s i, s i+1 ]) lies in some open set U that is evenly covered by p. Let {V α } be a partition of p 1 (U) into slices (i.e. for each p Vα : V α U is a homeomorphism). Now f(s i ) lies in one of these sets, say V 0. Define f(s) for s [s i, s i+1 ] by f(s) = ( ) 1 p V0 (f(s)). Since p V0 is a homeomorphism, f will be continuous on [s i, s i+1 ]. In this way we can define f on all of the subintervals of [0, 1] created by the partition, and since f is uniquely defined on the overlap of each subinterval, by the pasting lemma, f is continuous. Uniqueness: Suppose we have another lifting f of f beginning at e0. Then we must have f(s0 ) = e 0 = f(s 0 ). Suppose that f(s) = f(s) for all s [0, si ]. Let V 0 be defined as above, then for s [s i, s i+1 ], f(s) is defined to be ( p V0 ) 1 (f(s)). As f is a lifting of f is must be that f([si, s i+1 ]) p 1 (U) = V α. Recall that the V α s are open and disjoint, and because f([si, s i+1 ]) is connected, it lies in one, and only one V α. Since f(s i ) = f(s i ) V 0, it must be that f([si, s i+1 ]) V 0. Now it only remains to show that f = f on [si, s i+1 ]. Let s [s i, s i+1 ], then p 1 (s) consists of one point in each V α. Call the point in V 0, y. Then f(s) = y. But, by the same reasoning, f(s) = y, so they are equal on the entire interval [si, s i+1 ]. Thus by induction we have that f = f on [0, 1] Problem Set 1. Problem 1. Recall that a subset C of R n is called convex iff for a, b C the entire line segment ab between a and b lies in C. Let C R n be compact and convex. Show that any C 1 map is Lipshitz. f : C R n Let p, q C. Theorem, i.e.: Let x be the point on the line segment joining x and y given by the Mean Value

4 4 f(x) f(y) = n f i=1 x i ( x)(x i y i ) < by compactness. Thus: n ( { }) f(x) f(y) f ( x)(x i y i ) f x i Let M = max ( x) x i Thus f(x) f(y) K x y f is Lipshitz. i=1 n M x i y i = M i=1 n x i y i i=1 Mn x y = K x y Problem. Let C R n be convex and let f : C R n be C 1. Suppose that for some x 0 C and λ > 0 we have and λ = min v R n, v =1 df x 0 (v) Show that for any R with B(x 0, λr) C. Hint: Given y B(f(x 0 ), R) let df x df x0 < 1 λ for all x C. B(f(x 0 ), R) f(b(x 0, λr)) ϕ y : R n R n be ϕ y (x) = x + df y 1 0 (y f(x)) and argue that ϕ y is a contraction mapping of C with Lipshitz constant 1. Notice that ϕy (x) = x is equivalent to f(x) = y. Let y B(f(x 0 ), R) and let ϕ y : R n R n be given by Then ϕ y (x) = x + df y 1 0 (y f(x)). dϕ y (x) = 1 + df 1 y 0 ( df x ) = df y 1 0 df y0 + df y 1 0 df x = df y 1 0 (df y0 df x ) Thus we have dϕ y (x) = df y 1 0 df y0 df x λ 1 λ = 1 ( ). Aside: Since C is convex, let x, y C and define l(t) = (1 t)x + ty, t [0, 1], to be the line in C connecting x and y. Define g(t) = f(l(t)). So g (t) = f (l(t))l (t). Rewriting in terms of the differential: dg t = df l(t) ( x + y) Now take the norm dg t = df l(t) x + y M y x By the mean value theorem there is a t [0, 1] such that Thus f(y) f(x) = dg t and so g(1) g(0) = dg t (1 0) dg t = f(y) f(x) M y x

5 5 Now apply (*) to the above equation, since dϕ y x < 1 we get ϕ y (x 0 ) ϕ y (x) 1 x 0 x for x, x 0 B(f(x 0 ), R). Thus ϕ y is a contraction mapping with Lipshitz constant 1. Define B = B(x 0, λr). We want to show that ϕ y : B B. ϕ y (x) x 0 = ϕ y (x) ϕ y (x 0 ) + ϕ y (x 0 ) x 0 ϕ y (x) ϕ y (x 0 ) + ϕ y (x 0 ) x 0 = λr df 1 y 0 y f(x 0 ) + 1 x x 0 1 λr + λ R Thus x B(x 0, λr). So ϕ y : B B is a contraction mapping and B is a complete metric space, thus by the contraction mapping principle we have a unique x B such that ϕ y (x) = x. Thus by the definition of ϕ y we have that f(x) = y, which means that y f(b(x 0, λr) (since y = f(x) and x B(x 0, λr). B(x 0, R) f(b(x 0, λr). 0.. Problem Set. Problem 1. a. Show that stereographic projection gives a smooth structure on S n. b. Show that orthogonal projection from hemispheres to the corresponding coordinate subspaces gives a smooth structure on S n. c. Show that the structures in parts a and b are the same. Too Lazy at the Moment. a. Let p = (0, 0,..., 0, 1) be the north pole of S n. Consider the map ϕ : S n \{p} R n given by: 1 ϕ(x) = ϕ(x 1,..., x n+1 ) = (x 1,..., x n ). 1 x n+1 This map is the Stereographic Projection. It has a well known inverse ψ : R n S n \ {p} given by ψ(y) = ψ(y 1,..., y n ) = 1 + y (y 1,..., y n, y 1 ). Clearly these are both continuous as they are just quotients of polynomials. To see that they are bijective I show that their composition each way is the identity: ( ) y1 ϕ(ψ(y)) = ϕ(ψ(y 1,...y n )) = ϕ 1 + y,..., y n 1 + y, y 1 ( ) 1 y1 = y y,..., y n 1 + y = y ψ(ϕ(x)) = ψ(ϕ(x 1,..., x n+1 )) = = 1 + x 1 + +x n (1 x n+1) x 1 1 x n+1,..., 1 x n+1+x n+1 +x 1 + +x n (1 x n+1) ( = (1 x n+1 ) = x x 1 1 x n+1,..., This gives a homeomorphism between R n and S n \ {p}. Similarly we have the maps ϕ x n 1 x n+1, x 1 + +x n (1 x n+1) 1 ( x 1 x n,...,, x ) n+1(1 x n+1 ) 1 x n+1 1 x n+1 (1 x n+1 ) x n 1 x n+1, x n+1 1 x n+1 )

6 6 Problem. Show that p : R S 1 p(t) = (cos t, sin t) is a cover. Continuous) Clearly p is continuous as its components are continuous functions. Onto) Given any point (x, y) S 1 there is a unique angle 0 θ < π such that (cos θ, sin θ) = (x, y). Choose t = θ. Evenly Covers) Let q = (x, y) S 1 and suppose that p(c) = q where 0 c < π. Let a, b be such that c π < a < c < b < π and p(a) and p(b) form the end points of an interval on the circle containing q. Let G = (a, b), then q p(g) = (p(a), p(b)) and p 1 ( (p(a), p(b))) = (a + kπ, b + kπ). Thus p evenly covers S 1. Therefore p is a covering map. Problem 3. Let p : M N be a covering map. Show that a smooth structure on N determines a unique smooth structure on M so that p is smooth and dp is an isomorphism at every point. k Z The first thing to note here is that p is locally a homeomorphism since for each x M there is a neighborhood U of x with p 1 (U) = V x a disjoint union of open sets and p Vx : V x U is a homeomorphism. Let N = {(U α, ϕ α )} be the smooth structure and use p to pull the smooth structure of N back to M. For any x U α, use p to find a neighborhood U x of x such that p 1 (U x U α ) = V xα and p Vxα is a homeomorphism. Define ψ xα := ϕ α p Vxα, and claim that M = {(V xα, ψ xα )} is a smooth structure for M. Let (V 1, ψ 1 ) and (V, ψ ) be two overlapping charts in M. We want to show: ψ ψ1 1 : ψ 1 (V 1 V ) ψ (V 1 V ) is a diffeomorphism. Note that given any y V 1 V we have p(y) = x p(v 1 V ), so we may choose, for V 1 = U 1α and V = U β, α = β. So ψ ψ1 1 1(V 1 V )) = ψ (V 1 V ) ψ i are diffeomorphisms = ϕ p V (V 1 V ) definition of ψ = ϕ (p(u 1α U α )) α = β = ϕ (U 1 U ) definition of p = ϕ 1 (U 1 U ) smooth structure of N = ψ 1 ψ 1 (V 1 V )) same argument but in reverse Problem 4. Let a group G act on the topological space X. The action is called properly discontinuous if and only if any point x X has a neighborhood U x so that U x g(u x ) = for all g G, g e (the identity of the group). a. If G acts properly discontinuously on X, show that the quotient map π : X X/G is a cover. b. Let X and G be as in part a. If X is a smooth manifold and the action is by diffeomorphisms, show that X/G is also a smooth manifold, and that there is a unique smooth structure on X/G so that π is smooth and dπ is an isomorphism at every point. a. We need to show that π is a covering map. Continuous) We get this for free since quotient maps are automatically continuous by definition.

7 7 Onto) This also comes for free since quotient maps are defined to be onto. Evenly Covers) Let x X/G. Choose any single point y π 1 (x) and let U y be an appropriate neighborhood of y such that U y g(u y ) = for all g G, g e. Choose U x := π(u y ) to be the open neighborhood of x. Then π 1 (U x ) = g G g(u y ) is a disjoint union of subset all homeomorphic to U x. b. Problem 5. Show that each of the following actions are properly discontinuous. In Parts a d the quotient is homeomorphic to a space that you are already familiar with. Identify the space. In Parts e and f the quotient is called a Lens Space. a. Z acts on R via Z R R b. Z Z acts on R R via (n, t) t + πn. (Z Z) (R R) R R (m, n, s, t) (s + πm, t + πn). c. Z acts on S n via the antipodal map. d. View S 1 as the unit sphere in C. For any k Z with k, Z k acts on S 1 via Z k S 1 S 1 ([n], z) e i(n π k ) z. e. View S 3 as the unit spere in C C. For any k Z with k, Z k acts on S 3 via Z k S 3 S 3 ([n], z 1, z ) (e i(n π k ) z 1, e i(n π k ) z ). The quotient is called a Lens Space. f. Generalize Part e to any odd dimesional sphere. a. This is a circle. This is because the action breaks the line at every nπ, n Z into closed intervals, and then identifies all of those intervals, then identifies the endpoints of the remaining interval, creating a circle. Let x R consider the open set U x := (x π, x + π ). Then for n Z \ {0}, g(u x ) = g(x π, x + π (4n 1)π ) = (x +, x + (4n+1)π ). So clearly U x g(u x ) =. Thus this is a properly discontinuous action. b. This is a torus. This is very similar to the previous action except that it creates π π boxes which are identified of which the parallel edges are identified, which is a torus. Let (x, y) R R consider the open set U (x,y) := (x π, x + π ) (y π, y + π ). Then for (m, n) (Z Z) \ {(0, 0)}, g(u (x,y) ) = g(x π, x + π ) (y π, y + π (4m 1)π ) = (x +, x + (4m+1)π ) (y + (4n 1)π, y + (4n+1)π ). So clearly U x g(u x ) =. Thus this is a properly discontinuous action. c. This is RP n. This action identifies the antipodal points of the sphere{ which is the definition of RP n. p if [m] = 0 We can completely write down this action (Z = {0, 1}): ([m], p) p if [m] = 1. Let p S n. Treat p as the north pole of the sphere and let U p be the upper open hemisphere of S n. Then if n = 1 we have [m](u p ) = L p := { p p U p } (this is the open lower hemisphere of S n relative to the north pole p). Thus we have U p L p = and thus the action is properly discontinuous. d. This is a circle. e.

8 8 f. The generalization is as follows: View S n+1 as the unit spere in n+1 i=1 C. For any k Z with k, Z k acts on S n+1 via Z k S n+1 S n+1 ([m], z 1, z,..., z n+1 ) (e i(m π k ) z 1, e i(m π k ) z,..., e i(m π k ) z n+1 ) Problem Set 3. Problem 1. Identify R with C. Recall that a differentiable map f : R R is Complex Analytic iff when we view f as a map from C to C its partial derivatives are all complex linear. Let the component functions of f be u and v, i.e. f (u, v) or in complex notation f = u + iv. Show that f is Complex Analytic iff it satisfies the Cauchy-Riemann equations u x = v y v x = u y. Hint: the standard matrix representation of df is of course u v x y v x u y A map L : C C is complex linear iff L(z) = ω 0 z for some fixed complex number ω 0. Find necessary conditions on ( a ) b c d that make the corresponding map complex linear. (= ) Suppose that f(z) = u(z) + iv(z) is a complex analytic function. View z as z = x + iy. Recall the complex analysis definition of complex analytic: f is complex analytic if it posses a derivative wherever it is defined. The derivative of f is given by. f f(z + h) f(z) (z) = lim. h 0 h Since the derivative is defined, the limit of the difference quotient is the same no matter how h approaches 0. First choose only real values for h, then y is held constant and f (z) = f x = u x + i v x. Second choose only imaginary values for h, say ik. Then f f(z + k) f(z) (z) = lim = i f k 0 ik y = i u y + v y. Thus we have f x = i f y. Now equating the real and imaginary parts we get the system of equations: { u x = v y v x = u y AKA the Cauchy-Riemann equations. ( =) Suppose that f satisfies the Cauchy-Riemann equations. Then we both f x that f is differentiable and hence complex analytic. and f y exist which means

9 ( ) ( ) a b x Define L(z) = where z = x + iy and let ω c d y 0 = α + iβ. Then ( ) ( ) ( ) a b x ax + by =. c d y cx + dy We want that: (ax + by) + (cx + dy)i = ω 0 (x + iy) = (α + iβ)(x + iy) = (xα yβ) + i(xβ + yα) So we have that a = α = d and b = β = c and thus the conditions on the matrix are that a = d and b = c Problem Set 4. Problem 1. Let M be a manifold, U M an open subset, K U a set that is closed in M, and let f : U R be smooth. Prove that the restriction of f to K extends to a smooth function f : M R. We have two disjoint closed sets: K and M \ U. Use Smooth Urysohn s lemma to create a smooth function g : M R with g(k) 1 and g(m \ U) 0. Define the function ˆf : M R by ˆf(x) = { f x U 0 otherwise and define f : M R by f(x) = g(x) ˆf(x). Now notice that, since g 1 on K we have that f = f K. Note that ˆf is smooth on U since it is just f K there, and it is smooth on M \ U since it is constant there, however we do not know if ˆf is smooth on all of M. Since g(x) smoothly approaches 0 as d(x, M \ U) 0 (d is the distance function on M) we have that f is smooth on M since it is the product of two smooth functions. The fact that it is smooth is a result of the fact that g smooths out the transition of ˆf from U to M \ U. Problem. Let f be in C ([0, 1] [0, 1]) and let f : U R be a smooth extention of f to a neighborhood U of [0, 1] [0, 1]. Prove that d f (0,0) depends only on f and not on the choice of f. Let f and f be defined as above. Let points in U be represented by (x, y). Since d f (0,0) = f f x y (0,0) (0,0) it suffices to check that f and f depend only on f. Observe the following: (0,0) (0,0) x This implies that we can think of only using t [0, 1], so: y f f(t, 0) f(0, 0) = lim x t 0 t (0,0) = lim t 0 + f(t, 0) f(0, 0) t f(t, 0) f(0, 0) f(t, 0) f(0, 0) lim = lim t 0 + t t 0 t = f x (0,0) which clearly only depends on f. We can similarly show that f depends only on f and hence that (0,0) d f (0,0) depends only on f. y Problem 3. Recall that the set of invertible n n matrices is a group under matrix multiplication. It is called the General Linear Group, and denoted by Gl n.

10 10 a. Give a brief explanation of why Gl n is a Lie Group. The orthogonal group, O n is the subgroup of Gl n consisting of those martices B so that B T B = BB T = I, (the identity matrix) In this exercise you will argue that O n is a Lie subgroup of Gl n. b. Show that the map Φ : Gl n Gl n defined by is smooth. Φ(B) = B T B Hint. Its coordinate functions are polynomials. c. Argue that T I Gl n can be identified with the vector space M n of all n n matrices. d. Show that relative to the identification T I Gl n = M n, the differential is (dφ) I : T I Gl n T I Gl n (dφ) I (A) = A T + A. e. Show that Φ has constant rank n(n+1). f. Conclude that the orthogonal group O n Gl n is a Lie subgroup of Gl n of dimension n(n 1). a. For Gl n to be a Lie Group we need its group operation to be smooth. Indeed its group operation, matrix multiplication, is smooth as its coordinate functions are just polynomials which are clearly smooth. b. As the hint suggests, the map Φ(B) = B T B is just matrix multiplication which has smooth coordinate functions, making Φ smooth. c. Consider the map det : M n R (the determinant map). It is smooth as it is just a polynomial. Thus det 1 (R \ {0}) = Gl n is open in M n. Thus T A Gl n = T A M n for all A GL n, in particular T I Gl n = T I M n. There is a natural identification of M n with R n where I M n gets identified with e R n. Hence we also have T I M n = T e R n = R n = M n. So since T I Gl n = T I M n, we have T I Gl n = Mn. d. Let α : [ η, η] Gl n be given by α(t) = I + ta for some A Gl n. Then α(0) = I and α (0) = A. So dφ I (A) = d dt (Φ α)(t) t=0 = d dt Φ(I + ta) t=0 = d dt (I + ta T )(I + ta) t=0 = d dt (I + ta T + ta + t A T A) t=0 = (A T + A + ta T A) t=0 = A T + A e. First we note that Φ actually maps Gl n into S n the set of symmetric n n matrices. So anything in the image of Φ has n j=1 j = n(n+1) independent entries as every matrix is equal to its transpose. It follows that the rank of Φ is n(n+1). f. O n = Φ 1 (I) and hence O n has dimension n n(n+1) = n(n 1). Problem 5. If M is a compact n-manifold without boundary, show it admits a smooth immersion into R n. Problem 6. Prove that a compact n-manifold cannot be diffeomorphic to any subset of R n.

11 11 Let M be a compact n-manifold and let X R n. Suppose that f : M X R n is a diffeomorphism. If M is empty, then it is diffeomorphic to R n. So suppose that M is nonempty. Since M is open in M, we have, by Smooth Invariance of Domain, that X is open in R n. As f is a diffeomorphism X is compact and since R n is Hausdorff X is also closed. So we have that X is both open and closed in R n, and hence X is either all of R n (this also takes care of the case where X could only be a connected component of R n as it R n only has one connected component) or the empty set. Clearly that the empty set is ruled out since M is nonempty. Since M is compact, X is also compact as it is the continuous image of a compact set. However if X is compact it cannot be all of R n as required above. Hence we have a contradiction. M is not diffeomorphic to any subset of R n. Problem 7. A Riemannian metric on smooth manifold is an assignment of an inner product on each tangent space g p : T p M T p M R. These inner products are required to vary smoothly in the sense that if X and Y are smooth vector fields then the function M R p g p (X p, Y p ) is required to be smooth. Show that every smooth manifold admits a Riemannian metric. Claim: The usual inner product on R n is a Riemannian metric. proof: Given any point p R n, T p R n = R n and hence the inner product is defined on the tangent spaces. Let X = (x 1,..., x n ) and Y = (y 1,..., y n ) be smooth vector fields on R n (note that this means that each component function of the vector field must be smooth). Then X, Y = n i=1 x iy i is clearly smooth as sums and products of smooth functions are smooth. Now embed M into R k for some k N (Whitney embedding theorem). Let the embedding be ι : M R k. For each p M dι p : T p M T ι(p) R k = R k is an isomorphism onto some subspace of T ι(p) R k = R k and hence we may restrict the inner product from R k onto this subspace, yielding an inner product on the tangent spaces of the manifold. Since this inner product is a Riemannian metric, we have just shown that there is a Riemannian metric on M Problem Set 5. Problem 1. Prove that homotopy groups are homotopy invariants. (Hint: Read the bottom of page 131 and the top of page 13.) Problem. Assuming that π n (S n, p) = Z for all p S n, prove a. There is no retraction r : D n+1 S n. b. (Brouwer s Fixed Point Theorem) Any continuous map D n+1 D n+1 has a fixed point. c. S n is not contractible. a. First a lemma: Lemma. If r : X A is a retraction, then the homotopy group homomorphism induced by the inclusion map j : A X is injective. proof: Consider the composition r j : A A which is the identity on A. Then the induced homomorphism is (r j) = r j : π n (A, a 0 ) π n (A, a 0 ) which is the identity automorphism of the group. Since this is a bijection, set theory tells us that j : π n (A, a 0 ) π n (X, a 0 ) is necessarily injective. Assume that there is a retract r : D n+1 S n. Note that since D n+1 is convex its n th homotopy group is trivial (i.e. π n (D n+1, b) = {e}). Now let j : S n D n+1 be the inclusion map. Then the above lemma tells us that j : π n (S n, p) π n (D n+1, p) is injective. However π n (S n, p) = Z and π n (D n+1, p) = {e}, so it is impossible that j is an injection, which is a contradiction. There is no retraction from D n+1 to S n.

12 1 b. c. This is obvious since a contractible space has the homotopy type of a point (i.e. if a space X is contractible, π n (X, p) = {e} for all n) and π n (S n, p) = Z which is a contradiction if it is assumed that S n is contractible Sard s Theorem Handout. Problem 3. Show that there is no surjective differentiable map R n R n+1. Suppose that f : R n R n+1 is a surjective differentiable map. Then by Sard s theorem the set of regular values of f are dense in R n+1 (i.e. Df(y) is onto for each regular value y). But this means we have an onto linear map between R n and R n+1 at each regular point, which is impossible. Thus f cannot be onto and, moreover, f(r n ) has measure zero. Problem 4. Let M n be a compact manifold, f : M n R n+1 differentiable, and 0 / f(m). Show that there exists a line through the origin of R n+1, which only meets finitely many points of f(m n ). Had I known how to do this problem months ago, I would have PhD passed the qual... :( Since f(m n ) R n+1 \ {0} we can consider the map g : f(m n ) S n given by g(x) = x x. Also consider the map h : S n RP n which is the usual projection map (i.e. think of RP n as lines through the origin of R n+1 ). Now consider the composition: M n f f(m n ) g S n h RP n It suffices to show that for some p RP n the preimage (g h) 1 (p) is finite as each (h g) 1 (p) is a line through the origin of R n+1. Note that both g and h are smooth and so the composition h g is smooth as well. Also note that f(m n ) is compact since f is continuous. There are two possible cases: (a) If h g is not onto, then there obviously exists a p RP n such that (h g) 1 (p) = which is clearly finite. (b) If h g is onto, then by Sard s theorem the set of regular values of h g is dense in RP n and thus by the following theorem: If Φ : M m N n is a smooth map between smooth manifolds with m n and y N is a regular value, then Φ 1 (y) is a smooth submanifold of M of dimension m n. we get that there is a regular value y RP n such that (h g) 1 (y) is a smooth submanifold of dimension n n = 0 and thus is discrete. Thus (h g) 1 (y) is closed since it is a discrete set, and therefore compact since it is closed in a compact space. Now since a compact discrete space is finite (see proof of this below) we get that (h g) 1 (y) is finite and thus we have proved our desired conclusion. Let X be a compact disctete space. For each x X there is an open set U x containing x such that U x (X \ {x} = which is possible since X is discrete. The collection C = {U x } x X forms an open cover of X. But since X is compact C has a finite subcover. But since each U x is uniquely determined by x and there are finitely many U x s in the cover, hence X must be finite. Problem 8. Let M k R n+1 be a compact submanifold and n k. Show that, for the projection π : R n+1 H n onto a suitable hyperplane H of R n+1, the restriction π M : M H is an immersion. Hint: consider the (k 1)-dimensional manifold P T M, whose elements are the 1-dimensional subspaces of the tangent spaces of M, and study the canonical map P T M RP n. Problem 9. Let M k R n+1 be a compact submanifold and n k + 1. Show that, for the projection π : R n+1 H n onto a suitable hyperplane of R n+1, the restriction π M : M H is an embedding.

13 0.7. Homotopy Handout. Problem 3. If two maps f and g from X to S p satisfy f(x) g(x) < for all x, prove that f is homotopic to g, the homotopy being smooth if f and g are smooth. Given any two points in R p+1 on S p that are not antipodal we can connect them by the straight line l(t) = tp + (1 t)q, t [0, 1]. Now normalize this line so that it lies entirely on S p : L(t) = tp + (1 t)q tp + (1 t)q. Notice that this map is only defined if p is not antipodal to q, because if they were we would have tp + (1 t)q = tp + (1 t)( p) = tp + tp p = tp p which is zero when t = 1 which would make L ( 1 ) undefined. Now consider two maps f, g : X S p such that f(x) g(x) x X (this is equivalent to f(x) g(x) < x X). Then define the map H(x, t) = tf(x) + (1 t)g(x) tf(x) + (1 t)g(x). This is clearly continuous since if we fix a t value we get a combination of continuous maps that remains continuous, and if we fix an x value we get an arc on the sphere. Now notice that and H(x, 0) = H(x, 1) = 0f(x) + (1 0)g(x) 0f(x) + (1 0)g(x) = g(x) g(x) = g(x) 1f(x) + (1 1)g(x) 1f(x) + (1 1)g(x) = f(x) f(x) = f(x) so H is a homotopy between f and g. Notice that this map would remain smooth if both f and g are smooth because then H would just be a combination of smooth maps. 13 Problem 4. If X is compact, show that every continuous map X S p can be uniformly approximated by a smooth map. If two maps X S p are continuously homotopic, show that they are smoothly homotopic. Let f : X S p be any continuous map. Then by the Stone-Weierstrass Theorem we can uniformly approximate f by polynomials (in each component). But we know that polynomials are smooth functions, so this approximation is smooth. Now if two maps f and g are continuously homotopic (i.e. there is a homotopy H : X I S p ), fix t for H and uniformly approximate H(x, t ) with a smooth function. Since these two functions are arbitrarily close, by the previous exercise, they are homotopic. Call this new homotopy Z : (X I) J S p. Then the composition of Z and H yields a new, smooth homotopy between f and g. Problem 5. If m < p, show that every map M m S p is homotopic to a constant. First note that S p \ n = R p for any n S p ; then since R p is contractible we have that S p \ {p} is also contractible. Also note that f cannot be onto (see exercise above). Let f : M S p be continuous and let f(m); let c : M { } be a constant map; lastly let d : S p \ {n} { } (n / f(m) which is possible since f is not onto) be the null-homotopy from S p \ {n} to { }. Thus d f : M { } is a null-homotopy of f with c Hopf Fibration Problem Set. To define the Hopf fibration h : S 3 S we think of S 3 are the unit sphere in C C and S as the unit sphere in C R. With respect to these coordinates, the formula for h is h : (a, c) (a c, a c ). Problem 1. Show that the image of h is indeed contained in S.

14 14 What we need to show is that all of the image points have length 1. Rewrite a = w+xi and c = y +zi. Then a = w + x, c = y + z, a c = (wy + xz) + (xy wz)i, and āc = (wy + xz) (xy wz)i. So: (a c, a c ) = (a c) (āc) + ( a c ) = 4w y + 4w z + 4x y + 4x z + w 4 + w x w y w z + x 4 x y x z + y 4 + y z + z 4 = w 4 + w x + w y + w z + x 4 + x y + x z + y 4 + y z + z 4 = (w + x + y + z ) = (a, c) 4 = 1 4 = 1 Problem. Identify S 1 with the unit circle in C. Consider the S 1 -action on S 3, H : S 1 S 3 S 3, H : (ω; (a, c)) (ωa, ωc), where the multiplication takes place in C. Show that the orbits of this circle action coincide with the fibers of h. (The fibers of a map are the preimages of points.) Problem 3. Recall that U() is the group of ( )- unitary matrices with complex entries. That is it is the group of ( )-matrices with complex entries so that AA T = A T A = I. There is a natural action of U() on C by matrix multiplication: U() C C (( ) ( )) ( α β a α β, δ δ c δ δ ) ( a c Since this action is by isometries, it preserves the unit 3-sphere, S 3. a. Use the fact that the U() action is complex linear to conclude that is commutes with the Hopf action. That is ) ( ωa A ωc ( a = ωa c Conclude that multiplication by an element A of U() induces a homeomorphism  : S S so that S 3 A S 3 h h S  S commutes. Here the top map is multiplication by A, and the maps on the left and right are the Hopf fibration. Because of this, U() is said to act by symmetries of the Hopf fibration. b. By considering the actions of the circle subgroups {( ) ω 0 ω = 1} 0 1 and {( cos θ sin θ sin θ cos θ ). ) θ [0, π)} of U(), show that h : S 3 S is onto. c. Show that any orientation preserving isometry of S lifts to a symmetry of the Hopf fibration. d. Show that h is a quotient map. (Hint: h is actually a closed map.) ).

15 15 Problem 4. a. Show that if a 0 and c 0 then the tangent space to S 3 at (a, c) is { ( a T (a,c) S 3 = span (ia, ic), a c, c ) ( c a, i a )} c c, i a c a. b. If a = 0 show that the tangent space to S 3 at (0, c) is T (0,c) S 3 = span{(0, ic), (1, 0), (i, 0)}. c. If c = 0 show that the tangent space to S 3 at (a, 0) is T (a,0) S 3 = span{(ia, 0), (0, 1), (0, i)}. Problem 5. Show that h is a submersion. Hint: Use exercise 4 to describe the tangent space of S 3. Notice (ia, ic) is tangent to the orbits ( of the Hopf action, H, and hence to the fibers of h. Therefore dh (a,c) (ia, ic) = 0. a To compute dh (a,c) a c, c ) c a, find a curve γ in S 3 such that γ(0) = (a, c), ( a γ (0) = a c, c ) c a, and use ( a dh (a,c) a c, c ) c a = (h γ) (0). To find γ use the fact that if p, q S n are perpindicular, then is a curve in S n with γ p,q (t) := (cos t)p + (sin t)q γ p,q (0) = p, and γ p,q(0) = q. Problem 6. Recall that RP n is S n /Z where the Z action is by the antipodal map. Let p : S n RP n be the corresponding quotient map. Show that RP n+1 is homeomorphic to the mapping cone of p. Problem 7. Recall that CP n is the space of complex lines through the origin of C n+1. That is CP n (C n+1 \ {0})/ where v, w C n+1 \ {0} are equivalent (v w) iff v = z w for some complex number z. Prove that CP is homeomorphic to the mapping cone of the Hopf fibration h 1 : S 3 S. Hint: The Hopf circle action on the 5-sphere is S 1 S 5 S 5 (ω, z 1, z, z 3 ) (ωz 1, ωz, ωz 3 ). Show that CP can also be viewed as the quotient of this circle action. Let the quotient map be called h : S 5 CP. This map is also called a Hopf fibration. Map D 4 C C S 5 by ι : (z 1, z ) (z 1, z, 1 z 1 z ) and to CP by h ι(z 1, z ) = [z 1, z, 1 z 1 z ]. Show that h ι is onto CP. Show that h ι is 1-1 on the interior of D 4. What is the behavior of h ι on the boundary of D 4? Problem 8. What is the symmetry group of h : S 5 CP?

16 16 Problem 9. Can you generalize problem 7 and view CP 3 as a mapping cone? 0.9. Homogeneity Problem Set. Definition. A Lie group, G, is simultaneously a smooth manifold and a group. The structures are compatable in the sense that the group operations and are smooth. M : G G G M(g, h) = gh ι : G G ι(g) = g 1 Problem 1. Show that a Lie group is smoothly homogeneous in the sense that given any g, h G there is a diffeomorphism Φ : G G so that Φ(g) = h. Hint: Given g G consider the map L g : G G L g (h) = gh. Problem. Show that all Lie groups are parallelizable. Hint. Let e G be the identity element. Move T e G around using the differentials of the L g s from Problem 1. Problem 3. Let M be a connected smooth manifold. Show that any two (distinct) points p, q M can be connected by an embedded smooth curve. Hint. Suppose γ : [0, 1] M is any smooth embedded curve from p to q. Cover γ[0, 1] by a finite number of coordinate charts and use the fact that the result holds on R n. Problem 4. Show that a connected smooth manifold is smoothly homogeneous in the sense that given any p, q M there is a diffeomorphism Φ : M M so that Φ(p) = q. Hint. Use problem 3 to connect p and q by a smooth embedded curve, γ. Argue that the tangent field to γ can be extended to a smooth vector field X with compact support. Use the fact (see e.g. Theorem in Conlon) that a vector field with compact support is complete in the sense that it generates a global flow. (A vector field has compact support iff it vanishes outside of a compact set.)

17 17. Differentiable Manifolds.. Differentiable Manifolds. Problem 4. Let X be the graph of the real valued function θ(x) = x of a real variable x. Define a function structure on X by f F (U) f is the restriction to U of a C functional structure on some open set V in the plane with U = V X. Show that X with this structure is not diffeomorphic to the real line with the usual C structure..5. Tangent Vectors and Differentials. Problem 1. If φ : R m R n is a linear map and we identify T p (R k ) with R k by identifying basis vector, show that φ becomes φ. ( k ) φ (v) = φ a i x i=1 i k ( ) = a i φ (since φ is linear) x i=1 i k ( ) = a i φ x i=1 i ( k ) = φ a i (since φ is linear) x i = φ(v) i=1 x i with the ith standard Problem. If the curve φ : R R n is an embedding then show that φ ( d dt ) coincides with the classical notion of the tangent vector to the curve φ under the identification of the tangent space to a euclidean space with the euclidean space. Since φ is an embedding, then φ is a smooth curve. Thus ( ) d φ (f) = d dt dt (f φ) = D φ(f). Problem 3. For a smooth function f defined on a neighborhood of a point p R n, the gradient f = grad f of f is the vector ( f,..., f ). x 1 x n For a vector v R n show that the directional derivative D v, denoted by D γv in Example 5.4, satisfies the equation D v f = f, v, the standard inner product of f with v in R n. Fix a point p R n and a vector v R n. Define l v (t) = p + tv to be the line passing through p with direction v. Then we have the tangent vector D lv : where a i = dx i dt D lv (f) = n i=1 a i f x i = d(p i + tv i ) t=0 dt = v i t=0

18 18 where l v (t) = (p 1 + tv 1,..., p n + tv n ). Thus: as desired. D lv (f) = = n i=1 n i=1 a i f x i v i f x i f f f = v 1 + v + + v n x 1 x x ( n f = (v 1, v,..., v n ),, f,..., f ) x 1 x x n = v, f = f, v Problem 4. If M m R n is a smoothly embedded manifold and f is a smooth real valued function defined on a neighborhood of p M m in R n and which is constant on M, show that f is perpendicular to T p (M) at p. Let p M. Let c : R M be a smooth function such that c(0) = p. Then the tangent vector to c at p is given by D c (g) = d dt g(c(t)) t=0 = v p where g : U R is any smooth function defined on a neighborhood of p. Note that f defined in the problem is one of these smooth functions when its domain is restricted to M. Then we note that f(c(t)) = k a constant, and so D c (f) = 0. Thus by the previous exercise 0 = D c (f) = f, v p So since c was arbitrary, this is true for all tangent vectors v p T p M..6. Sard s Theorem and Regular Values. Problem. For the map φ(x, y) = x y of the plane to the line, what are the regular values? We want the points in R such that Df 0. Compute Df: Df(x, y) = (x y) Notice that Df(x, y) 0 iff x = y = 0. So the regular points of f are {(x, y) R (x, y) (0, 0)}. Thus the regular values of f are R \ {0}. Problem 3. For the map φ(x, y) = sin (x + y ) of the plane to the line, what are the regular values? We want the points in R such that Df 0. Compute Df: Df(x, y) = (x cos (x + y ) y cos (x + y )) Notice that Df(x, y) 0 iff x = y = 0 or x + y = (n+1)π with n N 0. So the regular points of f are {(x, y) R (x, y) (0, 0) or x + y = (n+1)π, n N 0 }. Thus the regular values of f are R \ { 1, 0, 1}..7. Local Properties of Immersions and Submersions. Problem 1. Consider the real valued function f(x, y, z) = ( (x + y ) 1 ) + z on R 3 \ {(0, 0, z)}. Show that 1 is a regular value of f. Identify the manifold M = f 1 (1). M is a torus.

19 19 Problem. Show that the manifold M of Problem 1 is transverse to the surface Identify the manifold M N. N = {(x, y, z) R 3 x + y = 4}. M N is two circles of radius at the top and bottom of the torus. Problem 3. Show that the manifold M of Problem 1 is not transverse to the surface Is M N a manifold? N = {(x, y, z) R 3 x + y = 1}. Problem 4. Show that the manifold M of Problem 1 is not transverse to the plane Is M N a manifold? N = {(x, y, z) R 3 x = 1}..8. Vector Fields and Flows. Problem 1. On the -sphere, consider the flow θ(t, (x, y, z)) = (x, y cos (t) z sin (t), y sin (t) + z cos (t)). Find the vector field on S induced by this flow. dθ = (0, y sin (t) z cos (t), y cos (t) z sin (t)) dt ( ) d θ = dθ dt dt = (0, y sin (0) z cos (0), y cos (0) z sin (0)) = (0, z, y) (0,(x,y,z)) (0,(x,y,z)) So our vector field is given by: ξ(x, y, x) = (0, z, y). Problem. Consider the vector field ξ(x) = x on R. Show that ξ is the tangent field to a flow, and find the flow. (Hint: In classical notation, this vector field corresponds to the initial value problem dy dt = y, y(0) = x.) dy dt = y is a linear first order initial value problem and has general solution y = cet with initial value y(0) = x. Thus using the initial value we get: and thus the flow is θ(t, x) = xe t. For verification: x = ce 0 = c Evaluate at t = 0: as it should be. dθ dt = xet dθ dt = e 0 x = x = ξ(x) t=0 Problem 3. Show that the vector field ξ(x) = x is not the tangent field of any (global) flow.

20 0 Following the hint from the previous problem let dy dt = y, y(0) = x. Solve the equation: dy dt = y y dy = dt y dy = dt y 1 = t + c y 1 = c t y = 1 c t Now using the initial value y(0) = x: y(0) = 1 c 0 = 1 c = x and thus c = 1 x, so: y = 1 1 x t = x 1 xt. Therefore our flow is: θ(t, x) = x 1 xt. Consider the flow at the point (t, x) = (1, 1). θ(1, 1) is undefined thus ξ is not the tangent field of any global flow. Problem 4. If X and Y are vector fields on M then XY makes sense as an operator on smooth real valued functions on M. Show that [X, Y ] = XY Y X is a vector field. (This is called the Lie bracket of X and Y. Sometimes it is defined with the opposite sign.) Also show that XY itself is not a vector field. R-linear) Since [X, Y ] = [Y, X] it suffices to show linearity in one component. Let X, Y, Z be any smooth vector fields on M and let a, b R. Then: [ax + by, Z] = ax + by (Z) Z(aX + by ) = ax(z) + by (Z) Z(aX) Z(bY ) = ax(z) + by (Z) az(x) bz(y ) = ax(z) az(x) + by (Z) bz(y ) = a[x, Z] + b[y, Z] Problem 5. Show that the Klein bottle has an everywhere nonzero vector field. Describe the resulting flow.

21 1 View the Klein bottle K as the identification space of the space X := [0, 1] [0, 1]. Consider the vector field ξ(x, y) = (1, 0) on X. This will yield a vector field on K. The flow lines arising from this vector field are loops around K..11. Tubular Neighborhoods and Approximations. Problem 1. A probability vector in R n whose coordinates are all nonnegative and add to 1. A stochastic matrix is an n n matrix whose columns are probability vectors. Use Corollary 11.1 to show that every stochastic matrix A has a fixed probability vector under the mapping v Av. Let P n := {(v 1,..., v n ) n i=1 v i = 1 and v i 0} be the set of n-dimensional probability vectors. First oberve the n = 1 case: The only 1 1 stochastic matrix is A = (1) and since P 1 = {1} it is clear that A has a fixed probability vector. Now for n : Notice that P n is homeomorphic to D n 1. So let A be a stochastic matrix and let ϕ : P n D n 1 be the aforementioned homeomorphism, then ϕ A ϕ 1 : D n 1 D n 1 is a continuous map (A is continuous as it is linear), and hence by Brouwer s Fixed Point Theorem has a fixed point, call it η. Since ϕ is a homeomorphism we can write η = ϕ(ξ). So

22 Hence ξ is a fixed point of A. ϕ A ϕ 1 (η) = η ϕ A ϕ 1 (ϕ(ξ)) = ϕ(ξ) ϕ A(ξ) = ϕ(ξ) ϕ 1 ϕ A(ξ) = ϕ 1 ϕ(ξ) A(ξ) = ξ Problem. Use Corollary 11.1 to show that every n n matrix with positive real entries has a positive real eigenvalue. 3. Fundamental Group 3.. The Fundamental Group. Problem 1. Let G be a topological group with unity element e. For loops f, g : (S 1, p) (G, e) define a loop f g(t) = f(t)g(t) by the pointwise product in G. Show that f g f g rel p. Let f and g be loops as defined above. Then Problem. Let G be a topological group with unity element e. Show that π 1 (G, e) is abelian. (Hint: Use Problem 1 and the idea of Problem 1 to show that f g g f.) Problem 3. If K is the Klein bottle, show that π 1 (K ) is generated by two elements, say α and β obtained from the longitudinal and latitudinal loops. Also show that there is the relation (with proper assignment of α and β) αβα 1 = β 1. (You are not asked to show that this is the only relation, but, in fact, it is.) (Hint: Use the fact that a smooth loop must miss a point.) Since we cannot have a smooth onto map from S 1 to K (by Sard s Theorem), let be the missed point. Let p K and let l be a loop in K based at p.

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.

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 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 information

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

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

More information

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.

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. Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of

More information

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

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 information

Integration and Manifolds

Integration and Manifolds Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability

More information

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected. Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is

More information

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))

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)) 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 information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE 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 information

Chapter 1. Smooth Manifolds

Chapter 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 information

PICARD S THEOREM STEFAN FRIEDL

PICARD S THEOREM STEFAN FRIEDL PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A

More information

Topological properties

Topological 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 information

THE JORDAN-BROUWER SEPARATION THEOREM

THE 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 information

Math 396. Bijectivity vs. isomorphism

Math 396. Bijectivity vs. isomorphism Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1

More information

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for

More information

M4P52 Manifolds, 2016 Problem Sheet 1

M4P52 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 information

Bredon, Introduction to compact transformation groups, Academic Press

Bredon, Introduction to compact transformation groups, Academic Press 1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

More information

Differential 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 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 information

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

DIFFERENTIAL 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 information

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS TO THE FINAL EXAM SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering

More information

Math 205C - Topology Midterm

Math 205C - Topology Midterm Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,

More information

Math 215B: Solutions 3

Math 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 information

Algebraic Topology Homework 4 Solutions

Algebraic 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 information

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

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A

More information

Math 215B: Solutions 1

Math 215B: Solutions 1 Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an

More information

LECTURE 11: TRANSVERSALITY

LECTURE 11: TRANSVERSALITY LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image

More information

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 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).

More information

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

Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts

More information

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

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015 DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry

More information

Math 147, Homework 6 Solutions Due: May 22, 2012

Math 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 information

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and

1. Simplify the following. Solution: = {0} Hint: glossary: there is for all : such that & and Topology MT434P Problems/Homework Recommended Reading: Munkres, J.R. Topology Hatcher, A. Algebraic Topology, http://www.math.cornell.edu/ hatcher/at/atpage.html For those who have a lot of outstanding

More information

Notes on Differential Topology

Notes 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 information

Let X be a topological space. We want it to look locally like C. So we make the following definition.

Let X be a topological space. We want it to look locally like C. So we make the following definition. February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on

More information

1. Classifying Spaces. Classifying Spaces

1. Classifying Spaces. Classifying Spaces Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.

More information

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

DIFFERENTIAL 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 information

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

Math 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 information

The theory of manifolds Lecture 2

The 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 information

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

Math 147, Homework 1 Solutions Due: April 10, 2012 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

More information

x n y n d(x, y) = 2 n.

x n y n d(x, y) = 2 n. Prof. D. Vassilev Fall 2015 HOMEWORK PROBLEMS, MATH 431-535 The odd numbered homework are due the Monday following week at the beginning of class. Please check again the homework problems after class as

More information

The Fundamental Group and Covering Spaces

The Fundamental Group and Covering Spaces Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may

More information

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in

More information

Differentiable Topology and Geometry

Differentiable Topology and Geometry Differentiable Topology and Geometry April 8, 2004 These notes were taken from the lecture course Differentiable Manifolds given by Mladen Bestvina, at University of Utah, U.S., Fall 2002, and L A TEXed

More information

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

Math 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 information

Multivariable Calculus

Multivariable 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 information

DEVELOPMENT OF MORSE THEORY

DEVELOPMENT OF MORSE THEORY DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined

More information

MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4

MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 ROI DOCAMPO ÁLVAREZ Chapter 0 Exercise We think of the torus T as the quotient of X = I I by the equivalence relation generated by the conditions (, s)

More information

Bordism and the Pontryagin-Thom Theorem

Bordism and the Pontryagin-Thom Theorem Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such

More information

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like

More information

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

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39) 2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ

More information

Applications of Homotopy

Applications of Homotopy Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental

More information

We have the following immediate corollary. 1

We 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 information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

Geometry 2: Manifolds and sheaves

Geometry 2: Manifolds and sheaves Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,

More information

10. The subgroup subalgebra correspondence. Homogeneous spaces.

10. The subgroup subalgebra correspondence. Homogeneous spaces. 10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a

More information

Algebraic Topology I Homework Spring 2014

Algebraic Topology I Homework Spring 2014 Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)

More information

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

Math 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech Math 6455 Nov 1, 26 1 Differential Geometry I Fall 26, Georgia Tech Lecture Notes 14 Connections Suppose that we have a vector field X on a Riemannian manifold M. How can we measure how much X is changing

More information

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM ANG LI Abstract. In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove Van-

More information

Math 225B: Differential Geometry, Final

Math 225B: Differential Geometry, Final Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,

More information

MATH8808: ALGEBRAIC TOPOLOGY

MATH8808: ALGEBRAIC TOPOLOGY MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.

More information

Solutions to Problem Set 1

Solutions to Problem Set 1 Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}

More information

Exercises for Algebraic Topology

Exercises for Algebraic Topology Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via

More information

Differential Topology Solution Set #2

Differential 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 information

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

Manifolds 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 information

Cutting and pasting. 2 in R. 3 which are not even topologically

Cutting and pasting. 2 in R. 3 which are not even topologically Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.

More information

1 Differentiable manifolds and smooth maps

1 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 information

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

Subgroups 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 information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

Lecture 6: Classifying spaces

Lecture 6: Classifying spaces Lecture 6: Classifying spaces A vector bundle E M is a family of vector spaces parametrized by a smooth manifold M. We ask: Is there a universal such family? In other words, is there a vector bundle E

More information

ALGEBRAIC TOPOLOGY N. P. STRICKLAND

ALGEBRAIC 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 information

SYMPLECTIC GEOMETRY: LECTURE 5

SYMPLECTIC GEOMETRY: LECTURE 5 SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The

More information

SMSTC (2017/18) Geometry and Topology 2.

SMSTC (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 information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

7. Homotopy and the Fundamental Group

7. Homotopy and the Fundamental Group 7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have

More information

Part II. Algebraic Topology. Year

Part II. Algebraic Topology. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By

More information

Implicit Functions, Curves and Surfaces

Implicit 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 information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information

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

LECTURE 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 information

Analysis II: The Implicit and Inverse Function Theorems

Analysis 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 information

Changing coordinates to adapt to a map of constant rank

Changing coordinates to adapt to a map of constant rank Introduction to Submanifolds Most manifolds of interest appear as submanifolds of others e.g. of R n. For instance S 2 is a submanifold of R 3. It can be obtained in two ways: 1 as the image of a map into

More information

CHAPTER 3 SUBMANIFOLDS

CHAPTER 3 SUBMANIFOLDS CHAPTER 3 SUBMANIFOLDS One basic notion that was not addressed in Chapter 1 is the concept of containment: When one manifold is a subset on a second manifold. This notion is subtle in a manner the reader

More information

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.

More information

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces

More information

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1 Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines

More information

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

Geometry/Topology 868

Geometry/Topology 868 Geometry/Topology 868 Homework Samuel Otten CLAIM: A bijective map between manifolds is not necessarily a diffeomorphism. Consider the example f : R R, x x 3. We know that R is a manifold by example from

More information

Immerse Metric Space Homework

Immerse Metric Space Homework Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps

More information

1 Directional Derivatives and Differentiability

1 Directional Derivatives and Differentiability Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=

More information

Some notes on Coxeter groups

Some notes on Coxeter groups Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three

More information

Solutions to homework problems

Solutions to homework problems Solutions to homework problems November 25, 2015 Contents 1 Homework Assignment # 1 1 2 Homework assignment #2 6 3 Homework Assignment # 3 9 4 Homework Assignment # 4 14 5 Homework Assignment # 5 20 6

More information

(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

(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 Math 396. Submersions and transverse intersections Fix 1 p, and let f : X X be a C p mapping between C p premanifolds (no corners or boundary!). In a separate handout there is proved an important local

More information

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

1 )(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 information