Two-dimensional space

Last updated
Euclidean space has parallel lines which extend infinitely while remaining equidistant. In non-Euclidean spaces, lines perpendicular to a traversal either converge or diverge. Noneuclid.svg
Euclidean space has parallel lines which extend infinitely while remaining equidistant. In non-Euclidean spaces, lines perpendicular to a traversal either converge or diverge.

A two-dimensional space is a mathematical space with two dimensions, meaning points have two degrees of freedom: their locations can be locally described with two coordinates or they can move in two independent directions. Common two-dimensional spaces are often called planes , or, more generally, surfaces . These include analogs to physical spaces, like flat planes, and curved surfaces like spheres, cylinders, and cones, which can be infinite or finite. Some two-dimensional mathematical spaces are not used to represent physical positions, like an affine plane or complex plane.

Contents

Flat

The most basic example is the flat Euclidean plane, an idealization of a flat surface in physical space such as a sheet of paper or a chalkboard. On the Euclidean plane, any two points can be joined by a unique straight line along which the distance can be measured. The space is flat because any two lines transversed by a third line perpendicular to both of them are parallel, meaning they never intersect and stay at uniform distance from each-other.

Curved

Two-dimensional spaces can also be curved, for example the sphere and hyperbolic plane, sufficiently small portions of which appear like the flat plane, but on which straight lines which are locally parallel do not stay equidistant from each-other but eventually converge or diverge, respectively. Two-dimensional spaces with a locally Euclidean concept of distance but which can have non-uniform curvature are called Riemannian surfaces. (Not to be confused with Riemann surfaces.) Some surfaces are embedded in three-dimensional Euclidean space or some other ambient space, and inherit their structure from it; for example, ruled surfaces such as the cylinder and cone contain a straight line through each point, and minimal surfaces locally minimize their area, as is done physically by soap films.

Relativistic

Lorentzian surfaces look locally like a two-dimensional slice of relativistic spacetime with one spatial and one time dimension; constant-curvature examples are the flat Lorentzian plane (a two-dimensional subspace of Minkowski space) and the curved de Sitter and anti-de Sitter planes.

Non-Euclidean

Other types of mathematical planes and surfaces modify or do away with the structures defining the Euclidean plane. For example, the affine plane has a notion of parallel lines but no notion of distance; however, signed areas can be meaningfully compared, as they can in a more general symplectic surface. The projective plane does away with both distance and parallelism. A two-dimensional metric space has some concept of distance but it need not match the Euclidean version. A topological surface can be stretched, twisted, or bent without changing its essential properties. An algebraic surface is a two-dimensional set of solutions of a system of polynomial equations.

Information-holding

Some mathematical spaces have additional arithmetical structure associated with their points. A vector plane is an affine plane whose points, called vectors , include a special designated origin or zero vector. Vectors can be added together or scaled by a number, and optionally have a Euclidean, Lorentzian, or Galilean concept of distance. The complex plane, hyperbolic number plane, and dual number plane each have points which are considered numbers themselves, and can be added and multiplied. A Riemann surface or Lorentz surface appear locally like the complex plane or hyperbolic number plane, respectively.

Definition and meaning

Mathematical spaces are often defined or represented using numbers rather than geometric axioms. One of the most fundamental two-dimensional spaces is the real coordinate space, denoted consisting of pairs of real-number coordinates. Sometimes the space represents arbitrary quantities rather than geometric positions, as in the parameter space of a mathematical model or the configuration space of a physical system.

Non-real numbers

More generally, other types of numbers can be used as coordinates. The complex plane is two-dimensional when considered to be formed from real-number coordinates, but one-dimensional in terms of complex-number coordinates. A two-dimensional complex space – such as the two-dimensional complex coordinate space, the complex projective plane, or a complex surface – has two complex dimensions, which can alternately be represented using four real dimensions. A two-dimensional lattice is an infinite grid of points which can be represented using integer coordinates. Some two-dimensional spaces, such as finite planes, have only a finite set of elements.

Further reading

Related Research Articles

<span class="mw-page-title-main">Dimension</span> Property of a mathematical space

In physics and mathematics, the dimension of a mathematical space is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coordinate is needed to specify a point on it – for example, the point at 5 on a number line. A surface, such as the boundary of a cylinder or sphere, has a dimension of two (2D) because two coordinates are needed to specify a point on it – for example, both a latitude and longitude are required to locate a point on the surface of a sphere. A two-dimensional Euclidean space is a two-dimensional space on the plane. The inside of a cube, a cylinder or a sphere is three-dimensional (3D) because three coordinates are needed to locate a point within these spaces.

<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">Projective plane</span> Geometric concept of a 2D space with a "point at infinity" adjoined

In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect at a single point, but there are some pairs of lines that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus any two distinct lines in a projective plane intersect at exactly one point.

<span class="mw-page-title-main">Euclidean distance</span> Length of a line segment

In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is occasionally called the Pythagorean distance.

<span class="mw-page-title-main">Hyperplane</span> Subspace of n-space whose dimension is (n-1)

In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is one less than that of the ambient space. Two lower-dimensional examples of hyperplanes are one-dimensional lines in a plane and zero-dimensional points on a line.

<span class="mw-page-title-main">Projective space</span> Completion of the usual space with "points at infinity"

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines.

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points to Euclidean points, and vice versa.

<span class="mw-page-title-main">Affine geometry</span> Euclidean geometry without distance and angles

In mathematics, affine geometry is what remains of Euclidean geometry when ignoring the metric notions of distance and angle.

<span class="mw-page-title-main">Affine space</span> Euclidean space without distance and angles

In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments. Affine space is the setting for affine geometry.

<span class="mw-page-title-main">Homogeneous space</span> Topological space in group theory

In mathematics, a homogeneous space is, very informally, a space that looks the same everywhere, as you move through it, with movement given by the action of a group. Homogeneous spaces occur in the theories of Lie groups, algebraic groups and topological groups. More precisely, a homogeneous space for a group G is a non-empty manifold or topological space X on which G acts transitively. The elements of G are called the symmetries of X. A special case of this is when the group G in question is the automorphism group of the space X – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, X is homogeneous if intuitively X looks locally the same at each point, either in the sense of isometry, diffeomorphism, or homeomorphism (topology). Some authors insist that the action of G be faithful, although the present article does not. Thus there is a group action of G on X that can be thought of as preserving some "geometric structure" on X, and making X into a single G-orbit.

<span class="mw-page-title-main">Discrete geometry</span> Branch of geometry that studies combinatorial properties and constructive methods

Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object.

<span class="mw-page-title-main">Rotation (mathematics)</span> Motion of a certain space that preserves at least one point

Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire (n − 1)-dimensional flat of fixed points in a n-dimensional space.

<span class="mw-page-title-main">Line (geometry)</span> Straight figure with zero width and depth

In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points.

<span class="mw-page-title-main">Manifold</span> Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.

<span class="mw-page-title-main">Three-dimensional space</span> Geometric model of the physical space

In geometry, a three-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, a solid figure.

<span class="mw-page-title-main">Space (mathematics)</span> Mathematical set with some added structure

In mathematics, a space is a set with a definition (structure) of relationships among the elements of the set. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. Geometry is one of the oldest mathematical sciences.

In mathematics, a plane is a two-dimensional space or flat surface that extends indefinitely. A plane is the two-dimensional analogue of a point, a line and three-dimensional space. When working exclusively in two-dimensional Euclidean space, the definite article is used, so the Euclidean plane refers to the whole space.

The Alexandrov uniqueness theorem is a rigidity theorem in mathematics, describing three-dimensional convex polyhedra in terms of the distances between points on their surfaces. It implies that convex polyhedra with distinct shapes from each other also have distinct metric spaces of surface distances, and it characterizes the metric spaces that come from the surface distances on polyhedra. It is named after Soviet mathematician Aleksandr Danilovich Aleksandrov, who published it in the 1940s.

<span class="mw-page-title-main">Motion (geometry)</span> Transformation of a geometric space preserving structure

In geometry, a motion is an isometry of a metric space. For instance, a plane equipped with the Euclidean distance metric is a metric space in which a mapping associating congruent figures is a motion. More generally, the term motion is a synonym for surjective isometry in metric geometry, including elliptic geometry and hyperbolic geometry. In the latter case, hyperbolic motions provide an approach to the subject for beginners.