DOCSLIB.ORG

Part III — Differential Geometry Definitions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Part III — Differential Geometry Definitions Part III | Differential Geometry Definitions Based on lectures by J. A. Ross Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures. They are nowhere near accurate representations of what was actually lectured, and in particular, all errors are almost surely mine. This course is intended as an introduction to modern differential geometry. It can be taken with a view to further studies in Geometry and Topology and should also be suitable as a supplementary course if your main interests are, for instance in Analysis or Mathematical Physics. A tentative syllabus is as follows. • Local Analysis and Differential Manifolds. Definition and examples of manifolds, smooth maps. Tangent vectors and vector fields, tangent bundle. Geometric consequences of the implicit function theorem, submanifolds. Lie Groups. • Vector Bundles. Structure group. The example of Hopf bundle. Bundle mor- phisms and automorphisms. Exterior algebra of differential forms. Tensors. Symplectic forms. Orientability of manifolds. Partitions of unity and integration on manifolds, Stokes Theorem; de Rham cohomology. Lie derivative of tensors. Connections on vector bundles and covariant derivatives: covariant exterior derivative, curvature. Bianchi identity. • Riemannian Geometry. Connections on the tangent bundle, torsion. Bianchi's identities for torsion free connections. Riemannian metrics, Levi-Civita con- nection, Christoffel symbols, geodesics. Riemannian curvature tensor and its symmetries, second Bianchi identity, sectional curvatures. Pre-requisites An essential pre-requisite is a working knowledge of linear algebra (including bilinear forms) and multivariate calculus (e.g. differentiation and Taylor's theorem in several variables). Exposure to some of the ideas of classical differential geometry might also be useful. 1 Contents III Differential Geometry (Definitions) Contents 0 Introduction 3 1 Manifolds 4 1.1 Manifolds . .4 1.2 Smooth functions and derivatives . .5 1.3 Bump functions and partitions of unity . .5 1.4 Submanifolds . .6 2 Vector fields 7 2.1 The tangent bundle . .7 2.2 Flows . .8 2.3 Lie derivative . .8 3 Lie groups 10 4 Vector bundles 11 4.1 Tensors . 11 4.2 Vector bundles . 12 5 Differential forms and de Rham cohomology 15 5.1 Differential forms . 15 5.2 De Rham cohomology . 15 5.3 Homological algebra and Mayer-Vietoris theorem . 16 6 Integration 17 6.1 Orientation . 17 6.2 Integration . 17 6.3 Stokes Theorem . 18 7 De Rham's theorem* 20 8 Connections 21 8.1 Basic properties of connections . 21 8.2 Geodesics and parallel transport . 21 8.3 Riemannian connections . 22 8.4 Curvature . 22 2 0 Introduction III Differential Geometry (Definitions) 0 Introduction 3 1 Manifolds III Differential Geometry (Definitions) 1 Manifolds 1.1 Manifolds Definition (Chart). A chart (U; ') on a set M is a bijection ' : U ! '(U) ⊆ Rn, where U ⊆ M and '(U) is open. A chart (U; ') is centered at p for p 2 U if '(p) = 0. Definition (Smooth function). Let (U; ') be a chart on M and f : M ! R. We say f is smooth or C1 at p 2 U if f ◦ '−1 : '(U) ! R is smooth at '(p) in the usual sense. '−1 f Rn ⊇ '(U) U R Definition (Atlas). An atlas on a set M is a collection of charts f(Uα;'α)g on M such that S (i) M = α Uα. n (ii) For all α; β, we have 'α(Uα \Uβ) is open in R , and the transition function −1 'α ◦ 'β : 'β(Uα \ Uβ) ! 'α(Uα \ Uβ) is smooth (in the usual sense). Definition (Equivalent atlases). Two atlases A1 and A2 are equivalent if A1[A2 is an atlas. Definition (Differentiable structure). A differentiable structure on M is a choice of equivalence class of atlases. Definition (Manifold). A manifold is a set M with a choice of differentiable structure whose topology is (i) Hausdorff, i.e. for all x; y 2 M, there are open neighbourhoods Ux;Uy ⊆ M with x 2 Ux; y 2 Uy and Ux \ Uy = ;. (ii) Second countable, i.e. there exists a countable collection (Un)n2N of open sets in M such that for all V ⊆ M open, and p 2 V , there is some n such that p 2 Un ⊆ V . Definition (Local coordinates). Let M be a manifold, and ' : U ! '(U) a chart of M. We can write ' = (x1; ··· ; xn) where each xi : U ! R. We call these the local coordinates. Definition (Dimension). If p 2 M, we say M has dimension n at p if for one (thus all) charts ' : U ! Rm with p 2 U, we have m = n. We say M has dimension n if it has dimension n at all points. 4 1 Manifolds III Differential Geometry (Definitions) 1.2 Smooth functions and derivatives Definition (Smooth function). A function f : M ! N is smooth at a point p 2 M if there are charts (U; ') for M and (V; ξ) for N with p 2 U and f(p) 2 V such that ξ ◦ f ◦ '−1 : '(U) ! ξ(V ) is smooth at '(p). A function is smooth if it is smooth at all points p 2 M. A diffeomorphism is a smooth f with a smooth inverse. We write C1(M; N) for the space of smooth maps f : M ! N. We write C1(M) for C1(M; R), and this has the additional structure of an algebra, i.e. a vector space with multiplication. Definition (Curve). A curve is a smooth map I ! M, where I is a non-empty open interval. Definition (Derivation). A derivation on an open subset U ⊆ M at p 2 U is a linear map X : C1(U) ! R satisfying the Leibniz rule X(fg) = f(p)X(g) + g(p)X(f): Definition (Tangent space). Let p 2 U ⊆ M, where U is open. The tangent space of M at p is the vector space 1 TpM = f derivations on U at p g ≡ Derp(C (U)): The subscript p tells us the point at which we are taking the tangent space. Definition (Derivative). Suppose F 2 C1(M; N), say F (p) = q. We define DF jp : TpM ! TqN by DF jp(X)(g) = X(g ◦ F ) 1 for X 2 TpM and g 2 C (V ) with q 2 V ⊆ N. This is a linear map called the derivative of F at p. M F N g g◦F R Definition (Derivative). Let γ : R ! M be a smooth function. Then we write dγ (t) =γ _ (t) = Dγj (1): dt t @ n Definition ( ). Given a chart ' : U ! with ' = (x1; ··· ; xn), we define @xi R ! @ −1 @ = (D'jp) 2 TpM: @xi p @xi '(p) 1.3 Bump functions and partitions of unity Definition (Partition of unity). Let fUαg be an open cover of a manifold M.A 1 partition of unity subordinate to fUαg is a collection 'α 2 C (M; R) such that 5 1 Manifolds III Differential Geometry (Definitions) (i)0 ≤ 'α ≤ 1 (ii) supp('α) ⊆ Uα (iii) For all p 2 M, all but finitely many 'α(p) are zero. P (iv) α 'α = 1. 1.4 Submanifolds Definition (Embedded submanifold). Let M be a manifold with dim M = n, and S be a submanifold of M. We say S is an embedded submanifold if for all p 2 S, there are coordinates x1; ··· ; xn on some chart U ⊆ M containing p such that S \ U = fxk+1 = xk+2 = ··· = xn = 0g for some k. Such coordinates are known as slice coordinates for S. Definition (Immersed submanifold). Let S; M be manifolds, and ι : S,! M be a smooth injective map with Dιjp : TpS ! TpM injective for all p 2 S. Then we call (ι, S) an immersed submanifold. By abuse of notation, we identify S and ι(S). Definition (Regular value). Let F 2 C1(M; N) and c 2 N. Let S = F −1(c). We say c is a regular value if for all p 2 S, the map DF jp : TpM ! TcN is surjective. 6 2 Vector fields III Differential Geometry (Definitions) 2 Vector fields 2.1 The tangent bundle Definition (Vector field). A vector field on some U ⊆ M is a smooth map X : U ! TM such that for all p 2 U, we have X(p) 2 TpM: In other words, we have π ◦ X = id. Definition (Vect(U)). Let Vect(U) denote the set of all vector fields on U. Let X; Y 2 Vect(U), and f 2 C1(U). Then we can define (X + Y )(p) = X(p) + Y (p); (fX)(p) = f(p)X(p): Then we have X + Y; fX 2 Vect(U). So Vect(U) is a C1(U) module. Moreover, if V ⊆ U ⊆ M and X 2 Vect(U), then XjV 2 Vect(V ). Conversely, if fVig is a cover of U, and Xi 2 Vect(Vi) are such that they agree on intersections, then they patch together to give an element of Vect(U). So we say that Vect is a sheaf of C1(M) modules. Definition (Tangent bundle). Let M be a manifold, and [ TM = TpM: p2M There is a natural projection map π : TM ! M sending vp 2 TpM to p. Let x1; ··· ; xn be coordinates on a chart (U; '). Then for any p 2 U and vp 2 TpM, there are some α1; ··· ; αn 2 R such that n X @ vp = αi : @x i=1 i p This gives a bijection −1 n π (U) ! '(U) × R vp 7! (x1(p); ··· ; xn(p); α1; ··· ; αn); These charts make TM into a manifold of dimension 2 dim M, called the tangent bundle of M. Definition (F -related).
Load more

Recommended publications
  • Cohomological Descent on the Overconvergent Site
    COHOMOLOGICAL DESCENT ON THE OVERCONVERGENT SITE DAVID ZUREICK-BROWN Abstract. We prove that cohomological descent holds for finitely presented crystals on the overconvergent site with respect to proper or fppf hypercovers. 1. Introduction Cohomological descent is a robust computational and theoretical tool, central to p-adic cohomology and its applications. On one hand, it facilitates explicit calculations (analo- gous to the computation of coherent cohomology in scheme theory via Cechˇ cohomology); on another, it allows one to deduce results about singular schemes (e.g., finiteness of the cohomology of overconvergent isocrystals on singular schemes [Ked06]) from results about smooth schemes, and, in a pinch, sometimes allows one to bootstrap global definitions from local ones (for example, for a scheme X which fails to embed into a formal scheme smooth near X, one actually defines rigid cohomology via cohomological descent; see [lS07, comment after Proposition 8.2.17]). The main result of the series of papers [CT03,Tsu03,Tsu04] is that cohomological descent for the rigid cohomology of overconvergent isocrystals holds with respect to both flat and proper hypercovers. The barrage of choices in the definition of rigid cohomology is burden- some and makes their proofs of cohomological descent very difficult, totaling to over 200 pages. Even after the main cohomological descent theorems [CT03, Theorems 7.3.1 and 7.4.1] are proved one still has to work a bit to get a spectral sequence [CT03, Theorem 11.7.1]. Actually, even to state what one means by cohomological descent (without a site) is subtle. The situation is now more favorable.
    [Show full text]
  • Homological Algebra
    Homological Algebra Donu Arapura April 1, 2020 Contents 1 Some module theory3 1.1 Modules................................3 1.6 Projective modules..........................5 1.12 Projective modules versus free modules..............7 1.15 Injective modules...........................8 1.21 Tensor products............................9 2 Homology 13 2.1 Simplicial complexes......................... 13 2.8 Complexes............................... 15 2.15 Homotopy............................... 18 2.23 Mapping cones............................ 19 3 Ext groups 21 3.1 Extensions............................... 21 3.11 Projective resolutions........................ 24 3.16 Higher Ext groups.......................... 26 3.22 Characterization of projectives and injectives........... 28 4 Cohomology of groups 32 4.1 Group cohomology.......................... 32 4.6 Bar resolution............................. 33 4.11 Low degree cohomology....................... 34 4.16 Applications to finite groups..................... 36 4.20 Topological interpretation...................... 38 5 Derived Functors and Tor 39 5.1 Abelian categories.......................... 39 5.13 Derived functors........................... 41 5.23 Tor functors.............................. 44 5.28 Homology of a group......................... 45 1 6 Further techniques 47 6.1 Double complexes........................... 47 6.7 Koszul complexes........................... 49 7 Applications to commutative algebra 52 7.1 Global dimensions.......................... 52 7.9 Global dimension of
    [Show full text]
  • Lecture 15. De Rham Cohomology
    Lecture 15. de Rham cohomology In this lecture we will show how differential forms can be used to define topo- logical invariants of manifolds. This is closely related to other constructions in algebraic topology such as simplicial homology and cohomology, singular homology and cohomology, and Cechˇ cohomology. 15.1 Cocycles and coboundaries Let us first note some applications of Stokes’ theorem: Let ω be a k-form on a differentiable manifold M.For any oriented k-dimensional compact sub- manifold Σ of M, this gives us a real number by integration: " ω : Σ → ω. Σ (Here we really mean the integral over Σ of the form obtained by pulling back ω under the inclusion map). Now suppose we have two such submanifolds, Σ0 and Σ1, which are (smoothly) homotopic. That is, we have a smooth map F : Σ × [0, 1] → M with F |Σ×{i} an immersion describing Σi for i =0, 1. Then d(F∗ω)isa (k + 1)-form on the (k + 1)-dimensional oriented manifold with boundary Σ × [0, 1], and Stokes’ theorem gives " " " d(F∗ω)= ω − ω. Σ×[0,1] Σ1 Σ1 In particular, if dω =0,then d(F∗ω)=F∗(dω)=0, and we deduce that ω = ω. Σ1 Σ0 This says that k-forms with exterior derivative zero give a well-defined functional on homotopy classes of compact oriented k-dimensional submani- folds of M. We know some examples of k-forms with exterior derivative zero, namely those of the form ω = dη for some (k − 1)-form η. But Stokes’ theorem then gives that Σ ω = Σ dη =0,sointhese cases the functional we defined on homotopy classes of submanifolds is trivial.
    [Show full text]
  • CURVATURE E. L. Lady the Curvature of a Curve Is, Roughly Speaking, the Rate at Which That Curve Is Turning. Since the Tangent L
    1 CURVATURE E. L. Lady The curvature of a curve is, roughly speaking, the rate at which that curve is turning. Since the tangent line or the velocity vector shows the direction of the curve, this means that the curvature is, roughly, the rate at which the tangent line or velocity vector is turning. There are two refinements needed for this definition. First, the rate at which the tangent line of a curve is turning will depend on how fast one is moving along the curve. But curvature should be a geometric property of the curve and not be changed by the way one moves along it. Thus we define curvature to be the absolute value of the rate at which the tangent line is turning when one moves along the curve at a speed of one unit per second. At first, remembering the determination in Calculus I of whether a curve is curving upwards or downwards (“concave up or concave down”) it may seem that curvature should be a signed quantity. However a little thought shows that this would be undesirable. If one looks at a circle, for instance, the top is concave down and the bottom is concave up, but clearly one wants the curvature of a circle to be positive all the way round. Negative curvature simply doesn’t make sense for curves. The second problem with defining curvature to be the rate at which the tangent line is turning is that one has to figure out what this means. The Curvature of a Graph in the Plane.
    [Show full text]
  • Chapter 13 Curvature in Riemannian Manifolds
    Chapter 13 Curvature in Riemannian Manifolds 13.1 The Curvature Tensor If (M, , )isaRiemannianmanifoldand is a connection on M (that is, a connection on TM−), we− saw in Section 11.2 (Proposition 11.8)∇ that the curvature induced by is given by ∇ R(X, Y )= , ∇X ◦∇Y −∇Y ◦∇X −∇[X,Y ] for all X, Y X(M), with R(X, Y ) Γ( om(TM,TM)) = Hom (Γ(TM), Γ(TM)). ∈ ∈ H ∼ C∞(M) Since sections of the tangent bundle are vector fields (Γ(TM)=X(M)), R defines a map R: X(M) X(M) X(M) X(M), × × −→ and, as we observed just after stating Proposition 11.8, R(X, Y )Z is C∞(M)-linear in X, Y, Z and skew-symmetric in X and Y .ItfollowsthatR defines a (1, 3)-tensor, also denoted R, with R : T M T M T M T M. p p × p × p −→ p Experience shows that it is useful to consider the (0, 4)-tensor, also denoted R,givenby R (x, y, z, w)= R (x, y)z,w p p p as well as the expression R(x, y, y, x), which, for an orthonormal pair, of vectors (x, y), is known as the sectional curvature, K(x, y). This last expression brings up a dilemma regarding the choice for the sign of R. With our present choice, the sectional curvature, K(x, y), is given by K(x, y)=R(x, y, y, x)but many authors define K as K(x, y)=R(x, y, x, y). Since R(x, y)isskew-symmetricinx, y, the latter choice corresponds to using R(x, y)insteadofR(x, y), that is, to define R(X, Y ) by − R(X, Y )= + .
    [Show full text]
  • Algebraic Topology
    Algebraic Topology John W. Morgan P. J. Lamberson August 21, 2003 Contents 1 Homology 5 1.1 The Simplest Homological Invariants . 5 1.1.1 Zeroth Singular Homology . 5 1.1.2 Zeroth deRham Cohomology . 6 1.1.3 Zeroth Cecˇ h Cohomology . 7 1.1.4 Zeroth Group Cohomology . 9 1.2 First Elements of Homological Algebra . 9 1.2.1 The Homology of a Chain Complex . 10 1.2.2 Variants . 11 1.2.3 The Cohomology of a Chain Complex . 11 1.2.4 The Universal Coefficient Theorem . 11 1.3 Basics of Singular Homology . 13 1.3.1 The Standard n-simplex . 13 1.3.2 First Computations . 16 1.3.3 The Homology of a Point . 17 1.3.4 The Homology of a Contractible Space . 17 1.3.5 Nice Representative One-cycles . 18 1.3.6 The First Homology of S1 . 20 1.4 An Application: The Brouwer Fixed Point Theorem . 23 2 The Axioms for Singular Homology and Some Consequences 24 2.1 The Homotopy Axiom for Singular Homology . 24 2.2 The Mayer-Vietoris Theorem for Singular Homology . 29 2.3 Relative Homology and the Long Exact Sequence of a Pair . 36 2.4 The Excision Axiom for Singular Homology . 37 2.5 The Dimension Axiom . 38 2.6 Reduced Homology . 39 1 3 Applications of Singular Homology 39 3.1 Invariance of Domain . 39 3.2 The Jordan Curve Theorem and its Generalizations . 40 3.3 Cellular (CW) Homology . 43 4 Other Homologies and Cohomologies 44 4.1 Singular Cohomology .
    [Show full text]
  • Bordism and Cobordism
    [ 200 ] BORDISM AND COBORDISM BY M. F. ATIYAH Received 28 March 1960 Introduction. In (10), (11) Wall determined the structure of the cobordism ring introduced by Thorn in (9). Among Wall's results is a certain exact sequence relating the oriented and unoriented cobordism groups. There is also another exact sequence, due to Rohlin(5), (6) and Dold(3) which is closely connected with that of Wall. These exact sequences are established by ad hoc methods. The purpose of this paper is to show that both these sequences are ' cohomology-type' exact sequences arising in the well-known way from mappings into a universal space. The appropriate ' cohomology' theory is constructed by taking as universal space the Thom complex MS0(n), for n large. This gives rise to (oriented) cobordism groups MS0*(X) of a space X. We consider also a 'singular homology' theory based on differentiable manifolds, and we define in this way the (oriented) bordism groups MS0*{X) of a space X. The justification for these definitions is that the main theorem of Thom (9) then gives a 'Poincare duality' isomorphism MS0*(X) ~ MSO^(X) for a compact oriented differentiable manifold X. The usual generalizations to manifolds which are open and not necessarily orientable also hold (Theorem (3-6)). The unoriented corbordism group jV'k of Thom enters the picture via the iso- k morphism (4-1) jrk ~ MS0*n- (P2n) (n large), where P2n is real projective 2%-space. The exact sequence of Wall is then just the cobordism sequence for the triad P2n, P2»-i> ^2n-2> while the exact sequence of Rohlin- Dold is essentially the corbordism sequence of the pair P2n, P2n_2.
    [Show full text]
  • Curvature of Riemannian Manifolds
    Curvature of Riemannian Manifolds Seminar Riemannian Geometry Summer Term 2015 Prof. Dr. Anna Wienhard and Dr. Gye-Seon Lee Soeren Nolting July 16, 2015 1 Motivation Figure 1: A vector parallel transported along a closed curve on a curved manifold.[1] The aim of this talk is to define the curvature of Riemannian Manifolds and meeting some important simplifications as the sectional, Ricci and scalar curvature. We have already noticed, that a vector transported parallel along a closed curve on a Riemannian Manifold M may change its orientation. Thus, we can determine whether a Riemannian Manifold is curved or not by transporting a vector around a loop and measuring the difference of the orientation at start and the endo of the transport. As an example take Figure 1, which depicts a parallel transport of a vector on a two-sphere. Note that in a non-curved space the orientation of the vector would be preserved along the transport. 1 2 Curvature In the following we will use the Einstein sum convention and make use of the notation: X(M) space of smooth vector fields on M D(M) space of smooth functions on M 2.1 Defining Curvature and finding important properties This rather geometrical approach motivates the following definition: Definition 2.1 (Curvature). The curvature of a Riemannian Manifold is a correspondence that to each pair of vector fields X; Y 2 X (M) associates the map R(X; Y ): X(M) ! X(M) defined by R(X; Y )Z = rX rY Z − rY rX Z + r[X;Y ]Z (1) r is the Riemannian connection of M.
    [Show full text]
  • Topology - Wikipedia, the Free Encyclopedia Page 1 of 7
    Topology - Wikipedia, the free encyclopedia Page 1 of 7 Topology From Wikipedia, the free encyclopedia Topology (from the Greek τόπος , “place”, and λόγος , “study”) is a major area of mathematics concerned with properties that are preserved under continuous deformations of objects, such as deformations that involve stretching, but no tearing or gluing. It emerged through the development of concepts from geometry and set theory, such as space, dimension, and transformation. Ideas that are now classified as topological were expressed as early as 1736. Toward the end of the 19th century, a distinct A Möbius strip, an object with only one discipline developed, which was referred to in Latin as the surface and one edge. Such shapes are an geometria situs (“geometry of place”) or analysis situs object of study in topology. (Greek-Latin for “picking apart of place”). This later acquired the modern name of topology. By the middle of the 20 th century, topology had become an important area of study within mathematics. The word topology is used both for the mathematical discipline and for a family of sets with certain properties that are used to define a topological space, a basic object of topology. Of particular importance are homeomorphisms , which can be defined as continuous functions with a continuous inverse. For instance, the function y = x3 is a homeomorphism of the real line. Topology includes many subfields. The most basic and traditional division within topology is point-set topology , which establishes the foundational aspects of topology and investigates concepts inherent to topological spaces (basic examples include compactness and connectedness); algebraic topology , which generally tries to measure degrees of connectivity using algebraic constructs such as homotopy groups and homology; and geometric topology , which primarily studies manifolds and their embeddings (placements) in other manifolds.
    [Show full text]
  • Lecture 8: the Sectional and Ricci Curvatures
    LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ⊗2(^2V ∗) the set of 4-tensors that is anti-symmetric with respect to the first two entries and with respect to the last two entries. Lemma 1.1. Suppose T 2 ⊗2(^2V ∗), X; Y 2 V . Let X0 = aX +bY; Y 0 = cX +dY , then T (X0;Y 0;X0;Y 0) = (ad − bc)2T (X; Y; X; Y ): Proof. This follows from a very simple computation: T (X0;Y 0;X0;Y 0) = T (aX + bY; cX + dY; aX + bY; cX + dY ) = (ad − bc)T (X; Y; aX + bY; cX + dY ) = (ad − bc)2T (X; Y; X; Y ): 1 Now suppose (M; g) is a Riemannian manifold. Recall that 2 g ^ g is a curvature- like tensor, such that 1 g ^ g(X ;Y ;X ;Y ) = hX ;X ihY ;Y i − hX ;Y i2: 2 p p p p p p p p p p 1 Applying the previous lemma to Rm and 2 g ^ g, we immediately get Proposition 1.2. The quantity Rm(Xp;Yp;Xp;Yp) K(Xp;Yp) := 2 hXp;XpihYp;Ypi − hXp;Ypi depends only on the two dimensional plane Πp = span(Xp;Yp) ⊂ TpM, i.e. it is independent of the choices of basis fXp;Ypg of Πp. Definition 1.3. We will call K(Πp) = K(Xp;Yp) the sectional curvature of (M; g) at p with respect to the plane Πp. Remark. The sectional curvature K is NOT a function on M (for dim M > 2), but a function on the Grassmann bundle Gm;2(M) of M.
    [Show full text]
  • A Space Curve Is a Smooth Map Γ : I ⊂ R → R 3. in Our Analysis of Defining
    What is a Space Curve? A space curve is a smooth map γ : I ⊂ R ! R3. 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 (γ; 0) is the same as the curvature of γ where γ : I ! R2. Hence, in this part of the talk, γ will always be a space curve. We will make one more restriction on γ, namely that γ0(t) 6= ~0 for no t in its domain. Curves with this property are said to be regular. We now give a complete definition of the curves in which we will study, however after another remark, we will refine that definition as well. Definition: A regular space curve is the image of a smooth map γ : I ⊂ R ! R3 such that γ0 6= ~0; 8t. Since γ and it's image are uniquely related up to reparametrization, one usually just says that a curve is a map i.e making no distinction between the two. The remark about being unique up to reparametrization is precisely the reason why our next restriction will make sense. It turns out that every regular curve admits a unit speed reparametrization. This property proves to be a very remarkable one especially in the case of proving theorems. Note: In practice it is extremely difficult to find a unit speed reparametrization of a general space curve. Before proceeding we remind ourselves of the definition for reparametrization and comment on why regular curves admit unit speed reparametrizations.
    [Show full text]
  • AN INTRODUCTION to the CURVATURE of SURFACES by PHILIP ANTHONY BARILE a Thesis Submitted to the Graduate School-Camden Rutgers
    AN INTRODUCTION TO THE CURVATURE OF SURFACES By PHILIP ANTHONY BARILE A thesis submitted to the Graduate School-Camden Rutgers, The State University Of New Jersey in partial fulfillment of the requirements for the degree of Master of Science Graduate Program in Mathematics written under the direction of Haydee Herrera and approved by Camden, NJ January 2009 ABSTRACT OF THE THESIS An Introduction to the Curvature of Surfaces by PHILIP ANTHONY BARILE Thesis Director: Haydee Herrera Curvature is fundamental to the study of differential geometry. It describes different geometrical and topological properties of a surface in R3. Two types of curvature are discussed in this paper: intrinsic and extrinsic. Numerous examples are given which motivate definitions, properties and theorems concerning curvature. ii 1 1 Introduction For surfaces in R3, there are several different ways to measure curvature. Some curvature, like normal curvature, has the property such that it depends on how we embed the surface in R3. Normal curvature is extrinsic; that is, it could not be measured by being on the surface. On the other hand, another measurement of curvature, namely Gauss curvature, does not depend on how we embed the surface in R3. Gauss curvature is intrinsic; that is, it can be measured from on the surface. In order to engage in a discussion about curvature of surfaces, we must introduce some important concepts such as regular surfaces, the tangent plane, the first and second fundamental form, and the Gauss Map. Sections 2,3 and 4 introduce these preliminaries, however, their importance should not be understated as they lay the groundwork for more subtle and advanced topics in differential geometry.
    [Show full text]