Euclidean Space · aiwiki.page

Euclidean space is the mathematical setting that extends the familiar geometry of the plane and ordinary three-dimensional space to any finite number of dimensions. Its defining structure makes it possible to measure lengths, distances, and angles. In modern geometry, it can be described as an affine space whose displacement vectors form a finite-dimensional real vector space equipped with a positive-definite inner product. A standard coordinate model is $\mathbb{R}^n$ with its usual dot product. (math.umd.edu)

Definition and coordinate representation

The notation $\mathbb{R}^n$ denotes the set of ordered tuples

x=(x_1,\ldots,x_n),

where each coordinate is a real number. The integer $n$ is the dimension: one obtains a line for $n=1$ , a plane for $n=2$ , and ordinary Euclidean three-space for $n=3$ . Higher-dimensional versions use the same algebraic definitions without requiring a direct visual representation. (math.umd.edu)

Two related usages should be distinguished. A Euclidean vector space has vector addition, scalar multiplication, and a distinguished zero vector. A Euclidean affine space consists of points and displacement vectors but has no preferred origin. Subtracting two points produces a vector; adding a vector to a point produces another point. Choosing an origin identifies points with their position vectors, allowing the affine space to be represented by a vector space. (rolandvdv.nl)

An orthonormal basis consists of mutually perpendicular unit vectors. Together with an origin, it supplies Cartesian coordinates. Every finite-dimensional real inner-product space admits such a basis, so it can be identified with the standard coordinate model while preserving lengths and angles. The coordinates depend on the chosen basis, but the underlying geometric measurements do not. (groups.csail.mit.edu)

Length, distance, and angle

For vectors $u,v\in\mathbb{R}^n$ , the standard inner product is

\langle u,v\rangle=\sum_{i=1}^{n}u_i v_i.

It induces the Euclidean norm

\|u\|=\sqrt{\langle u,u\rangle}.

The Euclidean distance between points $x$ and $y$ is therefore

d(x,y)=\|x-y\| =\sqrt{\sum_{i=1}^{n}(x_i-y_i)^2}.

Distance is nonnegative, symmetric, and zero exactly when the points coincide; it also satisfies the triangle inequality. These properties make Euclidean space a metric space. (groups.csail.mit.edu)

For nonzero vectors, the angle $\theta\in[0,\pi]$ is defined by

\cos\theta=\frac{\langle u,v\rangle}{\|u\|\|v\|}.

The Cauchy–Schwarz inequality guarantees that the quotient lies between $-1$ and $1$ . Orthogonality means $\langle u,v\rangle=0$ . Expanding the norm of a sum then yields the Pythagorean theorem in arbitrary dimension:

\|u+v\|^2=\|u\|^2+\|v\|^2 \quad\text{when }u\perp v.

No angle is assigned to the zero vector by this formula. (groups.csail.mit.edu)

Subspaces and geometric transformations

A linear subspace inherits the ambient inner product and is itself a Euclidean vector space. Translating a linear subspace produces an affine subspace, such as a line or plane not necessarily passing through the origin. A hyperplane has dimension $n-1$ . For a subspace $W$ , its orthogonal complement $W^\perp$ consists of vectors perpendicular to every vector in $W$ . Each vector decomposes uniquely into components in $W$ and $W^\perp$ ; its component in $W$ is its orthogonal projection onto $W$ . (rolandvdv.nl)

An isometry preserves distances. Every Euclidean isometry from $\mathbb{R}^n$ onto itself has the form

f(x)=Qx+b,

where $b$ is a translation vector and $Q$ is an orthogonal matrix, satisfying $Q^{\mathsf T}Q=I$ . Such transformations include translations, rotations, reflections, and their compositions. They preserve angles as well as distances. An arbitrary affine map need not do so: nonuniform scaling and shearing generally alter Euclidean measurements. (math.umd.edu)

Topological and analytical properties

The Euclidean metric determines the usual topology on $\mathbb{R}^n$ . An open ball centered at $a$ with radius $r>0$ is

B(a,r)=\{x:\|x-a\|<r\}.

A set is open precisely when each of its points lies in a ball contained in that set. This formulation describes nearness without selecting a particular coordinate axis. (math.uwaterloo.ca)

Euclidean space is a complete metric space: every Cauchy sequence converges to a point in the space. Convergence can be checked coordinate by coordinate. The Heine–Borel theorem states that a subset of $\mathbb{R}^n$ is compact exactly when it is closed and bounded. These properties underpin many results in mathematical analysis, but closedness and boundedness alone do not characterize compactness in arbitrary metric spaces. (sites.math.northwestern.edu)

Relation to more general spaces

Euclidean space is a basic model for a manifold: manifolds have neighborhoods described by Euclidean coordinates, although their global structure need not be Euclidean. In Riemannian geometry, inner products are assigned to tangent spaces and may vary from point to point. Coordinates alone therefore do not establish that a space has Euclidean geometry; the metric structure must also be specified. (math.purdue.edu)

This distinction also applies within $\mathbb{R}^n$ . The same underlying coordinate set can carry different norms or distance functions. Replacing the standard distance changes its metric geometry even when the resulting topology remains unchanged. “Euclidean” consequently refers to more than a collection of real-number tuples: it identifies a particular structure connecting vector operations, perpendicularity, and measurement. (sites.math.northwestern.edu)