In three-dimensional space, a regulusR is a set of skew lines, every point of which is on a transversal which intersects an element of R only once, and such that every point on a transversal lies on a line of R
The set of transversals of R forms an opposite regulusS. In the union R ∪ S is the ruled surface of a hyperboloid of one sheet.
Three skew lines determine a regulus:
According to Charlotte Scott, "The regulus supplies extremely simple proofs of the properties of a conic...the theorems of Chasles, Brianchon, and Pascal ..." [2]
In a finite geometry PG(3, q), a regulus has q + 1 lines. [3] For example, in 1954 William Edge described a pair of reguli of four lines each in PG(3,3). [4]
Robert J. T. Bell described how the regulus is generated by a moving straight line. First, the hyperboloid is factored as
Then two systems of lines, parametrized by λ and μ satisfy this equation:
No member of the first set of lines is a member of the second. As λ or μ varies, the hyperboloid is generated. The two sets represent a regulus and its opposite. Using analytic geometry, Bell proves that no two generators in a set intersect, and that any two generators in opposite reguli do intersect and form the plane tangent to the hyperboloid at that point. (page 155). [5]
In mathematics, a hyperbola 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, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.
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.
In geometry, a paraboloid is a quadric surface that has exactly one axis of symmetry and no center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar property of symmetry.
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.
In geometry, inversive geometry is the study of inversion, a transformation of the Euclidean plane that maps circles or lines to other circles or lines and that preserves the angles between crossing curves. Many difficult problems in geometry become much more tractable when an inversion is applied. Inversion seems to have been discovered by a number of people contemporaneously, including Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs and Ingram (1842–3) and Kelvin (1845).
In mathematics, a linear fractional transformation is, roughly speaking, an invertible transformation of the form
In geometry, parallel lines are coplanar infinite straight lines that do not intersect at any point. Parallel planes are planes in the same three-dimensional space that never meet. Parallel curves are curves that do not touch each other or intersect and keep a fixed minimum distance. In three-dimensional Euclidean space, a line and a plane that do not share a point are also said to be parallel. However, two noncoplanar lines are called skew lines. Line segments and Euclidean vectors are parallel if they have the same direction.
A cylinder has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. In elementary geometry, it is considered a prism with a circle as its base.
In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points.
In mathematics, a Killing vector field, named after Wilhelm Killing, is a vector field on a Riemannian manifold that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object.
In probability theory and statistics, the Laplace distribution is a continuous probability distribution named after Pierre-Simon Laplace. It is also sometimes called the double exponential distribution, because it can be thought of as two exponential distributions spliced together along the abscissa, although the term is also sometimes used to refer to the Gumbel distribution. The difference between two independent identically distributed exponential random variables is governed by a Laplace distribution, as is a Brownian motion evaluated at an exponentially distributed random time. Increments of Laplace motion or a variance gamma process evaluated over the time scale also have a Laplace distribution.
In three-dimensional geometry, skew lines are two lines that do not intersect and are not parallel. A simple example of a pair of skew lines is the pair of lines through opposite edges of a regular tetrahedron. Two lines that both lie in the same plane must either cross each other or be parallel, so skew lines can exist only in three or more dimensions. Two lines are skew if and only if they are not coplanar.
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.
Ellipsoidal coordinates are a three-dimensional orthogonal coordinate system that generalizes the two-dimensional elliptic coordinate system. Unlike most three-dimensional orthogonal coordinate systems that feature quadratic coordinate surfaces, the ellipsoidal coordinate system is based on confocal quadrics.
In 3-dimensional topology, a part of the mathematical field of geometric topology, the Casson invariant is an integer-valued invariant of oriented integral homology 3-spheres, introduced by Andrew Casson.
In geometry, the semidiameter or semi-diameter of a set of points may be one half of its diameter; or, sometimes, one half of its extent along a particular direction.
In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle.
In geometry, central lines are certain special straight lines that lie in the plane of a triangle. The special property that distinguishes a straight line as a central line is manifested via the equation of the line in trilinear coordinates. This special property is related to the concept of triangle center also. The concept of a central line was introduced by Clark Kimberling in a paper published in 1994.
In geometry, two conic sections are called confocal if they have the same foci.
A frequently studied problem in finite geometry is to identify ways in which an object can be covered by other simpler objects such as points, lines, and planes. In projective geometry, a specific instance of this problem that has numerous applications is determining whether, and how, a projective space can be covered by pairwise disjoint subspaces which have the same dimension; such a partition is called a spread. Specifically, a spread of a projective space , where is an integer and a division ring, is a set of -dimensional subspaces, for some such that every point of the space lies in exactly one of the elements of the spread.