fbpx
Wikipedia

Three-dimensional space

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, the Euclidean n-space of dimension n=3 that 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.

A representation of a three-dimensional Cartesian coordinate system with the x-axis pointing towards the observer

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] It serves as a model of the physical universe (when relativity theory is not considered), in which all known matter exists. While this space remains the most compelling and useful way to model the world as it is experienced,[3] 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 vectors in these directions do not all lie in the same 2-space (plane). Furthermore, in this case, these three values can be labeled by any combination of three chosen from the terms width/breadth, height/depth, and length.

History Edit

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 Edit

Coordinate systems Edit

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.[4]

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 Edit

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 Edit

 
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 4. 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 Edit

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 24 48 120
Regular
polyhedron
 
{3,3}
 
{4,3}
 
{3,4}
 
{5,3}
 
{3,5}
 
{5/2,5}
 
{5,5/2}
 
{5/2,3}
 
{3,5/2}

Surfaces of revolution Edit

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 Edit

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.[5]

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 3 through that conic that are normal to π).[5] 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.[6] Each family is called a regulus.

In linear algebra Edit

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 Edit

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:[7]

 

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[8]

 

where θ is the angle between A and B.

Cross product Edit

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.[9]

 
The cross-product in respect to a right-handed coordinate system

Abstract description Edit

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.[10]

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 Edit

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.[11]

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

Inner product space Edit

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 Edit

Gradient, divergence and curl Edit

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 = U i + V j + W k, 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:[12]

 

In index notation, with Einstein summation convention this is

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

Line, surface, and volume integrals Edit

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.[13][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 Edit

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 Edit

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 Edit

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:[14]

      

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 Edit

 
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.[15]

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

In finite geometry Edit

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.[16]

See also Edit

Notes Edit

  1. ^ a b "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. ^ "Euclidean space | geometry". Encyclopedia Britannica. Retrieved 2020-08-12.
  4. ^ Hughes-Hallett, Deborah; McCallum, William G.; Gleason, Andrew M. (2013). Calculus : Single and Multivariable (6 ed.). John wiley. ISBN 978-0470-88861-2.
  5. ^ a b Brannan, Esplen & Gray 1999, pp. 34–5
  6. ^ Brannan, Esplen & Gray 1999, pp. 41–2
  7. ^ Anton 1994, p. 133
  8. ^ Anton 1994, p. 131
  9. ^ 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.
  10. ^ Lang 1987, ch. I.1
  11. ^ Berger 1987, Chapter 9.
  12. ^ Arfken, p. 43.
  13. ^ "IEC 60050 — Details for IEV number 102-04-40: "volume"". International Electrotechnical Vocabulary (in Japanese). Retrieved 2023-09-19.
  14. ^ M. R. Spiegel; S. Lipschutz; D. Spellman (2009). Vector Analysis. Schaum's Outlines (2nd ed.). US: McGraw Hill. ISBN 978-0-07-161545-7.
  15. ^ Rolfsen, Dale (1976). Knots and Links. Berkeley, California: Publish or Perish. ISBN 0-914098-16-0.
  16. ^ Albrecht Beutelspacher & Ute Rosenbaum (1998) Projective Geometry, page 72, Cambridge University Press ISBN 0-521-48277-1

References Edit

External links Edit

three, dimensional, space, broader, less, mathematical, treatment, related, this, topic, space, three, dimensional, redirects, here, other, uses, disambiguation, this, article, includes, list, general, references, lacks, sufficient, corresponding, inline, cita. For a broader less mathematical treatment related to this topic see Space Three dimensional redirects here For other uses see 3D disambiguation This article includes a list of general references but it lacks sufficient corresponding inline citations Please help to improve this article by introducing more precise citations April 2016 Learn how and when to remove this template message 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 the Euclidean n space of dimension n 3 that 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 A representation of a three dimensional Cartesian coordinate system with the x axis pointing towards the observerTechnically 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 R n displaystyle mathbb R n 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 It serves as a model of the physical universe when relativity theory is not considered in which all known matter exists While this space remains the most compelling and useful way to model the world as it is experienced 3 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 vectors in these directions do not all lie in the same 2 space plane Furthermore in this case these three values can be labeled by any combination of three chosen from the terms width breadth height depth and length Contents 1 History 2 In Euclidean geometry 2 1 Coordinate systems 2 2 Lines and planes 2 3 Spheres and balls 2 4 Polytopes 2 5 Surfaces of revolution 2 6 Quadric surfaces 3 In linear algebra 3 1 Dot product angle and length 3 2 Cross product 3 3 Abstract description 3 3 1 Affine description 3 3 2 Inner product space 4 In calculus 4 1 Gradient divergence and curl 4 2 Line surface and volume integrals 4 3 Fundamental theorem of line integrals 4 4 Stokes theorem 4 5 Divergence theorem 5 In topology 6 In finite geometry 7 See also 8 Notes 9 References 10 External linksHistory EditBooks 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 Rene Descartes in his work La Geometrie 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 q a u i v j w k displaystyle q a ui vj wk nbsp which had vanishing scalar component that is a 0 displaystyle a 0 nbsp While not explicitly studied by Hamilton this indirectly introduced notions of basis here given by the quaternion elements i j k displaystyle i j k nbsp 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 EditCoordinate systems Edit Main article Coordinate system 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 4 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 nbsp Cartesian coordinate system nbsp Cylindrical coordinate system nbsp Spherical coordinate systemLines and planes Edit 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 Edit Main article Sphere nbsp A perspective projection of a sphere onto two dimensionsA 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 byV 4 3 p r 3 displaystyle V frac 4 3 pi r 3 nbsp and the surface area of the sphere is A 4 p r 2 displaystyle A 4 pi r 2 nbsp 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 ℝ4 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 Edit Main article Polyhedron 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 polyhedraSymmetry Td Oh IhCoxeter group A3 3 3 B3 4 3 H3 5 3 Order 24 48 120Regularpolyhedron nbsp 3 3 nbsp 4 3 nbsp 3 4 nbsp 5 3 nbsp 3 5 nbsp 5 2 5 nbsp 5 5 2 nbsp 5 2 3 nbsp 3 5 2 Surfaces of revolution Edit Main article Surface 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 Edit Main article Quadric surface In analogy with the conic sections the set of points whose Cartesian coordinates satisfy the general equation of the second degree namely A x 2 B y 2 C z 2 F x y G y z H x z J x K y L z M 0 displaystyle Ax 2 By 2 Cz 2 Fxy Gyz Hxz Jx Ky Lz M 0 nbsp 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 5 There are six types of non degenerate quadric surfaces Ellipsoid Hyperboloid of one sheet Hyperboloid of two sheets Elliptic cone Elliptic paraboloid Hyperbolic paraboloidThe 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 p and all the lines of ℝ3 through that conic that are normal to p 5 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 6 Each family is called a regulus In linear algebra EditAnother 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 Edit Main article Dot productA 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 7 A B A 1 B 1 A 2 B 2 A 3 B 3 i 1 3 A i B i displaystyle mathbf A cdot mathbf B A 1 B 1 A 2 B 2 A 3 B 3 sum i 1 3 A i B i nbsp The magnitude of a vector A is denoted by A The dot product of a vector A A1 A2 A3 with itself is A A A 2 A 1 2 A 2 2 A 3 2 displaystyle mathbf A cdot mathbf A mathbf A 2 A 1 2 A 2 2 A 3 2 nbsp which gives A A A A 1 2 A 2 2 A 3 2 displaystyle mathbf A sqrt mathbf A cdot mathbf A sqrt A 1 2 A 2 2 A 3 2 nbsp 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 8 A B A B cos 8 displaystyle mathbf A cdot mathbf B mathbf A mathbf B cos theta nbsp where 8 is the angle between A and B Cross product Edit Main article 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 R 3 R 3 R 3 displaystyle times mathbb R 3 times mathbb R 3 rightarrow mathbb R 3 nbsp The components of the cross product are A B A 2 B 3 B 2 A 3 A 3 B 1 B 3 A 1 A 1 B 2 B 1 A 2 displaystyle mathbf A times mathbf B A 2 B 3 B 2 A 3 A 3 B 1 B 3 A 1 A 1 B 2 B 1 A 2 nbsp and can also be written in components using Einstein summation convention as A B i ϵ i j k A j B k displaystyle mathbf A times mathbf B i epsilon ijk A j B k nbsp where ϵ i j k displaystyle epsilon ijk nbsp is the Levi Civita symbol It has the property that A B B A displaystyle mathbf A times mathbf B mathbf B times mathbf A nbsp Its magnitude is related to the angle 8 displaystyle theta nbsp between A displaystyle mathbf A nbsp and B displaystyle mathbf B nbsp by the identity A B A B sin 8 displaystyle mathbf A times mathbf B mathbf A cdot mathbf B cdot sin theta nbsp 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 R 3 displaystyle mathbb R 3 times nbsp is isomorphic to the Lie algebra of three dimensional rotations denoted s o 3 displaystyle mathfrak so 3 nbsp In order to satisfy the axioms of a Lie algebra instead of associativity the cross product satisfies the Jacobi identity For any three vectors A B displaystyle mathbf A mathbf B nbsp and C displaystyle mathbf C nbsp A B C B C A C A B 0 displaystyle mathbf A times mathbf B times mathbf C mathbf B times mathbf C times mathbf A mathbf C times mathbf A times mathbf B 0 nbsp 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 9 nbsp The cross product in respect to a right handed coordinate systemAbstract description Edit See also vector space It can be useful to describe three dimensional space as a three dimensional vector space V displaystyle V nbsp over the real numbers This differs from R 3 displaystyle mathbb R 3 nbsp in a subtle way By definition there exists a basis B e 1 e 2 e 3 displaystyle mathcal B e 1 e 2 e 3 nbsp for V displaystyle V nbsp This corresponds to an isomorphism between V displaystyle V nbsp and R 3 displaystyle mathbb R 3 nbsp the construction for the isomorphism is found here However there is no preferred or canonical basis for V displaystyle V nbsp On the other hand there is a preferred basis for R 3 displaystyle mathbb R 3 nbsp which is due to its description as a Cartesian product of copies of R displaystyle mathbb R nbsp that is R 3 R R R displaystyle mathbb R 3 mathbb R times mathbb R times mathbb R nbsp This allows the definition of canonical projections p i R 3 R displaystyle pi i mathbb R 3 rightarrow mathbb R nbsp where 1 i 3 displaystyle 1 leq i leq 3 nbsp For example p 1 x 1 x 2 x 3 x displaystyle pi 1 x 1 x 2 x 3 x nbsp This then allows the definition of the standard basis B Standard E 1 E 2 E 3 displaystyle mathcal B text Standard E 1 E 2 E 3 nbsp defined byp i E j d i j displaystyle pi i E j delta ij nbsp where d i j displaystyle delta ij nbsp is the Kronecker delta Written out in full the standard basis is E 1 1 0 0 E 2 0 1 0 E 3 0 0 1 displaystyle E 1 begin pmatrix 1 0 0 end pmatrix E 2 begin pmatrix 0 1 0 end pmatrix E 3 begin pmatrix 0 0 1 end pmatrix nbsp Therefore R 3 displaystyle mathbb R 3 nbsp can be viewed as the abstract vector space together with the additional structure of a choice of basis Conversely V displaystyle V nbsp can be obtained by starting with R 3 displaystyle mathbb R 3 nbsp and forgetting the Cartesian product structure or equivalently the standard choice of basis As opposed to a general vector space V displaystyle V nbsp the space R 3 displaystyle mathbb R 3 nbsp is sometimes referred to as a coordinate space 10 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 R 3 displaystyle mathbb R 3 nbsp 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 R 3 displaystyle mathbb R 3 nbsp in order to do concrete computations Affine description Edit See also affine space and Euclidean space A more abstract description still is to model physical space as a three dimensional affine space E 3 displaystyle E 3 nbsp 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 R 3 displaystyle mathbb R 3 nbsp 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 11 This is physically appealing as it makes the translation invariance of physical space manifest A preferred origin breaks the translational invariance Inner product space Edit See also 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 EditMain article vector calculus Gradient divergence and curl Edit In a rectangular coordinate system the gradient of a differentiable function f R 3 R displaystyle f mathbb R 3 rightarrow mathbb R nbsp is given by f f x i f y j f z k displaystyle nabla f frac partial f partial x mathbf i frac partial f partial y mathbf j frac partial f partial z mathbf k nbsp and in index notation is written f i i f displaystyle nabla f i partial i f nbsp The divergence of a differentiable vector field F U i V j W k that is a function F R 3 R 3 displaystyle mathbf F mathbb R 3 rightarrow mathbb R 3 nbsp is equal to the scalar valued function div F F U x V y W z displaystyle operatorname div mathbf F nabla cdot mathbf F frac partial U partial x frac partial V partial y frac partial W partial z nbsp In index notation with Einstein summation convention this is F i F i displaystyle nabla cdot mathbf F partial i F i nbsp 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 i j k x y z F x F y F z displaystyle begin vmatrix mathbf i amp mathbf j amp mathbf k frac partial partial x amp frac partial partial y amp frac partial partial z F x amp F y amp F z end vmatrix nbsp where i j and k are the unit vectors for the x y and z axes respectively This expands as follows 12 F z y F y z i F x z F z x j F y x F x y k displaystyle left frac partial F z partial y frac partial F y partial z right mathbf i left frac partial F x partial z frac partial F z partial x right mathbf j left frac partial F y partial x frac partial F x partial y right mathbf k nbsp In index notation with Einstein summation convention this is F i ϵ i j k j F k displaystyle nabla times mathbf F i epsilon ijk partial j F k nbsp where ϵ i j k displaystyle epsilon ijk nbsp is the totally antisymmetric symbol the Levi Civita symbol Line surface and volume integrals Edit For some scalar field f U Rn R the line integral along a piecewise smooth curve C U is defined as C f d s a b f r t r t d t displaystyle int limits C f ds int a b f mathbf r t mathbf r t dt nbsp 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 a lt b displaystyle a lt b nbsp For a vector field F U Rn Rn the line integral along a piecewise smooth curve C U in the direction of r is defined as C F r d r a b F r t r t d t displaystyle int limits C mathbf F mathbf r cdot d mathbf r int a b mathbf F mathbf r t cdot mathbf r t dt nbsp 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 S f d S T f x s t x s x t d s d t displaystyle iint S f mathrm d S iint T f mathbf x s t left partial mathbf x over partial s times partial mathbf x over partial t right mathrm d s mathrm d t nbsp 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 13 1 It can also mean a triple integral within a region D in R3 of a function f x y z displaystyle f x y z nbsp and is usually written as D f x y z d x d y d z displaystyle iiint limits D f x y z dx dy dz nbsp Fundamental theorem of line integrals Edit Main article 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 f U R n R displaystyle varphi U subseteq mathbb R n to mathbb R nbsp Then f q f p g p q f r d r displaystyle varphi left mathbf q right varphi left mathbf p right int gamma mathbf p mathbf q nabla varphi mathbf r cdot d mathbf r nbsp Stokes theorem Edit Main article Stokes theorem Stokes theorem relates the surface integral of the curl of a vector field F over a surface S in Euclidean three space to the line integral of the vector field over its boundary S S F d S S F d r displaystyle iint Sigma nabla times mathbf F cdot mathrm d mathbf Sigma oint partial Sigma mathbf F cdot mathrm d mathbf r nbsp Divergence theorem Edit Main article Divergence theorem Suppose V is a subset of R n displaystyle mathbb R n nbsp 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 14 V F d V displaystyle iiint V left mathbf nabla cdot mathbf F right dV nbsp nbsp S displaystyle scriptstyle S nbsp F n d S displaystyle mathbf F cdot mathbf n dS nbsp 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 Edit nbsp Wikipedia s globe logo in 3 DThree 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 15 In differential geometry the generic three dimensional spaces are 3 manifolds which locally resemble R 3 displaystyle mathbb R 3 nbsp In finite geometry EditMany 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 16 See also Edit3D rotation Rotation formalisms in three dimensions Dimensional analysis Distance from a point to a plane Four dimensional space Skew lines Distance Three dimensional graph Solid geometry Two dimensional spaceNotes Edit a b IEC 60050 Details for IEV number 102 04 39 three dimensional domain International Electrotechnical Vocabulary in Japanese Retrieved 2023 09 19 Euclidean space Encyclopedia of Mathematics encyclopediaofmath org Retrieved 2020 08 12 Euclidean space geometry Encyclopedia Britannica Retrieved 2020 08 12 Hughes Hallett Deborah McCallum William G Gleason Andrew M 2013 Calculus Single and Multivariable 6 ed John wiley ISBN 978 0470 88861 2 a b Brannan Esplen amp Gray 1999 pp 34 5 Brannan Esplen amp Gray 1999 pp 41 2 Anton 1994 p 133 Anton 1994 p 131 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 Lang 1987 ch I 1 Berger 1987 Chapter 9 sfn error no target CITEREFBerger1987 help Arfken p 43 IEC 60050 Details for IEV number 102 04 40 volume International Electrotechnical Vocabulary in Japanese Retrieved 2023 09 19 M R Spiegel S Lipschutz D Spellman 2009 Vector Analysis Schaum s Outlines 2nd ed US McGraw Hill ISBN 978 0 07 161545 7 Rolfsen Dale 1976 Knots and Links Berkeley California Publish or Perish ISBN 0 914098 16 0 Albrecht Beutelspacher amp Ute Rosenbaum 1998 Projective Geometry page 72 Cambridge University Press ISBN 0 521 48277 1References EditAnton Howard 1994 Elementary Linear Algebra 7th ed John Wiley amp Sons ISBN 978 0 471 58742 2 Arfken George B and Hans J Weber Mathematical Methods For Physicists Academic Press 6 edition June 21 2005 ISBN 978 0 12 059876 2 Brannan David A Esplen Matthew F Gray Jeremy J 1999 Geometry Cambridge University Press ISBN 978 0 521 59787 6External links Edit nbsp Wikiquote has quotations related to Three dimensional space nbsp Wikimedia Commons has media related to 3D nbsp The dictionary definition of three dimensional at Wiktionary Weisstein Eric W Four Dimensional Geometry MathWorld Elementary Linear Algebra Chapter 8 Three dimensional Geometry Keith Matthews from University of Queensland 1991 Retrieved from https en wikipedia org w index php title Three dimensional space amp oldid 1179523290, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.