Differential Geometry

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness
Advertisements

8.2 Kernel And Range.
Let V be a variety. If fm 2 I(V), then f 2 I(V).
Hot topics in Modern Cosmology Cargèse - 10 Mai 2011.
Representing Relations Using Matrices
INFINITE SEQUENCES AND SERIES
Mathematical Physics Seminar Notes Lecture 3 Global Analysis and Lie Theory Wayne M. Lawton Department of Mathematics National University of Singapore.
13 VECTOR FUNCTIONS.
Second-Order Differential
PARTIAL DERIVATIVES 14. PARTIAL DERIVATIVES 14.6 Directional Derivatives and the Gradient Vector In this section, we will learn how to find: The rate.
3 DERIVATIVES.
I. Homomorphisms & Isomorphisms II. Computing Linear Maps III. Matrix Operations VI. Change of Basis V. Projection Topics: Line of Best Fit Geometry of.
Ch 3.5: Nonhomogeneous Equations; Method of Undetermined Coefficients
General Relativity Physics Honours 2008 A/Prof. Geraint F. Lewis Rm 557, A29 Lecture Notes 2.
Linear Equations in Linear Algebra
DEPARTMENT OF MATHEMATI CS [ YEAR OF ESTABLISHMENT – 1997 ] DEPARTMENT OF MATHEMATICS, CVRCE.
Example We can also evaluate a definite integral by interpretation of definite integral. Ex. Find by interpretation of definite integral. Sol. By the interpretation.
Copyright © Cengage Learning. All rights reserved.
1 On Free Mechanical Vibrations As derived in section 4.1( following Newton’s 2nd law of motion and the Hooke’s law), the D.E. for the mass-spring oscillator.
Differential Geometry Dominic Leung 梁树培 Lecture 17 Geometry of Submanifolds in R n.
5.4 Fundamental Theorems of Asset Pricing 報告者:何俊儒.
A NONCOMMUTATIVE CLOSED FRIEDMAN WORLD MODEL. 1.Introduction 2.Structure of the model 3.Closed Friedman universe – Geometry and matter 4.Singularities.
3 DERIVATIVES. In this section, we will learn about: Differentiating composite functions using the Chain Rule. DERIVATIVES 3.5 The Chain Rule.
Spinning Particles in Scalar-Tensor Gravity Chih-Hung Wang National Central University D. A. Burton, R. W.Tucker & C. H. Wang, Physics Letter A 372 (2008)
11.2 Series In this section, we will learn about: Various types of series. INFINITE SEQUENCES AND SERIES.
Relativity Discussion 4/19/2007 Jim Emery. Einstein and his assistants, Peter Bergmann, and Valentin Bargmann, on there daily walk to the Institute for.
3 DERIVATIVES.  Remember, they are valid only when x is measured in radians.  For more details see Chapter 3, Section 4 or the PowerPoint file Chapter3_Sec4.ppt.
General Relativity Physics Honours 2008 A/Prof. Geraint F. Lewis Rm 560, A29 Lecture Notes 9.
MAT 1235 Calculus II Section 6.5 Exponential Growth and Decay
On the parallel displacement and parallel vector fields in Finsler Geometry Department of Information and Media Studies University of Nagasaki Tetsuya.
5.3 Definite Integrals and Antiderivatives. What you’ll learn about Properties of Definite Integrals Average Value of a Function Mean Value Theorem for.
Differential Equations MTH 242 Lecture # 09 Dr. Manshoor Ahmed.
Do Now: #18 and 20 on p.466 Find the interval of convergence and the function of x represented by the given geometric series. This series will only converge.
Hodge Theory Calculus on Smooth Manifolds. by William M. Faucette Adapted from lectures by Mark Andrea A. Cataldo.
Section 6.2* The Natural Logarithmic Function. THE NATURAL LOGARITHMIC FUNCTION.
5.3 Definite Integrals and Riemann Sums. I. Rules for Definite Integrals.
An Introduction to Riemannian Geometry Chapter 3 Presented by Mehdi Nadjafikhah © URL: webpages.iust.ac.ir/m_nadjfikhah
MA4229 Lectures 13, 14 Week 12 Nov 1, Chapter 13 Approximation to periodic functions.
1 Tangent Vectors and Normal Vectors Unit Tangent Vector: Let be a smooth curve represented by on an open interval. The unit tangent vector at is defined.
SECTION 5-5A Part I: Exponentials base other than e.
Copyright © Cengage Learning. All rights reserved.
Section 14.2 Computing Partial Derivatives Algebraically
MAT Classical Mechanics
7 INVERSE FUNCTIONS.
Copyright © Cengage Learning. All rights reserved.
An Introduction to Riemannian Geometry
DIFFERENTIATION RULES
First order non linear pde’s
Mathboat.com.
Set Topology MTH 251 Lecture # 8.
Lebesgue measure: Lebesgue measure m0 is a measure on i.e., 1. 2.
Complex Variables. Complex Variables Open Disks or Neighborhoods Definition. The set of all points z which satisfy the inequality |z – z0|
Tangent Vectors and Normal Vectors
§3-3 realization for multivariable systems
Copyright © Cengage Learning. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
Question Suppose exists, find the limit: (1) (2) Sol. (1) (2)
Techniques Of Differentiation
Copyright © Cengage Learning. All rights reserved.
§1-3 Solution of a Dynamical Equation
Copyright © Cengage Learning. All rights reserved.
The Hodge theory of a smooth, oriented, compact Riemannian manifold
Lecture 43 Section 10.1 Wed, Apr 6, 2005
Copyright © Cengage Learning. All rights reserved.
9.5 Equivalence Relations
Copyright © Cengage Learning. All rights reserved.
Chapter 5: Morse functions and function-induced persistence
Copyright © Cengage Learning. All rights reserved.
Computer Aided Geometric Design
Presentation transcript:

Differential Geometry Dominic Leung 梁树培 Lecture 13

The following observations will be helpful in showing that the metric (3.39) has constant curvature K. Define r(u) = {∑ (ui)2}1/2 and σ(r) = -ln(1 + (K/4) r2) . Then { e- σ(∂/∂ui} is a local orthonormal frame field, and the corresponding local orthonormal coframe field is { 𝜃 𝑖 } , where 𝜃 𝑖 = e σ 𝑑𝑢 𝑖 . Now d 𝜃 𝑖 = e σ d σ Ʌ 𝑑𝑢 𝑖 = 𝑗 𝜃 𝑗 Ʌ (∂σ /∂uj) 𝑑𝑢 𝑖 = 𝑗 𝜃 𝑗 Ʌ ((∂σ /∂uj) 𝑑𝑢 𝑖 - (∂σ /∂ui) 𝑑𝑢 𝑗 ) Let 𝜋 𝑗 𝑖 denotes the term in the parenthesis. Then we have 𝜋 𝑗𝑖 = 𝜋 𝑗 𝑘  𝑖𝑘 = - 𝜋 𝑖𝑗 . Therefore by Theorem 1.5 the connection 1-form ω 𝑖𝑗 with respect to the local coframe 𝑑𝑢 𝑖 is given by 𝜋 𝑖𝑗 = (∂σ /∂ui) 𝑑𝑢 𝑗 - (∂σ /∂uj) 𝑑𝑢 𝑖

According to Theorem 1.5 the curvature form Ωij and the curvature tensors can be computer from Ωij = d 𝜋 𝑖𝑗 + ∑ 𝑙 𝜋 𝑖𝑙 Ʌ 𝜋 𝑗𝑙 A direct computations shows that d 𝜋 𝑖𝑗 + ∑ 𝑙 𝜋 𝑖𝑙 Ʌ 𝜋 𝑗𝑙 = - K e σ 𝑑𝑢 𝑖 Ʌ e σ 𝑑𝑢 𝑗 = - K 𝜃 𝑖 Ʌ 𝜃 𝑗 The following partial derivatives of σ will be very helpful in the computations ∂σ /∂uj = - (K/2) e σ 𝑢 𝑖 ∂2σ/∂ 𝑢 𝑘 ∂ 𝑢 𝑙 = (K/2)2 e 2σ 𝑢 𝑘 𝑢 𝑙 for k ≠ 𝑙 ∂2σ/(∂ 𝑢 𝑘 )2 = - (K/2) e σ(1 – (K/2) e σ ( 𝑢 𝑘 )2)

Riemann’s classical metric tensor (3 Riemann’s classical metric tensor (3.39) for a Riemannian manifold has been generalized to generalized Riemannian manifold as follows. Suppose 𝑑𝑠 2 = ϵ1𝑑𝑢1 2 + … + ϵ𝑚𝑑𝑢𝑚 2 1 + 𝐾 4 ϵ𝑖 𝑢𝑖 2 2 ϵi = ±1 (3.40) where K is a real number. Then the generalized Riemannian space with (3.40) as metric tensor has constant sectional curvature K. The computation to show that the sectional curvature for the metric (3.40) is in fact K is similar to that for the Riemannian case with the obvious modifications.

2.8 The metric space structure of a Riemannian manifold We note that if x(t) is a solution of (2.1) of §5-2 in [1], so is x(αt) for any constant α ϵ R. Denoting the geodesic in Theorem 3.1 with c(0) = p and ċ(0) = v by cv . We obtain cv(t) = cv(t /) for   0, t  [0, ϵ]. In particular, cv is defined on [0, ϵ/]. Since cv depends smoothly on v and { v  TpM : ||v|| = 1} is compact, there exists ϵ0  0 with the property that, for ||v|| = 1, cv is defined at least on [0, ϵ0]. Therefore, for any w ϵ Mp with ||w||  ϵ0, cw is defined at least on [0,1]. Definition 2.2. Let M be a Riemannian manifold, p  M, Vp := {v ϵ TpM : cv is defined in [0,1]}, let expp: Vp  M be by defined expp (v) = cv (1). The map expp is called the exponential map of M at p. A connection is complete if every maximal geodesic is complete (has the form (t), - < t <  ).

Theorem. (Hopf-Rinow). Let M be a connected Riemannian manifold Theorem. (Hopf-Rinow) . Let M be a connected Riemannian manifold. Then the following conditions are equivalent. (i) M is a complete metric space. (ii) The Levi-Civita connection on M is complete. (iii) For some x ϵ M, expx is defined on all of TxM (iv) Every closed metric ball in M is compact. A proof of this fundamental theorem in Riemannian Geometry can be found in many books in differential geometry, like Lectures on Differential Geometry By S.S. Chern and others. In this book, the theorem is actually proved for a Finsler manifold.

Differential Geometry Dominic Leung 梁树培 Lecture 14