HYPERBOLIC GEOMETRY AND PARALLEL TRANSPORT IN R 2 +
|
|
- Neil Boone
- 6 years ago
- Views:
Transcription
1 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE bstract. We will examine the parallel transport of tangent vectors along a hyperbolic triangle containing sides of only geodesics in the upper half plane R +. We will also verify that the directed angle from the initial vector to the final vector is the negative area of the hyperbolic triangle.. Introduction Geometry can be broken down into two types: Euclidean geometry and non-euclidean geometry. Our paper is focusing on the parallel transport in hyperbolic geometry. Hyperbolic geometry is a non- Euclidean geometry, but before we can get into the characteristics of hyperbolic geometry, we must show the basics of Euclidean geometry so that the differences between the two will be apparent. The concept of Euclidean geometry can be satisfied using Euclid s five postulates which are listed and shown in the figures below: ( ny two points can be joined by a straight line. B ( ny straight line segment can be extended indefinitely into a straight line. B C Date: July, 03.
2 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE (3 Given any straight line segment, a circle can be drawn having the segment as a radius and one endpoint as center. B (4 ll right angles are congruent. C (5 Parallel Postulate : Through any given point not on a line there passes exactly one line that is parallel to that line in the same plane. D B B C The difference between Euclidean and non-euclidean geometry is that the parallel postulate does not hold in non-euclidean geometry. From this, we can now introduce what hyperbolic geometry is. Before we can define hyperbolic geometry, we need to lay out some background of hyperbolic geometry.. Background of Hyperbolic Geometry Much of the history and development of Hyperbolic Geometry can be attributed to the mathematicians Gauss, Bolyai, and Lobachevsky. From its inception to now many mathematicians and physicists have
3 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + 3 found applications for hyperbolic geometry in complex variables, topology of two and three dimensional manifolds, finitely presented infinite groups, as well as physics and computer science... The Upper Half Plane. One model of hyperbolic geometry is the upper-half plane which is defined by: R + {(x, y R : y > 0}. This can also be interpreted in terms of complex numbers where i : H {x + iy : x, y R, y > 0}... The Hyperbolic Metric. The Hyperbolic metric is considered a Riemmanian metric. Definition.. The assignment of an inner-product to each tangent space T p i.e., p R +, p is a Riemannian metric, which can be represented by the matrix: g(p ( 0 yp 0 where p (x p, y p..3. Geodesics. Definition.. On a surface S, special curves called geodesics have the property that for any two points p and q sufficiently close, the length of a curve is less than or equal to any other curve joining p and q. In hyperbolic geometry, a geodesic is either a vertical line or the arc of a semi-circle whose center is on the x-axis. lso, it can be referred to as a curve with an acceleration of zero. This differs from a geodesic in Euclidean geometry, in that the shortest distance between two points p and q is a straight line..4. Isometries. Definition.3. For Riemannian manifolds M and N, a function f : M N is called an isometry if: u, v p df p (u, df p (v f(p, for all p M, u, v T p M. Remark.4. manifold is a space that locally looks like Euclidean space. Riemannian manifold is a manifold with a Riemannian metric. In other words, the distance between two points is preserved under f if f is an isometry.
4 4 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE.5. ffine Connections and Covariant Derivatives. Definition.5. Let R denote the set of vector fields of C on R +. n affine connection is a function where : R R R, denoted by (X,Y X Y satisfying: ( f X +f X Z f X Z + f X. ( X (Y + Y X Y + X Y. (3 X (fy X(fY + f X Y. where f, f, f C (R +. Remark.6. C (R + denotes the smooth functions in R +, so all partial derivatives exist. Theorem.7. Let V be a vector field along the differentiable curve c and let DV be the covariant derivative of V along c, then the function V DV is unique provided ( D(V +V curve γ, ( D(fV DV + DV, where V, V are vector fields along the f (tv + f DV, whenever t f(t R is C, and (3 If V (t Y (γ(t for some vector field Y D, then DV γ(t(y. Definition.8. The coefficients Γ m i,j are called Christoffel symbols. In R +, the Christoffel symbols satisfy: Γ, Γ, Γ, Γ, y The covariant derivative will be helpful in allowing us to take the derivative of vector fields instead of just functions. Lemma.9. The affine connection on R + satisfies ( x ( x y y ( x ( y y (3 y ( x y (4 y ( y y x x y
5 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R Parallel Transport To connect the concepts of parallel lines and interior angles of a triangle, we introduce the notion of a parallel transport. Definition 3.. Let v and w be two vectors in R. Let p and q be two points on curve L. The initial points of v and w are p and q, respectively. We say the parallel transport of vector v is vector w provided v and w form the same angles with curve L, and v and w have the same lengths. Below in figure is a picture of a parallel transport: w v Figure. Parallel Transport We will now show the derivation of a system of differential equations that can be used to find the parallel vector fields with respect to curves. Proof. Given V (f(t, g(t on the vector field γ(t (γ (t, γ (t. Find when DV 0. DV ( D f(t d + g(t d dy d (f(t d + f(td d + d (g(t d dy + g(td d dy f (t d + f(t d γ (t + g (t d dy + g(t d γ (t dy
6 6 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE Now using the fact that γ (t γ (t + γ (t we get: f (t d + f(t d γ (t+γ (t + g (t d dy + g(t d γ (t+γ (t dy We know that γ (t+γ (t Z can be rewritten as γ (t Z + γ (t Z. Therefore we get: f (t d ( + f(t d γ (t + d γ (t +g (t d ( dy + g(t d γ (t dy + d γ (t dy f (t d + f(t d γ (t + f(t d γ (t +g (t d dy + g(t d γ (t dy + g(t d γ (t dy Now using to fact that p(t p(t and knowing that γ (t is the x part of γ(t and γ (t in the y part, we get: f (t d + d f(tγ (t + d f(tγ (t dy g (t d dy + d g(tγ (t dy + d g(tγ (t dy dy f (t d (t d (t d +f(tγ y dy f(tγ y +g (t d (t d (t d dy g(tγ y g(tγ y dy Now to equal 0 we need the x and y parts to both equal 0 and that the y in the previous equation is referring to the y coordinate of the vector field γ(t, so we get the set of equations: f (t d γ (t γ (t f(t d γ (t γ (t g(t d 0. g (t d dy + γ (t γ (t f(t d dy γ (t γ (t g(t d dy 0. Now we drop the d and d since we grouped them by the symbols dy and we solve for f (t and g (t. f (t γ (t γ (t f(t + γ (t γ (t g(t. g (t γ (t γ (t f(t + γ (t γ (t g(t.
7 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + 7 Example 3.. We will calculate the parallel transport of a vector V 0 with angle θ between V 0 and the y-axis along a rectangle. The curve γ is given by γ (t, and γ (t, along the horizontal lines and η π ( π, et and η 0 (0, e t. V (t (b sin(θ + t b, b cos(θ + t b and W (t (et sin θ, e t cos θ are the vector fields, and c is a simple closed rectangular curve from (0, to ( π, to ( π, to (0, to (0,. We start by checking that V and W are parallel along γ and η by showing that: DW (t 0 DV (t. DW d (b sin(θ + t b d + (b sin(θ + t (t,b b D ( d (t,b + d (b cos(θ + t b d dy + (b cos(θ + t (t,b b D ( d dy (t,b b b cos(θ + t b d + b sin(θ + t b d h b (t + ( b b sin(θ + t b d dy + b cos(θ + t b d h b (t dy cos(θ + t b d + b sin(θ + t b d sin(θ + t b d dy + b cos(θ + t b d dy cos(θ + t b d + b sin(θ + t b d y dy sin(θ + t b d dy + b cos(θ + t b ( y d cos(θ + t b d + sin(θ + t b d dy sin(θ + t b d dy cos(θ + t b d 0 lso, DV (a,e t d (et sin θ x + e t sin θ D ( (a,e t x + d (et cosθ y + e t cosθ D ( (a,e t y (a,e t (a,e t. By part 3 of.7,
8 8 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE DV (a,e t e t sin θ ( x + e t sin θ γa(t (a,e t x + e t cos θ ( y + e t cos θ γ(a,t. (a,e t y Notice, if Y (x, y y is a vector field on y R +, then Y (γ a (t e t y (,e t γ a (t. DV (a,e t e t sin θ ( ( x + e t sin θ Y (a,e t x + e t cos θ ( ( y + e t cos θ Y (a,e t y e t sin θ ( ( x + e t sin θ y / y (a,e t x + e t cos θ ( ( y + e t cos θ y / y (a,e t y pplying the Christoffel symbols in.8, we get: DV e t sin θ ( (a,e t x + e t sin θ (a,e t + e t cos θ ( y + e t cos θ (a,e t y 0 T (a,e t. (γ a (t (γ a (t. (γ a (t (γ a (t. (γ a (t x (γ a (t Remark 3.3. T (a,e t is the set of all tangent vectors with initial points (a, e t. Since the fields are indeed parallel, we can calculate a parallel transport along a closed curve, a rectangle. The curves and vector fields were defined above. Refer to Figure to see how the vectors are parallel transported about the rectangle. The blue vectors on the graph are the tangent lines to the rectangle, and the red vectors on the graph represent the transported vectors. The starting position vector is labeled: v 0 (sin θ, cos θ. We start by evaluating γ (t to get our initial vector. The tangent vector is (0,. We let θ represent the angle from the tangent vector to
9 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + 9 7π 8 η 0(t ( π, t V 0 3π 8 π 8 3π 8 V 3 γ (t (t, π 4 V f γ (t (t, 3π 8 η π (t ( π, t V 7π 8 3π 8 V Figure. Parallel Transport round a Rectangle the initial vector. fter moving along γ the tangent vector becomes: ( π η π (0,. Since we are transporting from ( π, to ( π,, we need to solve for t when e t, thus t ln(. So this gets us the point ( π,, by maintaining the angle (sin(θ + π, cos(θ + π. We evaluate: V (ln ( sin(θ + π, cos(θ + π. Our new vector to be transported across the horizontal line is V 3 ( sin(α + t, cos(α + t and W (0 is now ( sin α, cos α in which α is the angle between the tangent vector and V 3. Next we evaluate W (t at t π to get the vector v 3 ( sin(α + π 4, cos(α + π 4. By solving for α in the equation, we get π α + π 4 θ + π, α θ + π 4. Here we are transporting along a vertical line which is a geodesic, so the angle remains the same. The angle of our final vector once we return to the starting point is π. 4
10 0 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE Given the curve c(t (t, mt+b, we used Mathematica in collaboration with the previously derived system of differential equations to find the equation for the parallel vector field, V (t (V (t, V (t where: V (t e t b+mt (e t b+mt, V (t e t b+mt Using Mathematica, we present the parallel transport of the line y t + : Next, we will show a parallel transport along a hyperbolic triangle with two points on the y-axis. Example 3.4. We will show that by parallel transporting a vector about a hyperbolic triangle, we can find the defect angle, or the difference in angle between the initial vector and transported vector. NDE O V V π (α + β + γ B γ βc α + β V 0 V f π (α + β + γ α Figure 3. Parallel Transport bout Hyperbolic Triangle
11 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + By parallel transporting our original vector about the hyperbolic triangle, we have shown that the defect angle is equal to π - (α + β + γ. In both the rectangle and the hyperbolic triangle, there seems to be a correlation between the areas of the figures and the defect angle after the transport. In the next section, we will confirm this speculation. 4. rea Correlation to Parallel Transport of Vectors To find the area of the rectangle, we use the following integral: π 0 π 0 π 0 x π π 4. ( y dy y Before we can prove this using the hyperbolic triangle, we must first show that the maximum area of a hyperbolic triangle is π. To do so, we will verify that the area of a hyperbolic triangle with angles α, β, and γ 0 satisfies the following equation: cos β cos α x 0 dy y π (α + β Intuitively, we see that it is given by figure 4: CD α β 0 Figure 4. rea of B
12 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE Theorem 4.. The angle sum of a hyperbolic triangle is less than π. Proof. To prove this, we will show that the angles of a hyperbolic triangle α, β, and γ 0 with points at, B, and satisfy the following equation: We calculate: cos β cos α x dy y π (α + β. Thus, we have cos β cos α cos β cos α cos β cos α x y x dy y x arcsin(x cos β cos α arcsin(sin( π β arcsin( sin(π α ( π β + (π α. cos β cos α x dy y π (α + β. Since α,β>0, it is clear that the sum of the angles of a hyperbolic triangle is less than π. We will now generalize this result to find the area of any hyperbolic triangle. Theorem 4.. The area of a hyperbolic triangle with angles α, β, and γ is ( BC π - (α + β + γ. Proof. We start by letting our original β β + β. We will find the area of BC by finding the area of B and subtracting BC, which we have already calculated, from that.
13 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + 3 cos β cos α cos β cos α cos β cos α x y x dy y cos β cos(π γ cos β cos(π γ x cos β cos(π γ x dy y y x x arcsin(x cos β cos α arcsin(x cos β cos(π γ arcsin(sin( π β arcsin( sin(π α (arcsin(sin( π γ arcsin( sin(π γ ( π β + (π α ((π β + ( π γ π (α + β (π (γ + β π (α + β + β (π (γ + β π (α + β + γ Therefore, we have shown that the area of any hyperbolic triangle with angles α, β, and γ is π - (α + β + γ. Both of the figures we used to show the parallel transports and areas had at least two points on the y-axis, but we also wanted to know how we could parallel transport along a figure that wasn t on the y-axis. We found out that we could use a Möbius Transformation to map the figure to the y-axis to be able to parallel transport the vectors. 5. Möbius Transformation of an rbitrary Hyperbolic Triangle Given a triangle BC where (X, Y, B (X B, Y B, and C (X C, Y C, we want to find the Möbius transformation of the arbitrary hyperbolic triangle that translates the points of the triangle to the points (0,,(0, Y 0, and(, B respectively where, B > 0. First we want to find a matrix NM for which f NM ( i. Remember that, B, and C can be written as [ X + Y] i, X B + Y B i, and X X C + Y C i respectively. Let matrix M. This gives us the 0
14 4 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE following: f M ( (X + Y i + ( X Y i. 0(X + Y i + [ ] 0 In order to cancel the Y of f M (, let N. 0 Y f NM (B X B X + Y B i Y which, written as a coordinate, would look like ( X B X Y, Y B Y. We use [ ] cos θ sin a rotation matrix, K, which is always of the form θ sin θ cos θ, to move the f NM (B to the y-axis as seen in Figure 5. B B θ α r θ (C 0, 0 B Figure 5. Möbius transformation Now we need to find θ, the angle between tangent line of the semicircle through the points and B at and the y-axis. We notice that θ is also the angle between the line from the center of the circle through the points and B to, which is the point (0,, and the x-axis. Therefore tan θ C 0. C 0 can be found with the equation: C 0 ( y B + ( x B x ( x B x
15 HYPERBOLIC GEOMETRY ND PRLLEL TRNSPORT IN R + 5 So C 0 ( x B x ( y B + ( x B x Therefore θ arctan ( ( x B x ( y B + ( x B x From this we get the matrix K: ( cos K ( arctan ( ( sin arctan ( x B x ( y B y +( x B x y ( x B x ( y B y +( x B x y ( ( sin arctan ( ( cos arctan ( x B x ( y B y +( x B x y ( x B x ( y B y +( x B x y So, now the equations for the points of the transformed are f KNM (, B f KNM (B, and C f KNM (C. 6. Future studies Some future studies on the parallel transport might be to look at it in different models of hyperbolic geometry such as the Poincaré disk, and the hyperboloid model. 7. cknowledgements We would like to give a big thanks to our graduate student ndrew Holmes for helping us with this project, in addition to Dr. Edgar Reyes for providing the information needed for this project. lso, we would like to thank the SMILE program for allowing us to have this great opportunity. References [] Beardon,.F., The Geometry of Discrete Groups, Springer-Verlag, Graduate Texts in Mathematics, Vol. 9, 983. [] Do Carmo, M.P., Riemannian Geometry, Birkhäuser, Mathematics: Theory and pplications, 993.
16 6 VINCENT GLORIOSO, BRITTNY LNDRY, ND PHILLIP WHITE Mathematics Department, Southeastern Louisiana University, Hammond, Louisiana address: Mathematics Department, University of labama, Tuscaloosa, labama address: Mathematics Department, Southeastern Louisiana University, Hammond, Louisiana address:
A crash course the geometry of hyperbolic surfaces
Lecture 7 A crash course the geometry of hyperbolic surfaces 7.1 The hyperbolic plane Hyperbolic geometry originally developed in the early 19 th century to prove that the parallel postulate in Euclidean
More informationPOINCARE AND NON-EUCLIDEAN GEOMETRY
Bulletin of the Marathwada Mathematical Society Vol. 12, No. 1, June 2011, Pages 137 142. POINCARE AND NON-EUCLIDEAN GEOMETRY Anant W. Vyawahare, 49, Gajanan Nagar, Wardha Road, NAGPUR - 440 015, M. S.
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 informationThe choice of origin, axes, and length is completely arbitrary.
Polar Coordinates There are many ways to mark points in the plane or in 3-dim space for purposes of navigation. In the familiar rectangular coordinate system, a point is chosen as the origin and a perpendicular
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationTest #1 Geometry MAT 4263
Test #1 Geometry MAT 4263 I. Consider some of the differences and similarities among the three geometries we looked at with respect to each of the following: 1) geodesics (line segments) 2) triangles (appearance,
More informationEquidistant curve coordinate system. Morio Kikuchi
Equidistant curve coordinate system Morio Kiuchi Abstract: An isometry is realized between Poincaré dis of which radius is not limited to 1 and upper half-plane. Poincaré metrics are the same in both regions
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
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 informationWhat is a vector in hyperbolic geometry? And, what is a hyperbolic linear transformation?
0 What is a vector in hyperbolic geometry? And, what is a hyperbolic linear transformation? Ken Li, Dennis Merino, and Edgar N. Reyes Southeastern Louisiana University Hammond, LA USA 70402 1 Introduction
More informationINTRODUCTION TO GEOMETRY
INTRODUCTION TO GEOMETRY ERIKA DUNN-WEISS Abstract. This paper is an introduction to Riemannian and semi-riemannian manifolds of constant sectional curvature. We will introduce the concepts of moving frames,
More informationLecture 6 SPHERICAL GEOMETRY
1 Lecture 6 SPHERICAL GEOMETRY So far we have studied finite and discrete geometries, i.e., geometries in which the main transformation group is either finite or discrete. In this lecture, we begin our
More informationPoincaré Models of Hyperbolic Geometry
Chapter 9 Poincaré Models of Hyperbolic Geometry 9.1 The Poincaré Upper Half Plane Model The next model of the hyperbolic plane that we will consider is also due to Henri Poincaré. We will be using the
More informationFrom now on angles will be drawn with their vertex at the. The angle s initial ray will be along the positive. Think of the angle s
Fry Texas A&M University!! Math 150!! Chapter 8!! Fall 2014! 1 Chapter 8A Angles and Circles From now on angles will be drawn with their vertex at the The angle s initial ray will be along the positive.
More informationHighly complex: Möbius transformations, hyperbolic tessellations and pearl fractals
Highly complex: Möbius transformations, hyperbolic tessellations and pearl fractals Department of mathematical sciences Aalborg University Cergy-Pontoise 26.5.2011 Möbius transformations Definition Möbius
More informationProperties of the Pseudosphere
Properties of the Pseudosphere Simon Rubinstein Salzedo May 25, 2004 Euclidean, Hyperbolic, and Elliptic Geometries Euclid began his study of geometry with five axioms. They are. Exactly one line may drawn
More informationIsometries of Hyperbolic Space
Isometries of Hyperbolic Space Steven Olsen, Emily Gaudet, Jude Foret, and Willie Austin June 14, 2013 Isometries of Hyperbolic Space June 14, 2013 1 / 37 Isometries and Geodesics Our goal involves finding
More informationExercises for Unit V (Introduction to non Euclidean geometry)
Exercises for Unit V (Introduction to non Euclidean geometry) V.1 : Facts from spherical geometry Ryan : pp. 84 123 [ Note : Hints for the first two exercises are given in math133f07update08.pdf. ] 1.
More informationCreated by T. Madas LINE INTEGRALS. Created by T. Madas
LINE INTEGRALS LINE INTEGRALS IN 2 DIMENSIONAL CARTESIAN COORDINATES Question 1 Evaluate the integral ( x + 2y) dx, C where C is the path along the curve with equation y 2 = x + 1, from ( ) 0,1 to ( )
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 informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationIII.3. Analytic Functions as Mapping, Möbius Transformations
III.3. Analytic Functions as Mapping, Möbius Transformations 1 III.3. Analytic Functions as Mapping, Möbius Transformations Note. To graph y = f(x) where x,y R, we can simply plot points (x,y) in R 2 (that
More informationI.e., the range of f(x) = arctan(x) is all real numbers y such that π 2 < y < π 2
Inverse Trigonometric Functions: The inverse sine function, denoted by fx = arcsinx or fx = sin 1 x is defined by: y = sin 1 x if and only if siny = x and π y π I.e., the range of fx = arcsinx is all real
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 informationTheorem. In terms of the coordinate frame, the Levi-Civita connection is given by:
THE LEVI-CIVITA CONNECTION FOR THE POINCARÉ METRIC We denote complex numbers z = x + yi C where x, y R. Let H 2 denote the upper half-plane with the Poincaré metric: {x + iy x, y R, y > 0} g = dz 2 y 2
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationContinued fractions and geodesics on the modular surface
Continued fractions and geodesics on the modular surface Chris Johnson Clemson University September 8, 203 Outline The modular surface Continued fractions Symbolic coding References Some hyperbolic geometry
More informationIntegrals. D. DeTurck. January 1, University of Pennsylvania. D. DeTurck Math A: Integrals 1 / 61
Integrals D. DeTurck University of Pennsylvania January 1, 2018 D. DeTurck Math 104 002 2018A: Integrals 1 / 61 Integrals Start with dx this means a little bit of x or a little change in x If we add up
More informationMAT1035 Analytic Geometry
MAT1035 Analytic Geometry Lecture Notes R.A. Sabri Kaan Gürbüzer Dokuz Eylül University 2016 2 Contents 1 Review of Trigonometry 5 2 Polar Coordinates 7 3 Vectors in R n 9 3.1 Located Vectors..............................................
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 informationAcademic Challenge 2009 Regional Mathematics Solution Set. #2 Ans. C. Let a be the side of the cube. Then its surface area equals 6a = 10, so
Academic Challenge 009 Regional Mathematics Solution Set #1 Ans. C: x 4 = x 9 = -5 # Ans. C. Let a be the side of the cube. Then its surface area equals 6a = 10, so a = 10 / 6 and volume V = a = ( 10 /
More informationHigher Geometry Problems
Higher Geometry Problems (1) Look up Eucidean Geometry on Wikipedia, and write down the English translation given of each of the first four postulates of Euclid. Rewrite each postulate as a clear statement
More informationMath 20C Homework 2 Partial Solutions
Math 2C Homework 2 Partial Solutions Problem 1 (12.4.14). Calculate (j k) (j + k). Solution. The basic properties of the cross product are found in Theorem 2 of Section 12.4. From these properties, we
More informationGroups up to quasi-isometry
OSU November 29, 2007 1 Introduction 2 3 Topological methods in group theory via the fundamental group. group theory topology group Γ, a topological space X with π 1 (X) = Γ. Γ acts on the universal cover
More information2 Trigonometric functions
Theodore Voronov. Mathematics 1G1. Autumn 014 Trigonometric functions Trigonometry provides methods to relate angles and lengths but the functions we define have many other applications in mathematics..1
More informationMAT100 OVERVIEW OF CONTENTS AND SAMPLE PROBLEMS
MAT100 OVERVIEW OF CONTENTS AND SAMPLE PROBLEMS MAT100 is a fast-paced and thorough tour of precalculus mathematics, where the choice of topics is primarily motivated by the conceptual and technical knowledge
More informationDIFFERENTIAL GEOMETRY HW 5
DIFFERENTIAL GEOMETRY HW 5 CLAY SHONKWILER 1 Check the calculations above that the Gaussian curvature of the upper half-plane and Poincaré disk models of the hyperbolic plane is 1. Proof. The calculations
More informationMöbius Transformation
Möbius Transformation 1 1 June 15th, 2010 Mathematics Science Center Tsinghua University Philosophy Rigidity Conformal mappings have rigidity. The diffeomorphism group is of infinite dimension in general.
More informationE. Falbel and P.-V. Koseleff
Mathematical Research Letters 9, 379 391 (2002) A CIRCLE OF MODULAR GROUPS IN PU(2,1) E. Falbel and P.-V. Koseleff Abstract. We prove that there exists a circle of discrete and faithful embeddings of the
More information1 Introduction: connections and fiber bundles
[under construction] 1 Introduction: connections and fiber bundles Two main concepts of differential geometry are those of a covariant derivative and of a fiber bundle (in particular, a vector bundle).
More informationHigher Geometry Problems
Higher Geometry Problems (1 Look up Eucidean Geometry on Wikipedia, and write down the English translation given of each of the first four postulates of Euclid. Rewrite each postulate as a clear statement
More informationMATH 127 SAMPLE FINAL EXAM I II III TOTAL
MATH 17 SAMPLE FINAL EXAM Name: Section: Do not write on this page below this line Part I II III TOTAL Score Part I. Multiple choice answer exercises with exactly one correct answer. Each correct answer
More informationMath 5378, Differential Geometry Solutions to practice questions for Test 2
Math 5378, Differential Geometry Solutions to practice questions for Test 2. Find all possible trajectories of the vector field w(x, y) = ( y, x) on 2. Solution: A trajectory would be a curve (x(t), y(t))
More informationSince 1 revolution = 1 = = Since 1 revolution = 1 = =
Fry Texas A&M University Math 150 Chapter 8A Fall 2015! 207 Since 1 revolution = 1 = = Since 1 revolution = 1 = = Convert to revolutions (or back to degrees and/or radians) a) 45! = b) 120! = c) 450! =
More informationGeometry beyond Euclid
Geometry beyond Euclid M.S. Narasimhan IISc & TIFR, Bangalore narasim@math.tifrbng.res.in 1 Outline: Aspects of Geometry which have gone beyond Euclid Two topics which have played important role in development
More informationTrigonometry: Applications of Trig Functions (2D & 3D), Other Geometries (Grade 12) *
OpenStax-CNX module: m39310 1 Trigonometry: Applications of Trig Functions (2D & 3D), Other Geometries (Grade 12) * Free High School Science Texts Project This work is produced by OpenStax-CNX and licensed
More informationMathematics 3210 Spring Semester, 2005 Homework notes, part 8 April 15, 2005
Mathematics 3210 Spring Semester, 2005 Homework notes, part 8 April 15, 2005 The underlying assumption for all problems is that all points, lines, etc., are taken within the Poincaré plane (or Poincaré
More information49. Green s Theorem. The following table will help you plan your calculation accordingly. C is a simple closed loop 0 Use Green s Theorem
49. Green s Theorem Let F(x, y) = M(x, y), N(x, y) be a vector field in, and suppose is a path that starts and ends at the same point such that it does not cross itself. Such a path is called a simple
More information2013 HSC Mathematics Extension 2 Marking Guidelines
3 HSC Mathematics Extension Marking Guidelines Section I Multiple-choice Answer Key Question Answer B A 3 D 4 A 5 B 6 D 7 C 8 C 9 B A 3 HSC Mathematics Extension Marking Guidelines Section II Question
More informationCreated by T. Madas. Candidates may use any calculator allowed by the regulations of this examination.
IYGB GCE Mathematics SYN Advanced Level Snoptic Paper C Difficult Rating: 3.895 Time: 3 hours Candidates ma use an calculator allowed b the regulations of this eamination. Information for Candidates This
More information612 CLASS LECTURE: HYPERBOLIC GEOMETRY
612 CLASS LECTURE: HYPERBOLIC GEOMETRY JOSHUA P. BOWMAN 1. Conformal metrics As a vector space, C has a canonical norm, the same as the standard R 2 norm. Denote this dz one should think of dz as the identity
More informationThe existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013
The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds Zdeněk Dušek Sao Paulo, 2013 Motivation In a previous project, it was proved that any homogeneous affine manifold (and
More information274 Curves on Surfaces, Lecture 4
274 Curves on Surfaces, Lecture 4 Dylan Thurston Notes by Qiaochu Yuan Fall 2012 4 Hyperbolic geometry Last time there was an exercise asking for braids giving the torsion elements in PSL 2 (Z). A 3-torsion
More informationMATHEMATICS 200 April 2010 Final Exam Solutions
MATHEMATICS April Final Eam Solutions. (a) A surface z(, y) is defined by zy y + ln(yz). (i) Compute z, z y (ii) Evaluate z and z y in terms of, y, z. at (, y, z) (,, /). (b) A surface z f(, y) has derivatives
More informationLectures 15: Parallel Transport. Table of contents
Lectures 15: Parallel Transport Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams. In this lecture we study the
More information2 hours THE UNIVERSITY OF MANCHESTER.?? January 2017??:????:??
hours MATH3051 THE UNIVERSITY OF MANCHESTER HYPERBOLIC GEOMETRY?? January 017??:????:?? Answer ALL FOUR questions in Section A (40 marks in all) and TWO of the THREE questions in Section B (30 marks each).
More informationPractice problems from old exams for math 132 William H. Meeks III
Practice problems from old exams for math 32 William H. Meeks III Disclaimer: Your instructor covers far more materials that we can possibly fit into a four/five questions exams. These practice tests are
More informationSurfaces 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 informationChapter 14 Hyperbolic geometry Math 4520, Fall 2017
Chapter 14 Hyperbolic geometry Math 4520, Fall 2017 So far we have talked mostly about the incidence structure of points, lines and circles. But geometry is concerned about the metric, the way things are
More informationArc Length and Riemannian Metric Geometry
Arc Length and Riemannian Metric Geometry References: 1 W F Reynolds, Hyperbolic geometry on a hyperboloid, Amer Math Monthly 100 (1993) 442 455 2 Wikipedia page Metric tensor The most pertinent parts
More informationGreen s Theorem. MATH 311, Calculus III. J. Robert Buchanan. Fall Department of Mathematics. J. Robert Buchanan Green s Theorem
Green s Theorem MATH 311, alculus III J. obert Buchanan Department of Mathematics Fall 2011 Main Idea Main idea: the line integral around a positively oriented, simple closed curve is related to a double
More informationDefinitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )
Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg (2009-03-26) Logic Rule 0 No unstated assumptions may be used in a proof.
More informationSET 1. (1) Solve for x: (a) e 2x = 5 3x
() Solve for x: (a) e x = 5 3x SET We take natural log on both sides: ln(e x ) = ln(5 3x ) x = 3 x ln(5) Now we take log base on both sides: log ( x ) = log (3 x ln 5) x = log (3 x ) + log (ln(5)) x x
More informationIntrinsic Geometry. Andrejs Treibergs. Friday, March 7, 2008
Early Research Directions: Geometric Analysis II Intrinsic Geometry Andrejs Treibergs University of Utah Friday, March 7, 2008 2. References Part of a series of thee lectures on geometric analysis. 1 Curvature
More informationSection 6.2 Notes Page Trigonometric Functions; Unit Circle Approach
Section Notes Page Trigonometric Functions; Unit Circle Approach A unit circle is a circle centered at the origin with a radius of Its equation is x y = as shown in the drawing below Here the letter t
More informationDIFFERENTIAL GEOMETRY HW 5. Show that the law of cosines in spherical geometry is. cos c = cos a cos b + sin a sin b cos θ.
DIFFEENTIAL GEOMETY HW 5 CLAY SHONKWILE Show that the law of cosines in spherical geometry is 5 cos c cos a cos b + sin a sin b cos θ. Proof. Consider the spherical triangle depicted below: Form radii
More informationA PROOF OF THE GAUSS-BONNET THEOREM. Contents. 1. Introduction. 2. Regular Surfaces
A PROOF OF THE GAUSS-BONNET THEOREM AARON HALPER Abstract. In this paper I will provide a proof of the Gauss-Bonnet Theorem. I will start by briefly explaining regular surfaces and move on to the first
More informationWe introduce the third of the classical geometries, hyperbolic geometry.
Chapter Hyperbolic Geometry We introduce the third of the classical geometries, hyperbolic geometry.. Hyperbolic Geometry Lines are (i) vertical lines in H H = H 2 = {(x, y) R 2 y > 0} = {z C Im(z) > 0}
More informationMATH 434 Fall 2016 Homework 1, due on Wednesday August 31
Homework 1, due on Wednesday August 31 Problem 1. Let z = 2 i and z = 3 + 4i. Write the product zz and the quotient z z in the form a + ib, with a, b R. Problem 2. Let z C be a complex number, and let
More informationChapter 5 Notes. 5.1 Using Fundamental Identities
Chapter 5 Notes 5.1 Using Fundamental Identities 1. Simplify each expression to its lowest terms. Write the answer to part as the product of factors. (a) sin x csc x cot x ( 1+ sinσ + cosσ ) (c) 1 tanx
More informationBrief answers to assigned even numbered problems that were not to be turned in
Brief answers to assigned even numbered problems that were not to be turned in Section 2.2 2. At point (x 0, x 2 0) on the curve the slope is 2x 0. The point-slope equation of the tangent line to the curve
More informationNumbers Content Points. Reference sheet (1 pt. each) 1-7 Linear Equations (1 pt. each) / Factoring (2 pt. each) /28
Summer Packet 2015 Your summer packet will be a major test grade for the first nine weeks. It is due the first day of school. You must show all necessary solutions. You will be tested on ALL material;
More information9th Bay Area Mathematical Olympiad
9th Bay rea Mathematical Olympiad February 27, 2007 Problems with Solutions 1 15-inch-long stick has four marks on it, dividing it into five segments of length 1,2,3,4, and 5 inches (although not neccessarily
More informationPlane hyperbolic geometry
2 Plane hyperbolic geometry In this chapter we will see that the unit disc D has a natural geometry, known as plane hyperbolic geometry or plane Lobachevski geometry. It is the local model for the hyperbolic
More informationa k 0, then k + 1 = 2 lim 1 + 1
Math 7 - Midterm - Form A - Page From the desk of C. Davis Buenger. https://people.math.osu.edu/buenger.8/ Problem a) [3 pts] If lim a k = then a k converges. False: The divergence test states that if
More informationPREISSMAN S THEOREM ALEXANDER GRANT
PREISSMAN S THEOREM ALEXANDER GRANT Abstract. This paper presents a proof of Preissman s Theorem, a theorem from the study of Riemannian Geometry that imposes restrictions on the fundamental group of compact,
More information2 Recollection of elementary functions. II
Recollection of elementary functions. II Last updated: October 5, 08. In this section we continue recollection of elementary functions. In particular, we consider exponential, trigonometric and hyperbolic
More information1 Solving equations 1.1 Kick off with CAS 1. Polynomials 1. Trigonometric symmetry properties 1.4 Trigonometric equations and general solutions 1.5 Literal and simultaneous equations 1.6 Review 1.1 Kick
More informationMidterm Exam #1. (y 2, y) (y + 2, y) (1, 1)
Math 5B Integral Calculus March 7, 7 Midterm Eam # Name: Answer Key David Arnold Instructions. points) This eam is open notes, open book. This includes any supplementary tets or online documents. You are
More informationMath 102 Spring 2008: Solutions: HW #3 Instructor: Fei Xu
Math Spring 8: Solutions: HW #3 Instructor: Fei Xu. section 7., #8 Evaluate + 3 d. + We ll solve using partial fractions. If we assume 3 A + B + C, clearing denominators gives us A A + B B + C +. Then
More informationPart IB. Geometry. Year
Part IB Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 17 Paper 1, Section I 3G Give the definition for the area of a hyperbolic triangle with interior angles
More informationNotes for MATH 434 Geometry and Transformations. Francis Bonahon Fall 2015
Notes for MATH 434 Geometry and Transformations Francis Bonahon Fall 2015 Version: October 21, 2016 Department of Mathematics University of Southern California Los Angeles, CA 90089-2532, U.S.A. E-mail
More informationPLEASE MARK YOUR ANSWERS WITH AN X, not a circle! 1. (a) (b) (c) (d) (e) 2. (a) (b) (c) (d) (e) (a) (b) (c) (d) (e) 4. (a) (b) (c) (d) (e)...
Math, Exam III November 6, 7 The Honor Code is in effect for this examination. All work is to be your own. No calculators. The exam lasts for hour and min. Be sure that your name is on every page in case
More informationReview Sheet for Exam 1 SOLUTIONS
Math b Review Sheet for Eam SOLUTIONS The first Math b midterm will be Tuesday, February 8th, 7 9 p.m. Location: Schwartz Auditorium Room ) The eam will cover: Section 3.6: Inverse Trig Appendi F: Sigma
More informationChapter 4. Two-Dimensional Motion
Chapter 4. Two-Dimensional Motion 09/1/003 I. Intuitive (Understanding) Review Problems. 1. If a car (object, body, truck) moves with positive velocity and negative acceleration, it means that its a) speed
More informationHIGHER SCHOOL CERTIFICATE EXAMINATION MATHEMATICS 4 UNIT (ADDITIONAL) Time allowed Three hours (Plus 5 minutes reading time)
N E W S O U T H W A L E S HIGHER SCHOOL CERTIFICATE EXAMINATION 996 MATHEMATICS 4 UNIT (ADDITIONAL) Time allowed Three hours (Plus 5 minutes reading time) DIRECTIONS TO CANDIDATES Attempt ALL questions.
More informationMULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. 3 2, 5 2 C) - 5 2
Test Review (chap 0) Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Solve the problem. ) Find the point on the curve x = sin t, y = cos t, -
More informationKing Fahd University of Petroleum and Minerals Prep-Year Math Program Math (001) - Term 181 Recitation (1.1)
Recitation (1.1) Question 1: Find a point on the y-axis that is equidistant from the points (5, 5) and (1, 1) Question 2: Find the distance between the points P(2 x, 7 x) and Q( 2 x, 4 x) where x 0. Question
More informationSummer Packet Greetings Future AP Calculus Scholar,
Summer Packet 2017 Greetings Future AP Calculus Scholar, I am excited about the work that we will do together during the 2016-17 school year. I do not yet know what your math capability is, but I can assure
More informationLecture Figure 4.5. Relating curvature to the circumference of a circle.
Lecture 26 181 Figure 4.5. Relating curvature to the circumference of a circle. the plane with radius r (Figure 4.5). We will see that circumference = 2πr cr 3 + o(r 3 ) where c is a constant related to
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationTHE INVERSE TRIGONOMETRIC FUNCTIONS
THE INVERSE TRIGONOMETRIC FUNCTIONS Question 1 (**+) Solve the following trigonometric equation ( x ) π + 3arccos + 1 = 0. 1 x = Question (***) It is given that arcsin x = arccos y. Show, by a clear method,
More informationMinnesota State High School Mathematics League
03-4 Meet, Individual Event Question # is intended to be a quickie and is worth point. Each of the next three questions is worth points. Place your answer to each question on the line provided. You have
More informationReview problems for the final exam Calculus III Fall 2003
Review problems for the final exam alculus III Fall 2003 1. Perform the operations indicated with F (t) = 2t ı 5 j + t 2 k, G(t) = (1 t) ı + 1 t k, H(t) = sin(t) ı + e t j a) F (t) G(t) b) F (t) [ H(t)
More informationCore A-level mathematics reproduced from the QCA s Subject criteria for Mathematics document
Core A-level mathematics reproduced from the QCA s Subject criteria for Mathematics document Background knowledge: (a) The arithmetic of integers (including HCFs and LCMs), of fractions, and of real numbers.
More informationSum and difference formulae for sine and cosine. Elementary Functions. Consider angles α and β with α > β. These angles identify points on the
Consider angles α and β with α > β. These angles identify points on the unit circle, P (cos α, sin α) and Q(cos β, sin β). Part 5, Trigonometry Lecture 5.1a, Sum and Difference Formulas Dr. Ken W. Smith
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 informationComplete 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 informationMath 113 Final Exam Practice
Math Final Exam Practice The Final Exam is comprehensive. You should refer to prior reviews when studying material in chapters 6, 7, 8, and.-9. This review will cover.0- and chapter 0. This sheet has three
More information