Regulus (geometry)

Last updated
A string model of a portion of a regulus and its opposite to show the rules on a hyperboloid of one sheet Ruled hyperboloid.jpg
A string model of a portion of a regulus and its opposite to show the rules on a hyperboloid of one sheet

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 RS is the ruled surface of a hyperboloid of one sheet.

Three skew lines determine a regulus:

The locus of lines meeting three given skew lines is called a regulus. Gallucci's theorem shows that the lines meeting the generators of the regulus (including the original three lines) form another "associated" regulus, such that every generator of either regulus meets every generator of the other. The two reguli are the two systems of generators of a ruled quadric. [1]

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:

and

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]

See also

Related Research Articles

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

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.

<span class="mw-page-title-main">Hyperboloid</span> Unbounded quadric surface

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.

<span class="mw-page-title-main">Paraboloid</span> Quadric surface with one axis of symmetry and no center of symmetry

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.

<span class="mw-page-title-main">Lorentz group</span> Lie group of Lorentz transformations

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.

<span class="mw-page-title-main">Cylinder</span> Three-dimensional solid

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.

<span class="mw-page-title-main">Line (geometry)</span> Straight figure with zero width and depth

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.

<span class="mw-page-title-main">Laplace distribution</span> Probability distribution

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.

<span class="mw-page-title-main">Skew lines</span> Lines not in the same plane

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.

<span class="mw-page-title-main">Three-dimensional space</span> Geometric model of the physical space

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.

<span class="mw-page-title-main">Poincaré disk model</span> Model of hyperbolic geometry

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.

<span class="mw-page-title-main">Confocal conic sections</span> Conic sections with the same foci

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.

References

  1. H. S. M. Coxeter (1969) Introduction to Geometry, page 259, John Wiley & Sons
  2. Charlotte Angas Scott (1905) The elementary treatment of the conics by means of the regulus, Bulletin of the American Mathematical Society 12(1): 1–7
  3. Albrecht Beutelspacher & Ute Rosenbaum (1998) Projective Geometry, page 72, Cambridge University Press ISBN   0-521-48277-1
  4. W. L. Edge (1954) "Geometry of three dimensions over GF(3)", Proceedings of the Royal Society A 222: 262–86 doi : 10.1098/rspa.1954.0068
  5. Robert J. T. Bell (1910) An Elementary Treatise on Co-ordinate Geometry of Three Dimensions, page 148, via Internet Archive