Normal plane (geometry)

Last updated
Saddle surface with normal planes in directions of principal curvatures. Minimal surface curvature planes-en.svg
Saddle surface with normal planes in directions of principal curvatures.

A normal plane is any plane containing the normal vector of a surface at a particular point.

Contents

The normal plane also refers to the plane that is perpendicular to the tangent vector of a space curve; (this plane also contains the normal vector) see Frenet–Serret formulas.

Normal section

The normal section of a surface at a particular point is the curve produced by the intersection of that surface with a normal plane. [1] [2] [3]

The curvature of the normal section is called the normal curvature .

If the surface is bow or cylinder shaped, the maximum and the minimum of these curvatures are the principal curvatures .

If the surface is saddle shaped the maxima of both sides are the principal curvatures.

The product of the principal curvatures is the Gaussian curvature of the surface (negative for saddle shaped surfaces).

The mean of the principal curvatures is the mean curvature of the surface; if (and only if) the mean curvature is zero, the surface is called a minimal surface .

See also

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

<span class="mw-page-title-main">Sphere</span> Set of points equidistant from a center

A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the center of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

<span class="mw-page-title-main">Gaussian curvature</span> Product of the principal curvatures of a surface

In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a smooth surface in three-dimensional space at a point is the product of the principal curvatures, κ1 and κ2, at the given point:

In differential geometry, the Gauss map of a surface is a function that maps each point in the surface to a unit vector that is orthogonal to the surface at that point. Namely, given a surface X in Euclidean space R3, the Gauss map is a map N: XS2 (where S2 is the unit sphere) such that for each p in X, the function value N(p) is a unit vector orthogonal to X at p. The Gauss map is named after Carl F. Gauss.

In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces.

In Riemannian geometry, the geodesic curvature of a curve measures how far the curve is from being a geodesic. For example, for 1D curves on a 2D surface embedded in 3D space, it is the curvature of the curve projected onto the surface's tangent plane. More generally, in a given manifold , the geodesic curvature is just the usual curvature of . However, when the curve is restricted to lie on a submanifold of , geodesic curvature refers to the curvature of in and it is different in general from the curvature of in the ambient manifold . The (ambient) curvature of depends on two factors: the curvature of the submanifold in the direction of , which depends only on the direction of the curve, and the curvature of seen in , which is a second order quantity. The relation between these is . In particular geodesics on have zero geodesic curvature, so that , which explains why they appear to be curved in ambient space whenever the submanifold is.

Differential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus.

<span class="mw-page-title-main">Affine connection</span> Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

<span class="mw-page-title-main">Frenet–Serret formulas</span> Formulas in differential geometry

In differential geometry, the Frenet–Serret formulas describe the kinematic properties of a particle moving along a differentiable curve in three-dimensional Euclidean space , or the geometric properties of the curve itself irrespective of any motion. More specifically, the formulas describe the derivatives of the so-called tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after the two French mathematicians who independently discovered them: Jean Frédéric Frenet, in his thesis of 1847, and Joseph Alfred Serret, in 1851. Vector notation and linear algebra currently used to write these formulas were not yet available at the time of their discovery.

<span class="mw-page-title-main">Parallel curve</span>

A parallel of a curve is the envelope of a family of congruent circles centered on the curve. It generalises the concept of parallel (straight) lines. It can also be defined as a curve whose points are at a constant normal distance from a given curve. These two definitions are not entirely equivalent as the latter assumes smoothness, whereas the former does not.

In the differential geometry of surfaces, an asymptotic curve is a curve always tangent to an asymptotic direction of the surface. It is sometimes called an asymptotic line, although it need not be a line.

<span class="mw-page-title-main">Principal curvature</span> Maximal and minimal curvature at a point of a surface

In differential geometry, the two principal curvatures at a given point of a surface are the maximum and minimum values of the curvature as expressed by the eigenvalues of the shape operator at that point. They measure how the surface bends by different amounts in different directions at that point.

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.

<span class="mw-page-title-main">Dupin indicatrix</span> Method for characterising the local shape of a surface

In differential geometry, the Dupin indicatrix is a method for characterising the local shape of a surface. Draw a plane parallel to the tangent plane and a small distance away from it. Consider the intersection of the surface with this plane. The shape of the intersection is related to the Gaussian curvature. The Dupin indicatrix is the result of the limiting process as the plane approaches the tangent plane. The indicatrix was introduced by Charles Dupin.

<span class="mw-page-title-main">Horocycle</span> Curve whose normals converge asymptotically

In hyperbolic geometry, a horocycle, sometimes called an oricycle or limit circle, is a curve of constant curvature which converges asymptotically in both directions to a single ideal point, called the centre of the horocycle. The perpendicular geodesics through every point on a horocycle are limiting parallels, and also all converge asymptotically to the centre. It is the two-dimensional case of a horosphere.

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In the mathematical field of differential geometry, Euler's theorem is a result on the curvature of curves on a surface. The theorem establishes the existence of principal curvatures and associated principal directions which give the directions in which the surface curves the most and the least. The theorem is named for Leonhard Euler who proved the theorem in.

In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.

References

  1. Ruane, Irving Adler, with diagrams by Ruth Adler; introduction to the Dover edition by Peter (2012). A new look at geometry (Dover ed.). Mineola, N.Y.: Dover Publications. p. 273. ISBN   978-0486498515.{{cite book}}: CS1 maint: multiple names: authors list (link)
  2. Irving Adler (2013-08-30). A New Look at Geometry. p. 273. ISBN   9780486320496 . Retrieved 2016-04-01.
  3. Alfred Gray (1997-12-29). Modern Differential Geometry of Curves and Surfaces with Mathematica, Second ... p. 365. ISBN   9780849371646 . Retrieved 2016-04-01.