Hyperbolic-orthogonal
   HOME

TheInfoList



OR:

In
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, the relation of hyperbolic orthogonality between two lines separated by the asymptotes of a
hyperbola In mathematics, a hyperbola (; pl. hyperbolas or hyperbolae ; adj. hyperbolic ) is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, ca ...
is a concept used in
special relativity In physics, the special theory of relativity, or special relativity for short, is a scientific theory regarding the relationship between space and time. In Albert Einstein's original treatment, the theory is based on two postulates: # The law ...
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 In physics, the relativity of simultaneity is the concept that ''distant simultaneity'' – whether two spatially separated events occur at the same time – is not absolute, but depends on the observer's reference frame. This possib ...
.


Geometry

Two lines are hyperbolic orthogonal when they are reflections of each other over the asymptote of a given
hyperbola In mathematics, a hyperbola (; pl. hyperbolas or hyperbolae ; adj. hyperbolic ) is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, ca ...
. Two particular hyperbolas are frequently used in the plane: 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 a \rVert c ,\ b \rVert d , and ''c'' is the reflection of ''d'' across ''A''. Similar to the perpendularity of a circle radius to the
tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. Mo ...
, a radius to a hyperbola is hyperbolic orthogonal to a tangent to the hyperbola. A
bilinear form In mathematics, a bilinear form is a bilinear map on a vector space (the elements of which are called '' vectors'') over a field ''K'' (the elements of which are called '' scalars''). In other words, a bilinear form is a function that is linea ...
is used to describe orthogonality in analytic geometry, with two elements orthogonal when their bilinear form vanishes. In the plane of
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the fo ...
s z_1 =u + iv, \quad z_2 = x + iy, the bilinear form is xu + yv, while in the plane of
hyperbolic number In algebra, a split complex number (or hyperbolic number, also perplex number, double number) has two real number components and , and is written z=x+yj, where j^2=1. The ''conjugate'' of is z^*=x-yj. Since j^2=1, the product of a number w ...
s w_1 = u + jv,\quad w_2 = x +jy, the bilinear form is xu - yv . :The vectors ''z''1 and ''z''2 in the complex number plane, and ''w''1 and ''w''2 in the hyperbolic number plane are said to be respectively ''Euclidean orthogonal'' or ''hyperbolic orthogonal'' if their respective inner products ilinear formsare zero. The bilinear form may be computed as the real part of the complex product of one number with the conjugate of the other. Then :z_1 z_2^* + z_1^* z_2 = 0 entails perpendicularity in the complex plane, while :w_1 w_2^* + w_1^* w_2 = 0 implies the ''ws are hyperbolic orthogonal. The notion of hyperbolic orthogonality arose in
analytic geometry In classical mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry. Analytic geometry is used in physics and enginee ...
in consideration of
conjugate diameters In geometry, two diameters of a conic section are said to be conjugate if each chord (geometry), chord parallel (geometry), parallel to one diameter is bisection, bisected by the other diameter. For example, two diameters of a circle are conjugate ...
of ellipses and hyperbolas. if ''g'' and ''g''′ represent the slopes of the conjugate diameters, then g g' = - \frac in the case of an ellipse and g g' = \frac 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 In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, ...
, the operation of taking the hyperbolic orthogonal line is an
involution Involution may refer to: * Involute, a construction in the differential geometry of curves * '' Agricultural Involution: The Processes of Ecological Change in Indonesia'', a 1963 study of intensification of production through increased labour inpu ...
. Suppose the slope of a vertical line is denoted ∞ so that all lines have a slope in the
projectively extended real line In real analysis, the projectively extended real line (also called the one-point compactification of the real line), is the extension of the set of the real numbers, \mathbb, by a point denoted . It is thus the set \mathbb\cup\ with the standar ...
. 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 In mathematics, a binary relation associates elements of one set, called the ''domain'', with elements of another set, called the ''codomain''. A binary relation over sets and is a new set of ordered pairs consisting of elements in and in ...
on sets of lines in the plane.


Simultaneity

Since
Hermann Minkowski Hermann Minkowski (; ; 22 June 1864 – 12 January 1909) was a German mathematician and professor at Königsberg, Zürich and Göttingen. He created and developed the geometry of numbers and used geometrical methods to solve problems in number t ...
's foundation for
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differ ...
study in 1908, the concept of points in a spacetime plane being hyperbolic-orthogonal to a timeline (tangent to a
world line The world line (or worldline) of an object is the path that an object traces in 4-dimensional spacetime. It is an important concept in modern physics, and particularly theoretical physics. The concept of a "world line" is distinguished from c ...
) 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. Two vectors (, , , ) and (, , , ) are ''normal'' (meaning hyperbolic orthogonal) when :c^ \ t_1 \ t_2 - x_1 \ x_2 - y_1 \ y_2 - z_1 \ z_2 = 0. When = 1 and the s and s are zero, ≠ 0, ≠ 0, then \frac = \frac. 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 In geometry, two diameters of a conic section are said to be conjugate if each chord (geometry), chord parallel (geometry), parallel to one diameter is bisection, bisected by the other diameter. For example, two diameters of a circle are conjugate ...
. The directions indicated by conjugate diameters are taken for space and time axes in relativity. As E. T. Whittaker wrote in 1910, " hehyperbola 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." E. T. Whittaker (1910) A History of the Theories of Aether and Electricity Dublin: Longmans, Green and Co. (see page 441) On this
principle of relativity In physics, the principle of relativity is the requirement that the equations describing the laws of physics have the same form in all admissible frames of reference. For example, in the framework of special relativity the Maxwell equations ha ...
, he then wrote the Lorentz transformation in the modern form using
rapidity In relativity, rapidity is commonly used as a measure for relativistic velocity. Mathematically, rapidity can be defined as the hyperbolic angle that differentiates two frames of reference in relative motion, each frame being associated with d ...
. Edwin Bidwell Wilson and
Gilbert N. Lewis Gilbert Newton Lewis (October 23 or October 25, 1875 – March 23, 1946) was an American physical chemist and a Dean of the College of Chemistry at University of California, Berkeley. Lewis was best known for his discovery of the covalent bond a ...
developed the concept within
synthetic geometry Synthetic geometry (sometimes referred to as axiomatic geometry or even pure geometry) is the study of geometry without the use of coordinates or formulae. It relies on the axiomatic method and the tools directly related to them, that is, compass ...
in 1912. They note "in our plane no pair of perpendicular yperbolic-orthogonallines is better suited to serve as coordinate axes than any other pair"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 The American Academy of Arts and Sciences (abbreviation: AAA&S) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, a ...
48:387–507, esp. 415


References

* G. D. Birkhoff (1923) ''Relativity and Modern Physics'', pages 62,3,
Harvard University Press Harvard University Press (HUP) is a publishing house established on January 13, 1913, as a division of Harvard University, and focused on academic publishing. It is a member of the Association of American University Presses. After the retir ...
. * Francesco Catoni, Dino Boccaletti, & Roberto Cannata (2008) ''Mathematics of Minkowski Space'',
Birkhäuser Verlag Birkhäuser was a Swiss publisher founded in 1879 by Emil Birkhäuser. It was acquired by Springer Science+Business Media in 1985. Today it is an imprint used by two companies in unrelated fields: * Springer continues to publish science (particu ...
, Basel. See page 38, Pseudo-orthogonality. *
Robert Goldblatt __notoc__ Robert Ian Goldblatt (born 1949) is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand. His most popular books are ''Logics of Time and Computatio ...
(1987) ''Orthogonality and Spacetime Geometry'', chapter 1: A Trip on Einstein's Train, Universitext Springer-Verlag * {{Relativity Minkowski spacetime Angle