Euclidean space: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
No edit summary
imported>Peter Schmitt
(expanding introduction to make it less formal)
Line 1: Line 1:
{{subpages}}
{{subpages}}
In [[mathematics]], a '''Euclidean space''' <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font> is a [[space]]  of dimension ''n'', where ''n'' is a finite natural number not equal to zero. The best known examples of Euclidean spaces  are the 2- and 3-dimensional point spaces studied by [[Euclid]] and, in his footsteps, by  high-school students all over the world.  
 
A '''Euclidean space''' or, more precisely, a '''Euclidean''' '''''n'''''-'''space'''
is the generalization of the notions "plane" and "space"
(from elementary geometry) to arbitrary dimensions ''n''.
Thus Euclidean 2-space is the plane, and Euclidean 3-space is space.
 
This generalization is obtained by extending the axioms of [[Euclidean geometry]]
to allow ''n'' directions which are mutual perpendicular to each other.
For practical purposes, [[Cartesian coordinates]] are introduced just as
for 2 or 3 dimensions: Because of the larger dimension,
''n'' coordinates are needed to identify a point of the space.
This approach is called "[[analytic geometry]]" because it allows
to use the methods of [[linear algebra]] to solve geometrical questions
by calculation with real numbers.
 
== Cartesian coordinates ==
 
A '''Euclidean space''' <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font> is a [[space]]  of dimension ''n'', where ''n'' is a finite natural number not equal to zero. The best known examples of Euclidean spaces  are the 2- and 3-dimensional point spaces studied by [[Euclid]] and, in his footsteps, by  high-school students all over the world.  


The ''n''-dimensional Euclidean space is in one-to-one correspondence to the [[vector space]]  ℝ<sup>''n''</sup>  consisting of ordered ''n''-tuples (columns) of real numbers. The definition of a 1-1 map between the two spaces is  by choosing a  point of <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font>, the ''origin'' and erecting a set of axes in that point. Any point of <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font> obtains a unique set of coordinates with respect to these axes and accordingly is represented by an ordered set of real numbers, i.e., by an element of  ℝ<sup>''n''</sup>.  Conversely, given a column of ''n'' real numbers and a set of axes crossing in an origin, an element of <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font>  (a "point") is determined uniquely. In fact, the two spaces are so closely related that they are often identified; in that case  ℝ<sup>''n''</sup> is usually  referred to as Euclidean space. However, strictly speaking  ℝ<sup>''n''</sup> is not exactly the space appearing in Euclid's geometry, not even for ''n'' = 2 or ''n'' = 3.  After all, it was almost 2000 years after  Euclid wrote his [[Euclid's Elements|Elements]] that [[Descartes]] introduced in 1637 ordered 2- and 3-tuples, now known as [[Cartesian coordinates]],  to describe points in the plane and in space.  In Euclid's geometry there is no origin,  all points are equal.
The ''n''-dimensional Euclidean space is in one-to-one correspondence to the [[vector space]]  ℝ<sup>''n''</sup>  consisting of ordered ''n''-tuples (columns) of real numbers. The definition of a 1-1 map between the two spaces is  by choosing a  point of <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font>, the ''origin'' and erecting a set of axes in that point. Any point of <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font> obtains a unique set of coordinates with respect to these axes and accordingly is represented by an ordered set of real numbers, i.e., by an element of  ℝ<sup>''n''</sup>.  Conversely, given a column of ''n'' real numbers and a set of axes crossing in an origin, an element of <font style ="vertical-align: text-top"><math>\mathbb{E}^n</math></font>  (a "point") is determined uniquely. In fact, the two spaces are so closely related that they are often identified; in that case  ℝ<sup>''n''</sup> is usually  referred to as Euclidean space. However, strictly speaking  ℝ<sup>''n''</sup> is not exactly the space appearing in Euclid's geometry, not even for ''n'' = 2 or ''n'' = 3.  After all, it was almost 2000 years after  Euclid wrote his [[Euclid's Elements|Elements]] that [[Descartes]] introduced in 1637 ordered 2- and 3-tuples, now known as [[Cartesian coordinates]],  to describe points in the plane and in space.  In Euclid's geometry there is no origin,  all points are equal.

Revision as of 19:01, 5 October 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

A Euclidean space or, more precisely, a Euclidean n-space is the generalization of the notions "plane" and "space" (from elementary geometry) to arbitrary dimensions n. Thus Euclidean 2-space is the plane, and Euclidean 3-space is space.

This generalization is obtained by extending the axioms of Euclidean geometry to allow n directions which are mutual perpendicular to each other. For practical purposes, Cartesian coordinates are introduced just as for 2 or 3 dimensions: Because of the larger dimension, n coordinates are needed to identify a point of the space. This approach is called "analytic geometry" because it allows to use the methods of linear algebra to solve geometrical questions by calculation with real numbers.

Cartesian coordinates

A Euclidean space is a space of dimension n, where n is a finite natural number not equal to zero. The best known examples of Euclidean spaces are the 2- and 3-dimensional point spaces studied by Euclid and, in his footsteps, by high-school students all over the world.

The n-dimensional Euclidean space is in one-to-one correspondence to the vector spacen consisting of ordered n-tuples (columns) of real numbers. The definition of a 1-1 map between the two spaces is by choosing a point of , the origin and erecting a set of axes in that point. Any point of obtains a unique set of coordinates with respect to these axes and accordingly is represented by an ordered set of real numbers, i.e., by an element of ℝn. Conversely, given a column of n real numbers and a set of axes crossing in an origin, an element of (a "point") is determined uniquely. In fact, the two spaces are so closely related that they are often identified; in that case ℝn is usually referred to as Euclidean space. However, strictly speaking ℝn is not exactly the space appearing in Euclid's geometry, not even for n = 2 or n = 3. After all, it was almost 2000 years after Euclid wrote his Elements that Descartes introduced in 1637 ordered 2- and 3-tuples, now known as Cartesian coordinates, to describe points in the plane and in space. In Euclid's geometry there is no origin, all points are equal.

The definition of Euclidean space further requires a distance d(x,y) between any two of its elements x and y, i.e., a Euclidean space is an example of a metric space. The distance is defined by means of the following positive definite inner product on ℝn,

where xi are the components of x and yi of y. Further, ⟨a, b⟩ stands for an inner product between a and b. Thus, a common definition of Euclidean space is that it is the linear space ℝn equipped with positive definite inner product.

In numerical applications one may meet a real n-dimensional linear space V with a basis {vi} such that the overlap matrix is not equal to the the identity matrix,

where δij is the Kronecker delta The inner product between two elements x and y of the space with component vectors {xi} and {yj} with respect to the basis {vi} is

The overlap matrix gi j is an example of a metric tensor. When the metric tensor is a constant, symmetric, positive definite, n×n matrix, the linear space V is in fact (isomorphic to) an n-dimensional Euclidean space. By a choice of a new basis for V the matrix gi j can be transformed to the identity matrix; the new basis is an orthonormal basis. Hence a Euclidean space may be defined as a linear inner product space that contains a basis with the identity matrix as its overlap matrix. In non-linear (curved, non-Euclidean) spaces the metric tensor is a function of position and cannot be transformed to an identity matrix by a global transformation, i.e., by a single transformation holding on the whole space.

One can introduce the following affine map on ℝn:

where A is a real n×n matrix and c is an ordered n-tuple of real numbers. If A is an orthogonal matrix this map leaves distances invariant and is called an affine motion; if furthermore c = 0 it is a rotation. If A = E (the identity matrix), it is a translation, equivalent to a shift of origin. In the classical Euclidean geometry it is irrelevant at which points in space the geometrical objects (circles, triangles, Platonic solids, etc.) are located. This means that Euclid assumed implicitly the invariance of his geometry under translations. Also the orientation in space of an object is irrelevant for its geometric properties, so that Euclid, also implicitly, assumed rotational invariance as well. The set of affine motions forms a group, named the Euclidean group.

A real inner product space equipped with an affine map is an affine space. Formally, the space of high-school geometry is the 2- or 3-dimensional affine space equipped with inner product. A general Euclidean space may be defined as an n-dimensional affine space with inner product. Although classical Euclidean geometry does not introduce explicitly an inner product, it does so implicitly by considering lengths of line segments and magnitudes of angles.

Finally, it may be of interest to mention an example of a space that is not Euclidean, i.e., non-flat—the flatness being given by the definition of distance. The best known example of a curved space is the surface of the Earth. Locally the surface is flat, i.e., Euclidean, but globally it is curved. Somebody planning a day's hike will see the Earth as Euclidean, but an airplane pilot planning a flight from Europe to the US will not. Most long-distance flights follow a great circle, because that is the shortest distance on the surface of a sphere. Planes do not fly along parallels of latitude (the equator excepted), even if the points of departure and destination are at the same latitude. Flying along a parallel seems shortest on a chart in an atlas that uses the common Mercator projection. However, such a chart gives wrong distances because it approximates the curved surface of the Earth by a flat 2-dimensional Euclidean plane, see Riemannian manifold for more details about the distance on curved spaces embedded in higher-dimensional Euclidean spaces.