Namespaces
Variants
Actions

Difference between revisions of "Space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
A logical conceptual form (or structure) serving as a medium in which other forms and some structures are realized. E.g., in elementary geometry the plane or space serves as the medium in which one constructs various figures. In the majority of cases one fixes relations in space that are compatible in formal properties with the usual spatial relationships (distances between points, equality of figures, etc.), so that for such spaces one can say that they represent logical conceptual space-like forms. The first, and most important, mathematical space is the three-dimensional [[Euclidean space|Euclidean space]], representing an approximate abstraction of the form of real space. The general concept of  "space"  in mathematics is complex, owing to the result of generalization and changes in the concept of the geometry of Euclidean space. The first spaces differing from three-dimensional Euclidean space were introduced in the first half of the 19th century. These were the [[Lobachevskii space|Lobachevskii space]] and the Euclidean space of arbitrary dimension (cf. [[Non-Euclidean geometries|Non-Euclidean geometries]]; [[Higher-dimensional geometry|Higher-dimensional geometry]]). The general concept of a mathematical space as a  "multiple extension" , or  "manifold" , was introduced in 1854 by B. Riemann. It was generalized, axiomatized and made concrete in various directions: such as, e.g., [[Riemannian space|Riemannian space]]; [[Finsler space|Finsler space]]; [[Vector space|vector space]]; [[Hilbert space|Hilbert space]]; [[Metric space|metric space]], and [[Topological space|topological space]]. In contemporary mathematics space is defined as a certain set of objects, which are called its points; they can be geometric objects, functions, states of a physical system, etc. By considering such a set as a space one abstracts any property of its elements and considers only those properties of their totality that can be defined by relations that are taken into account or that are introduced by definition. These relations between points and some figures, i.e. sets of points, determine the  "geometry"  of the space. In an axiomatic construction, the basic properties of these relations are expressed in corresponding axioms.
+
A logical conceptual form (or structure) serving as a medium in which other forms and some structures are realized. E.g., in elementary geometry the plane or space serves as the medium in which one constructs various figures. In the majority of cases one fixes relations in space that are compatible in formal properties with the usual spatial relationships (distances between points, equality of figures, etc.), so that for such spaces one can say that they represent logical conceptual space-like forms. The first, and most important, mathematical space is the three-dimensional [[Euclidean space|Euclidean space]], representing an approximate abstraction of the form of real space. The general concept of  "space"  in mathematics is complex, owing to the result of generalization and changes in the concept of the geometry of Euclidean space. The first spaces differing from three-dimensional Euclidean space were introduced in the first half of the 19th century. These were the [[Lobachevskii space|Lobachevskii space]] and the Euclidean space of arbitrary dimension (cf. [[Non-Euclidean geometries|Non-Euclidean geometries]]; [[Higher-dimensional geometry|Higher-dimensional geometry]]). The general concept of a mathematical space as a  "multiple extension", or  "manifold", was introduced in 1854 by B. Riemann. It was generalized, axiomatized and made concrete in various directions: such as, e.g., [[Riemannian space|Riemannian space]]; [[Finsler space|Finsler space]]; [[Vector space|vector space]]; [[Hilbert space|Hilbert space]]; [[Metric space|metric space]], and [[Topological space|topological space]]. In contemporary mathematics space is defined as a certain set of objects, which are called its points; they can be geometric objects, functions, states of a physical system, etc. By considering such a set as a space one abstracts any property of its elements and considers only those properties of their totality that can be defined by relations that are taken into account or that are introduced by definition. These relations between points and some figures, i.e. sets of points, determine the  "geometry"  of the space. In an axiomatic construction, the basic properties of these relations are expressed in corresponding axioms.
  
 
As examples of spaces one can mention:
 
As examples of spaces one can mention:
  
1) metric spaces, in which the distance between points is defined; e.g. the space of continuous functions on the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861801.png" />, where functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861802.png" />, continuous on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861803.png" />, are taken as points, while the distance between two functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861804.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861805.png" /> is defined as the maximum of the moduli of their differences:
+
1) metric spaces, in which the distance between points is defined; e.g. the space of continuous functions on the segment $[a,b]$, where functions $f$, continuous on $[a,b]$, are taken as points, while the distance between two functions $f_1$ and $f_2$ is defined as the maximum of the moduli of their differences:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861806.png" /></td> </tr></table>
+
$$d=\max_x|f_1(x)-f_2(x)|.$$
  
2) The  "space of events" , playing an important part in the geometric interpretation of relativity theory. Every event is characterized by its position, coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861807.png" />, and time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861808.png" />, therefore the set of all possible events is a four-dimensional space, with as  "points"  the events with four coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086180/s0861809.png" />.
+
2) The  "space of events", playing an important part in the geometric interpretation of relativity theory. Every event is characterized by its position, coordinates $x,y,z$, and time $t$, therefore the set of all possible events is a four-dimensional space, with as  "points"  the events with four coordinates $x,y,z,t$.
  
 
3) The phase spaces, considered in theoretical physics and mechanics. The phase space of a physical system is the set of all possible states of the system, which are to be regarded as the points of this space.
 
3) The phase spaces, considered in theoretical physics and mechanics. The phase space of a physical system is the set of all possible states of the system, which are to be regarded as the points of this space.

Latest revision as of 14:27, 28 August 2014

A logical conceptual form (or structure) serving as a medium in which other forms and some structures are realized. E.g., in elementary geometry the plane or space serves as the medium in which one constructs various figures. In the majority of cases one fixes relations in space that are compatible in formal properties with the usual spatial relationships (distances between points, equality of figures, etc.), so that for such spaces one can say that they represent logical conceptual space-like forms. The first, and most important, mathematical space is the three-dimensional Euclidean space, representing an approximate abstraction of the form of real space. The general concept of "space" in mathematics is complex, owing to the result of generalization and changes in the concept of the geometry of Euclidean space. The first spaces differing from three-dimensional Euclidean space were introduced in the first half of the 19th century. These were the Lobachevskii space and the Euclidean space of arbitrary dimension (cf. Non-Euclidean geometries; Higher-dimensional geometry). The general concept of a mathematical space as a "multiple extension", or "manifold", was introduced in 1854 by B. Riemann. It was generalized, axiomatized and made concrete in various directions: such as, e.g., Riemannian space; Finsler space; vector space; Hilbert space; metric space, and topological space. In contemporary mathematics space is defined as a certain set of objects, which are called its points; they can be geometric objects, functions, states of a physical system, etc. By considering such a set as a space one abstracts any property of its elements and considers only those properties of their totality that can be defined by relations that are taken into account or that are introduced by definition. These relations between points and some figures, i.e. sets of points, determine the "geometry" of the space. In an axiomatic construction, the basic properties of these relations are expressed in corresponding axioms.

As examples of spaces one can mention:

1) metric spaces, in which the distance between points is defined; e.g. the space of continuous functions on the segment $[a,b]$, where functions $f$, continuous on $[a,b]$, are taken as points, while the distance between two functions $f_1$ and $f_2$ is defined as the maximum of the moduli of their differences:

$$d=\max_x|f_1(x)-f_2(x)|.$$

2) The "space of events", playing an important part in the geometric interpretation of relativity theory. Every event is characterized by its position, coordinates $x,y,z$, and time $t$, therefore the set of all possible events is a four-dimensional space, with as "points" the events with four coordinates $x,y,z,t$.

3) The phase spaces, considered in theoretical physics and mechanics. The phase space of a physical system is the set of all possible states of the system, which are to be regarded as the points of this space.


Comments

See also Banach space; Minkowski space; Continuous functions, space of; Space of mappings, topological.

References

[a1] H. Senechal (ed.) G. Fleck (ed.) , Shaping space , Birkhäuser (1988)
[a2] H. Weyl, "Space-time-matter" , Dover, reprint (1950) (Translated from German)
[a3] H. Weyl, "Philosophy of mathematics and natural science" , Princeton Univ. Press (1949)
How to Cite This Entry:
Space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Space&oldid=33186
This article was adapted from an original article by A.D. Aleksandrov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article