Outline of the course
|
|
- Mervin Barrett
- 5 years ago
- Views:
Transcription
1 School of Mathematical Sciences PURE MTH 3022 Geometry of Surfaces III, Semester 2, 20 Outline of the course Contents. Review 2. Differentiation in R n Functions of class C k Mean Value Theorem Inverse Function Theorem 4 3. Submanifolds Tangent space to a submanifold Smooth functions on submanifolds 6 4. Geometry of curves Curves in R Geometry of surfaces 7 6. Integration Integration in R n Volume forms and integration Volume forms One forms 0 7. Gauss-Bonnet Theorem 7.. Tessellations 2. Review We have the usual notation R for the real numbers, R n for n-tuples of real numbers and N = {, 2, 3,... } for the natural numbers. Recall that If x = (x,..., x n ) and y = (y,..., y n ) are in R n then x = n i= (xi ) 2 and x, y = n i= x i y i. These satisfy and x, y x y Cauchy s inequality, x + y x + y Triangle inequality max{ x,..., x n } x n max{ x,..., x n }.
2 2 Note.. Recall from Real Analysis that R n with the Euclidean metric d(x, y) = x y is a metric space. We don t need the metric notion for this course but we will use many of the other notions of metric spaces such as open balls, open sets, sequences, limits and continuous functions but usually only for the metric space R n. Those of you have who have done Topology and Analysis will recall that R n with this norm is an example of a normed vector space. The open ball around x R n of radius ɛ > 0 is B(x, ɛ) = {y R n x y < ɛ} and a subset U R n is called open if for every x U there is some ɛ > 0 such that B(x, ɛ) U. A sequence in R n is a function N = {, 2,... } R n usually denoted by its set of values x, x 2,... or (x n ) n=0 or often just (x n ). A sequence (x n ) has limit x R n if for all ɛ > 0 there is an N such that for all n N we have x n x < ɛ. In such a case we also say that x n converges to x and write lim n x n = x. Lemma.. A sequence (x n ) has limit x R n if and only if lim n x n x = 0. Proposition.2 (Properties of limits of sequences). () If x m = (x n,..., x n m) R n then lim m x m = x = (x,..., x n ) if and only if lim m x i m = x i for all i =,..., n. (2) If x n x and y n y and α, β R then αx n + βy n αx + βy. Lemma.3. If x n x then lim m,n x n x m 0. A sequence with lim m,n x n x m 0 is called Cauchy. Theorem.4. Every Cauchy sequence in R n converges. Definition.5. Let a U R n, U open and f : U {a} R m. We say that f has limit L at a if ɛ > 0 δ > 0 such that if x a < δ and x U then f (x) L < ɛ. Proposition.6. A function f : U {a} R m has limit L at a if and only if for all sequences (x n ) U {a} with x n x we have f (x n ) L. Proposition.7 (Properties of limits). () Let f : U {a} R m and let f (x) = (f (x),..., f m (x) where f i : U {a} R for each i =,... m. Then lim x a f (x) = f (a) if and only if for every i =,... m we have lim x a f i (x) = f i (a) (2) Let f, g : U {a} R m with lim x a f (x) = L and lim x a g(x) = J. If α, β R then lim x a αf (x) + βg(x) = αl + βj. Definition.8. Let U be open in R n and f : U R m. We say that f is continuous at a U if lim x a f (x) = f (a) and we say that f is continuous on U if continuous at every a U. Proposition.9. A function f is continuous at a if and only if lim x a f (x) f (a) = 0. Proposition.0. A function f : U R m is continuous at a if and only if for every sequence with x n a we have f (x n ) f (a). Proposition. (Properties of continuous functions). () If U is open in R n and f, g : U R m are continuous and α, β R then αf + βg is continuous. (2) If U is open in R n and f : U R m then f = (f,..., f n ) is continuous if and only if each f i : U R is continuous for every i =,..., n. (3) If f : U R m and g : V R k and U is open in R n and V is open in R k and f (U) V then f and g continuous implies that g f is continuous. Let X R n. Recall that f : X X is called a contraction if there exists 0 K < such that for all x, y X we have f (x) f (y) K x y. Proposition.2 (Contraction mapping theorem). If f : B(0, r ) B(0, r ) is a contraction then there is a unique x B(0, R) such that f (x) = x.
3 3 Note.2. Recall from Real Analysis that the contraction mapping theorem is usually proved for a contraction on a complete metric space. It reduces to this case as B(0, r ) is a closed subset of the complete metric space R n and hence complete. 2. Differentiation in R n. Definition 2.. Let U be open in R n and f : U R m. We say that f is differentiable at a U if there is a linear map L: R n R m such that f (a + h) f (a) L(h) lim = 0. h 0 h Lemma 2.2. If f is differentiable at a then the L in the definition is unique. If f is differentiable at a we denote the linear map L by f (a). If f is differentiable at every a U we say that f is differentiable on U. Proposition 2.3. Let U be open in R n and f : U R m. Define f i : U R for i =,..., m by f (x) = (f (x),..., f m (x) for all x U. Then f is differentiable at a U if and only if each of the f i is differentiable at a and f (a) = (f (a),..., f m (a)). Lemma 2.4. The function f is differentiable at a if and only if there exists a linear function L, an ɛ > 0 and a function R : B(0, ɛ) R m such that f (a + h) = f (a) + L(h) + R(h) and lim h 0 R(h) / h = 0. Proposition 2.5. If L: R n R m is linear and v R m then f (x) = L(x) + v is differentiable on all of R n and f (x) = L. Proposition 2.6. If f : U R m is differentiable at a then f is continuous at a. Lemma 2.7. If f is differentiable at a then ɛ > 0 δ > 0 such that if h < δ then f (a + h) f (h) ( f (a) + ɛ) h. Proposition 2.8. If f and g are differentiable at a R n and α, β R then αf + βg and f g are differentiable at a with (αf + βg) (a) = αf (a) + βg (a) and (f g) (a) = f (a)g (a) + g(a)f (a). Proposition 2.9 (Chain Rule). Let f : U R m and g : V R k where U is open in R n and V is open in R m with f (U) V. Then if f is differentiable at a and g is differentiable at f (a) then g f is differentiable at a and (g f ) (a) = g (f (a)) f (a). Proposition 2.0. If U R n and f : U R m is differentiable at a and v R n then f (a)(v) = d dt f (a + tv) t=0. Corollary 2.. Let f be as above and write f = (f,..., f m ). Let e i be the vector with a in the ith place and zeros elsewhere. Then ( ) f f (a)(e i m f ) = (a),..., dxi dx i (a). so that the linear map f (a): R n R m is the Jacobian matrix 2.. Functions of class C k. J(f )(a) = f i j (a). Definition 2.2. Let f : U R for U open in R n. We say that f is (of class) C k if all partial derivatives of f exist and are continuous on U up order k. We write C 0 for continuous functions and C or smooth for functions which are in C k for every k. The set of all C k functions on U is denoted by C k (U) or C k (U, R). Let f : U R for U open in R n. We say that f is C k if each f i : U R is C k where f = (f,..., f m ). Again we write C k (U, R m ) for the set of all such f. Proposition 2.3. If f C (U) then f is differentiable at u.
4 4 Proposition 2.4. If f C 2 (U) then 2 f i j = 2 f j i on U. Similarly if f is C k for k 2 then all partial derivatives up to order including k are independent of order. Proposition 2.5. C k (U, R m ) is a vector space. Proposition 2.6 (Chain Rule). Let f : U R m and g : V R k where U is open in R n and V is open in R m with f (U) V. Assume that f and g are C then (g f ) j m g j l f i (a) = (f (a)) l i (a). for every i =,..., n and j =,..., k. l= 2.2. Mean Value Theorem. For any x 0 and x in R n we define [x 0, x ] to be the line segment joining x 0 to x that is {( t)x 0 + tx t [0, ]}. Proposition 2.7 (Mean Value Theorem). If U is open in R n and f : U R m is differentiable and [x 0, x ] U and u R m then ξ u [x 0, x ] such that f (x ), u = f (x 0 ), u + f (ξ u )(x x 0 ), u. Corollary 2.8. If U is open in R n and h: U R m is differentiable and h (ξ) ɛ ξ [x 0, x ] then h(x 0 ) h(x ) < ɛ x 0 x Inverse Function Theorem. Theorem 2.9 (Inverse Function Theorem). Let U be open in R n and f : U R n be C k for k. Assume that f (a) is invertible for some a U. Then there is an open set V U with a V and such that: () f (V ) is open, (2) f : V f (V ) is invertible, (3) f is C k, and (4) (f ) (f (a)) = [f (a)]. Corollary 2.20 (Open mapping theorem). Let U be open in R n and f : U R n be such that f (x) is invertible for all x U. Then f (U) is open in R n. Definition 2.2. If U and V are open in R n and f : U V is C k with a C k inverse then f is called a (C k ) diffeomorphism. For the implicit function theorem we need the following notation. If x R n and y R m then we denote by (x, y) the obvious element R n R m. Theorem 2.22 (Implicit Function Theorem). Let U be open in R n+m, (x 0, y 0 ) U and F : U R m be C k. If F(x 0, y 0 ) = 0 and F F F y (x 0, y 0 )... y (x m 0, y 0 ) y (x 0, y 0 ) = F m y (x 0, y 0 )... F m y m (x 0, y 0 ) is non-singular then there exists an open set V R n containing x 0 and a C k function f : V R m, such that F(x, f (x)) = 0 for all x V. 3. Submanifolds Definition 3.. A subset S R N is called a submanifold of dimension n if for all s S there exists a U open in R N, containing s, and a smooth map φ: U R n such that φ(u) is open, φ: U φ(u) is a diffeomorphism and S U = {x U (φ n+ (x),..., φ N (x)) = 0}.
5 5 Theorem 3.2. Let S R N then the following are equivalent. () S is a submanifold of dimension n; (2) for every s S there is an open set U R N containing s and a smooth function F : U R N n such that F (x) is onto for all x S U and S U = {x U F(x) = 0}; (3) for all s S there exists U open in R N such that S U is the graph of a smooth function of n of the N variables; (4) for all s S there is a V open in R N containing s and U open in R n and a ψ: U V which is one to one with ψ (x) one to one for all x U and such that S V = ψ(u). Corollary 3.3. If U is open in R N and F : U R N n is smooth with F (x) onto for all x S = F {0} then S is a submanifold of dimension n. Definition 3.4. Let S R N be an n dimensional submanifold. If U is an open set in R N and F : U R N n is smooth with F (s) onto for all s S U and S U = {s U F(s) = 0} then F is called a local defining equation for S. Definition 3.5. Let S R N be an n dimensional submanifold. If U is an open subset of R n and V an open subset of R N and ψ: U V is smooth and one to one with ψ (x) one to one for all x U and ψ(u) = S V then ψ is called a local parametrisation of S. 3.. Tangent space to a submanifold. Definition 3.6. Let s be a point in a submanifold S R N. Let ɛ > 0. Then a smooth map γ : ( ɛ, ɛ) S R N with γ(0) = s is a called a smooth path in S through s. Definition 3.7. Define T s S to be the union of all the vectors γ (0) for γ a smooth path in S through s. Call it the tangent space to S at s. Proposition 3.8. T s S is an n-dimensional subspace of R N. Proposition 3.9. If F is a local defining equation for S defined on an open set containing s then T s S = ker F (s). If ψ is a local parametrisation for S with ψ(x) = s then T s S = im ψ (x). Moreover ψ (x),..., ψ (x) are a n basis for T s S Smooth functions on submanifolds. Let S R N be a submanifold and let f : S R be a function. Definition 3.0. We say that f is a smooth function if there is an open set U R N with S U and a smooth function ˆf : U R such that for any s S we have ˆf (s) = f (s). Proposition 3.. Let S R N be a submanifold and f : S R a function. () If ψ: U S is a parametrisation and f is smooth then f ψ: U R is smooth. (2) If for every s S there is a parametrisation ψ: U S with s ψ(u) such that f ψ: U R is smooth then f is smooth. Proposition 3.2. Let S R N be a submanifold and ψ: U S and χ : V S be parametrisations with ψ(u) = χ(v ) then ψ χ : V U is a diffeomorphism. Let S be a submanifold and f : S R a smooth map. Let ˆf : U R be a smooth extension of f to an open set U containing S. Then ˆf (s): R N R and we denote by f (s): T s S R the restriction of ˆf (s) to T s S R N. Lemma 3.3. f (s): T s S R is independent of the choice of extension ˆf. Definition 3.4. If f : S R m and each f i : S R is smooth where f = (f,..., f m ) then we say that f is smooth. Proposition 3.5. If f : S R m is a smooth map from a submanifold S which has its image inside a submanifold T R m then for any s S we have that f (s)(t s S) T f (s) T. 4. Geometry of curves Definition 4.. A curve is a one-dimensional submanifold.
6 6 If c is a point in a curve C then T c C is one-dimensional so that T c C {0} has two connected components. A continuous choice of one of these two components at each point of C is called an orientation and a curve with an orientation is called an oriented curve. Definition 4.2. A parametrised curve C is a curve for which there is a parametrisation γ : (a, b) C with γ(a, b) = C. For a parametrisation γ (t) 0. If γ (t) is in the chosen half of T γ(t) C for an oriented curve C then we say the parametrisation is oriented. Definition 4.3. We say a parametrised curve is parametrised by arc length if γ(t) = for all t. Lemma 4.4. If γ(t) and γ(t) are two arc length parametrisations of a curve C then there is a t 0 R such that γ(t) = γ(t + t 0 ) for all t. Definition 4.5. Then unit normal vector field T on a parametrised curve C is defined by T = γ (t)/ γ (t). Lemma 4.6. If γ(t) is parametrised by arc length then γ (t), γ (t) = 0. Definition 4.7. If C is a curve with an arc length parametrisation γ(t) then the curvature of C at c = γ(t) is κ(c) = γ (t). Proposition 4.8. If C is a curve and γ(t) is a (not necessarily arc-length) parametrisation then κ = γ 2 γ γ γ, γ γ 2 = ( ) γ 2 γ 2 γ, γ 2 /2 γ Curves in R 3. Definition 4.9. Let C R 3 be a curve. Define N = T / T the principal normal to γ and B = T N the unit binormal. Proposition 4.0 (Frenet formula). Let Ṫ, Ṅ and Ḃ denote differentiation with respect to arc-length. Then we have Ṫ = κn Ṅ = κt + τb Ḃ = τn for a function τ on the curve called the torsion of the curve. 5. Geometry of surfaces Let Σ R 3 be a surface. Then T s Σ, the orthogonal space to the tangent space T s Σ, is one-dimensional so if zero is removed there are two connected halves. In other words there are two possible unit normals. An orientation for Σ is a choice of unit normal n(s) T s Σ continuously across the surface. An oriented surface is a surface with an orientation. If ψ: U Σ is a parametrisation we say it is oriented if n = ψ ψ 2 ψ ψ 2. The unit normal defines a map n: Σ S 2 called the Gauss map. Proposition 5.. Let s Σ and let v T s Σ. Let the unit normal at s be n. Then ɛ > 0 and a map γ : ( ɛ, ɛ) Σ such that γ(0) = s, γ (0) = v and γ(t) = a(t)v + b(t)n for some functions a and b. Proposition 5.2. The curvature of the curve γ in Prop. 5. is given by n, γ (0) / γ (0) 2. If ψ: U Σ are local parameters for a surface Σ with ψ(x) = s and v and w are in T s Σ define the second fundamental form α by 2 2 ψ α(s)(v, w) = v i w j i j (x), n where v = 2 i= v i ψ i and w = 2 i= w i ψ i. i,j=
7 7 Proposition 5.3. Let α be the second fundamental form at a point s of a surface Σ then: () α(v, w) = dn(v), w) = dn(w), v, (2) α is independent of the parametrisation, (3) if v = and γ is chosen as in Prop. 5. then α(v, v) is the curvature of γ at s. Definition 5.4. The first fundamental form at s Σ is the inner product g(v, w) = v, w. Definition 5.5. Define a function Π(s): T s Σ T s Σ by Π = dn(s) = n (s). Clearly α(v, w) = Π(v), w). Π is symmetric so it has orthogonal eigenvectors v and v 2 with eigenvalues λ and λ 2. The directions v i are the directions of greatest and least curvature. The eigenvalues λ, λ 2 are called the principal curvatures. Their average (/2) tr(π) is called the mean curvature and their product det(π) is called the Gaussian curvature. Proposition 5.6. If v and v 2 are a basis for T s Σ and α ij = α(v i, v j ) and g ij = g(v i, v j ) = v i, v j then Π = αg so that det(π) = det(α ij )/ det(g ij ). 6. Integration 6.. Integration in R n. Let R be a closed bounded subset of R 2 and f : R R a continuous function. Define a partition P to be a collection of rectangles R i, i =,..., n which intersect at most on their edges and which cover R, that is R n i= R i. Denote the area of each R i by A i. Define a selection for P to be a collection of points x i R i R for each i. For each partition and selection consider the sum N f (x i ) A i. Let mesh(p) = min{ A i }. i= Theorem 6.. There exists a number L such that for every ɛ > 0 there is a δ > 0 such that if mesh(p) < δ and is any selection then N i= f (x i ) A i L < ɛ. x i The number L is denoted R f (x)da and called the integral of f over R. Proposition 6.2. The integral satisfies: (i) R f da is linear in f, (ii) if f (x, y) g(x, y) for all (x, y) R then R f (x, y)da R g(x, y)da with equality if and only f (x, y) = g(x, y) for all (x, y) R, (iii) if f (x, y) 0 then R f (x, y)da is the volume in R3 of the region consisting of all (x, y, z) such that (x, y) R and 0 z f (x, y) and (iv) if R and R 2 are two regions with R R 2 = and R = R R 2 then R f da + R 2 f da = R f da. Theorem 6.3 (Fubini). Let R be a closed bounded region in R 2 and f : R R a continuous function. Then ( ) ( ) f (x, y)dx dy = f da = f (x, y)dy dx. R All these results generalise to R n. Definition 6.4. Let U be an open subset of R n and f : U R be continuous and define the support of f (supp(f )) to be the closure in U of {x U : f (x) 0}. Theorem 6.5 (Change of variable formula). Let U and V be open subsets of R n and let ψ: U V be a diffeomorphism. Let f : V R have support which is closed and bounded in R n then f dx... dx n = f ψ det(j(ψ)) dx... dx n where U V ψ... J(ψ) = ψ n... ψ n ψ n n
8 8 is the Jacobian matrix of ψ Volume forms and integration. Let V be a vector space of dimension n. An n-form is a multilinear and totally antisymmetric map ω: V V R. n times Multilinear means linear in each of the n factors separately, that is for any w i, v,..., v n V and a, b R we have ω(v,..., av i + bw i,..., v n ) = aω(v,..., v i,..., v n ) + bω(v,..., w i,..., v n ). Totally antisymmetric means that if π is a permutation of the numbers,..., n with sign denoted by sign(π) then ω(v π(),..., v π(n) ) = sign(π)ω(v,..., v n ). Notice that if ω is an n-form then and hence ω(v,..., v i,..., v j,..., v n ) = ω(v,..., v j,..., v i,..., v n ) ω(v,..., v,..., v,..., v n ) = 0. If v,..., v n is a basis of V we define an n-form [v,..., v n ] by where w i = n j X ij v j for each i =,..., n. [v,..., v n ](w,..., w n ) = det(x ij ) We denote the set of all n-forms by det(v ). It is a vector space and we have Proposition 6.6. The space of all n-forms, det(v ), is one dimensional. If ω is an n-form and v,..., v n is a basis then ω = ω(v,..., v n )[v,..., v n ]. Corollary 6.7. Let w,..., w n and v,..., v n be bases of V. Let w i = n j= X ij v j, then [v,..., v n ] = det(x ij )[w,..., w n ]. If Σ R N is an n dimensional submanifold then each tangent space T s Σ is n dimensional and we can form det(t s Σ ) the space of all n-forms on T s Σ. As det(t s Σ ) is one dimensional it follows that det(t s Σ ) {0} has two connected components. We call Σ oriented if we have picked one of these two components at each s on Σ in a continuous manner. If ω is in the chosen half of det(t s Σ ) {0} then we call it positive. If ψ: U Σ is a parametrisation then we say it is oriented if the n form [ ψ,..., ψ ] is positive. n An n form ω on an n dimensional submanifold is a smooth choice of an ω(s) det(t s Σ ) for every s Σ. To say what smooth means we choose a parametrisation ψ: U Σ. Then if ψ(x) = s we have [ ] ψ ψ ω(s) = ω ψ (s) (x),..., n (x) where from Prop. 6.6 we have that ω ψ (s) = ω(s) ( ψ (ψ (s)),..., ψ ) n (ψ (s)). We call ω smooth if whenever we choose a parametrisation like this the function ω ψ : ψ(u) R is smooth. Proposition 6.8. If χ : V Σ and ψ: U Σ are parametrisations and χ(v ) = ψ(u) then ( ω ψ = det(j(χ ψ)) ψ ) ω χ. If χ and ψ are both oriented parametrisations then det(j(χ ψ)) > 0. Note 6.. This proposition shows that if ω χ is smooth then so also is ω ψ. Definition 6.9. If ω is a smooth n-form on a submanifold Σ we define its support to be the closure of the set of points at which it is not zero. If ˆπ is the matrix whose (i, j)th entry is if π(i) = j and zero otherwise then sign(π) = det( ˆπ).
9 9 Definition 6.0. If ψ: U Σ is an oriented parametrisation and ω a smooth n form with support in ψ(u) we define I ψ (ω) = ω ψ ψdx... dx n. Proposition 6.. If χ : V Σ is another oriented parametrisation then I ψ (ω) = I χ (ω). U Note 6.2. To be sure that the integral exists we should really require that the support of ω be compact, ie closed and bounded in R N. Definition 6.2. Let {U α } α I be an open cover of Σ. A partition of unity subordinate to this cover is a collection of smooth functions ρ α : Σ [0, ) R such that supp(ρ α ) U α and α ρ α =. Note 6.3. To make sure the sum in the integral makes sense we should impose a condition called local finiteness. For this purposes of this course the sums can be assumed to be finite so we will ignore this point. If ω is an n form with support in the image of some (oriented) parametrisation ψ: U Σ then we define ω = I ψ (ω). Σ If ω is a more general form we assume that it is possible to find a collection of parametrisations ψ α : U α Σ with Σ = ψ α (U α ) and a partition of unity subordinate to {ψ α (U α )} and we define ω = ρ α ω. Σ α M Note 6.4. () The support of ρ α ω is in ψ α (U α ). (2) The existence of the partition of unity required is guaranteed in much generality which we will not go into in this course. We shall assume it exists. Proposition 6.3. The integral of an n form just defined is independent of the choice of parametrisations and partition of unity Volume forms. Lemma 6.4. If V is a vector space with an inner product, and e,..., e n and f,..., f n are orthonormal bases then [e,..., e n ] = ±[f,..., f n ]. Definition 6.5. If Σ R N is an oriented submanifold and e,..., e n is an orthonormal basis of T s Σ and [e,..., e n ] is positive we define vol Σ (s) = [e,..., e n ], the volume form of Σ. Note 6.5. () Orthonormal means orthonormal with respect to the inner product on R N restricted to T s Σ. (2) The Lemma guarantees that the volume is independent of the choice or orthonormal basis. (3) When its obvious from context we will drop the Σ from vol Σ and just write vol. Proposition 6.6. Let ψ: U Σ be a parametrisation of Σ. Let g ij = ψ, ψ then i j Note 6.6. It follows that vol Σ is a smooth n form. vol Σ = det(g ij ) /2 [ ψ,..., ψ n Lemma 6.7. If V R 3 is a two dimensional subspace and ω is any two form on V then there is an n V (not necessarily unit length) such that for any v and w in V we have ω(v, w) = v w, n. Note 6.7. This lemma shows that orienting a surface by chosing a normal is the same as orienting a surface by choosing one half of det(t s Σ ). Proposition 6.8. If Σ R 3 is an oriented surface and n is the unit normal to Σ at s which defines the orientation then for any v and w in T s Σ. vol Σ (v, w) = v w, n ].
10 One forms. Let Σ be a submanifold and f : Σ R a smooth function. Then for any s Σ we have that df (s) = f (s): T s Σ R is a linear map. In particular if ψ: U Σ is a parametrisation and ψ = ψ then each of the components of ψ = ( ψ,..., ψ n ) is a function ψ i : ψ(u) R and hence d ψ i (s): T s Σ R is a linear map for any s ψ(u). We have Proposition 6.9. The linear maps d ψ (s),..., d ψ n (s) are a basis of the dual space T s Σ satisfying ( ) { ψ if i = j d ψ i (s) j (x) = δ i j = 0 if i j if ψ(x) = s. Definition A one form η is a choice of linear map η(s): T s Σ R for every s. Any one form can be expanded as η(s) = n i= η i (s)d ψ i (s) and we say η is smooth if each of the η i : ψ(u) R is smooth. Proposition 6.2. If ψ: U Σ and χ : V Σ are parametrisations and ψ(u) = χ(v ) then n d χ i (χ ψ) i (s) = j (ψ (s))d ψ j (s) so that if η(s) = n i= η i (s)d ψ i (s) and η(s) = n i= η i(s)d χ i (s) then n η i (s) = η j (s) (χ ψ) j i (ψ (s)). j= j= Definition If V is a two dimensional vector space and α and β are one forms we define α β, their wedge product, by (α β)(v, w) = α(v)β(w) α(w)β(v). for any v and w in V. Lemma If ψ: U Σ is a parametrisation of a surface Σ then [ ψ d ψ d ψ 2 =, ψ ] 2. Proposition () If ψ: U Σ is a parametrisation of a surface Σ and η is a one form then the two form dη defined by 2 dη(s) = dη i (s) d ψ i (s) i= ( η2 ψ = (ψ (x)) η ) ψ 2 (ψ (x)) d ψ (s) d ψ 2 (s). is independent of the parametrisation. (2) If f is a function on Σ then d(f η) = df η + f dη. Definition A closed surface is a two dimensional submanifold of R 3 which is closed and bounded. It follows that it has no boundary. Proposition 6.26 (Weak Green s Theorem). If η is a one form on an oriented closed surface Σ then Σ dη = Gauss-Bonnet Theorem Definition 7. (Pulling back two forms). If f : Σ Σ 2 is a smooth map between two submanifolds of dimension n and ω is an n form on Σ 2 we define an n form on Σ called f (ω), the pull-back of ω, as follows. If v,..., v n are in T s Σ then f (s)(v ),..., f (s)(v n ) are in T f (s) Σ 2 and so we define f (ω)(s)(v,..., v n ) = ω(f (s))(f (s)(v ),..., f (s)(v n )). If ψ: U Σ is a local parametrisation and v = n i= v i ψ and w = n i i= w i ψ then f (s)(v) = n i i= v i f ψ i and f (s)(w) = n j= w j f ψ and hence j f (ω)(v, w) = n i,j= ( f ψ v i w j ω(f (s)) i, f ψ ) j.
11 Proposition 7.2. If Σ R 3 is a surface with Gaussian curvature R and n: Σ S 2 is the unit normal then R vol Σ = n (vol 2 S). Note 7.. We choose orientations here so that vol Σ (v, w) = v w, n and similarly for S 2 with n there being the outward normal. Proposition 7.3. Let Σ t be a family of closed oriented surfaces in R 3 depending smoothly on a parameter t. Define η(x) = dn dt dn(x), n then d dt R t vol t = dη. Corollary 7.4. Let Σ t be a family of closed oriented surfaces in R 3 depending smoothly on a parameter t. Then Σ t R t vol is independent of t. Proposition 7.5. For a sphere we have R vol = 2. 2π S 2 Definition 7.6. We say a surface Σ is obtained from a surface Σ by adding a handle if we remove two disks from Σ and attach to the two resulting circles in Σ each end of a cylinder. Proposition 7.7. If the oriented closed surface Σ is obtained from the oriented closed surface Σ by adding a handle then R vol = R vol 2 2π Σ 2π Σ Corollary 7.8. If Σ is obtained from a sphere by adding g handles then R vol = 2 2g. 2π Σ Theorem 7.9. If Σ is a closed surface in R 3 then Σ is homeomorphic to a sphere with g handles. Note 7.2. The quantity g = g(σ) is called the genus of Σ and can be calculated from g(σ) = ( 2 ) R vol 2 2π Σ 7.. Tessellations. Definition 7.0. Let Σ be a surface in R 3. A tessellation T for Σ is: () a set of points v,..., v n in Σ called vertices, (2) a collection of curves e,..., e m called edges which join vertices such that (i) every vertex has at least two edges ending at it and (ii) edges meet only at vertices, and (3) a collection of subsets f,..., f r of Σ called faces such that (i) the boundary of every face is a union of edges and each face is homeomorphic to a polygon in R 2. A tessellation where every face has three edges is called a triangulation. Definition 7.. Let T be a tessellation of a surface Σ and let v be the number of vertices, e the number of edges and f the number of faces. Define χ(σ, T ) = v e + f. Proposition 7.2. Let Σ be a surface and T and T tessellations. Then χ(σ, T ) = χ(σ, T ). Definition 7.3. If Σ is a surface we define its Euler characteristic χ(σ) to be χ(σ, T ) for some some tessellation. Proposition 7.4. If Σ is a surface of genus g, ie it is obtained from a sphere by adding g handles then χ(σ) = 2 2g. Note 7.3. This gives an alternative way of calculating g(σ) namely g(σ) = (/2)(2 χ(σ). Theorem 7.5 (Gauss-Bonnet). If Σ is a closed oriented surface then R vol = χ(σ) = 2 2g(Σ). 2π Σ
INTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM
INTEGRATION ON MANIFOLS and GAUSS-GREEN THEOREM 1. Schwarz s paradox. Recall that for curves one defines length via polygonal approximation by line segments: a continuous curve γ : [a, b] R n is rectifiable
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationFinal Exam Topic Outline
Math 442 - Differential Geometry of Curves and Surfaces Final Exam Topic Outline 30th November 2010 David Dumas Note: There is no guarantee that this outline is exhaustive, though I have tried to include
More information( sin(t), cos(t), 1) dt =
Differential Geometry MT451 Problems/Homework Recommended Reading: Morgan F. Riemannian geometry, a beginner s guide Klingenberg W. A Course in Differential Geometry do Carmo M.P. Differential geometry
More information1 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 informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationTHE 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 informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationClassical differential geometry of two-dimensional surfaces
Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationGeometry Qualifying Exam Notes
Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:
More informationContents. 1. Introduction
FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES KAIXIN WANG Abstract. In this expository paper, we present the fundamental theorem of the local theory of curves along with a detailed proof. We first
More informationLectures in Discrete Differential Geometry 2 Surfaces
Lectures in Discrete Differential Geometry 2 Surfaces Etienne Vouga February 4, 24 Smooth Surfaces in R 3 In this section we will review some properties of smooth surfaces R 3. We will assume that is parameterized
More informationDEVELOPMENT 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 informationMath 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 informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationMathematical Analysis Outline. William G. Faris
Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,
More information1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.
1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces. The set of n-tuples of real numbers is denoted by R n. Suppose that a is a real number
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationIntegration 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 informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
More informationDIFFERENTIAL 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 informationLecture 8. Connections
Lecture 8. Connections This lecture introduces connections, which are the machinery required to allow differentiation of vector fields. 8.1 Differentiating vector fields. The idea of differentiating vector
More informationGood Problems. Math 641
Math 641 Good Problems Questions get two ratings: A number which is relevance to the course material, a measure of how much I expect you to be prepared to do such a problem on the exam. 3 means of course
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationCourse Summary Math 211
Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.
More informationLinear Ordinary Differential Equations
MTH.B402; Sect. 1 20180703) 2 Linear Ordinary Differential Equations Preliminaries: Matrix Norms. Denote by M n R) the set of n n matrix with real components, which can be identified the vector space R
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationNotes 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 informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationSeveral variables. x 1 x 2. x n
Several variables Often we have not only one, but several variables in a problem The issues that come up are somewhat more complex than for one variable Let us first start with vector spaces and linear
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationAnalysis II: The Implicit and Inverse Function Theorems
Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely
More information1 The Differential Geometry of Surfaces
1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1
More informationHomework set 4 - Solutions
Homework set 4 - Solutions Math 407 Renato Feres 1. Exercise 4.1, page 49 of notes. Let W := T0 m V and denote by GLW the general linear group of W, defined as the group of all linear isomorphisms of W
More informationAN INTRODUCTION TO DIFFERENTIAL FORMS, STOKES THEOREM AND GAUSS-BONNET THEOREM
AN INTRODUCTION TO DIFFERENTIAL FORS, STOKES THEORE AND GAUSS-BONNET THEORE ANUBHAV NANAVATY Abstract. This paper serves as a brief introduction to differential geometry. It first discusses the language
More informationRiemannian 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 informationWhat is a Space Curve?
What is a Space Curve? A space curve is a smooth map γ : I R R 3. In our analysis of defining the curvature for space curves we will be able to take the inclusion (γ, 0) and have that the curvature of
More informationON A CHARACTERIZATION OF THE KERNEL OF THE DIRICHLET-TO-NEUMANN MAP FOR A PLANAR REGION
ON A CHARACTERIZATION OF THE KERNEL OF THE DIRICHLET-TO-NEUMANN MAP FOR A PLANAR REGION DAVID INGERMAN AND JAMES A. MORROW Abstract. We will show the Dirichlet-to-Neumann map Λ for the electrical conductivity
More informationTransformations from R m to R n.
Transformations from R m to R n 1 Differentiablity First of all because of an unfortunate combination of traditions (the fact that we read from left to right and the way we define matrix multiplication
More informationMath 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).
Math 27C, Spring 26 Final Exam Solutions. Define f : R 2 R 2 and g : R 2 R 2 by f(x, x 2 (sin x 2 x, e x x 2, g(y, y 2 ( y y 2, y 2 + y2 2. Use the chain rule to compute the matrix of (g f (,. By the chain
More informationPractice 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 informationFunctional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationExercises 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 informationLecture 13. Differential forms
Lecture 13. Differential forms In the last few lectures we have seen how a connection can be used to differentiate tensors, and how the introduction of a Riemannian metric gives a canonical choice of connection.
More informationMATH 411 NOTES (UNDER CONSTRUCTION)
MATH 411 NOTES (NDE CONSTCTION 1. Notes on compact sets. This is similar to ideas you learned in Math 410, except open sets had not yet been defined. Definition 1.1. K n is compact if for every covering
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationChap. 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 informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationCHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.
CHAPTER 3 Gauss map In this chapter we will study the Gauss map of surfaces in R 3. 3.1. Surfaces in R 3 Let S R 3 be a submanifold of dimension 2. Let {U i, ϕ i } be a DS on S. For any p U i we have a
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More information4 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 informationDefinition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.
Chapter 6 Completeness Lecture 18 Recall from Definition 2.22 that a Cauchy sequence in (X, d) is a sequence whose terms get closer and closer together, without any limit being specified. In the Euclidean
More informationSome 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 informationChapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem
Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter
More informationThe Borsuk Ulam Theorem
The Borsuk Ulam Theorem Anthony Carbery University of Edinburgh & Maxwell Institute for Mathematical Sciences May 2010 () 1 / 43 Outline Outline 1 Brouwer fixed point theorem 2 Borsuk Ulam theorem Introduction
More informationDIFFERENTIAL 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 informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
More informationNOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n
NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n 1. What is a form? Since we re not following the development in Guillemin and Pollack, I d better write up an alternate approach. In this approach, we
More informationMinimizing 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 informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
More informationAn Introduction to Gaussian Geometry
Lecture Notes in Mathematics An Introduction to Gaussian Geometry Sigmundur Gudmundsson (Lund University) (version 2.068-16th of November 2017) The latest version of this document can be found at http://www.matematik.lu.se/matematiklu/personal/sigma/
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY
INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),
More information1. Bounded linear maps. A linear map T : E F of real Banach
DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More information1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3
Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric
More informationAnalysis-3 lecture schemes
Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space
More informationLinear Analysis Lecture 5
Linear Analysis Lecture 5 Inner Products and V Let dim V < with inner product,. Choose a basis B and let v, w V have coordinates in F n given by x 1. x n and y 1. y n, respectively. Let A F n n be the
More informationMath 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 informationChapter -1: Di erential Calculus and Regular Surfaces
Chapter -1: Di erential Calculus and Regular Surfaces Peter Perry August 2008 Contents 1 Introduction 1 2 The Derivative as a Linear Map 2 3 The Big Theorems of Di erential Calculus 4 3.1 The Chain Rule............................
More informationCS 468 (Spring 2013) Discrete Differential Geometry
CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product
More informationDIFFERENTIAL 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 informationSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Differential forms and Riemannian geometry av Thomas Aldheimer 2017 - No 41 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET,
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationSELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013
SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 03 Problem (). This problem is perhaps too hard for an actual exam, but very instructional, and simpler problems using these ideas will be on the
More informationMath 341: Convex Geometry. Xi Chen
Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry
More information