Three-dimensional space

Last updated
A representation of a three-dimensional Cartesian coordinate system with the x-axis pointing towards the observer Coord planes color.svg
A representation of a three-dimensional Cartesian coordinate system with the x-axis pointing towards the observer

In geometry, a three-dimensional space (3D space, 3-space or, rarely, tri-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 (or 3D domain), [1] a solid figure .

Contents

Technically, a tuple of n numbers can be understood as the Cartesian coordinates of a location in a n-dimensional Euclidean space. The set of these n-tuples is commonly denoted and can be identified to the pair formed by a n-dimensional Euclidean space and a Cartesian coordinate system. When n = 3, this space is called the three-dimensional Euclidean space (or simply "Euclidean space" when the context is clear). [2] In classical physics, it serves as a model of the physical universe, in which all known matter exists. When relativity theory is considered, it can be considered a local subspace of space-time. [3] While this space remains the most compelling and useful way to model the world as it is experienced, [4] it is only one example of a large variety of spaces in three dimensions called 3-manifolds. In this classical example, when the three values refer to measurements in different directions (coordinates), any three directions can be chosen, provided that these directions do not lie in the same plane. Furthermore, if these directions are pairwise perpendicular, the three values are often labeled by the terms width/breadth, height/depth, and length .

History

Books XI to XIII of Euclid's Elements dealt with three-dimensional geometry. Book XI develops notions of orthogonality and parallelism of lines and planes, and defines solids including parallelpipeds, pyramids, prisms, spheres, octahedra, icosahedra and dodecahedra. Book XII develops notions of similarity of solids. Book XIII describes the construction of the five regular Platonic solids in a sphere.

In the 17th century, three-dimensional space was described with Cartesian coordinates, with the advent of analytic geometry developed by René Descartes in his work La Géométrie and Pierre de Fermat in the manuscript Ad locos planos et solidos isagoge (Introduction to Plane and Solid Loci), which was unpublished during Fermat's lifetime. However, only Fermat's work dealt with three-dimensional space.

In the 19th century, developments of the geometry of three-dimensional space came with William Rowan Hamilton's development of the quaternions. In fact, it was Hamilton who coined the terms scalar and vector, and they were first defined within his geometric framework for quaternions. Three dimensional space could then be described by quaternions which had vanishing scalar component, that is, . While not explicitly studied by Hamilton, this indirectly introduced notions of basis, here given by the quaternion elements , as well as the dot product and cross product, which correspond to (the negative of) the scalar part and the vector part of the product of two vector quaternions.

It was not until Josiah Willard Gibbs that these two products were identified in their own right, and the modern notation for the dot and cross product were introduced in his classroom teaching notes, found also in the 1901 textbook Vector Analysis written by Edwin Bidwell Wilson based on Gibbs' lectures.

Also during the 19th century came developments in the abstract formalism of vector spaces, with the work of Hermann Grassmann and Giuseppe Peano, the latter of whom first gave the modern definition of vector spaces as an algebraic structure.

In Euclidean geometry

Coordinate systems

In mathematics, analytic geometry (also called Cartesian geometry) describes every point in three-dimensional space by means of three coordinates. Three coordinate axes are given, each perpendicular to the other two at the origin, the point at which they cross. They are usually labeled x, y, and z. Relative to these axes, the position of any point in three-dimensional space is given by an ordered triple of real numbers, each number giving the distance of that point from the origin measured along the given axis, which is equal to the distance of that point from the plane determined by the other two axes. [5]

Other popular methods of describing the location of a point in three-dimensional space include cylindrical coordinates and spherical coordinates, though there are an infinite number of possible methods. For more, see Euclidean space.

Below are images of the above-mentioned systems.

Lines and planes

Two distinct points always determine a (straight) line. Three distinct points are either collinear or determine a unique plane. On the other hand, four distinct points can either be collinear, coplanar, or determine the entire space.

Two distinct lines can either intersect, be parallel or be skew. Two parallel lines, or two intersecting lines, lie in a unique plane, so skew lines are lines that do not meet and do not lie in a common plane.

Two distinct planes can either meet in a common line or are parallel (i.e., do not meet). Three distinct planes, no pair of which are parallel, can either meet in a common line, meet in a unique common point, or have no point in common. In the last case, the three lines of intersection of each pair of planes are mutually parallel.

A line can lie in a given plane, intersect that plane in a unique point, or be parallel to the plane. In the last case, there will be lines in the plane that are parallel to the given line.

A hyperplane is a subspace of one dimension less than the dimension of the full space. The hyperplanes of a three-dimensional space are the two-dimensional subspaces, that is, the planes. In terms of Cartesian coordinates, the points of a hyperplane satisfy a single linear equation, so planes in this 3-space are described by linear equations. A line can be described by a pair of independent linear equations—each representing a plane having this line as a common intersection.

Varignon's theorem states that the midpoints of any quadrilateral in ℝ3 form a parallelogram, and hence are coplanar.

Spheres and balls

A perspective projection of a sphere onto two dimensions Sphere wireframe 10deg 6r.svg
A perspective projection of a sphere onto two dimensions

A sphere in 3-space (also called a 2-sphere because it is a 2-dimensional object) consists of the set of all points in 3-space at a fixed distance r from a central point P. The solid enclosed by the sphere is called a ball (or, more precisely a 3-ball).

The volume of the ball is given by

and the surface area of the sphere is

Another type of sphere arises from a 4-ball, whose three-dimensional surface is the 3-sphere: points equidistant to the origin of the euclidean space R4. If a point has coordinates, P(x, y, z, w), then x2 + y2 + z2 + w2 = 1 characterizes those points on the unit 3-sphere centered at the origin.

This 3-sphere is an example of a 3-manifold: a space which is 'looks locally' like 3-D space. In precise topological terms, each point of the 3-sphere has a neighborhood which is homeomorphic to an open subset of 3-D space.

Polytopes

In three dimensions, there are nine regular polytopes: the five convex Platonic solids and the four nonconvex Kepler-Poinsot polyhedra.

Regular polytopes in three dimensions
Class Platonic solids Kepler-Poinsot polyhedra
Symmetry Td Oh Ih
Coxeter group A3, [3,3]B3, [4,3]H3, [5,3]
Order 2448120
Regular
polyhedron
Tetrahedron.svg
{3,3}
Hexahedron.svg
{4,3}
Octahedron.svg
{3,4}
Dodecahedron.svg
{5,3}
Icosahedron.svg
{3,5}
SmallStellatedDodecahedron.jpg
{5/2,5}
GreatDodecahedron.jpg
{5,5/2}
GreatStellatedDodecahedron.jpg
{5/2,3}
GreatIcosahedron.jpg
{3,5/2}

Surfaces of revolution

A surface generated by revolving a plane curve about a fixed line in its plane as an axis is called a surface of revolution. The plane curve is called the generatrix of the surface. A section of the surface, made by intersecting the surface with a plane that is perpendicular (orthogonal) to the axis, is a circle.

Simple examples occur when the generatrix is a line. If the generatrix line intersects the axis line, the surface of revolution is a right circular cone with vertex (apex) the point of intersection. However, if the generatrix and axis are parallel, then the surface of revolution is a circular cylinder.

Quadric surfaces

In analogy with the conic sections, the set of points whose Cartesian coordinates satisfy the general equation of the second degree, namely,

where A, B, C, F, G, H, J, K, L and M are real numbers and not all of A, B, C, F, G and H are zero, is called a quadric surface. [6]

There are six types of non-degenerate quadric surfaces:

  1. Ellipsoid
  2. Hyperboloid of one sheet
  3. Hyperboloid of two sheets
  4. Elliptic cone
  5. Elliptic paraboloid
  6. Hyperbolic paraboloid

The degenerate quadric surfaces are the empty set, a single point, a single line, a single plane, a pair of planes or a quadratic cylinder (a surface consisting of a non-degenerate conic section in a plane π and all the lines of R3 through that conic that are normal to π). [6] Elliptic cones are sometimes considered to be degenerate quadric surfaces as well.

Both the hyperboloid of one sheet and the hyperbolic paraboloid are ruled surfaces, meaning that they can be made up from a family of straight lines. In fact, each has two families of generating lines, the members of each family are disjoint and each member one family intersects, with just one exception, every member of the other family. [7] Each family is called a regulus.

In linear algebra

Another way of viewing three-dimensional space is found in linear algebra, where the idea of independence is crucial. Space has three dimensions because the length of a box is independent of its width or breadth. In the technical language of linear algebra, space is three-dimensional because every point in space can be described by a linear combination of three independent vectors.

Dot product, angle, and length

A vector can be pictured as an arrow. The vector's magnitude is its length, and its direction is the direction the arrow points. A vector in 3 can be represented by an ordered triple of real numbers. These numbers are called the components of the vector.

The dot product of two vectors A = [A1, A2, A3] and B = [B1, B2, B3] is defined as: [8]

The magnitude of a vector A is denoted by ||A||. The dot product of a vector A = [A1, A2, A3] with itself is

which gives

the formula for the Euclidean length of the vector.

Without reference to the components of the vectors, the dot product of two non-zero Euclidean vectors A and B is given by [9]

where θ is the angle between A and B.

Cross product

The cross product or vector product is a binary operation on two vectors in three-dimensional space and is denoted by the symbol ×. The cross product A × B of the vectors A and B is a vector that is perpendicular to both and therefore normal to the plane containing them. It has many applications in mathematics, physics, and engineering.

In function language, the cross product is a function .

The components of the cross product are , and can also be written in components, using Einstein summation convention as where is the Levi-Civita symbol. It has the property that .

Its magnitude is related to the angle between and by the identity

The space and product form an algebra over a field, which is not commutative nor associative, but is a Lie algebra with the cross product being the Lie bracket. Specifically, the space together with the product, is isomorphic to the Lie algebra of three-dimensional rotations, denoted . In order to satisfy the axioms of a Lie algebra, instead of associativity the cross product satisfies the Jacobi identity. For any three vectors and

One can in n dimensions take the product of n − 1 vectors to produce a vector perpendicular to all of them. But if the product is limited to non-trivial binary products with vector results, it exists only in three and seven dimensions. [10]

The cross-product in respect to a right-handed coordinate system Cross product vector.svg
The cross-product in respect to a right-handed coordinate system

Abstract description

It can be useful to describe three-dimensional space as a three-dimensional vector space over the real numbers. This differs from in a subtle way. By definition, there exists a basis for . This corresponds to an isomorphism between and : the construction for the isomorphism is found here. However, there is no 'preferred' or 'canonical basis' for .

On the other hand, there is a preferred basis for , which is due to its description as a Cartesian product of copies of , that is, . This allows the definition of canonical projections, , where . For example, . This then allows the definition of the standard basis defined by

where is the Kronecker delta. Written out in full, the standard basis is

Therefore can be viewed as the abstract vector space, together with the additional structure of a choice of basis. Conversely, can be obtained by starting with and 'forgetting' the Cartesian product structure, or equivalently the standard choice of basis.

As opposed to a general vector space , the space is sometimes referred to as a coordinate space. [11]

Physically, it is conceptually desirable to use the abstract formalism in order to assume as little structure as possible if it is not given by the parameters of a particular problem. For example, in a problem with rotational symmetry, working with the more concrete description of three-dimensional space assumes a choice of basis, corresponding to a set of axes. But in rotational symmetry, there is no reason why one set of axes is preferred to say, the same set of axes which has been rotated arbitrarily. Stated another way, a preferred choice of axes breaks the rotational symmetry of physical space.

Computationally, it is necessary to work with the more concrete description in order to do concrete computations.

Affine description

A more abstract description still is to model physical space as a three-dimensional affine space over the real numbers. This is unique up to affine isomorphism. It is sometimes referred to as three-dimensional Euclidean space. Just as the vector space description came from 'forgetting the preferred basis' of , the affine space description comes from 'forgetting the origin' of the vector space. Euclidean spaces are sometimes called Euclidean affine spaces for distinguishing them from Euclidean vector spaces. [12]

This is physically appealing as it makes the translation invariance of physical space manifest. A preferred origin breaks the translational invariance.

Inner product space

The above discussion does not involve the dot product. The dot product is an example of an inner product. Physical space can be modelled as a vector space which additionally has the structure of an inner product. The inner product defines notions of length and angle (and therefore in particular the notion of orthogonality). For any inner product, there exist bases under which the inner product agrees with the dot product, but again, there are many different possible bases, none of which are preferred. They differ from one another by a rotation, an element of the group of rotations SO(3).

In calculus

Gradient, divergence and curl

In a rectangular coordinate system, the gradient of a (differentiable) function is given by

and in index notation is written

The divergence of a (differentiable) vector field F = Ui + Vj + Wk, that is, a function , is equal to the scalar-valued function:

In index notation, with Einstein summation convention this is

Expanded in Cartesian coordinates (see Del in cylindrical and spherical coordinates for spherical and cylindrical coordinate representations), the curl ∇ × F is, for F composed of [Fx, Fy, Fz]:

where i, j, and k are the unit vectors for the x-, y-, and z-axes, respectively. This expands as follows: [13]

In index notation, with Einstein summation convention this is

where is the totally antisymmetric symbol, the Levi-Civita symbol.

Line, surface, and volume integrals

For some scalar field f : URnR, the line integral along a piecewise smooth curve CU is defined as

where r: [a, b] → C is an arbitrary bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C and .

For a vector field F : URnRn, the line integral along a piecewise smooth curve CU, in the direction of r, is defined as

where · is the dot product and r: [a, b] → C is a bijective parametrization of the curve C such that r(a) and r(b) give the endpoints of C.

A surface integral is a generalization of multiple integrals to integration over surfaces. It can be thought of as the double integral analog of the line integral. To find an explicit formula for the surface integral, we need to parameterize the surface of interest, S, by considering a system of curvilinear coordinates on S, like the latitude and longitude on a sphere. Let such a parameterization be x(s, t), where (s, t) varies in some region T in the plane. Then, the surface integral is given by

where the expression between bars on the right-hand side is the magnitude of the cross product of the partial derivatives of x(s, t), and is known as the surface element. Given a vector field v on S, that is a function that assigns to each x in S a vector v(x), the surface integral can be defined component-wise according to the definition of the surface integral of a scalar field; the result is a vector.

A volume integral is an integral over a three-dimensional domain or region. When the integrand is trivial (unity), the volume integral is simply the region's volume . [14] [1] It can also mean a triple integral within a region D in R3 of a function and is usually written as:

Fundamental theorem of line integrals

The fundamental theorem of line integrals, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve.

Let . Then

Stokes' theorem

Stokes' theorem relates the surface integral of the curl of a vector field F over a surface Σ in Euclidean three-space to the line integral of the vector field over its boundary ∂Σ:

Divergence theorem

Suppose V is a subset of (in the case of n = 3, V represents a volume in 3D space) which is compact and has a piecewise smooth boundary S (also indicated with V = S). If F is a continuously differentiable vector field defined on a neighborhood of V, then the divergence theorem says: [15]

OiintLaTeX.svg

The left side is a volume integral over the volume V, the right side is the surface integral over the boundary of the volume V. The closed manifold V is quite generally the boundary of V oriented by outward-pointing normals, and n is the outward pointing unit normal field of the boundary V. (dS may be used as a shorthand for ndS.)

In topology

Wikipedia's globe logo in 3-D WikipediaGlobeOnePiece.stl
Wikipedia's globe logo in 3-D

Three-dimensional space has a number of topological properties that distinguish it from spaces of other dimension numbers. For example, at least three dimensions are required to tie a knot in a piece of string. [16]

In differential geometry the generic three-dimensional spaces are 3-manifolds, which locally resemble .

In finite geometry

Many ideas of dimension can be tested with finite geometry. The simplest instance is PG(3,2), which has Fano planes as its 2-dimensional subspaces. It is an instance of Galois geometry, a study of projective geometry using finite fields. Thus, for any Galois field GF(q), there is a projective space PG(3,q) of three dimensions. For example, any three skew lines in PG(3,q) are contained in exactly one regulus. [17]

See also

Notes

  1. 1 2 "IEC 60050 — Details for IEV number 102-04-39: "three-dimensional domain"". International Electrotechnical Vocabulary (in Japanese). Retrieved 2023-09-19.
  2. "Euclidean space - Encyclopedia of Mathematics". encyclopediaofmath.org. Retrieved 2020-08-12.
  3. "Details for IEV number 113-01-02: "space"". International Electrotechnical Vocabulary (in Japanese). Retrieved 2023-11-07.
  4. "Euclidean space | geometry". Encyclopedia Britannica. Retrieved 2020-08-12.
  5. Hughes-Hallett, Deborah; McCallum, William G.; Gleason, Andrew M. (2013). Calculus : Single and Multivariable (6 ed.). John wiley. ISBN   978-0470-88861-2.
  6. 1 2 Brannan, Esplen & Gray 1999 , pp. 34–35
  7. Brannan, Esplen & Gray 1999 , pp. 41–42
  8. Anton 1994 , p. 133
  9. Anton 1994 , p. 131
  10. Massey, WS (1983). "Cross products of vectors in higher dimensional Euclidean spaces". The American Mathematical Monthly. 90 (10): 697–701. doi:10.2307/2323537. JSTOR   2323537. If one requires only three basic properties of the cross product ... it turns out that a cross product of vectors exists only in 3-dimensional and 7-dimensional Euclidean space.
  11. Lang  1987 ,ch. I.1
  12. Berger 1987, Chapter 9.
  13. Arfken, p. 43.
  14. "IEC 60050 — Details for IEV number 102-04-40: "volume"". International Electrotechnical Vocabulary (in Japanese). Retrieved 2023-09-19.
  15. M. R. Spiegel; S. Lipschutz; D. Spellman (2009). Vector Analysis. Schaum's Outlines (2nd ed.). US: McGraw Hill. ISBN   978-0-07-161545-7.
  16. Rolfsen, Dale (1976). Knots and Links. Berkeley, California: Publish or Perish. ISBN   0-914098-16-0.
  17. Albrecht Beutelspacher & Ute Rosenbaum (1998) Projective Geometry, page 72, Cambridge University Press ISBN   0-521-48277-1

Related Research Articles

<span class="mw-page-title-main">Curl (mathematics)</span> Circulation density in a vector field

In vector calculus, the curl, also known as rotor, is a vector operator that describes the infinitesimal circulation of a vector field in three-dimensional Euclidean space. The curl at a point in the field is represented by a vector whose length and direction denote the magnitude and axis of the maximum circulation. The curl of a field is formally defined as the circulation density at each point of the field.

<span class="mw-page-title-main">Euclidean space</span> Fundamental space of geometry

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

<span class="mw-page-title-main">Gradient</span> Multivariate derivative (mathematics)

In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field whose value at a point gives the direction and the rate of fastest increase. The gradient transforms like a vector under change of basis of the space of variables of . If the gradient of a function is non-zero at a point , the direction of the gradient is the direction in which the function increases most quickly from , and the magnitude of the gradient is the rate of increase in that direction, the greatest absolute directional derivative. Further, a point where the gradient is the zero vector is known as a stationary point. The gradient thus plays a fundamental role in optimization theory, where it is used to minimize a function by gradient descent. In coordinate-free terms, the gradient of a function may be defined by:

In vector calculus and differential geometry the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. In particular, the fundamental theorem of calculus is the special case where the manifold is a line segment, Green’s theorem and Stokes' theorem are the cases of a surface in or and the divergence theorem is the case of a volume in Hence, the theorem is sometimes referred to as the Fundamental Theorem of Multivariate Calculus.

<i>n</i>-sphere Generalized sphere of dimension n (mathematics)

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.

<span class="mw-page-title-main">Vector field</span> Assignment of a vector to each point in a subset of Euclidean space

In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space . A vector field on a plane can be visualized as a collection of arrows with given magnitudes and directions, each attached to a point on the plane. Vector fields are often used to model, for example, the speed and direction of a moving fluid throughout three dimensional space, such as the wind, or the strength and direction of some force, such as the magnetic or gravitational force, as it changes from one point to another point.

<span class="mw-page-title-main">Normal (geometry)</span> Line or vector perpendicular to a curve or a surface

In geometry, a normal is an object that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the line perpendicular to the tangent line to the curve at the point.

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 field on M consists of a metric tensor at each point p of M that varies smoothly with p.

In vector calculus, Green's theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It is the two-dimensional special case of Stokes' theorem.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

In vector calculus, a conservative vector field is a vector field that is the gradient of some function. A conservative vector field has the property that its line integral is path independent; the choice of path between two points does not change the value of the line integral. Path independence of the line integral is equivalent to the vector field under the line integral being conservative. A conservative vector field is also irrotational; in three dimensions, this means that it has vanishing curl. An irrotational vector field is necessarily conservative provided that the domain is simply connected.

<span class="mw-page-title-main">Scalar potential</span> When potential energy difference depends only on displacement

In mathematical physics, scalar potential, simply stated, describes the situation where the difference in the potential energies of an object in two different positions depends only on the positions, not upon the path taken by the object in traveling from one position to the other. It is a scalar field in three-space: a directionless value (scalar) that depends only on its location. A familiar example is potential energy due to gravity.

In differential geometry, the second fundamental form is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by . Together with the first fundamental form, it serves to define extrinsic invariants of the surface, its principal curvatures. More generally, such a quadratic form is defined for a smooth immersed submanifold in a Riemannian manifold.

In mathematics, a norm is a function from a real or complex vector space to the non-negative real numbers that behaves in certain ways like the distance from the origin: it commutes with scaling, obeys a form of the triangle inequality, and is zero only at the origin. In particular, the Euclidean distance in a Euclidean space is defined by a norm on the associated Euclidean vector space, called the Euclidean norm, the 2-norm, or, sometimes, the magnitude of the vector. This norm can be defined as the square root of the inner product of a vector with itself.

The following are important identities involving derivatives and integrals in vector calculus.

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.

A vector-valued function, also referred to as a vector function, is a mathematical function of one or more variables whose range is a set of multidimensional vectors or infinite-dimensional vectors. The input of a vector-valued function could be a scalar or a vector ; the dimension of the function's domain has no relation to the dimension of its range.

<span class="mw-page-title-main">Euclidean plane</span> Geometric model of the planar projection of the physical universe

In mathematics, a Euclidean plane is a Euclidean space of dimension two, denoted or . It is a geometric space in which two real numbers are required to determine the position of each point. It is an affine space, which includes in particular the concept of parallel lines. It has also metrical properties induced by a distance, which allows to define circles, and angle measurement.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

<span class="mw-page-title-main">Stokes' theorem</span> Theorem in vector calculus

Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the surface integral of its curl over the enclosed surface. It is illustrated in the figure, where the direction of positive circulation of the bounding contour ∂Σ, and the direction n of positive flux through the surface Σ, are related by a right-hand-rule. For the right hand the fingers circulate along ∂Σ and the thumb is directed along n.

References