In geometry, a surface 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.
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.
A two dimensional differentiable manifold is called a ruled surface if it is the union of one parametric family of lines. The lines of this family are the generators of the ruled surface.
A ruled surface can be described by a parametric representation of the form
Any curve with fixed parameter is a generator (line) and the curve is the directrix of the representation. The vectors describe the directions of the generators.
The directrix may collapse to a point (in case of a cone, see example below).
Alternatively the ruled surface (CR) can be described by
with the second directrix .
Alternatively, one can start with two non intersecting curves as directrices, and get by (CD) a ruled surface with line directions
For the generation of a ruled surface by two directrices (or one directrix and the vectors of line directions) not only the geometric shape of these curves are essential but also the special parametric representations of them influence the shape of the ruled surface (see examples a), d)).
For theoretical investigations representation (CR) is more advantageous, because the parameter appears only once.
:
with
:
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 case shows: The directrix of a ruled surface may degenerate to a point.
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.
The parametric representation
has two horizontal circles as directrices. The additional parameter allows to vary the parametric representations of the circles. For
A hyperboloid of one sheet is a doubly ruled surface.
If the two directrices in (CD) are the lines
one gets
which is the hyperbolic paraboloid that interpolates the 4 points bilinearly. [1]
Obviously the ruled surface is a doubly ruled surface, because any point lies on two lines of the surface.
For the example shown in the diagram:
The hyperbolic paraboloid has the equation .
The ruled surface
with
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. [2]
For the considerations below any necessary derivative is assumed to exist.
For the determination of the normal vector at a point one needs the partial derivatives of the representation :
Hence the normal vector is
Because of (A mixed product with two equal vectors is always 0 !), vector 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. they are linearly dependent. The linear dependency of three vectors can be checked using the determinant of these vectors:
The importance of this determinant condition shows the following statement:
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. [4]
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. [5]
An impression of the usage of developable surfaces in Computer Aided Design (CAD) is given in Interactive design of developable surfaces [6]
A historical survey on developable surfaces can be found in Developable Surfaces: Their History and Application [7]
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.
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.
In physics and geometry, a catenary is the curve that an idealized hanging chain or cable assumes under its own weight when supported only at its ends in a uniform gravitational field.
In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point is called the pole, and the ray from the pole in the reference direction is the polar axis. The distance from the pole is called the radial coordinate, radial distance or simply radius, and the angle is called the angular coordinate, polar angle, or azimuth. Angles in polar notation are generally expressed in either degrees or radians.
In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a given point in space is specified by three numbers, : the radial distance of the radial liner connecting the point to the fixed point of origin ; the polar angle θ of the radial line r; and the azimuthal angle φ of the radial line r.
In mathematics, an n-sphere or hypersphere is an n-dimensional generalization of the 1-dimensional circle and 2-dimensional sphere to any non-negative integer n. The n-sphere is the setting for n-dimensional spherical geometry.
In physics, angular velocity, also known as angular frequency vector, is a pseudovector representation of how the angular position or orientation of an object changes with time, i.e. how quickly an object rotates around an axis of rotation and how fast the axis itself changes direction.
An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
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 vector calculus, the Jacobian matrix of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as input as the number of vector components of its output, its determinant is referred to as the Jacobian determinant. Both the matrix and the determinant are often referred to simply as the Jacobian in literature.
In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric tensor on M consists of a metric tensor at each point p of M that varies smoothly with p.
In mathematics, a parametric equation defines a group of quantities as functions of one or more independent variables called parameters. Parametric equations are commonly used to express the coordinates of the points that make up a geometric object such as a curve or surface, called a parametric curve and parametric surface, respectively. In such cases, the equations are collectively called a parametric representation, or parametric system, or parameterization of the object.
In geometry, a cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion. A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.
In geometry, a (general) conical surface is the unbounded surface formed by the union of all the straight lines that pass through a fixed point — the apex or vertex — and any point of some fixed space curve — the directrix — that does not contain the apex. Each of those lines is called a generatrix of the surface.
In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.
A parametric surface is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.
In geometry a conoid is a ruled surface, whose rulings (lines) fulfill the additional conditions:
In geometry and topology, a channel or canal surface is a surface formed as the envelope of a family of spheres whose centers lie on a space curve, its directrix. If the radii of the generating spheres are constant, the canal surface is called a pipe surface. Simple examples are:
In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non-umbilic point of a surface embedded in Euclidean space. It is named after French mathematician Jean Gaston Darboux.
In fluid dynamics, the Oseen equations describe the flow of a viscous and incompressible fluid at small Reynolds numbers, as formulated by Carl Wilhelm Oseen in 1910. Oseen flow is an improved description of these flows, as compared to Stokes flow, with the (partial) inclusion of convective acceleration.
In geometry, a generalized helicoid is a surface in Euclidean space generated by rotating and simultaneously displacing a curve, the profile curve, along a line, its axis. Any point of the given curve is the starting point of a circular helix. If the profile curve is contained in a plane through the axis, it is called the meridian of the generalized helicoid. Simple examples of generalized helicoids are the helicoids. The meridian of a helicoid is a line which intersects the axis orthogonally.
In differential geometry a translation surface is a surface that is generated by translations:
{{citation}}
: |first=
has generic name (help).