The Geometry of Special Relativity

Total Page:16

File Type:pdf, Size:1020Kb

The Geometry of Special Relativity THE GEOMETRY OF SPECIAL RELATIVITY Tevian Dray Department of Mathematics Oregon State University The Lorentz transformations at the heart of special relativity are TRIANGLE TRIG LENGTH CONTRACTION COSMIC RAYS just hyperbolic rotations. Special relativity itself can therefore be beautifully described in terms of \hyperbola geometry". ct ct' ct ct' Consider ¹-mesons produced by the collision of cosmic rays with 4 3 gas nuclei in the atmosphere 60 kilometers above the surface of x' x' the earth, which then move vertically downward at nearly the β x x speed of light. The half-life before -mesons decay into other par- HYPERBOLA GEOMETRY 5 ¹ We now recast ordinary triangle trig into hyperbola geometry. ticles is 1.5 microseconds. Assuming it doesn't decay, how long Euclidean distance is based on the unit circle, the set of points which 3 would it take a ¹-meson to reach the surface of the earth? As- Suppose you know tanh ¯ = 5, and you wish to determine cosh ¯. are unit distance from the origin. Hyperbola geometry is obtained One can of course do this algebraically, using the identity suming there were no time dilation, approximately what fraction simply by using a di®erent distance function! Measure the \squared Consider ¯rst a meter stick at rest, as shown in the ¯rst sketch above. of the mesons would reach the earth without decaying? In actual distance" of a point B = (x; y) from the origin using the de¯nition 1 fact, roughly an eighth of the mesons would reach the earth! How cosh2 ¯ = How \wide" is the worldsheet of the stick? The observer at rest of 2 fast are they going? 2 2 2 1 tanh ¯ course measures the length of the stick by locating both ends at the ± = x y ¡ 400 same time, and measuring the distance between them. At t = 0, this ¡ But it is easier to draw any triangle containing an angle whose hy- 3 corresponds to the 2 heavy dots in the sketch, one at the origin and Then, as shown below the unit \circle" becomes the unit hyperbola perbolic tangent is 5. In this case, the obvious choice would be the the other on the unit hyperbola. But all points on the unit hyperbola 400 triangle shown above, with sides of 3 and 5. 9 9 2 2 are at an interval of 1 meter from the origin. The observer at rest x y = 1 What is cosh ¯? Well, we ¯rst need to work out the length ± of the ¡ therefore concludes, unsurprisingly, that the meter stick is 1 meter α hypotenuse. The (hyperbolic) Pythagorean Theorem tells us that α and we further restrict ourselves to the branch with x > 0. If B is a long. point on this hyperbola, then we can de¯ne the hyperbolic angle ¯ 52 32 = ±2 How long does a moving observer think the stick is? This is just Assume the mesons travel at the speed of light. Then it takes them between the line from the origin to B and the (positive) x-axis to be ¡ the \width" of the worldsheet as measured by the moving observer. 60 km the Lorentzian length d of the arc of the unit hyperbola between B so ± is clearly 4. Take a good look at this 3-4-5 triangle of hyperbola This observer follows the same procedure, by locating both ends of the = 200 ¹s 2 2 2 8 m and the point (1; 0), where d = dx dy . We could then de¯ne geometry! Now that we know all the sides of the triangle, it is easy stick at the same time, and measuring the distance between them. 3 10 s ¡ £ the hyperbolic trig functions to be the coordinates (x; y) of B, that to see that cosh ¯ = 5. But time now corresponds to t , not t. At t = 0, this measurement ¯ ¯ 4 0 0 200 400 400 is ¯ ¯ corresponds to the heavy line in the sketch. Since this line fails to to reach the earth. But 200 ¹s is = half-lives, so only 2¡ 3 1:5 3 reach the unit hyperbola, it is clear that the moving observer measures of the mesons would reach the earth! cosh ¯ = x LORENTZ TRANSFORMATIONS the length of a stationary meter stick to be less than 1 meter. Since in fact an eighth reach the earth, which corresponds to 3 half- sinh ¯ = y To determine the exact value measured by the moving observer, use 400=3 lives, time must be dilated by a factor of 3 , so that The Lorentz transformation from a moving frame (x0; ct0) to a frame (hyperbolic) triangle trig. The heavy line in the sketch is the hy- and by symmetry, the point A on this hyperbola has coordinates (x; ct) at rest is given by potenuse of a right triangle, whose horizontal leg measures 1 meter. 400 (x; y) = (sinh ¯; cosh ¯); see the ¯gure below. A little work shows v cosh ® = If the observer is moving with speed c = tanh ¯, then the length of 9 that this de¯nition is exactly the same as the standard one, namely v x = (x0 + ct0) the hypotenuse in meters must be 1= cosh ¯. c But, as shown in the ¯rst drawing above, ¯ ¯ v What if the stick is moving and the observer is at rest? This situation e + e¡ ct = ct0 + x0 cosh ¯ = c is shown in the second sketch above. The worldsheet now corresponds 2 2 2 v p400 9 ³ ´ to a \rotated rectangle", indicated by the parallelograms in the sketch. = tanh ® = ¡ :99974684 e¯ e ¯ We can simplify things still further. Introduce the rapidity ¯ via c 400 ¼ sinh ¯ = ¡ ¡ The fact that the meter stick is 1 meter long in the moving frame is 2 v shown by the distance between the 2 heavy dots (along t0 = 0), and A more accurate argument would use the fact that the mesons travel = tanh ¯ the measurement by the observer at rest is indicated by the heavy line To see this, use x2 y2 = 1 to compute c 60 km in 4:5 ¹s (of proper time). Thus, ¡ (along t = 0). Again, it is clear that the stick appears to have shrunk, Inserting this into the expression for we obtain m dx2 dy2 since the heavy line fails to reach the unit hyperbola. Furthermore, (60 km)(1000 ) 400 2 2 2 2 sinh ® = km = d¯ d = dy dx = 2 = 2 the heavy line is again the hypotenuse of a right triangle (!), whose 6 8 m ´ ¡ x 1 y + 1 2 (4:5 10¡ s)(3 10 s ) 9 ¯ ¯ ¡ 1 cosh ¯ spacelike leg again measures 1 meter. £ £ ¯ ¯ = = = cosh ¯ then take the square root¯ of either ¯expression and integrate. (The 1 tanh2 ¯ scosh2 ¯ sinh2 ¯ Thus, a moving object appears shorter by a factor 1= cosh ¯. so that, as shown in the second drawing above, integrals are hard.) Finally, solve for x or y in terms of ¯. ¡ ¡ p v 400 and = tanh ® = :99974697 y y' v c p4002 + 92 ¼ = tanh ¯ cosh ¯ = sinh ¯ DOPPLER EFFECT A c β B x' Inserting these identities into the Lorentz transformations above β TIME DILATION x brings them to the remarkably simple form x 4 x ct ct' x cosh ¯ sinh ¯ x0 4-x = 2 ct sinh ¯ cosh ¯ ct 2 µ ¶ µ ¶ µ 0 ¶ 4 α α Lorentz transformations are just hyperbolic rotations! 2 x' ACKNOWLEDGMENTS A rocket sends out ashes of light every 2 seconds in its own rest REFERENCES frame, which you receive every 4 seconds. How fast is it going? x This approach to special relativity grew out of class notes for a Draw a horizontal line as shown in the enlarged second drawing, so Using hyperbolic triangle trig, it is straightforward to show that mov- course on Reference Frames, which in turn forms part of a major [1] Corinne A. Manogue and Kenneth S. Krane, The Oregon State University that ing clocks run slow by the same factor as before, namely cosh ¯. Can Paradigms Project: Re-envisioning the Upper Level, you ¯nd the necessary right triangles for both cases in the ¯gure? upper-division curriculum reform e®ort, the Paradigms in Physics Physics Today 56, 53{58 (2003). x project [1], begun in the Department of Physics at Oregon State Uni- tanh ® = The Geometry of Special Relativity 4 x [2] Tevian Dray, , in preparation ¡ versity in 1997, and supported in part by NSF grants DUE{965320 (http://www.math.oregonstate.edu/~tevian/geometry). (4 x)2 x2 = 22 ¡ ¡ and DUE{0231194. This presentation is largely excerpted from a [3] Tevian Dray, The Geometry of Special Relativity, 3 v 3 book in preparation [2], where further details can be found, and has Physics Teacher 46, 144{150 (2004). which is easily solved for x = 2, so that c = tanh ® = 5. also appeared in [3].
Recommended publications
  • Einstein's Velocity Addition Law and Its Hyperbolic Geometry
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Computers and Mathematics with Applications 53 (2007) 1228–1250 www.elsevier.com/locate/camwa Einstein’s velocity addition law and its hyperbolic geometry Abraham A. Ungar∗ Department of Mathematics, North Dakota State University, Fargo, ND 58105, USA Received 6 March 2006; accepted 19 May 2006 Abstract Following a brief review of the history of the link between Einstein’s velocity addition law of special relativity and the hyperbolic geometry of Bolyai and Lobachevski, we employ the binary operation of Einstein’s velocity addition to introduce into hyperbolic geometry the concepts of vectors, angles and trigonometry. In full analogy with Euclidean geometry, we show in this article that the introduction of these concepts into hyperbolic geometry leads to hyperbolic vector spaces. The latter, in turn, form the setting for hyperbolic geometry just as vector spaces form the setting for Euclidean geometry. c 2007 Elsevier Ltd. All rights reserved. Keywords: Special relativity; Einstein’s velocity addition law; Thomas precession; Hyperbolic geometry; Hyperbolic trigonometry 1. Introduction The hyperbolic law of cosines is nearly a century old result that has sprung from the soil of Einstein’s velocity addition law that Einstein introduced in his 1905 paper [1,2] that founded the special theory of relativity. It was established by Sommerfeld (1868–1951) in 1909 [3] in terms of hyperbolic trigonometric functions as a consequence of Einstein’s velocity addition of relativistically admissible velocities. Soon after, Varicakˇ (1865–1942) established in 1912 [4] the interpretation of Sommerfeld’s consequence in the hyperbolic geometry of Bolyai and Lobachevski.
    [Show full text]
  • Old-Fashioned Relativity & Relativistic Space-Time Coordinates
    Relativistic Coordinates-Classic Approach 4.A.1 Appendix 4.A Relativistic Space-time Coordinates The nature of space-time coordinate transformation will be described here using a fictional spaceship traveling at half the speed of light past two lighthouses. In Fig. 4.A.1 the ship is just passing the Main Lighthouse as it blinks in response to a signal from the North lighthouse located at one light second (about 186,000 miles or EXACTLY 299,792,458 meters) above Main. (Such exactitude is the result of 1970-80 work by Ken Evenson's lab at NIST (National Institute of Standards and Technology in Boulder) and adopted by International Standards Committee in 1984.) Now the speed of light c is a constant by civil law as well as physical law! This came about because time and frequency measurement became so much more precise than distance measurement that it was decided to define the meter in terms of c. Fig. 4.A.1 Ship passing Main Lighthouse as it blinks at t=0. This arrangement is a simplified model for a 1Hz laser resonator. The two lighthouses use each other to maintain a strict one-second time period between blinks. And, strict it must be to do relativistic timing. (Even stricter than NIST is the universal agency BIGANN or Bureau of Intergalactic Aids to Navigation at Night.) The simulations shown here are done using RelativIt. Relativistic Coordinates-Classic Approach 4.A.2 Fig. 4.A.2 Main and North Lighthouses blink each other at precisely t=1. At p recisel y t=1 sec.
    [Show full text]
  • Hyperbolic Trigonometry in Two-Dimensional Space-Time Geometry
    Hyperbolic trigonometry in two-dimensional space-time geometry F. Catoni, R. Cannata, V. Catoni, P. Zampetti ENEA; Centro Ricerche Casaccia; Via Anguillarese, 301; 00060 S.Maria di Galeria; Roma; Italy January 22, 2003 Summary.- By analogy with complex numbers, a system of hyperbolic numbers can be intro- duced in the same way: z = x + hy; h2 = 1 x, y R . As complex numbers are linked to the { ∈ } Euclidean geometry, so this system of numbers is linked to the pseudo-Euclidean plane geometry (space-time geometry). In this paper we will show how this system of numbers allows, by means of a Cartesian representa- tion, an operative definition of hyperbolic functions using the invariance respect to special relativity Lorentz group. From this definition, by using elementary mathematics and an Euclidean approach, it is straightforward to formalise the pseudo-Euclidean trigonometry in the Cartesian plane with the same coherence as the Euclidean trigonometry. PACS 03 30 - Special Relativity PACS 02.20. Hj - Classical groups and Geometries 1 Introduction Complex numbers are strictly related to the Euclidean geometry: indeed their invariant (the module) arXiv:math-ph/0508011v1 3 Aug 2005 is the same as the Pythagoric distance (Euclidean invariant) and their unimodular multiplicative group is the Euclidean rotation group. It is well known that these properties allow to use complex numbers for representing plane vectors. In the same way hyperbolic numbers, an extension of complex numbers [1, 2] defined as z = x + hy; h2 =1 x, y R , { ∈ } are strictly related to space-time geometry [2, 3, 4]. Indeed their square module given by1 z 2 = 2 2 | | zz˜ x y is the Lorentz invariant of two dimensional special relativity, and their unimodular multiplicative≡ − group is the special relativity Lorentz group [2].
    [Show full text]
  • Catoni F., Et Al. the Mathematics of Minkowski Space-Time.. With
    Frontiers in Mathematics Advisory Editorial Board Leonid Bunimovich (Georgia Institute of Technology, Atlanta, USA) Benoît Perthame (Ecole Normale Supérieure, Paris, France) Laurent Saloff-Coste (Cornell University, Rhodes Hall, USA) Igor Shparlinski (Macquarie University, New South Wales, Australia) Wolfgang Sprössig (TU Bergakademie, Freiberg, Germany) Cédric Villani (Ecole Normale Supérieure, Lyon, France) Francesco Catoni Dino Boccaletti Roberto Cannata Vincenzo Catoni Enrico Nichelatti Paolo Zampetti The Mathematics of Minkowski Space-Time With an Introduction to Commutative Hypercomplex Numbers Birkhäuser Verlag Basel . Boston . Berlin $XWKRUV )UDQFHVFR&DWRQL LQFHQ]R&DWRQL LDHJOLD LDHJOLD 5RPD 5RPD Italy Italy HPDLOYMQFHQ]R#\DKRRLW Dino Boccaletti 'LSDUWLPHQWRGL0DWHPDWLFD (QULFR1LFKHODWWL QLYHUVLWjGL5RPD²/D6DSLHQ]D³ (1($&5&DVDFFLD 3LD]]DOH$OGR0RUR LD$QJXLOODUHVH 5RPD 5RPD Italy Italy HPDLOERFFDOHWWL#XQLURPDLW HPDLOQLFKHODWWL#FDVDFFLDHQHDLW 5REHUWR&DQQDWD 3DROR=DPSHWWL (1($&5&DVDFFLD (1($&5&DVDFFLD LD$QJXLOODUHVH LD$QJXLOODUHVH 5RPD 5RPD Italy Italy HPDLOFDQQDWD#FDVDFFLDHQHDLW HPDLO]DPSHWWL#FDVDFFLDHQHDLW 0DWKHPDWLFDO6XEMHFW&ODVVL½FDWLRQ*(*4$$ % /LEUDU\RI&RQJUHVV&RQWURO1XPEHU Bibliographic information published by Die Deutsche Bibliothek 'LH'HXWVFKH%LEOLRWKHNOLVWVWKLVSXEOLFDWLRQLQWKH'HXWVFKH1DWLRQDOELEOLRJUD½H GHWDLOHGELEOLRJUDSKLFGDWDLVDYDLODEOHLQWKH,QWHUQHWDWKWWSGQEGGEGH! ,6%1%LUNKlXVHUHUODJ$*%DVHOÀ%RVWRQÀ% HUOLQ 7KLVZRUNLVVXEMHFWWRFRS\ULJKW$OOULJKWVDUHUHVHUYHGZKHWKHUWKHZKROHRUSDUWRIWKH PDWHULDOLVFRQFHUQHGVSHFL½FDOO\WKHULJKWVRIWUDQVODWLRQUHSULQWLQJUHXVHRILOOXVWUD
    [Show full text]
  • Hyperbolic Geometry
    Flavors of Geometry MSRI Publications Volume 31,1997 Hyperbolic Geometry JAMES W. CANNON, WILLIAM J. FLOYD, RICHARD KENYON, AND WALTER R. PARRY Contents 1. Introduction 59 2. The Origins of Hyperbolic Geometry 60 3. Why Call it Hyperbolic Geometry? 63 4. Understanding the One-Dimensional Case 65 5. Generalizing to Higher Dimensions 67 6. Rudiments of Riemannian Geometry 68 7. Five Models of Hyperbolic Space 69 8. Stereographic Projection 72 9. Geodesics 77 10. Isometries and Distances in the Hyperboloid Model 80 11. The Space at Infinity 84 12. The Geometric Classification of Isometries 84 13. Curious Facts about Hyperbolic Space 86 14. The Sixth Model 95 15. Why Study Hyperbolic Geometry? 98 16. When Does a Manifold Have a Hyperbolic Structure? 103 17. How to Get Analytic Coordinates at Infinity? 106 References 108 Index 110 1. Introduction Hyperbolic geometry was created in the first half of the nineteenth century in the midst of attempts to understand Euclid’s axiomatic basis for geometry. It is one type of non-Euclidean geometry, that is, a geometry that discards one of Euclid’s axioms. Einstein and Minkowski found in non-Euclidean geometry a This work was supported in part by The Geometry Center, University of Minnesota, an STC funded by NSF, DOE, and Minnesota Technology, Inc., by the Mathematical Sciences Research Institute, and by NSF research grants. 59 60 J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY geometric basis for the understanding of physical time and space. In the early part of the twentieth century every serious student of mathematics and physics studied non-Euclidean geometry.
    [Show full text]
  • Using Differentials to Differentiate Trigonometric and Exponential Functions Tevian Dray
    Using Differentials to Differentiate Trigonometric and Exponential Functions Tevian Dray Tevian Dray ([email protected]) received his B.S. in mathematics from MIT in 1976, his Ph.D. in mathematics from Berkeley in 1981, spent several years as a physics postdoc, and is now a professor of mathematics at Oregon State University. A Fellow of the American Physical Society for his early work in general relativity, his current research interests include the octonions as well as science education. He directs the Vector Calculus Bridge Project. (http://www.math.oregonstate.edu/bridge) Differentiating a polynomial is easy. To differentiate u2 with respect to u, start by computing d.u2/ D .u C du/2 − u2 D 2u du C du2; and then dropping the last term, an operation that can be justified in terms of limits. Differential notation, in general, can be regarded as a shorthand for a formal limit argument. Still more informally, one can argue that du is small compared to u, so that the last term can be ignored at the level of approximation needed. After dropping du2 and dividing by du, one obtains the derivative, namely d.u2/=du D 2u. Even if one regards this process as merely a heuristic procedure, it is a good one, as it always gives the correct answer for a polynomial. (Physicists are particularly good at knowing what approximations are appropriate in a given physical context. A physicist might describe du as being much smaller than the scale imposed by the physical situation, but not so small that quantum mechanics matters.) However, this procedure does not suffice for trigonometric functions.
    [Show full text]
  • Cheryl Jaeger Balm Hyperbolic Function Project
    Math 43 Fall 2016 Instructor: Cheryl Jaeger Balm Hyperbolic Function Project Circles are part of a family of curves called conics. The various conic sections can be derived by slicing a plane through a double cone. A hyperbola is a conic with two basic forms: y y 4 4 2 2 • (0; 1) (−1; 0) (1; 0) • • x x -4 -2 2 4 -4 -2 2 4 (0; −1) • -2 -2 -4 -4 x2 − y2 = 1 y2 − x2 = 1 x2 − y2 = 1 is the unit hyperbola. Hyperbolic Functions: Similar to how the trigonometric functions, cosine and sine, correspond to the x and y values of the unit circle (x2 + y2 = 1), there are hyperbolic functions, hyperbolic cosine (cosh) and hyperbolic sine (sinh), which correspond to the x and y values of the right side of the unit hyperbola (x2 − y2 = 1). y y -1 1 x x π π 3π 2π π π 3π 2π 2 2 2 2 -1 -1 cos x sin x y y 6 2 4 x 2 -2 2 • (0; 1) -2 x -2 2 cosh x sinh x Hyperbolic Angle: Just like how the argument for the trigonometric functions is an angle, the argument for the hyperbolic functions is something called a hyperbolic angle. Instead of being defined by arc length, the hyperbolic angle is defined by area. If that seems confusing, consider the area of the circular sector of the unit circle. The r2θ equation for the area of a circular sector is Area = 2 , so because the radius of the unit circle is 1, any sector of the unit circle will have an area equal to half of the sector's central θ angle, A = 2 .
    [Show full text]
  • Unifying the Hyperbolic and Spherical 2-Body Problem with Biquaternions
    Unifying the Hyperbolic and Spherical 2-Body Problem with Biquaternions Philip Arathoon December 2020 Abstract The 2-body problem on the sphere and hyperbolic space are both real forms of holo- morphic Hamiltonian systems defined on the complex sphere. This admits a natural description in terms of biquaternions and allows us to address questions concerning the hyperbolic system by complexifying it and treating it as the complexification of a spherical system. In this way, results for the 2-body problem on the sphere are readily translated to the hyperbolic case. For instance, we implement this idea to completely classify the relative equilibria for the 2-body problem on hyperbolic 3-space for a strictly attractive potential. Background and outline The case of the 2-body problem on the 3-sphere has recently been considered by the author in [1]. This treatment takes advantage of the fact that S3 is a group and that the action of SO(4) on S3 is generated by the left and right multiplication of S3 on itself. This allows for a reduction in stages, first reducing by the left multiplication, and then reducing an intermediate space by the residual right-action. An advantage of this reduction-by-stages is that it allows for a fairly straightforward derivation of the relative equilibria solutions: the relative equilibria may first be classified in the intermediate reduced space and then reconstructed on the original phase space. For the 2-body problem on hyperbolic space the same idea does not apply. Hyperbolic 3-space H3 cannot be endowed with an isometric group structure and the symmetry group SO(1; 3) does not arise as a direct product of two groups.
    [Show full text]
  • An Analysis of Spacetime Numbers
    Rowan University Rowan Digital Works Theses and Dissertations 4-30-1999 An analysis of spacetime numbers Nicolae Andrew Borota Rowan University Follow this and additional works at: https://rdw.rowan.edu/etd Recommended Citation Borota, Nicolae Andrew, "An analysis of spacetime numbers" (1999). Theses and Dissertations. 1771. https://rdw.rowan.edu/etd/1771 This Thesis is brought to you for free and open access by Rowan Digital Works. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of Rowan Digital Works. For more information, please contact [email protected]. AN ANALYSIS OF SPACETIME NUMBERS by Nicolae Andrew Borota A Thesis Submitted in partial fulfillment of the requirements of the Masters of Arts Degree of The Graduate School at Rowan University 04/30/99 Approved by Date Approved A/P/ i- 30 /F?7 ABSTRACT Nicolae Andrew Borota An Analysis of Spacetime Numbers 1999 Thesis Mathematics The familiar complex numbers begin by considering the solution to the equation i = -1, which is not a real number. A two-dimensional number system arises of the form z = x + iy. Spacetime numbers are based upon the simple relation j = 1, with the corresponding two-dimensional number system z = x + jt. It seems odd that anything useful can come from this simple idea, since the solutions of our j equation are the familiar real numbers +1 and -1. However, many interesting applications arise from these new numbers. The most useful aspect of spacetime numbers is in solving problems in the areas of special and general relativity. These areas deal with the notion of space-time, hence the name "spacetime numbers." My goal is to explain in a direct, yet simple manner, the use of these special numbers.
    [Show full text]
  • Hyperbolic Geometry
    Flavors of Geometry MSRI Publications Volume 31, 1997 Hyperbolic Geometry JAMES W. CANNON, WILLIAM J. FLOYD, RICHARD KENYON, AND WALTER R. PARRY Contents 1. Introduction 59 2. The Origins of Hyperbolic Geometry 60 3. Why Call it Hyperbolic Geometry? 63 4. Understanding the One-Dimensional Case 65 5. Generalizing to Higher Dimensions 67 6. Rudiments of Riemannian Geometry 68 7. Five Models of Hyperbolic Space 69 8. Stereographic Projection 72 9. Geodesics 77 10. Isometries and Distances in the Hyperboloid Model 80 11. The Space at Infinity 84 12. The Geometric Classification of Isometries 84 13. Curious Facts about Hyperbolic Space 86 14. The Sixth Model 95 15. Why Study Hyperbolic Geometry? 98 16. When Does a Manifold Have a Hyperbolic Structure? 103 17. How to Get Analytic Coordinates at Infinity? 106 References 108 Index 110 1. Introduction Hyperbolic geometry was created in the first half of the nineteenth century in the midst of attempts to understand Euclid’s axiomatic basis for geometry. It is one type of non-Euclidean geometry, that is, a geometry that discards one of Euclid’s axioms. Einstein and Minkowski found in non-Euclidean geometry a ThisworkwassupportedinpartbyTheGeometryCenter,UniversityofMinnesota,anSTC funded by NSF, DOE, and Minnesota Technology, Inc., by the Mathematical Sciences Research Institute, and by NSF research grants. 59 60 J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY geometric basis for the understanding of physical time and space. In the early part of the twentieth century every serious student of mathematics and physics studied non-Euclidean geometry. This has not been true of the mathematicians and physicists of our generation.
    [Show full text]
  • Using Differentials to Differentiate Trigonometric and Exponential Functions
    Using differentials to differentiate trigonometric and exponential functions Tevian Dray Department of Mathematics Oregon State University Corvallis, OR 97331 [email protected] 3 April 2012 Differentiating a polynomial is easy. To differentiate u2 with respect to u, start by computing d(u2)=(u + du)2 − u2 = 2u du + du2 then dropping the last term, an operation that can be justified in terms of limits. Differential notation, in general, can be regarded as a shorthand for a formal limit argument. Still more informally, one can argue that du is small compared to u, so that the last term can be ignored at the level of approximation needed. After dropping du2 and dividing by du, one obtains the derivative, namely d(u2)/du = 2u. Even if one regards this process as merely a heuristic procedure, it is a good one, as it always gives the correct answer for a polynomial. (Physicists are particularly good at knowing what approximations are appropriate in a given physical context. A physicist might describe du as being much smaller than the scale imposed by the physical situation, but not so small that quantum mechanics matters.) However, this procedure does not suffice for trigonometric functions. For example, we may write d(sin θ) = sin(θ + dθ) − sin θ = sin θ cos(dθ) − 1 + cos θ sin(dθ), ³ ´ 1 but to go further we must know something about sin θ and cos θ for small values of θ. Exponential functions offer a similar challenge, since d(eβ)= eβ+dβ − eβ = eβ(edβ − 1), and again we need additional information, in this case about eβ for small values of β.
    [Show full text]
  • A Geometric Introduction to Spacetime and Special Relativity
    A GEOMETRIC INTRODUCTION TO SPACETIME AND SPECIAL RELATIVITY. WILLIAM K. ZIEMER Abstract. A narrative of special relativity meant for graduate students in mathematics or physics. The presentation builds upon the geometry of space- time; not the explicit axioms of Einstein, which are consequences of the geom- etry. 1. Introduction Einstein was deeply intuitive, and used many thought experiments to derive the behavior of relativity. Most introductions to special relativity follow this path; taking the reader down the same road Einstein travelled, using his axioms and modifying Newtonian physics. The problem with this approach is that the reader falls into the same pits that Einstein fell into. There is a large difference in the way Einstein approached relativity in 1905 versus 1912. I will use the 1912 version, a geometric spacetime approach, where the differences between Newtonian physics and relativity are encoded into the geometry of how space and time are modeled. I believe that understanding the differences in the underlying geometries gives a more direct path to understanding relativity. Comparing Newtonian physics with relativity (the physics of Einstein), there is essentially one difference in their basic axioms, but they have far-reaching im- plications in how the theories describe the rules by which the world works. The difference is the treatment of time. The question, \Which is farther away from you: a ball 1 foot away from your hand right now, or a ball that is in your hand 1 minute from now?" has no answer in Newtonian physics, since there is no mechanism for contrasting spatial distance with temporal distance.
    [Show full text]