Hyperbolic orthogonality

Euclidean orthogonality is preserved by rotation in the left diagram; hyperbolic orthogonality with respect to hyperbola (B) is preserved by hyperbolic rotation in the right diagram

In geometry, the relation of hyperbolic orthogonality between two lines separated by the asymptotes of a hyperbola is a concept used in special relativity to define simultaneous events. Two events will be simultaneous when they are on a line hyperbolically orthogonal to a particular time line. This dependence on a certain time line is determined by velocity, and is the basis for the relativity of simultaneity.

## Geometry

Two lines are hyperbolic orthogonal when they are reflections of each other over the asymptote of a given hyperbola. Two particular hyperbolas are frequently used in the plane:

1. xy = 1 with y = 0 as asymptote.

When reflected in the x-axis, a line y = mx becomes y = −mx.

In this case the lines are hyperbolic orthogonal if their slopes are additive inverses.
2. x2 − y2 = 1 with y = x as asymptote. For lines y = mx with −1 < m < 1, when x = 1/m, then y = 1. The point (1/m , 1) on the line is reflected across y = x to (1, 1/m). Therefore the reflected line has slope 1/m and the slopes of hyperbolic orthogonal lines are reciprocals of each other.

The relation of hyperbolic orthogonality actually applies to classes of parallel lines in the plane, where any particular line can represent the class. Thus, for a given hyperbola and asymptote A, a pair of lines (a, b) are hyperbolic orthogonal if there is a pair (c, d) such that [math]\displaystyle{ a \rVert c ,\ b \rVert d }[/math], and c is the reflection of d across A.

Similar to the perpendularity of a circle radius to the tangent, a radius to a hyperbola is hyperbolic orthogonal to a tangent to the hyperbola.[1][2]

A bilinear form is used to describe orthogonality in analytic geometry, with two elements orthogonal when their bilinear form vanishes. In the plane of complex numbers [math]\displaystyle{ z_1 =u + iv, \quad z_2 = x + iy }[/math], the bilinear form is [math]\displaystyle{ xu + yv }[/math], while in the plane of hyperbolic numbers [math]\displaystyle{ w_1 = u + jv,\quad w_2 = x +jy, }[/math] the bilinear form is [math]\displaystyle{ xu - yv . }[/math]

The vectors z1 and z2 in the complex number plane, and w1 and w2 in the hyperbolic number plane are said to be respectively Euclidean orthogonal or hyperbolic orthogonal if their respective inner products [bilinear forms] are zero.[3]

The bilinear form may be computed as the real part of the complex product of one number with the conjugate of the other. Then

[math]\displaystyle{ z_1 z_2^* + z_1^* z_2 = 0 }[/math] entails perpendicularity in the complex plane, while
[math]\displaystyle{ w_1 w_2^* + w_1^* w_2 = 0 }[/math] implies the w's are hyperbolic orthogonal.

The notion of hyperbolic orthogonality arose in analytic geometry in consideration of conjugate diameters of ellipses and hyperbolas.[4] if g and g′ represent the slopes of the conjugate diameters, then [math]\displaystyle{ g g' = - \frac{b^2}{a^2} }[/math] in the case of an ellipse and [math]\displaystyle{ g g' = \frac{b^2}{a^2} }[/math] in the case of a hyperbola. When a = b the ellipse is a circle and the conjugate diameters are perpendicular while the hyperbola is rectangular and the conjugate diameters are hyperbolic-orthogonal.

In the terminology of projective geometry, the operation of taking the hyperbolic orthogonal line is an involution. Suppose the slope of a vertical line is denoted ∞ so that all lines have a slope in the projectively extended real line. Then whichever hyperbola (A) or (B) is used, the operation is an example of a hyperbolic involution where the asymptote is invariant. Hyperbolically orthogonal lines lie in different sectors of the plane, determined by the asymptotes of the hyperbola, thus the relation of hyperbolic orthogonality is a heterogeneous relation on sets of lines in the plane.

## Simultaneity

Since Hermann Minkowski's foundation for spacetime study in 1908, the concept of points in a spacetime plane being hyperbolic-orthogonal to a timeline (tangent to a world line) has been used to define simultaneity of events relative to the timeline. In Minkowski's development the hyperbola of type (B) above is in use.[5] Two vectors (x1, y1, z1, t1) and (x2, y2, z2, t2) are normal (meaning hyperbolic orthogonal) when

[math]\displaystyle{ c^{2} \ t_1 \ t_2 - x_1 \ x_2 - y_1 \ y_2 - z_1 \ z_2 = 0. }[/math]

When c = 1 and the ys and zs are zero, x1 ≠ 0, t2 ≠ 0, then [math]\displaystyle{ \frac{c \ t_1}{x_1} = \frac{x_2}{c \ t_2} }[/math].

Given a hyperbola with asymptote A, its reflection in A produces the conjugate hyperbola. Any diameter of the original hyperbola is reflected to a conjugate diameter. The directions indicated by conjugate diameters are taken for space and time axes in relativity. As E. T. Whittaker wrote in 1910, "[the] hyperbola is unaltered when any pair of conjugate diameters are taken as new axes, and a new unit of length is taken proportional to the length of either of these diameters."[6] On this principle of relativity, he then wrote the Lorentz transformation in the modern form using rapidity.

Edwin Bidwell Wilson and Gilbert N. Lewis developed the concept within synthetic geometry in 1912. They note "in our plane no pair of perpendicular [hyperbolic-orthogonal] lines is better suited to serve as coordinate axes than any other pair"[1]

## References

1. ↑ 1.0 1.1 Edwin B. Wilson & Gilbert N. Lewis (1912) "The Space-time Manifold of Relativity. The Non-Euclidean Geometry of Mechanics and Electromagnetics" Proceedings of the American Academy of Arts and Sciences 48:387–507, esp. 415 doi:10.2307/20022840
2. ↑ Bjørn Felsager (2004), Through the Looking Glass – A glimpse of Euclid’s twin geometry, the Minkowski geometry , ICME-10 Copenhagen; pages 6 & 7.
3. ↑ Sobczyk, G.(1995) Hyperbolic Number Plane, also published in College Mathematics Journal 26:268–80.
4. ↑ Barry Spain (1957) Analytical Conics, ellipse §33, page 38 and hyperbola §41, page 49, from Hathi Trust
5. ↑ Minkowski, Hermann (1909), "Raum und Zeit", Physikalische Zeitschrift 10: 75–88

* Various English translations on Wikisource: Space and Time
6. ↑ E. T. Whittaker (1910) A History of the Theories of Aether and Electricity Dublin: Longmans, Green and Co. (see page 441)

* G. D. Birkhoff (1923) Relativity and Modern Physics, pages 62,3, Harvard University Press.
* Francesco Catoni, Dino Boccaletti, & Roberto Cannata (2008) Mathematics of Minkowski Space, Birkhäuser Verlag, Basel. See page 38, Pseudo-orthogonality.
* Robert Goldblatt (1987) Orthogonality and Spacetime Geometry, chapter 1: A Trip on Einstein's Train, Universitext Springer-Verlag ISBN:0-387-96519-X MR0888161
* J.A. Wheeler; C. Misner; K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. p. 58. ISBN 0-7167-0344-0. https://archive.org/details/gravitation00misn_003.

* v
* t
* e

Relativity

Special
relativity|

| Background|

* Principle of relativity (Galilean relativity
* Galilean transformation)
* Special relativity
* Doubly special relativity

|

Fundamental
concepts|

* Frame of reference
* Speed of light
* Hyperbolic orthogonality
* Rapidity
* Maxwell's equations
* Proper length
* Proper time
* Relativistic mass

Formulation|

* Lorentz transformation

Phenomena|

* Time dilation
* Mass–energy equivalence
* Length contraction
* Relativity of simultaneity
* Relativistic Doppler effect
* Thomas precession
* Ladder paradox
* Twin paradox

Spacetime|

* Light cone
* World line
* Minkowski diagram
* Biquaternions
* Minkowski space

General
relativity|

| Background|

* Introduction
* Mathematical formulation

|

Fundamental
concepts|

* Equivalence principle
* Riemannian geometry
* Penrose diagram
* Geodesics
* Mach's principle

Formulation|

* ADM formalism
* BSSN formalism
* Einstein field equations
* Linearized gravity
* Post-Newtonian formalism
* Raychaudhuri equation
* Hamilton–Jacobi–Einstein equation
* Ernst equation

Phenomena|

* Black hole
* Event horizon
* Singularity
* Two-body problem

* Gravitational waves: astronomy
* detectors (LIGO and collaboration
* Virgo
* LISA Pathfinder
* GEO)
* Hulse–Taylor binary

* Other tests: precession of Mercury
* lensing
* redshift
* Shapiro delay
* frame-dragging / geodetic effect (Lense–Thirring precession)
* pulsar timing arrays

Advanced
theories|

* Brans–Dicke theory
* Kaluza–Klein
* Quantum gravity

Solutions|

* Cosmological: Friedmann–Lemaître–Robertson–Walker (Friedmann equations)
* Kasner
* BKL singularity
* Gödel
* Milne

* Spherical: Schwarzschild (interior
* Tolman–Oppenheimer–Volkoff equation)
* Reissner–Nordström
* Lemaître–Tolman

* Axisymmetric: Kerr (Kerr–Newman)
* Weyl−Lewis−Papapetrou
* Taub–NUT
* van Stockum dust
* discs

* Others: pp-wave
* Ozsváth–Schücking metric

Scientists|

* Poincaré
* Lorentz
* Einstein
* Hilbert
* Schwarzschild
* de Sitter
* Weyl
* Eddington
* Friedmann
* Lemaître
* Milne
* Robertson
* Chandrasekhar
* Zwicky
* Wheeler
* Choquet-Bruhat
* Kerr
* Zel'dovich
* Novikov
* Ehlers
* Geroch
* Penrose
* Hawking
* Taylor
* Hulse
* Bondi
* Misner
* Yau
* Thorne
* Weiss
* others

Categories|

Theory of relativity

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template