In elliptic geometry, two lines are Clifford parallel or paratactic lines if the perpendicular distance between them is constant from point to point. The concept was first studied by William Kingdon Clifford in elliptic space and appears only in spaces of at least three dimensions. Since parallel lines have the property of equidistance, the term "parallel" was appropriated from Euclidean geometry, although the "lines" of elliptic geometry are geodesic curves and, unlike the lines of Euclidean geometry, are of finite length.
The algebra of quaternions provides a descriptive geometry of elliptic space in which Clifford parallelism is made explicit.
The lines on 1 in elliptic space are described by versors with a fixed axis r: [1]
For an arbitrary point u in elliptic space, two Clifford parallels to this line pass through u. The right Clifford parallel is
and the left Clifford parallel is
Clifford's original definition was of curved parallel lines, but the concept generalizes to Clifford parallel objects of more than one dimension. [2] In 4-dimensional Euclidean space Clifford parallel objects of 1, 2, 3 or 4 dimensions are related by isoclinic rotations. Clifford parallelism and isoclinic rotations are closely related aspects of the SO(4) symmetries which characterize the regular 4-polytopes.
Rotating a line about another, to which it is Clifford parallel, creates a Clifford surface.
The Clifford parallels through points on the surface all lie in the surface. A Clifford surface is thus a ruled surface since every point is on two lines, each contained in the surface.
Given two square roots of minus one in the quaternions, written r and s, the Clifford surface through them is given by [1] [3]
Clifford parallels were first described in 1873 by the English mathematician William Kingdon Clifford. [4]
In 1900 Guido Fubini wrote his doctoral thesis on Clifford's parallelism in elliptic spaces. [5]
In 1931 Heinz Hopf used Clifford parallels to construct the Hopf map. [6]
In 2016 Hans Havlicek showed that there is a one-to-one correspondence between Clifford parallelisms and planes external to the Klein quadric. [7]
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.
In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.
Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.
In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:
In four-dimensional geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,4,3}. It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, being constructed of octahedral cells.
In geometry, the 600-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,3,5}. It is also known as the C600, hexacosichoron and hexacosihedroid. It is also called a tetraplex (abbreviated from "tetrahedral complex") and a polytetrahedron, being bounded by tetrahedral cells.
Christian Hugo Eduard Study was a German mathematician known for work on invariant theory of ternary forms (1889) and for the study of spherical trigonometry. He is also known for contributions to space geometry, hypercomplex numbers, and criticism of early physical chemistry.
In geometry, the 16-cell is the regular convex 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {3,3,4}. It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. It is also called C16, hexadecachoron, or hexdecahedroid [sic?].
In geometry, the 120-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {5,3,3}. It is also called a C120, dodecaplex (short for "dodecahedral complex"), hyperdodecahedron, polydodecahedron, hecatonicosachoron, dodecacontachoron and hecatonicosahedroid.
Screw theory is the algebraic calculation of pairs of vectors, such as angular and linear velocity, or forces and moments, that arise in the kinematics and dynamics of rigid bodies.
In hyperbolic geometry, angle of parallelism is the angle at the non-right angle vertex of a right hyperbolic triangle having two asymptotic parallel sides. The angle depends on the segment length a between the right angle and the vertex of the angle of parallelism.
In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO(4). The name comes from the fact that it is the special orthogonal group of order 4.
In mathematics, a versor is a quaternion of norm one. Each versor has the form
In geometry, a three-dimensional space is a mathematical space in which three values (coordinates) are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called 3-manifolds. The term may also refer colloquially to a subset of space, a three-dimensional region, a solid figure.
In geometric topology, the Clifford torus is the simplest and most symmetric flat embedding of the Cartesian product of two circles S1
a and S1
b. It is named after William Kingdon Clifford. It resides in R4, as opposed to in R3. To see why R4 is necessary, note that if S1
a and S1
b each exists in its own independent embedding space R2
a and R2
b, the resulting product space will be R4 rather than R3. The historically popular view that the Cartesian product of two circles is an R3 torus in contrast requires the highly asymmetric application of a rotation operator to the second circle, since that circle will only have one independent axis z available to it after the first circle consumes x and y.
Systolic geometry is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve C, and the length or perimeter of C. Since the area A may be small while the length l is large, when C looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for A: there is no interesting lower bound just in terms of the length.
Six-dimensional space is any space that has six dimensions, six degrees of freedom, and that needs six pieces of data, or coordinates, to specify a location in this space. There are an infinite number of these, but those of most interest are simpler ones that model some aspect of the environment. Of particular interest is six-dimensional Euclidean space, in which 6-polytopes and the 5-sphere are constructed. Six-dimensional elliptical space and hyperbolic spaces are also studied, with constant positive and negative curvature.
In mathematics, a sequence of n real numbers can be understood as a location in n-dimensional space. When n = 8, the set of all such locations is called 8-dimensional space. Often such spaces are studied as vector spaces, without any notion of distance. Eight-dimensional Euclidean space is eight-dimensional space equipped with the Euclidean metric.
Aleksandr Petrovich Kotelnikov was a Russian and Soviet mathematician specializing in geometry and kinematics.
In this article, we discuss certain applications of the dual quaternion algebra to 2D geometry. At this present time, the article is focused on a 4-dimensional subalgebra of the dual quaternions which we will call the planar quaternions.
