Vector fields Lecture 2

Size: px
Start display at page:

Download "Vector fields Lecture 2"

Transcription

1 Vector fields Lecture 2 Let U be an open subset of R n and v a vector field on U. We ll say that v is complete if, for every p U, there exists an integral curve, γ : R U with γ(0) = p, i.e., for every p there exists an integral curve that starts at p and exists for all time. To see what completeness involves, we recall that an integral curve γ : [0, b) U, with γ(0) = p, is called maximal if it can t be extended to an interval [0, b ), b > b. For such curves we showed that either i. b = + or ii. γ(t) + as t b or iii. the limit set of contains points on BdU. {γ(t), 0 t, b} Hence if we can exclude ii. and iii. we ll have shown that an integral curve with γ(0) = p exists for all positive time. A simple criterion for excluding ii. and iii. is the following. Lemma 1. The scenarios ii. and iii. can t happen if there exists a proper C 1 -function, ϕ : U R with L v ϕ = 0. Proof. L v ϕ = 0 implies that ϕ is constant on γ(t), but if ϕ(p) = c this implies that the curve, γ(t), lies on the compact subset, ϕ 1 (c), of U; hence it can t run off to infinity as in scenario ii. or run off the boundary as in scenario iii. Applying a similar argument to the interval ( b, 0] we conclude: Theorem 2. Suppose there exists a proper C 1 -function, ϕ : U R with the property L v ϕ = 0. Then v is complete. Example. Let U = R 2 and let v be the vector field v = x 3 y y x. 1

2 Then ϕ(x, y) = 2y 2 + x 4 is a proper function with the property above. If v is complete then for every p, one has an integral curve, γ p : R U with γ p (0) = p, so one can define a map f t : U U by setting f t (p) = γ p (t). If v is C k+1, this mapping is C k by the smooth dependence on initial data theorem, and by definition f 0 is the identity map, i.e., f 0 (p) = γ p (0) = p. We claim that the f t s also have the property f t f a = f t+a. (1) Indeed if f a (p) = q, then by the reparameterization theorem, γ q (t) and γ p (t + a) are both integral curves of v, and since q = γ q (0) = γ p (a) = f a (p), they have the same initial point, so γ q (t) = f t (q) = (f t f a )(p) = γ p (t + a) = f t+a (p) for all t. Since f 0 is the identity it follows from (1) that f t f t is the identity, i.e., f t = f 1 t, so f t is a C k diffeomorphism. Hence if v is complete it generates a one-parameter group, f t, < t <, of C k -diffeomorphisms. For v not complete there is an analogous result, but it s trickier to formulate precisely. Roughly speaking v generates a one-parameter group of diffeomorphisms, f t, but these diffeomorphisms are not defined on all of U nor for all values of t. Moreover, the identity (1) only holds on the open subset of U where both sides are well-defined. I ll devote the second half of this lecture to discussing some properties of vector fields which we will need to extend the notion of vector field to manifolds. Let U and W be open subsets of R n and R m, respectively, and let f : U W be a C k+1 map. If v is a C k -vector field on U and w a C k -vector field on W we will say that v and w are f-related if, for all p U and q = f(p) Writing df p (v p ) = w q. (2) and v = n i=1 v i, x i v i C k (U) 2

3 w = m j=1 w j, w j C k (V ) y j this equation reduces, in coordinates, to the equation w i (q) = f i x j (p)v j (p). (3) In particular, if m = n and f is a C k+1 diffeomorphism, the formula (3) defines a C k -vector field on V, i.e., n w = w i y j is the vector field defined by the equation Hence we ve proved w i (y) = n j=1 j=1 ( ) fi v j f 1. (4) x j Theorem 3. If f : U V is a C k+1 diffeomorphism and v a C k -vector field on U, there exists a unique C k vector field, w, on W having the property that v and w are f-related. We ll denote this vector field by f v and call it the push-forward of v by f. I ll leave the following assertions as easy exercises. Theorem 4. Let U i, i = 1, 2, be open subsets of R n i, v i a vector field on U i and f : U 1 U 2 a C 1 -map. If v 1 and v 2 are f-related, every integral curve γ : I U 1 of v 1 gets mapped by f onto an integral curve, f γ : I U 2, of v 2. Corollary 5. Suppose v 1 and v 2 are complete. Let (f i ) t : U i U i, < t <, be the one-parameter group of diffeomorphisms generated by v i. Then f (f 1 ) t = (f 2 ) t f. Theorem 6. Let U i, i = 1, 2, 3, be open subsets of R n i, v i a vector field on U i and f i : U i U i+1, i = 1, 2 a C 1 -map. Suppose that, for i = 1, 2, v i and v i+1 are f i -related. Then v 1 and v 3 are f 2 f 1 -related. In particular, if f 1 and f 2 are diffeomorphisms and v = v 1 (f 2 ) (f 1 ) v = (f 2 f 1 ) v. 3

4 The results we described above have dual analogues for one-forms. Namely, let U and X be open subsets of R n and R m, respectively, and let f : U V be a C k+1 -map. Given a one-form, µ, on V onc can define a one-form, f µ, on U by the following method. For p U let q = f(p). By definition µ(q) is a linear map and by composing this map with the linear map we get a linear map i.e., an element µ q df p of T p Rn. µ(q) : T q R m R (5) df p : T p R n T q R n µ q df p : T p R n R, Definition 1. The one-form f µ is the one-form defined by the map where q = f(p). p U (µ q df p ) T p Rn Note that if ϕ : V R is a C 1 -function and µ = dϕ then by (5) i.e., Problem set µ q df p = dϕ q df p = d(ϕ f) p f µ = dϕ f. (6) 1. Let U be an open subset of R n, V an open subset of R n and f : U V a C k map. Given a function ϕ : V R we ll denote the composite function ϕ f : U R by f ϕ. (a) With this notation show that (6) can be rewritten f dϕ = df ϕ. (6 ) (b) Let µ be the one-form m µ = ϕ i dx i ϕ i C (V ) i=1 on V. Show that if f = (f 1,..., f m ) then m f µ = f ϕ i df i. 4 i=1

5 (c) Show that if µ is C k and f is C k+1, f µ is C k. 2. Let v be a complete vector field on U and f t : U U, the one parameter group of diffeomorphisms generated by v. Show that if ϕ C 1 (U) ( ) d L v ϕ = dt f t ϕ. 3. (a) Let U = R 2 and let v be the vector field, x 1 / x 2 x 2 / x 1. Show that the curve t R (r cos(t + θ), r sin(t + θ)) is the unique integral curve of v passing through the point, (r cos θ, r sin θ), at t = 0. (b) Let U = R n and let v be the constant vector field: c i / x i. Show that the curve t R a + t(c 1,..., c n ) is the unique integral curve of v passing through a R n at t = 0. (c) Let U = R n and let v be the vector field, x i / x i. Show that the curve t=0 t R e t (a 1,..., a n ) is the unique integral curve of v passing through a at t = Let U be an open subset of R n and F : U R U a C mapping. The family of mappings f t : U U, f t (x) = F (x, t) is said to be a one-parameter group of diffeomorphisms of U if f 0 is the identity map and f s f t = f s+t for all s and t. (Note that f t = ft 1, so each of the f t s is a diffeomorphism.) Show that the following are one-parameter groups of diffeomorphisms: (a) f t : R R, (b) f t : R R, f t (x) = x + t f t (x) = e t x (c) f t : R 2 R 2, f t (x, y) = (cos t x sin t y, sin t x + cos t y) 5. Let A : R n R n be a linear mapping. Show that the series exp ta = I + ta + t2 2! A2 + t3 3! A3 + converges and defines a one-parameter group of diffeomorphisms of R n. 5

6 6. (a) What are the infinitesimal generators of the one-parameter groups in exercise 13? (b) Show that the infinitesimal generator of the one-parameter group in exercise 14 is the vector field ai,j x j x i where [a i,j ] is the defining matrix of A. 6

Chapter 2. Differential Forms

Chapter 2. Differential Forms Chapter 2 1 Differential Forms 2.1.1. Vector fields and one-forms The goal of this chapter is to generalize to n dimensions the basic operations of three dimensional vector calculus: div, curl and grad.

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

LECTURE 15: COMPLETENESS AND CONVEXITY

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

Surfaces JWR. February 13, 2014

Surfaces JWR. February 13, 2014 Surfaces JWR February 13, 214 These notes summarize the key points in the second chapter of Differential Geometry of Curves and Surfaces by Manfredo P. do Carmo. I wrote them to assure that the terminology

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

LECTURE 16: CONJUGATE AND CUT POINTS

LECTURE 16: CONJUGATE AND CUT POINTS LECTURE 16: CONJUGATE AND CUT POINTS 1. Conjugate Points Let (M, g) be Riemannian and γ : [a, b] M a geodesic. Then by definition, exp p ((t a) γ(a)) = γ(t). We know that exp p is a diffeomorphism near

More information

Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,

Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E, Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of

More information

0.1 Diffeomorphisms. 0.2 The differential

0.1 Diffeomorphisms. 0.2 The differential Lectures 6 and 7, October 10 and 12 Easy fact: An open subset of a differentiable manifold is a differentiable manifold of the same dimension the ambient space differentiable structure induces a differentiable

More information

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

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech. Integration on Manifolds, Volume, and Partitions of Unity Math 6455 Oct 10, 2006 1 Differential Geometry I Fall 2006, Georgia Tech Lecture Notes 13 Integration on Manifolds, Volume, and Partitions of Unity Suppose that we have an orientable Riemannian manifold

More information

Hamiltonian flows, cotangent lifts, and momentum maps

Hamiltonian flows, cotangent lifts, and momentum maps Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic

More information

The theory of manifolds Lecture 3

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

x i x j x l ωk x j dx i dx j,

x i x j x l ωk x j dx i dx j, Exterior Derivatives In this section we define a natural differential operator on smooth forms, called the exterior derivative. It is a generalization of the diffeential of a function. Motivations: Recall

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

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

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

TANGENT VECTORS. THREE OR FOUR DEFINITIONS.

TANGENT VECTORS. THREE OR FOUR DEFINITIONS. TANGENT VECTORS. THREE OR FOUR DEFINITIONS. RMONT We define and try to understand the tangent space of a manifold Q at a point q, as well as vector fields on a manifold. The tangent space at q Q is a real

More information

CALCULUS ON MANIFOLDS

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

Vector fields and one forms. v : M TM

Vector fields and one forms. v : M TM Vector fields and one forms Definition 1. A C k vector field on M is a C k map so that for all p M, v(p) T p M. v : M TM You should think of this as a C k choice of vector in T p M for all p M. We can

More information

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

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

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem

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

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

Hopf-Rinow and Hadamard Theorems

Hopf-Rinow and Hadamard Theorems Summersemester 2015 University of Heidelberg Riemannian geometry seminar Hopf-Rinow and Hadamard Theorems by Sven Grützmacher supervised by: Dr. Gye-Seon Lee Prof. Dr. Anna Wienhard Contents Introduction..........................................

More information

Worksheet on Vector Fields and the Lie Bracket

Worksheet on Vector Fields and the Lie Bracket Worksheet on Vector Fields and the Lie Bracket Math 6456 Differential Geometry January 8, 2008 Let M be a differentiable manifold and T M := p M T p M Definition 8 A smooth vector field is a mapping w

More information

GEOMETRY MID-TERM CLAY SHONKWILER

GEOMETRY MID-TERM CLAY SHONKWILER GEOMETRY MID-TERM CLAY SHONKWILER. Polar Coordinates R 2 can be considered as a regular surface S by setting S = {(, y, z) R 3 : z = 0}. Polar coordinates on S are given as follows. Let U = {(ρ, θ) : ρ

More information

Minimizing properties of geodesics and convex neighborhoods

Minimizing properties of geodesics and convex neighborhoods Minimizing properties of geodesics and convex neighorhoods Seminar Riemannian Geometry Summer Semester 2015 Prof. Dr. Anna Wienhard, Dr. Gye-Seon Lee Hyukjin Bang July 10, 2015 1. Normal spheres In the

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

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

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

The theory of manifolds Lecture 3. Tf : TR n TR m The theory of manifolds Lecture 3 Definition 1. The tangent space of an open set U R n, TU is the set of pairs (x, v) U R n. This should be thought of as a vector v based at the point x U. Denote by T

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

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

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

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

Math 426H (Differential Geometry) Final Exam April 24, 2006.

Math 426H (Differential Geometry) Final Exam April 24, 2006. Math 426H Differential Geometry Final Exam April 24, 6. 8 8 8 6 1. Let M be a surface and let : [0, 1] M be a smooth loop. Let φ be a 1-form on M. a Suppose φ is exact i.e. φ = df for some f : M R. Show

More information

LECTURE 9: THE WHITNEY EMBEDDING THEOREM

LECTURE 9: THE WHITNEY EMBEDDING THEOREM LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:

More information

Coordinate Systems and Canonical Forms

Coordinate Systems and Canonical Forms Appendix D Coordinate Systems and Canonical Forms D.1. Local Coordinates Let O be an open set in R n. We say that an n-tuple of smooth realvalued functions defined in O, (φ 1,...,φ n ), forms a local coordinate

More information

HOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection.

HOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection. HOMEWORK 2 - RIEMANNIAN GEOMETRY ANDRÉ NEVES 1. Problems In what follows (M, g will always denote a Riemannian manifold with a Levi-Civita connection. 1 Let X, Y, Z be vector fields on M so that X(p Z(p

More information

Lecture 6. Differential Equations

Lecture 6. Differential Equations Lecture 6. Differential Equations Our aim is to prove the basic existence, uniqueness and regularity results for ordinary differential equations on a manifold. 6.1 Ordinary differential equations on a

More information

DIFFERENTIAL GEOMETRY. LECTURE 12-13,

DIFFERENTIAL GEOMETRY. LECTURE 12-13, DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

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

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;

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

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

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

CHAPTER 7. Connectedness

CHAPTER 7. Connectedness CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set

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

Green s Theorem, Cauchy s Theorem, Cauchy s Formula

Green s Theorem, Cauchy s Theorem, Cauchy s Formula Math 425 Spring 2003 Green s Theorem, Cauchy s Theorem, Cauchy s Formula These notes supplement the discussion of real line integrals and Green s Theorem presented in.6 of our text, and they discuss applications

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

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information

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

274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan 274 Microlocal Geometry, Lecture 2 David Nadler Notes by Qiaochu Yuan Fall 2013 2 Whitney stratifications Yesterday we defined an n-step stratified space. Various exercises could have been but weren t

More information

Proof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L

Proof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L Lecture 24: Defn: Topological conjugacy: Given Z + d (resp, Zd ), actions T, S a topological conjugacy from T to S is a homeomorphism φ : M N s.t. φ T = S φ i.e., φ T n = S n φ for all n Z + d (resp, Zd

More information

6c Lecture 14: May 14, 2014

6c Lecture 14: May 14, 2014 6c Lecture 14: May 14, 2014 11 Compactness We begin with a consequence of the completeness theorem. Suppose T is a theory. Recall that T is satisfiable if there is a model M T of T. Recall that T is consistent

More information

Chap. 1. Some Differential Geometric Tools

Chap. 1. Some Differential Geometric Tools Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U

More information

LECTURE 3 Functional spaces on manifolds

LECTURE 3 Functional spaces on manifolds LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after

More information

2 Lie Groups. Contents

2 Lie Groups. Contents 2 Lie Groups Contents 2.1 Algebraic Properties 25 2.2 Topological Properties 27 2.3 Unification of Algebra and Topology 29 2.4 Unexpected Simplification 31 2.5 Conclusion 31 2.6 Problems 32 Lie groups

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

Fuchsian groups. 2.1 Definitions and discreteness

Fuchsian groups. 2.1 Definitions and discreteness 2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this

More information

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

SEPARATED AND PROPER MORPHISMS

SEPARATED AND PROPER MORPHISMS SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.

More information

LECTURE 14: LIE GROUP ACTIONS

LECTURE 14: LIE GROUP ACTIONS LECTURE 14: LIE GROUP ACTIONS 1. Smooth actions Let M be a smooth manifold, Diff(M) the group of diffeomorphisms on M. Definition 1.1. An action of a Lie group G on M is a homomorphism of groups τ : G

More information

Lecture 5: Hodge theorem

Lecture 5: Hodge theorem Lecture 5: Hodge theorem Jonathan Evans 4th October 2010 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 1 / 15 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 2 / 15 The aim of

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

CS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation

CS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation CS 468 Differential Geometry for Computer Science Lecture 17 Surface Deformation Outline Fundamental theorem of surface geometry. Some terminology: embeddings, isometries, deformations. Curvature flows

More information

LECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS

LECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS LECTURE : THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS 1. Critical Point Theory of Distance Functions Morse theory is a basic tool in differential topology which also has many applications in Riemannian

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

Chapter 1: Linear Equations

Chapter 1: Linear Equations Chapter : Linear Equations (Last Updated: September, 6) The material for these notes is derived primarily from Linear Algebra and its applications by David Lay (4ed).. Systems of Linear Equations Before

More information

2 Sequences, Continuity, and Limits

2 Sequences, Continuity, and Limits 2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs

More information

Theorema Egregium, Intrinsic Curvature

Theorema Egregium, Intrinsic Curvature Theorema Egregium, Intrinsic Curvature Cartan s second structural equation dω 12 = K θ 1 θ 2, (1) is, as we have seen, a powerful tool for computing curvature. But it also has far reaching theoretical

More information

Good Problems. Math 641

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

HOMEWORK 4 - GEOMETRY OF CURVES AND SURFACES

HOMEWORK 4 - GEOMETRY OF CURVES AND SURFACES HOMEWORK 4 - GEOMETRY OF CURVES ND SURFCES NDRÉ NEVES DISCLIMER: This homework was very tough and it involves being comfortable with facts you might have seen in other classes but are not so fresh. The

More information

Math 480 The Vector Space of Differentiable Functions

Math 480 The Vector Space of Differentiable Functions Math 480 The Vector Space of Differentiable Functions The vector space of differentiable functions. Let C (R) denote the set of all infinitely differentiable functions f : R R. Then C (R) is a vector space,

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

Complete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3.

Complete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3. Summary of the Thesis in Mathematics by Valentina Monaco Complete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3. Thesis Supervisor Prof. Massimiliano Pontecorvo 19 May, 2011 SUMMARY The

More information

30.1 Continuity of scalar fields: Definition: Theorem: Module 10 : Scaler fields, Limit and Continuity

30.1 Continuity of scalar fields: Definition: Theorem: Module 10 : Scaler fields, Limit and Continuity Module 10 : Scaler fields, Limit and Continuity Lecture 30 : Continuity of scaler fields [Section 30.1] Objectives In this section you will learn the following : The notion of continuity for scalar fields.

More information

Non-Differentiable Embedding of Lagrangian structures

Non-Differentiable Embedding of Lagrangian structures Non-Differentiable Embedding of Lagrangian structures Isabelle Greff Joint work with J. Cresson Université de Pau et des Pays de l Adour CNAM, Paris, April, 22nd 2010 Position of the problem 1. Example

More information

Riemannian geometry of surfaces

Riemannian geometry of surfaces Riemannian geometry of surfaces In this note, we will learn how to make sense of the concepts of differential geometry on a surface M, which is not necessarily situated in R 3. This intrinsic approach

More information

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

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at

More information

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt.

RIEMANN SURFACES. ω = ( f i (γ(t))γ i (t))dt. RIEMANN SURFACES 6. Week 7: Differential forms. De Rham complex 6.1. Introduction. The notion of differential form is important for us for various reasons. First of all, one can integrate a k-form along

More information

LECTURE 5: THE METHOD OF STATIONARY PHASE

LECTURE 5: THE METHOD OF STATIONARY PHASE LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =

More information

Topic 4 Notes Jeremy Orloff

Topic 4 Notes Jeremy Orloff Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

More information

1. Bounded linear maps. A linear map T : E F of real Banach

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

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär CHAPTER 1 Preliminaries 1.1. Basic Relevant Algebra 1.2. Introduction to Differential Geometry By Christian Bär Inthis lecturewegiveabriefintroductiontothe theoryofmanifoldsandrelatedbasic concepts of

More information

Chapter 1: Linear Equations

Chapter 1: Linear Equations Chapter : Linear Equations (Last Updated: September, 7) The material for these notes is derived primarily from Linear Algebra and its applications by David Lay (4ed).. Systems of Linear Equations Before

More information

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that 1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral

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

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

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

LECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS

LECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS LECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS 1. The Bishop-Gromov Volume Comparison Theorem Recall that the Riemannian volume density is defined, in an open chart, to be

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

LECTURE 10: THE PARALLEL TRANSPORT

LECTURE 10: THE PARALLEL TRANSPORT LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be

More information

An introduction to Mathematical Theory of Control

An introduction to Mathematical Theory of Control An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018

More information

K-BI-LIPSCHITZ EQUIVALENCE OF REAL FUNCTION-GERMS. 1. Introduction

K-BI-LIPSCHITZ EQUIVALENCE OF REAL FUNCTION-GERMS. 1. Introduction K-BI-LIPSCHITZ EQUIVALENCE OF REAL FUNCTION-GERMS LEV BIRBRAIR, JOÃO COSTA, ALEXANDRE FERNANDES, AND MARIA RUAS Abstract. In this paper we prove that the set of equivalence classes of germs of real polynomials

More information

(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM >

(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM > (FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM > GEUNHO GIM 1. Without loss of generality, we can assume that x = z = 0. Let A = df 0. By regularity at 0, A is a linear isomorphism.

More information

NONSINGULAR CURVES BRIAN OSSERMAN

NONSINGULAR CURVES BRIAN OSSERMAN NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that

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