In geometry, a surface in 3-dimensional Euclidean space S is ruled (also called a scroll) if through every point of S, there is a straight line that lies on S. Examples include the plane, the lateral surface of a cylinder or cone, a conical surface with elliptical directrix, the right conoid, the helicoid, and the tangent developable of a smooth curve in space.

Definition of a ruled surface: every point lies on a line

A ruled surface can be described as the set of points swept by a moving straight line. For example, a cone is formed by keeping one point of a line fixed whilst moving another point along a circle. A surface is doubly ruled if through every one of its points there are two distinct lines that lie on the surface. The hyperbolic paraboloid and the hyperboloid of one sheet are doubly ruled surfaces. The plane is the only surface which contains at least three distinct lines through each of its points (Fuchs & Tabachnikov 2007).

The properties of being ruled or doubly ruled are preserved by projective maps, and therefore are concepts of projective geometry. In algebraic geometry, ruled surfaces are sometimes considered to be surfaces in affine or projective space over a field, but they are also sometimes considered as abstract algebraic surfaces without an embedding into affine or projective space, in which case "straight line" is understood to mean an affine or projective line.

Definition and parametric representation

edit
 
Ruled surface generated by two Bézier curves as directrices (red, green)

A surface in 3-dimensional Euclidean space is called a ruled surface if it is the union of a differentiable one-parameter family of lines. Formally, a ruled surface is a surface in   is described by a parametric representation of the form

 

for   varying over an interval and   ranging over the reals.[1] It is required that  , and both   and   should be differentiable.[1]

Any straight line   with fixed parameter   is called a generator. The vectors   describe the directions of the generators. The curve   is called the directrix of the representation. The directrix may collapse to a point (in case of a cone, see example below).

The ruled surface above may alternatively be described by

 

with the second directrix  . To go back to the first description starting with two non intersecting curves   as directrices, set  

The geometric shape of the directrices and generators are of course essential to the shape of the ruled surface they produce. However, the specific parametric representations of them also influence the shape of the ruled surface.

Examples

edit

Right circular cylinder

edit
 
cylinder, cone

A right circular cylinder is given by the equation

 

It can be parameterized as

 
 
 

with

 
 
 

Right circular cone

edit

A right circular cylinder is given by the equation

 

It can be parameterized as

 
 

with

 
 
 

In this case one could have used the apex as the directrix, i.e.

 

and

 

as the line directions.

For any cone one can choose the apex as the directrix. This shows that the directrix of a ruled surface may degenerate to a point.

Helicoid

edit
 
helicoid

A helicoid can be parameterized as

 
 
 

The directrix

 

is the z-axis, the line directions are

 ,

and the second directrix

 

is a helix.

The helicoid is a special case of the ruled generalized helicoids.

Cylinder, cone and hyperboloids

edit
 
hyperboloid of one sheet for  

The parametric representation

 

has two horizontal circles as directrices. The additional parameter   allows to vary the parametric representations of the circles. For

  one gets the cylinder  ,
  one gets the cone  ,
  one gets a hyperboloid of one sheet with equation   and the semi axes  .

A hyperboloid of one sheet is a doubly ruled surface.

Hyperbolic paraboloid

edit
 
Hyperbolic paraboloid

If the two directrices in (CD) are the lines

 

one gets

 ,

which is the hyperbolic paraboloid that interpolates the 4 points   bilinearly.[2]

The surface is doubly ruled, because any point lies on two lines of the surface.

For the example shown in the diagram:

 

The hyperbolic paraboloid has the equation  .

Möbius strip

edit
 
Möbius strip

The ruled surface

 

with

  (circle as directrix),
 

contains a Möbius strip.

The diagram shows the Möbius strip for  .

A simple calculation shows   (see next section). Hence the given realization of a Möbius strip is not developable. But there exist developable Möbius strips.[3]

Further examples

edit

Developable surfaces

edit

For the determination of the normal vector at a point one needs the partial derivatives of the representation  :

 ,
 .

Hence the normal vector is

 

Since   (A mixed product with two equal vectors is always 0),   is a tangent vector at any point  . The tangent planes along this line are all the same, if   is a multiple of  . This is possible only if the three vectors   lie in a plane, i.e. if they are linearly dependent. The linear dependency of three vectors can be checked using the determinant of these vectors:

The tangent planes along the line   are equal, if
 .

A smooth surface with zero Gaussian curvature is called developable into a plane, or just developable. The determinant condition can be used to prove the following statement:

A ruled surface   is developable if and only if
 
at every point.[4]

The generators of any ruled surface coalesce with one family of its asymptotic lines. For developable surfaces they also form one family of its lines of curvature. It can be shown that any developable surface is a cone, a cylinder, or a surface formed by all tangents of a space curve.[5]

 
Developable connection of two ellipses and its development

The determinant condition for developable surfaces is used to determine numerically developable connections between space curves (directrices). The diagram shows a developable connection between two ellipses contained in different planes (one horizontal, the other vertical) and its development.[6]

An impression of the usage of developable surfaces in Computer Aided Design (CAD) is given in Interactive design of developable surfaces.[7]

A historical survey on developable surfaces can be found in Developable Surfaces: Their History and Application.[8]

Ruled surfaces in algebraic geometry

edit

In algebraic geometry, ruled surfaces were originally defined as projective surfaces in projective space containing a straight line through any given point. This immediately implies that there is a projective line on the surface through any given point, and this condition is now often used as the definition of a ruled surface: ruled surfaces are defined to be abstract projective surfaces satisfying this condition that there is a projective line through any point. This is equivalent to saying that they are birational to the product of a curve and a projective line. Sometimes a ruled surface is defined to be one satisfying the stronger condition that it has a fibration over a curve with fibers that are projective lines. This excludes the projective plane, which has a projective line though every point but cannot be written as such a fibration.

Ruled surfaces appear in the Enriques classification of projective complex surfaces, because every algebraic surface of Kodaira dimension   is a ruled surface (or a projective plane, if one uses the restrictive definition of ruled surface). Every minimal projective ruled surface other than the projective plane is the projective bundle of a 2-dimensional vector bundle over some curve. The ruled surfaces with base curve of genus 0 are the Hirzebruch surfaces.

Ruled surfaces in architecture

edit

Doubly ruled surfaces are the inspiration for curved hyperboloid structures that can be built with a latticework of straight elements, namely:

The RM-81 Agena rocket engine employed straight cooling channels that were laid out in a ruled surface to form the throat of the nozzle section.

References

edit

Notes

edit
  1. ^ a b do Carmo 1976, p. 188.
  2. ^ G. Farin: Curves and Surfaces for Computer Aided Geometric Design, Academic Press, 1990, ISBN 0-12-249051-7, p. 250
  3. ^ W. Wunderlich: Über ein abwickelbares Möbiusband, Monatshefte für Mathematik 66, 1962, S. 276-289.
  4. ^ W. Kühnel: Differentialgeometrie, p. 58–60
  5. ^ G. Farin: p. 380
  6. ^ E. Hartmann: Geometry and Algorithms for CAD, lecture note, TU Darmstadt, p. 113
  7. ^ Tang, Bo, Wallner, Pottmann: Interactive design of developable surfaces, ACM Trans. Graph. (MONTH 2015), DOI: 10.1145/2832906
  8. ^ Snezana Lawrence: Developable Surfaces: Their History and Application, in  Nexus Network Journal 13(3) · October 2011, doi:10.1007/s00004-011-0087-z

Sources

edit
edit