Difference between revisions of "Spacetime" - New World Encyclopedia

From New World Encyclopedia
(claim, fix, edits)
Line 1: Line 1:
 
{{Claimed}}
 
{{Claimed}}
[[Image:Spacetime curvature.png|thumb|right|400px|Two-dimensional analogy of space-time distortion. The presence of [[matter]] changes the [[geometry]] of [[spacetime]], this (curved) geometry being interpreted as [[gravity]]. Note that the white lines do not represent the curvature of space, but instead represent the [[coordinate system]] imposed on the curved spacetime which would be [[rectilinear]] in a flat spacetime.]]
+
[[Image:spacetime curvature.png|thumb|right|400px|Three-dimensional analogy of space-time distortion. Matter changes the geometry of [[spacetime]], this (curved) geometry being interpreted as [[gravity]]. White lines do not represent the curvature of space, but instead represent the [[coordinate system]] imposed on the curved spacetime which would be [[rectilinear]] in a flat spacetime.]]
  
In [[physics]], '''spacetime''' is any [[mathematical model]] that combines [[space]] and [[time]] into a single construct called the '''space-time continuum'''. Spacetime is usually interpreted with space being three-dimensional and time playing the role of the [[fourth dimension|fourth dimension]]. According to [[Euclidean space]] perception, the [[universe]] has three [[dimension]]s of space, and one dimension of time. By combining space and time into a single [[manifold]], physicists have significantly simplified a large amount of [[Theoretical physics|physical theory]], as well as described in a more uniform way the workings of the universe at both the [[Physical cosmology|supergalactic]] and [[quantum mechanics|subatomic]] levels.
+
In [[physics]], '''spacetime''' is any [[mathematical model]] that combines [[space]] and [[Time in physics|time]] into a single construct called the '''space-time continuum'''. Spacetime is usually interpreted with space being three-dimensional and time playing the role of the [[fourth dimension]]. According to [[Euclidean space]] perception, the [[universe]] has three [[dimension]]s of space, and one dimension of time. By combining space and time into a single [[manifold]], physicists have significantly simplified a large amount of [[Theoretical physics|physical theory]], as well as described in a more uniform way the workings of the universe at both the [[Physical cosmology|supergalactic]] and [[quantum mechanics|subatomic]] levels.
  
In [[classical mechanics]], the use of spacetime over Euclidean space is optional, as time is independent of mechanical motion in three dimensions. In [[theory of relativity|relativistic]] contexts, however, time cannot be separated from the three dimensions of space as it depends on an object's [[velocity]] relative to the [[Light speed|speed of light]].
+
In [[classical mechanics]], the use of spacetime over Euclidean space is optional, as time is treated as a constant, being independent of mechanical motion in three dimensions (which matches reality at low speeds). In [[theory of relativity|relativistic]] contexts, however, time cannot be separated from the three dimensions of space because it depends on an object's [[velocity]] relative to the [[Light speed|speed of light]], and also the strength of intense gravitational fields which can slow the passage of time.
  
The term ''spacetime'' has taken on a generalized meaning with the advent of higher-dimensional theories. How many dimensions are needed to describe the universe is still an open question. Speculative theories such as [[string theory]] predict 10 or 26 dimensions (With [[M-theory]] predicting 11 dimensions, 10 spatial and 1 temporal), but the existence of more than four dimensions would only appear to make a difference at the [[subatomic]] level.
+
__TOC__
 +
 
 +
== Concept with dimensions ==
 +
The concept of spacetime combines space and time within a single coordinate system, typically with 4 dimensions: length, width, height, and time.  Dimensions are components of a coordinate grid typically used to locate a point in space, or on the globe, such as by [[latitude]], [[longitude]] and planet (Earth).  However, with spacetime, the coordinate grid is used to locate "events" (rather than just points in space), so time is added as another dimension to the grid.
 +
 
 +
Formerly, from experiments at slow speeds, time was believed to be a constant, which progressed at a fixed rate; however, later high-speed experiments revealed that time slowed down at higher speeds (with such slowing called "[[time dilation]]"). Many experiments have confirmed the slowing from ''time dilation'', such as [[atomic clock]]s onboard a [[Space Shuttle]] running slower than synchronized Earth-bound clocks.  Since time varies, it is treated as a variable within the spacetime coordinate grid, and time is no longer assumed to be a constant, independent of the location in space.
 +
 
 +
Note that treating spacetime events with the 4 dimensions (including time) is the conventional view; however, other invented coordinate grids treat time as 3 additional dimensions, with length-time, width-time, and height-time, to accompany the 3 dimensions of space.  When dimensions are understood as mere components of the grid system, rather than physical attributes of space, it is easier to understand the alternate dimensional views, such as: latitude, longitude, plus [[Greenwich Mean Time]] (3 dimensions), or city, state, postal code, country, and [[UTC]] time (5 dimensions).  The various dimensions are chosen, depending on the coordinate grid used.
 +
 
 +
The term ''spacetime'' has taken on a generalized meaning with the advent of higher-dimensional theories. How many dimensions are needed to describe the universe is still an open question. Speculative theories such as [[string theory]] predict 10 or 26 dimensions (with [[M-theory]] predicting 11 dimensions; 10 spatial and 1 temporal), but the existence of more than four dimensions would only appear to make a difference at the [[subatomic]] level.
  
 
== Historical origin ==
 
== Historical origin ==
  
The origins of this twentieth-century scientific theory began in the nineteenth century with fiction writers. [[Edgar Allan Poe]] stated in his essay on cosmology titled ''[[Eureka (Edgar Allan Poe)|Eureka]]'' (1848) that "space and duration are one." This is the first known instance of suggesting space and time to be different perceptions of one thing. Poe arrived at this conclusion after approximately 90 pages of reasoning but employed no mathematics. In 1895, in his novel, ''[[The Time Machine]]'', [[H.G. Wells]] wrote, “There is no difference between Time and any of the three dimensions of Space except that our consciousness moves along it.” He added, “Scientific people…know very well that Time is only a kind of Space.”
+
The origins of this 20th century scientific concept began in the 19th century with fiction writers. [[Edgar Allan Poe]] stated in his essay on cosmology titled ''[[Eureka (Edgar Allan Poe)|Eureka]]'' (1848) that "Space and duration are one." This is the first known instance of suggesting space and time to be different perceptions of one thing. Poe arrived at this conclusion after approximately 90 pages of reasoning but employed no mathematics. In 1895, in his novel, ''[[The Time Machine]]'', [[H.G. Wells]] wrote, “There is no difference between time and any of the three dimensions of space except that our consciousness moves along it.” He added, “Scientific people…know very well that time is only a kind of space.”
  
 
While spacetime can be viewed as a consequence of [[Albert Einstein]]'s 1905 theory of [[special relativity]], it was first explicitly proposed mathematically by one of his teachers, the mathematician [[Hermann Minkowski]], in a 1908 essay <ref>Hermann Minkowski, [http://de.wikisource.org/wiki/Raum_und_Zeit_(Minkowski) "Raum und Zeit"], 80. Versammlung
 
While spacetime can be viewed as a consequence of [[Albert Einstein]]'s 1905 theory of [[special relativity]], it was first explicitly proposed mathematically by one of his teachers, the mathematician [[Hermann Minkowski]], in a 1908 essay <ref>Hermann Minkowski, [http://de.wikisource.org/wiki/Raum_und_Zeit_(Minkowski) "Raum und Zeit"], 80. Versammlung
Deutscher Naturforscher (Köln, 1908). Published in Physikalische Zeitschrift '''10''' 104-111 (1909) and Jahresbericht der Deutschen Mathematiker-Vereinigung '''18''' 75-88 (1909). For an English translation, see Lorentz et al. (1952).</ref> building on and extending Einstein's work. His concept of [[Minkowski space]] is the earliest treatment of space and time as two aspects of a unified whole, the essence of [[special relativity]]. The idea of Minkowski space also led to special relativity being viewed in a more geometrical way, this geometric viewpoint of spacetime being important in general relativity too. (For an English translation of Minkowski's article, see Lorentz et al. 1952.) The 1926 thirteenth edition of the [[Encyclopedia Britannica]] included an article by Einstein titled "space-time".<ref>[[Albert Einstein|Einstein, Albert]], 1926, "[http://www.britannica.com/eb/article-9117889 Space-Time,]" ''Encyclopedia Britannica'', 13th ed.</ref>
+
Deutscher Naturforscher (Köln, 1908). Published in Physikalische Zeitschrift '''10''' 104-111 (1909) and Jahresbericht der Deutschen Mathematiker-Vereinigung '''18''' 75-88 (1909). For an English translation, see Lorentz et al. (1952).</ref> building on and extending Einstein's work. His concept of [[Minkowski space]] is the earliest treatment of space and time as two aspects of a unified whole, the essence of [[special relativity]]. The idea of Minkowski Space also led to special relativity being viewed in a more geometrical way, this geometric viewpoint of spacetime being important in general relativity too. (For an English translation of Minkowski's article, see Lorentz et al. 1952.) The 1926 thirteenth edition of the [[Encyclopedia Britannica]] included an article by Einstein titled "space-time".<ref>[[Albert Einstein|Einstein, Albert]], 1926, "[http://www.britannica.com/eb/article-9117889 Space-Time,]" ''Encyclopedia Britannica'', 13th ed.</ref>
  
 
== Basic concepts ==
 
== Basic concepts ==
  
Spacetimes are the arenas in which all physical events take place — an event is a point in spacetime specified by its time and place. For example, the motion of [[planet]]s around the [[Sun]] may be described in a particular type of spacetime, or the motion of [[light]] around a rotating [[star]] may be described in another type of spacetime. The basic elements of spacetime are ''events''. In any given spacetime, an ''event'' is a unique position at a unique time. Examples of events include the explosion of a star or the single beat of a drum.<!-- There is no longer an image there: In the picture shown above (representing the motion of the [[Earth]] around the Sun), every single point of the helix represents the Earth being in a given point at a given time. —>
+
Spacetimes are the arenas in which all physical events take place—an event is a point in spacetime specified by its time and place. For example, the motion of [[planet]]s around the [[Sun]] may be described in a particular type of spacetime, or the motion of [[light]] around a rotating [[star]] may be described in another type of spacetime. The basic elements of spacetime are ''events''. In any given spacetime, an ''event'' is a unique position at a unique time. Examples of events include the explosion of a star or the single beat of a drum.<!-- There is no longer an image there: In the picture shown above (representing the motion of the [[Earth]] around the Sun), every single point of the helix represents the Earth being in a given point at a given time. —>
  
A space-time is independent of any observer.<ref>{{cite book| last = Matolcsi| first = Tamás| title = Spacetime Without Reference Frames| publisher = Akadémiai Kiadó| date = 1994| location = Budapest}}</ref> However, in describing physical phenomena (which occur at certain moments of time in a given region of space), each observer chooses a convenient [[coordinate system]]. Events are specified by four [[real numbers]] in any coordinate system. The [[worldline]] of a particle or light beam is the path that this particle or beam takes in the spacetime and represents the history of the particle or beam. The worldline of the orbit of the Earth is depicted in two spatial dimensions ''x'' and ''y'' (the plane of the Earth orbit) and a time dimension orthogonal to ''x'' and ''y''. The orbit of the Earth is an ellipse in space alone, but its worldline is a [[helix]] in spacetime.
+
A spacetime is independent of any observer.<ref>{{cite book| last = Matolcsi| first = Tamás| title = Spacetime Without Reference Frames| publisher = Akadémiai Kiadó| date= 1994| location = Budapest}}</ref> However, in describing physical phenomena (which occur at certain moments of time in a given region of space), each observer chooses a convenient [[coordinate system]]. Events are specified by four [[real numbers]] in any coordinate system. The [[worldline]] of a particle or light beam is the path that this particle or beam takes in the spacetime and represents the history of the particle or beam. The worldline of the orbit of the Earth is depicted in two spatial dimensions ''x'' and ''y'' (the plane of the Earth orbit) and a time dimension orthogonal to ''x'' and ''y''. The orbit of the Earth is an ellipse in space alone, but its worldline is a [[helix]] in spacetime.
  
 
The unification of space and time is exemplified by the common practice of expressing distance in [[Units of measurement|units]] of time, by dividing the distance [[measurement]] by the [[speed of light]].
 
The unification of space and time is exemplified by the common practice of expressing distance in [[Units of measurement|units]] of time, by dividing the distance [[measurement]] by the [[speed of light]].
  
 
===Space-time intervals===<!-- This section is linked from [[Lorentz transformation]] —>
 
===Space-time intervals===<!-- This section is linked from [[Lorentz transformation]] —>
Spacetime entails a new concept of distance. Whereas distances are always positive in [[Euclidean]] spaces, the distance between any two events in spacetime (called an "interval") may be real, zero, or even imaginary. The ''spacetime interval'' quantifies this new distance (in [[Cartesian coordinate system|Cartesian]] coordinates <math>x, y, z, t</math>):
+
Spacetime entails a new concept of distance. Whereas distances are always positive in [[Euclidean space]]s, the distance between any two events in spacetime (called an "interval") may be real, zero, or even imaginary. The ''spacetime interval'' quantifies this new distance (in [[Cartesian coordinate system|Cartesian]] coordinates <math>x, y, z, t</math>):
  
 
<math>s^2 = \, c^2t^2 - r^2</math>
 
<math>s^2 = \, c^2t^2 - r^2</math>
Line 34: Line 43:
 
* ''time-like'' (more than enough time passes for there to be a cause-effect relationship between the two events; there exists a reference frame such that the two events occur at the same place; <math>s^2 > 0</math>).
 
* ''time-like'' (more than enough time passes for there to be a cause-effect relationship between the two events; there exists a reference frame such that the two events occur at the same place; <math>s^2 > 0</math>).
 
* ''light-like'' (the space between the two events is exactly balanced by the time between the two events; <math>s^2 = 0</math>).
 
* ''light-like'' (the space between the two events is exactly balanced by the time between the two events; <math>s^2 = 0</math>).
* ''space-like'' (not enough time passes for there to be a cause-effect relationship between the two events; there exists a reference frame such that the two events occur at the same time; <math>s^2 < 0</math>).
+
* ''space-like'' (not enough time passes for there to be a cause-effect relationship between the two events; there exists a [[Frame of reference|reference frame]] such that the two events occur at the same time; <math>s^2 < 0</math>).
  
Events with a positive space-time interval are in each other's future or past, and the value of the interval defines the [[proper time]] measured by an observer traveling between them. Events with a spacetime interval of zero are separated by the propagation of a [[light cones|light signal]].
+
Events with a positive spacetime interval are in each other's future or past, and the value of the interval defines the [[proper time]] measured by an observer traveling between them. Events with a spacetime interval of zero are separated by the propagation of a [[light cones|light signal]].
  
For [[special relativity]], the space-time interval is considered [[invariant (physics)|invariant]] across [[inertial reference frames]].
+
For [[special relativity]], the spacetime interval is considered [[invariant (physics)|invariant]] across [[inertial reference frames]].
  
Certain types of [[World line|worldlines]] (called [[geodesic]]s of the space-time) are the shortest paths between any two events, with ''distance'' being defined in terms of space-time intervals. The concept of geodesics becomes critical in [[general relativity]], since geodesic motion may be thought of as "pure motion" ([[Fictitious force|inertial motion]]) in space-time, that is, free from any external influences.
+
Certain types of [[World line|worldlines]] (called [[geodesic]]s of the spacetime) are the shortest paths between any two events, with ''distance'' being defined in terms of spacetime intervals. The concept of geodesics becomes critical in [[general relativity]], since geodesic motion may be thought of as "pure motion" ([[Fictitious force|inertial motion]]) in spacetime, that is, free from any external influences.
  
 
== Mathematics of space-times ==
 
== Mathematics of space-times ==
Line 46: Line 55:
 
For physical reasons, a space-time continuum is mathematically defined as a four-dimensional, smooth, connected [[pseudo-Riemannian manifold]] together with a smooth [[Lorentz metric]] of signature <math>\left(3,1\right)</math>. The metric determines the geometry of spacetime, as well as determining the [[geodesic]]s of particles and light beams. About each point (event) on this manifold, [[coordinate charts]] are used to represent observers in reference frames. Usually, Cartesian coordinates <math>\left(x, y, z, t\right)</math> are used. Moreover, for simplicity's sake, the speed of light 'c' is usually assumed to be unity.
 
For physical reasons, a space-time continuum is mathematically defined as a four-dimensional, smooth, connected [[pseudo-Riemannian manifold]] together with a smooth [[Lorentz metric]] of signature <math>\left(3,1\right)</math>. The metric determines the geometry of spacetime, as well as determining the [[geodesic]]s of particles and light beams. About each point (event) on this manifold, [[coordinate charts]] are used to represent observers in reference frames. Usually, Cartesian coordinates <math>\left(x, y, z, t\right)</math> are used. Moreover, for simplicity's sake, the speed of light 'c' is usually assumed to be unity.
  
A [[reference frame]] (observer) can be identified with one of these coordinate charts; any such observer can describe any event <math>p</math>. Another reference frame may be identified by a second coordinate chart about <math>p</math>. Two observers (one in each reference frame) may describe the same event <math>p</math> but obtain different descriptions.
+
A reference frame (observer) can be identified with one of these coordinate charts; any such observer can describe any event <math>p</math>. Another reference frame may be identified by a second coordinate chart about <math>p</math>. Two observers (one in each reference frame) may describe the same event <math>p</math> but obtain different descriptions.
  
 
Usually, many overlapping coordinate charts are needed to cover a manifold. Given two coordinate charts, one containing <math>p</math> (representing an observer) and another containing <math>q</math> (another observer), the intersection of the charts represents the region of spacetime in which both observers can measure physical quantities and hence compare results. The relation between the two sets of measurements is given by a [[non-singular]] coordinate transformation on this intersection. The idea of coordinate charts as 'local observers who can perform measurements in their vicinity' also makes good physical sense, as this is how one actually collects physical data - locally.
 
Usually, many overlapping coordinate charts are needed to cover a manifold. Given two coordinate charts, one containing <math>p</math> (representing an observer) and another containing <math>q</math> (another observer), the intersection of the charts represents the region of spacetime in which both observers can measure physical quantities and hence compare results. The relation between the two sets of measurements is given by a [[non-singular]] coordinate transformation on this intersection. The idea of coordinate charts as 'local observers who can perform measurements in their vicinity' also makes good physical sense, as this is how one actually collects physical data - locally.
Line 54: Line 63:
 
Geodesics are said to be timelike, null, or spacelike if the tangent vector to one point of the geodesic is of this nature. The paths of particles and light beams in spacetime are represented by timelike and null (light-like) geodesics (respectively).
 
Geodesics are said to be timelike, null, or spacelike if the tangent vector to one point of the geodesic is of this nature. The paths of particles and light beams in spacetime are represented by timelike and null (light-like) geodesics (respectively).
  
=== Space-time topology ===
+
=== Topology ===
 
+
{{Main|Spacetime topology}}
 
The assumptions contained in the definition of a spacetime are usually justified by the following considerations.
 
The assumptions contained in the definition of a spacetime are usually justified by the following considerations.
  
 
The connectedness assumption serves two main purposes. First, different observers making measurements (represented by coordinate charts) should be able to compare their observations on the non-empty intersection of the charts. If the connectedness assumption were dropped, this would not be possible. Second, for a manifold, the property of connectedness and path-connectedness are equivalent and one requires the existence of paths (in particular, [[geodesic]]s) in the spacetime to represent the motion of particles and radiation.
 
The connectedness assumption serves two main purposes. First, different observers making measurements (represented by coordinate charts) should be able to compare their observations on the non-empty intersection of the charts. If the connectedness assumption were dropped, this would not be possible. Second, for a manifold, the property of connectedness and path-connectedness are equivalent and one requires the existence of paths (in particular, [[geodesic]]s) in the spacetime to represent the motion of particles and radiation.
  
Every spacetime is [[paracompact]]. This property, allied with the smoothness of the spacetime, gives rise to a smooth [[linear connection]], an important structure in general relativity. Some important theorems on constructing spacetimes from compact and non-compact manifolds include the following:
+
Every spacetime is [[paracompact]]. This property, allied with the smoothness of the spacetime, gives rise to a smooth [[Connection (principal bundle)|linear connection]], an important structure in general relativity. Some important theorems on constructing spacetimes from compact and non-compact manifolds include the following:{{Facts|date=November 2007}}
  
 
* A [[Compact space|compact]] manifold can be turned into a spacetime if, and only if, its [[Euler characteristic]] is 0.
 
* A [[Compact space|compact]] manifold can be turned into a spacetime if, and only if, its [[Euler characteristic]] is 0.
Line 76: Line 85:
  
 
===Causal structure===
 
===Causal structure===
{{main|Causal spacetime structure}}
+
{{main|Causal structure}}
 +
 
 +
The causal structure of a spacetime describes causal relationships between pairs of points in the spacetime based on the existence of certain types of curves joining the points.
  
 
== Spacetime in special relativity ==
 
== Spacetime in special relativity ==
Line 97: Line 108:
 
== Quantized space-time ==
 
== Quantized space-time ==
  
In general relativity, space-time is assumed to be smooth and continuous- and not just in the mathematical sense. In the theory of quantum mechanics, there is an inherent discreteness present in physics. In attempting to reconcile these two theories, it is sometimes postulated that spacetime should be quantized at the very smallest scales. Current theory is focused on the nature of space-time at the [[Planck scale]]. [[Causal sets]], [[loop quantum gravity]], [[string theory]], and [[black hole thermodynamics]] all predict a [[quantized]] space-time with agreement on the order of magnitude. Loop quantum gravity even makes precise predictions about the geometry of spacetime at the Planck scale.
+
In general relativity, space-time is assumed to be smooth and continuous- and not just in the mathematical sense. In the theory of quantum mechanics, there is an inherent discreteness present in physics. In attempting to reconcile these two theories, it is sometimes postulated that spacetime should be quantized at the very smallest scales. Current theory is focused on the nature of space-time at the [[Planck scale]]. [[Causal sets]], [[loop quantum gravity]], [[string theory]], and [[black hole thermodynamics]] all predict a [[Quantization (physics)|quantized]] space-time with agreement on the order of magnitude. Loop quantum gravity makes precise predictions about the geometry of spacetime at the Planck scale.
 +
 
  
== Other uses of the word 'spacetime' ==
 
  
Spacetime has taken on meanings different from the four-dimensional one given above. For example, when drawing a graph of the distance a car has travelled for a certain time, it is natural to draw a two-dimensional spacetime diagram. As drawing four-dimensional spacetime diagrams is impossible, physicists often resort to drawing three-dimensional spacetime diagrams. For example, the Earth orbiting the Sun is a helical shape traced out in the direction of the time axis.
+
== Privileged character of 3+1 spacetime ==
 +
A number of scientists and philosophers have written about spacetime, and concepts have evolved as more theories have been deduced and tested by mathematical analysis or experimentation.
 +
Also the subject of spacetime has been a topic for [[pseudo-intellectual]]s, espousing their views in attempts to impress others, regardless of matching any experimental data.
  
In higher-dimensional theories of physics such as [[string theory]], the assumption that our universe has more than four dimensions is frequently made. For example, [[Kaluza-Klein theory]] was an attempt to unify the two [[fundamental interaction|fundamental forces]] of [[gravitation]] and [[electromagnetism]] and used four space dimensions with one of time. Modern theories use as many as ten or more spacetime dimensions. These theories are highly speculative, as there has been no experimental evidence to support them. To explain why the extra dimensions are not observed, it is assumed that they are [[compactification (physics)|compactified]], so that they loop around over a very short distance (usually around the Planck length).
+
Other writers have been limited by the scientific evidence available at the time. For example, in the latter 20th century, experiments with "[[atom smasher|atom-smasher]]" [[particle accelerator]]s had revealed that individual protons accelerated to high speeds were gaining the mass equivalent to a car at rest, requiring ever-increasing amounts of energy to accelerate the protons even faster. While the passage of Time slowed at high speeds, the mass of the particles increased. Writers from previous eras were not aware of that evidence, so fanciful views are sometimes expressed in the writings that are described below.
  
== Privileged character of 3+1 spacetime ==
+
Let dimensions be of two kinds: spatial and temporal. That spacetime, ignoring any undetectable compactified dimensions, consists of three spatial (bidirectional) and one temporal (unidirectional) dimensions can be explained by appealing to the physical consequences of differing numbers of dimensions. The argument is often of an [[anthropic principle|anthropic]] nature.
  
Dimensions are of two kinds: spatial and temporal. That spacetime, ignoring any undetectable compactified dimensions, consists of 3+1 dimensions (ie three spatial (bidirectional) and one temporal (unidirectional)), is often explained by appeal to the mathematical and physical effects of differing numbers of dimensions. Most often this takes the form of an [[anthropic principle|anthropic argument]].
+
[[Immanuel Kant]] argued that 3-dimensional Space was a consequence of the inverse square [[law of universal gravitation]]. While Kant's argument is historically important, [[John D. Barrow]] says of it that "we would regard this as getting the punch-line back to front: it is the three-dimensionality of Space that explains why we see inverse-square force laws in Nature, not vice-versa" (Barrow 2002). This is because the law of gravitation (or any other [[inverse-square law]]) follows from the concept of [[flux]], from Space having 3 dimensions, and from 3-dimensional solid objects having surface area proportional to the square of their size in one chosen dimension. In particular, a sphere of [[radius]] ''r'' has area of 4π''r''<sup>2</sup>. More generally, in a Space of ''N'' dimensions, the strength of the gravitational attraction between two bodies separated by a distance of ''r'' would be inversely proportional to ''r''<sup>''N''-1</sup>.
  
[[Immanuel Kant]] argued that space having 3 dimensions followed from the inverse square [[law of universal gravitation]]. Kant's argument is historically important, but [[John D. Barrow]] has stated that "we would regard this as getting the punch-line back to front: it is the three-dimensionality of space that explains why we see inverse-square force laws in Nature, not vice-versa." (Barrow 2002) This is because the law of gravitation (or any other [[inverse-square law]]) follows from the concept of [[flux]] and the fact that space has 3 dimensions and 3-dimensional solid objects have surface area proportional to the square of their size in one chosen dimension (particularly a sphere has area of 4π''r''<sup>2</sup> with ''r'' as the radius of the sphere). More generally, in a space with ''N'' dimensions, the strength of the gravitational attraction between two bodies separated by a distance of ''r'' would be inversely proportional to ''r''<sup>''N''-1</sup>.
+
Fixing the number of temporal dimensions at 1 and letting the number of spatial dimensions ''N'' exceed 3, [[Paul Ehrenfest]] showed in 1920 that the [[orbit]] of a [[planet]] about its sun cannot remain stable, and that the same holds for a star's orbit around its galactic center.<ref>{{Citation| last = Ehrenfest| first = Paul| author-link = Paul Ehrenfest| title = How do the fundamental laws of physics make manifest that Space has 3 dimensions?| journal = Annalen der Physik| volume = 61| pages = 440| date = | year = 1920 }}</ref> Likewise, F. R. Tangherlini showed in 1963 that when ''N''>3, electrons would not form stable [[atomic orbital|orbitals]] around nuclei; they would either fall into the [[atomic nucleus|nucleus]] or disperse. Ehrenfest also showed that if ''N'' is even, then the different parts of a [[wave]] impulse will travel at different speeds. If ''N'' is odd and greater than 3, wave impulses become distorted. Only when ''N''=3 or 1 are both problems avoided.
  
Fixing the number of temporal dimensions at 1 and letting the number of spatial dimensions exceed 3, [[Paul Ehrenfest]] showed in 1920 that the [[orbit]] of a [[planet]] about its sun cannot remain stable, and that the same holds for a star's orbit around its galactic center.<ref>{{Citation| last = Ehrenfest| first = Paul| author-link = Paul Ehrenfest| title = How do the fundamental laws of physics make manifest that space has 3 dimensions?| journal = Annalen der Physik| volume = 61| pages = 440| date = | year = 1920 }}</ref> Likewise, in 1963, F. R. Tangherlini showed that electrons would not form stable [[atomic orbital|orbitals]] around nuclei; they would either fall into the [[atomic nucleus|nucleus]] or disperse. Ehrenfest also showed that if space has an even number of dimensions, then the different parts of a [[wave]] impulse will travel at different speeds. If the number of dimensions is odd and greater than 3, wave impulses become distorted. Only with three dimensions (or one dimension) are both problems avoided.
+
Tegmark expands on the preceding argument in the following [[anthropic principle|anthropic]] manner.<ref>{{cite journal| last = Tegmark| first = Max| authorlink = Max Tegmark| title = On the dimensionality of spacetime| journal = Classical and Quantum Gravity| volume = 14 | issue = 4| pages = L69-L75| publisher =| date= April 1997| url = http://www.iop.org/EJ/abstract/0264-9381/14/4/002| doi = 10.1088/0264-9381/14/4/002| id =| accessdate = [[16 december]] 2006 }} </ref> If the number of Time dimensions differed from 1, the behavior of physical systems could not be predicted reliably from knowledge of the relevant [[partial differential equation]]s. In such a universe, intelligent life capable of manipulating technology could not emerge. In addition, Tegmark maintains that [[proton]]s and [[electron]]s would be unstable in a universe with more than one Time dimension, as they can decay into ''more'' massive particles (this is not a problem if the temperature is sufficiently low). If ''N''>3, Ehrenfest's above argument holds: atoms as we know them (and probably more complex structures as well) could not exist. If ''N''<3, gravitation of any kind becomes problematic, and the universe is probably too simple to contain observers. For example, nerves must intersect and cannot overlap.
  
Another [[anthropic principle|anthropic]] argument, expanding upon the preceding one, is due to Tegmark.<ref>{{cite journal| last = Tegmark| first = Max| authorlink = Max Tegmark| title = On the dimensionality of spacetime| journal = Classical and Quantum Gravity| volume = 14 | issue = 4| pages = L69-L75| publisher =| date = April 1997| url = http://www.iop.org/EJ/abstract/0264-9381/14/4/002| doi = 10.1088/0264-9381/14/4/002| id =| accessdate = 12-16-2006 }} </ref> If the number of time dimensions differed from 1, Tegmark argues, the behavior of physical systems could not be predicted reliably from knowledge of the relevant [[partial differential equation]]s. In such a universe, intelligent life manipulating technology could not emerge. In addition, he argues that [[proton]]s and [[electron]]s would be unstable in a universe with more than one time dimension, as they can decay into ''more'' massive particles. However, he also argues that this phenomenon would be suppressed if the temperature is sufficiently low. If space had more than 3 dimensions, atoms as we know them (and probably more complex structures as well) could not exist (following Ehrenfest's argument). If space had fewer than 3 dimensions, gravitation of any kind becomes problematic, and the universe is probably too simple to contain observers. For example, nerves cannot overlap; they must intersect.
+
In general, it is not clear how physical laws could operate if the number of Time dimensions ''T'' differed from 1. If ''T''>1, individual subatomic particles which decay after a fixed period would not have much predictability because timelike [[geodesic]]s would not be necessarily maximal.<ref>Dorling, J. (1970) [http://link.aip.org/link/?AJP/38/539/1 "The Dimensionality of Time"] ''American Journal of Physics '38'''(4): 539-40.</ref> ''N''=1 and ''T''=3 has the peculiar property that that the [[speed of light]] in a vacuum is a ''lower bound'' on the velocity of matter. Hence anthropic arguments rule out all cases except 3 spatial and 1 temporal dimensions, which describes the world we live in.
  
In general, it is not clear how physical laws should operate in the presence of more than one temporal dimension, or in the absence of time. If there was more than one time dimension, individual subatomic particles which decay after a fixed period would not have such predictability because timelike [[geodesic]]s would not be necessarily maximal.<ref>Dorling, J. (1970) [http://link.aip.org/link/?AJP/38/539/1 "The Dimensionality of Time"] ''American Journal of Physics '38'''(4): 539-40.</ref> Three time and one space dimensions has the peculiar property that that the [[speed of light]] in a vacuum is a ''lower bound'' on the velocity of matter. The only remaining case, 3 spatial and 1 temporal dimensions, is the world we live in. Hence anthropic arguments require a universe with 3 spatial and 1 temporal dimensions.
+
Curiously, 3 and 4 dimensional spaces appear richest geometrically and topologically. For example, there are geometric statements whose truth or falsity is known for any number of spatial dimensions except 3, 4, or both.
  
Curiously, 3 and 4 dimensional spaces appear to be the mathematically richest. For example, there are geometric statements whose truth or falsity is known for any number of spatial dimensions except 3, 4, or both.
+
For a more detailed introduction to the privileged status of 3 spatial and 1 temporal dimensions, see Barrow;<ref>{{cite book| last = Barrow| first = J. D.| authorlink = John D. Barrow | title = The Constants of Nature| publisher = Pantheon Books| date=  2002| location = | pages =| url =| doi =| id = }} (chpt. 6, esp. Fig. 10.12)</ref> for a deeper treatment, see Barrow and Tipler.<ref>{{cite book| last = Barrow| first = J. D.| authorlink = John D. Barrow| coauthors = [[Frank J. Tipler|Tipler, Frank J.]]| title = The Anthropic Cosmological Principle| publisher = Oxford University Press| date=  1986| location = Oxford| pages =| url =| doi =| id = }} (4.8) Chpt. 6 is a good survey of modern cosmology, which builds on spacetime.</ref> Barrow regularly cites Whitrow.<ref>{{cite book| last = Whitrow| first = James Gerald| authorlink = Gerald James Whitrow| title = The Structure and Evolution of the Universe| publisher = Hutchinson| date=  1959| location = London| pages =| url =| doi =| id = }}</ref>
  
For a more detailed introduction to the privileged status of 3 spatial and 1 temporal dimensions, see Barrow <ref>{{cite book| last = Barrow| first = J. D.| authorlink = John D. Barrow | title = The Constants of Nature| publisher = Pantheon Books| date = 2002| location = | pages =| url =| doi =| id = }} (chpt. 6, esp. Fig. 10.12)</ref>; for a deeper treatment, see Barrow and Tipler.<ref>{{cite book| last = Barrow| first = J. D.| authorlink = John D. Barrow| coauthors = [[Frank J. Tipler|Tipler, Frank J.]]| title = The Anthropic Cosmological Principle| publisher = Oxford University Press| date = 1986| location = Oxford| pages =| url =| doi =| id = }} (4.8) Chpt. 6 is a good survey of modern cosmology, which builds on spacetime.</ref> Barrow regularly cites Whitrow.<ref>{{cite book| last = Whitrow| first = James Gerald| authorlink = Gerald James Whitrow| title = The Structure and Evolution of the Universe| publisher = Hutchinson| date = 1959| location = London| pages =| url =| doi =| id = }}</ref>
+
In [[string theory]], physicists are not constrained by notions limited to 3+1 dimensions, so coordinate grids of 10, or perhaps 26 dimensions, are used to describe the types and locations of the vibrating strings. String theory follows the notion that the "universe is wiggly" and considers matter and energy to be composed of tiny vibrating strings of various types, specified by some of the dimensions.
  
 
== See also ==
 
== See also ==
Line 132: Line 145:
 
* [[Mathematics of general relativity]]
 
* [[Mathematics of general relativity]]
 
* [[Metric space]]
 
* [[Metric space]]
* [[Simultaneity]]
+
* [[Relativity of simultaneity]]
 
* [[Basic introduction to the mathematics of curved spacetime]]
 
* [[Basic introduction to the mathematics of curved spacetime]]
 
* [[Frame-dragging]]
 
* [[Frame-dragging]]
 +
* [[Space]]
 +
* [[Time]]
  
 
== Notes ==
 
== Notes ==
Line 141: Line 156:
 
== References ==
 
== References ==
  
* [[Paul Ehrenfest|Ehrenfest, Paul]], 1920, "How do the fundamental laws of physics make manifest that space has 3 dimensions?" ''Annalen der Physik 61'': 440.
+
* Ehrenfest, Paul. 1920. "How do the fundamental laws of physics make manifest that Space has 3 dimensions?" ''Annalen der Physik'' 61: 440.
 +
 
 
* [[Immanuel Kant|Kant, Immanuel]], 1929, "Thoughts on the true estimation of living forces" in J. Handyside, trans., ''Kant's Inaugural Dissertation and Early Writings on Space''. Univ. of Chicago Press.
 
* [[Immanuel Kant|Kant, Immanuel]], 1929, "Thoughts on the true estimation of living forces" in J. Handyside, trans., ''Kant's Inaugural Dissertation and Early Writings on Space''. Univ. of Chicago Press.
* [[H. A. Lorentz|Lorentz, H. A.]], [[Albert Einstein|Einstein, Albert]], [[Hermann Minkowski|Minkowksi, Hermann]], and [[Hermann Weyl|Weyl Hermann]], 1952. ''The Principle of Relativity: A Collection of Original Memoirs''. Dover.
+
 
 +
* [[Hendrik Lorentz|Lorentz, H. A.]], [[Albert Einstein|Einstein, Albert]], [[Hermann Minkowski|Minkowski, Hermann]], and [[Hermann Weyl|Weyl Hermann]], 1952. ''The Principle of Relativity: A Collection of Original Memoirs''. Dover.
 +
 
 
* [[John Lucas (philosopher)|Lucas, John Randolph]], 1973. ''A Treatise on Time and Space''. London: Methuen.
 
* [[John Lucas (philosopher)|Lucas, John Randolph]], 1973. ''A Treatise on Time and Space''. London: Methuen.
* {{cite book| last = Penrose| first = Roger| authorlink = Roger Penrose| title =[[The Road to Reality]] | publisher = Oxford University Press| date = 2004| location = Oxford| pages =| url =| doi =| id = }} Chpts. 17,18.
 
* {{cite book| last = Robb| first = A. A.| title = Geometry of time and space | publisher = University Press| date = 1936| location = | pages =| url =| doi =| id = }}
 
  
* {{cite book| last = Poe| first = Edgar A.| authorlink= Edgar Allan Poe| title = ''[[Eureka (Edgar Allan Poe)|Eureka; An Essay on the Material and Spiritual Universe]]'' | publisher = Hesperus Press Limited| date = 1848| location = | pages =| url =| doi =| id = ISBN 1-84391-009-8 }}
+
* Penrose, Roger (2004). The Road to Reality. Oxford: Oxford University Press.  Chpts. 17,18.
 +
 
 +
* Poe, Edgar A. (1848). Eureka; An Essay on the Material and Spiritual Universe. Hesperus Press Limited. ISBN 1-84391-009-8
 +
 
 +
* Robb, A. A. (1936). Geometry of Time and Space. University Press. 
 +
 
 +
* Schutz, J. W. (1997). Independent axioms for Minkowski Space-time. Addison-Wesley Longman. 
  
* {{cite book| last = Schutz| first = J. W.| title = Independent axioms for Minkowski Space-time | publisher = Addison-Wesley Longman| date = 1997| location = | pages =| url =| doi =| id = }}
+
* Tangherlini, F. R. (1963). Atoms in Higher Dimensions. Nuovo Cimento 14 (27): 636.  
  
* {{cite journal| last = Tangherlini| first = F. R.| authorlink = | title = Atoms in Higher Dimensions| journal = Nuovo Cimento| volume = 14 | issue = 27| pages = 636| publisher =| date = 1963| url = | doi = | id =| accessdate = }}
+
* Taylor, E. F. and Wheeler, John A. (1963). Spacetime Physics. W. H. Freeman. 
  
* {{cite book| last = Taylor| first = E. F.| coauthors = [[John A. Wheeler|Wheeler, John A.]] | title = Spacetime Physics | publisher = W. H. Freeman| date = 1963| location = | pages =| url =| doi =| id = }}
+
* Wells, H.G. (2004). The Time Machine. New York: Pocket Books. (pp. 5; 6)
  
* {{cite book| last = Wells| first = H.G.| authorlink = H.G. Wells| title =[[The Time Machine]] | publisher = Pocket Books| date = 2004| location = New York| pages = | url =| doi =| id = }} (pp. 5; 6)
+
* Gal-Or, Benjamin. ''Cosmology, Physics and Philosophy''. Springer Verlag, 1981, 1983, 1987, New York.
  
 
== External links ==
 
== External links ==
  
* [http://en.wikibooks.org/wiki/Special_Relativity Wikibooks: Special Relativity]
 
 
* [http://www.ws5.com/spacetime/ Spacetime - Summary and collection of links to academic sites.]
 
* [http://www.ws5.com/spacetime/ Spacetime - Summary and collection of links to academic sites.]
  
Line 166: Line 187:
 
[[Category:Physics]]
 
[[Category:Physics]]
  
{{credit|143138655}}
+
{{credit|176798005}}

Revision as of 18:12, 11 December 2007

Three-dimensional analogy of space-time distortion. Matter changes the geometry of spacetime, this (curved) geometry being interpreted as gravity. White lines do not represent the curvature of space, but instead represent the coordinate system imposed on the curved spacetime which would be rectilinear in a flat spacetime.

In physics, spacetime is any mathematical model that combines space and time into a single construct called the space-time continuum. Spacetime is usually interpreted with space being three-dimensional and time playing the role of the fourth dimension. According to Euclidean space perception, the universe has three dimensions of space, and one dimension of time. By combining space and time into a single manifold, physicists have significantly simplified a large amount of physical theory, as well as described in a more uniform way the workings of the universe at both the supergalactic and subatomic levels.

In classical mechanics, the use of spacetime over Euclidean space is optional, as time is treated as a constant, being independent of mechanical motion in three dimensions (which matches reality at low speeds). In relativistic contexts, however, time cannot be separated from the three dimensions of space because it depends on an object's velocity relative to the speed of light, and also the strength of intense gravitational fields which can slow the passage of time.

Concept with dimensions

The concept of spacetime combines space and time within a single coordinate system, typically with 4 dimensions: length, width, height, and time. Dimensions are components of a coordinate grid typically used to locate a point in space, or on the globe, such as by latitude, longitude and planet (Earth). However, with spacetime, the coordinate grid is used to locate "events" (rather than just points in space), so time is added as another dimension to the grid.

Formerly, from experiments at slow speeds, time was believed to be a constant, which progressed at a fixed rate; however, later high-speed experiments revealed that time slowed down at higher speeds (with such slowing called "time dilation"). Many experiments have confirmed the slowing from time dilation, such as atomic clocks onboard a Space Shuttle running slower than synchronized Earth-bound clocks. Since time varies, it is treated as a variable within the spacetime coordinate grid, and time is no longer assumed to be a constant, independent of the location in space.

Note that treating spacetime events with the 4 dimensions (including time) is the conventional view; however, other invented coordinate grids treat time as 3 additional dimensions, with length-time, width-time, and height-time, to accompany the 3 dimensions of space. When dimensions are understood as mere components of the grid system, rather than physical attributes of space, it is easier to understand the alternate dimensional views, such as: latitude, longitude, plus Greenwich Mean Time (3 dimensions), or city, state, postal code, country, and UTC time (5 dimensions). The various dimensions are chosen, depending on the coordinate grid used.

The term spacetime has taken on a generalized meaning with the advent of higher-dimensional theories. How many dimensions are needed to describe the universe is still an open question. Speculative theories such as string theory predict 10 or 26 dimensions (with M-theory predicting 11 dimensions; 10 spatial and 1 temporal), but the existence of more than four dimensions would only appear to make a difference at the subatomic level.

Historical origin

The origins of this 20th century scientific concept began in the 19th century with fiction writers. Edgar Allan Poe stated in his essay on cosmology titled Eureka (1848) that "Space and duration are one." This is the first known instance of suggesting space and time to be different perceptions of one thing. Poe arrived at this conclusion after approximately 90 pages of reasoning but employed no mathematics. In 1895, in his novel, The Time Machine, H.G. Wells wrote, “There is no difference between time and any of the three dimensions of space except that our consciousness moves along it.” He added, “Scientific people…know very well that time is only a kind of space.”

While spacetime can be viewed as a consequence of Albert Einstein's 1905 theory of special relativity, it was first explicitly proposed mathematically by one of his teachers, the mathematician Hermann Minkowski, in a 1908 essay [1] building on and extending Einstein's work. His concept of Minkowski space is the earliest treatment of space and time as two aspects of a unified whole, the essence of special relativity. The idea of Minkowski Space also led to special relativity being viewed in a more geometrical way, this geometric viewpoint of spacetime being important in general relativity too. (For an English translation of Minkowski's article, see Lorentz et al. 1952.) The 1926 thirteenth edition of the Encyclopedia Britannica included an article by Einstein titled "space-time".[2]

Basic concepts

Spacetimes are the arenas in which all physical events take place—an event is a point in spacetime specified by its time and place. For example, the motion of planets around the Sun may be described in a particular type of spacetime, or the motion of light around a rotating star may be described in another type of spacetime. The basic elements of spacetime are events. In any given spacetime, an event is a unique position at a unique time. Examples of events include the explosion of a star or the single beat of a drum.

A spacetime is independent of any observer.[3] However, in describing physical phenomena (which occur at certain moments of time in a given region of space), each observer chooses a convenient coordinate system. Events are specified by four real numbers in any coordinate system. The worldline of a particle or light beam is the path that this particle or beam takes in the spacetime and represents the history of the particle or beam. The worldline of the orbit of the Earth is depicted in two spatial dimensions x and y (the plane of the Earth orbit) and a time dimension orthogonal to x and y. The orbit of the Earth is an ellipse in space alone, but its worldline is a helix in spacetime.

The unification of space and time is exemplified by the common practice of expressing distance in units of time, by dividing the distance measurement by the speed of light.

Space-time intervals

Spacetime entails a new concept of distance. Whereas distances are always positive in Euclidean spaces, the distance between any two events in spacetime (called an "interval") may be real, zero, or even imaginary. The spacetime interval quantifies this new distance (in Cartesian coordinates ):

where is the speed of light, differences of the space and time coordinates of the two events are denoted by and , respectively and . (Note that the choice of signs above follows the Landau-Lifshitz spacelike convention. Other treatments, including some within Wikipedia, reverse the order of the arguments on the right-hand side. If this alternate convention is chosen, the relationships in the next two paragraphs are reversed.)

Pairs of events in spacetime may be classified into 3 distinct types based on 'how far' apart they are:

  • time-like (more than enough time passes for there to be a cause-effect relationship between the two events; there exists a reference frame such that the two events occur at the same place; ).
  • light-like (the space between the two events is exactly balanced by the time between the two events; ).
  • space-like (not enough time passes for there to be a cause-effect relationship between the two events; there exists a reference frame such that the two events occur at the same time; ).

Events with a positive spacetime interval are in each other's future or past, and the value of the interval defines the proper time measured by an observer traveling between them. Events with a spacetime interval of zero are separated by the propagation of a light signal.

For special relativity, the spacetime interval is considered invariant across inertial reference frames.

Certain types of worldlines (called geodesics of the spacetime) are the shortest paths between any two events, with distance being defined in terms of spacetime intervals. The concept of geodesics becomes critical in general relativity, since geodesic motion may be thought of as "pure motion" (inertial motion) in spacetime, that is, free from any external influences.

Mathematics of space-times

For physical reasons, a space-time continuum is mathematically defined as a four-dimensional, smooth, connected pseudo-Riemannian manifold together with a smooth Lorentz metric of signature . The metric determines the geometry of spacetime, as well as determining the geodesics of particles and light beams. About each point (event) on this manifold, coordinate charts are used to represent observers in reference frames. Usually, Cartesian coordinates are used. Moreover, for simplicity's sake, the speed of light 'c' is usually assumed to be unity.

A reference frame (observer) can be identified with one of these coordinate charts; any such observer can describe any event . Another reference frame may be identified by a second coordinate chart about . Two observers (one in each reference frame) may describe the same event but obtain different descriptions.

Usually, many overlapping coordinate charts are needed to cover a manifold. Given two coordinate charts, one containing (representing an observer) and another containing (another observer), the intersection of the charts represents the region of spacetime in which both observers can measure physical quantities and hence compare results. The relation between the two sets of measurements is given by a non-singular coordinate transformation on this intersection. The idea of coordinate charts as 'local observers who can perform measurements in their vicinity' also makes good physical sense, as this is how one actually collects physical data - locally.

For example, two observers, one of whom is on Earth, but the other one who is on a fast rocket to Jupiter, may observe a comet crashing into Jupiter (this is the event ). In general, they will disagree about the exact location and timing of this impact, i.e., they will have different 4-tuples (as they are using different coordinate systems). Although their kinematic descriptions will differ, dynamical (physical) laws, such as momentum conservation and the first law of thermodynamics, will still hold. In fact, relativity theory requires more than this in the sense that it stipulates these (and all other physical) laws must take the same form in all coordinate systems. This introduces tensors into relativity, by which all physical quantities are represented.

Geodesics are said to be timelike, null, or spacelike if the tangent vector to one point of the geodesic is of this nature. The paths of particles and light beams in spacetime are represented by timelike and null (light-like) geodesics (respectively).

Topology

The assumptions contained in the definition of a spacetime are usually justified by the following considerations.

The connectedness assumption serves two main purposes. First, different observers making measurements (represented by coordinate charts) should be able to compare their observations on the non-empty intersection of the charts. If the connectedness assumption were dropped, this would not be possible. Second, for a manifold, the property of connectedness and path-connectedness are equivalent and one requires the existence of paths (in particular, geodesics) in the spacetime to represent the motion of particles and radiation.

Every spacetime is paracompact. This property, allied with the smoothness of the spacetime, gives rise to a smooth linear connection, an important structure in general relativity. Some important theorems on constructing spacetimes from compact and non-compact manifolds include the following:

  • A compact manifold can be turned into a spacetime if, and only if, its Euler characteristic is 0.
  • Any non-compact 4-manifold can be turned into a spacetime.

Space-time symmetries

Often in relativity, space-times that have some form of symmetry are studied. As well as helping to classify spacetimes, these symmetries usually serve as a simplifying assumption in specialised work. Some of the most popular ones include:

  • Axially symmetric spacetimes
  • Spherically symmetric spacetimes
  • Static spacetimes
  • Stationary spacetimes

Causal structure

The causal structure of a spacetime describes causal relationships between pairs of points in the spacetime based on the existence of certain types of curves joining the points.

Spacetime in special relativity

The geometry of spacetime in special relativity is described by the Minkowski metric on R4. This spacetime is called Minkowski space. The Minkowski metric is usually denoted by and can be written as a four-by-four matrix:

where the Landau-Lifshitz spacelike convention is being used. A basic assumption of relativity is that coordinate transformations must leave spacetime intervals invariant. Intervals are invariant under Lorentz transformations. This invariance property leads to the use of four-vectors (and other tensors) in describing physics.

Strictly speaking, one can also consider events in Newtonian physics as a single spacetime. This is Galilean-Newtonian relativity, and the coordinate systems are related by Galilean transformations. However, since these preserve spatial and temporal distances independently, such a space-time can be decomposed into spatial coordinates plus temporal coordinates, which is not possible in the general case.

Spacetime in general relativity

In general relativity, it is assumed that spacetime is curved by the presence of matter (energy), this curvature being represented by the Riemann tensor. In special relativity, the Riemann tensor is identically zero, and so this concept of "non-curvedness" is sometimes expressed by the statement "Minkowski spacetime is flat."

Many space-time continua have physical interpretations which most physicists would consider bizarre or unsettling. For example, a compact spacetime has closed, time-like curves, which violate our usual ideas of causality (that is, future events could affect past ones). For this reason, mathematical physicists usually consider only restricted subsets of all the possible spacetimes. One way to do this is to study "realistic" solutions of the equations of general relativity. Another way is to add some additional "physically reasonable" but still fairly general geometric restrictions, and try to prove interesting things about the resulting spacetimes. The latter approach has led to some important results, most notably the Penrose-Hawking singularity theorems.

Quantized space-time

In general relativity, space-time is assumed to be smooth and continuous- and not just in the mathematical sense. In the theory of quantum mechanics, there is an inherent discreteness present in physics. In attempting to reconcile these two theories, it is sometimes postulated that spacetime should be quantized at the very smallest scales. Current theory is focused on the nature of space-time at the Planck scale. Causal sets, loop quantum gravity, string theory, and black hole thermodynamics all predict a quantized space-time with agreement on the order of magnitude. Loop quantum gravity makes precise predictions about the geometry of spacetime at the Planck scale.


Privileged character of 3+1 spacetime

A number of scientists and philosophers have written about spacetime, and concepts have evolved as more theories have been deduced and tested by mathematical analysis or experimentation. Also the subject of spacetime has been a topic for pseudo-intellectuals, espousing their views in attempts to impress others, regardless of matching any experimental data.

Other writers have been limited by the scientific evidence available at the time. For example, in the latter 20th century, experiments with "atom-smasher" particle accelerators had revealed that individual protons accelerated to high speeds were gaining the mass equivalent to a car at rest, requiring ever-increasing amounts of energy to accelerate the protons even faster. While the passage of Time slowed at high speeds, the mass of the particles increased. Writers from previous eras were not aware of that evidence, so fanciful views are sometimes expressed in the writings that are described below.

Let dimensions be of two kinds: spatial and temporal. That spacetime, ignoring any undetectable compactified dimensions, consists of three spatial (bidirectional) and one temporal (unidirectional) dimensions can be explained by appealing to the physical consequences of differing numbers of dimensions. The argument is often of an anthropic nature.

Immanuel Kant argued that 3-dimensional Space was a consequence of the inverse square law of universal gravitation. While Kant's argument is historically important, John D. Barrow says of it that "we would regard this as getting the punch-line back to front: it is the three-dimensionality of Space that explains why we see inverse-square force laws in Nature, not vice-versa" (Barrow 2002). This is because the law of gravitation (or any other inverse-square law) follows from the concept of flux, from Space having 3 dimensions, and from 3-dimensional solid objects having surface area proportional to the square of their size in one chosen dimension. In particular, a sphere of radius r has area of 4πr2. More generally, in a Space of N dimensions, the strength of the gravitational attraction between two bodies separated by a distance of r would be inversely proportional to rN-1.

Fixing the number of temporal dimensions at 1 and letting the number of spatial dimensions N exceed 3, Paul Ehrenfest showed in 1920 that the orbit of a planet about its sun cannot remain stable, and that the same holds for a star's orbit around its galactic center.[4] Likewise, F. R. Tangherlini showed in 1963 that when N>3, electrons would not form stable orbitals around nuclei; they would either fall into the nucleus or disperse. Ehrenfest also showed that if N is even, then the different parts of a wave impulse will travel at different speeds. If N is odd and greater than 3, wave impulses become distorted. Only when N=3 or 1 are both problems avoided.

Tegmark expands on the preceding argument in the following anthropic manner.[5] If the number of Time dimensions differed from 1, the behavior of physical systems could not be predicted reliably from knowledge of the relevant partial differential equations. In such a universe, intelligent life capable of manipulating technology could not emerge. In addition, Tegmark maintains that protons and electrons would be unstable in a universe with more than one Time dimension, as they can decay into more massive particles (this is not a problem if the temperature is sufficiently low). If N>3, Ehrenfest's above argument holds: atoms as we know them (and probably more complex structures as well) could not exist. If N<3, gravitation of any kind becomes problematic, and the universe is probably too simple to contain observers. For example, nerves must intersect and cannot overlap.

In general, it is not clear how physical laws could operate if the number of Time dimensions T differed from 1. If T>1, individual subatomic particles which decay after a fixed period would not have much predictability because timelike geodesics would not be necessarily maximal.[6] N=1 and T=3 has the peculiar property that that the speed of light in a vacuum is a lower bound on the velocity of matter. Hence anthropic arguments rule out all cases except 3 spatial and 1 temporal dimensions, which describes the world we live in.

Curiously, 3 and 4 dimensional spaces appear richest geometrically and topologically. For example, there are geometric statements whose truth or falsity is known for any number of spatial dimensions except 3, 4, or both.

For a more detailed introduction to the privileged status of 3 spatial and 1 temporal dimensions, see Barrow;[7] for a deeper treatment, see Barrow and Tipler.[8] Barrow regularly cites Whitrow.[9]

In string theory, physicists are not constrained by notions limited to 3+1 dimensions, so coordinate grids of 10, or perhaps 26 dimensions, are used to describe the types and locations of the vibrating strings. String theory follows the notion that the "universe is wiggly" and considers matter and energy to be composed of tiny vibrating strings of various types, specified by some of the dimensions.

See also

  • Dimensional analysis
  • Four-vector
  • Fourth dimension
  • Global spacetime structure
  • Local spacetime structure
  • Lorentz invariance
  • Manifold
  • Mathematics of general relativity
  • Metric space
  • Relativity of simultaneity
  • Basic introduction to the mathematics of curved spacetime
  • Frame-dragging
  • Space
  • Time

Notes

  1. Hermann Minkowski, "Raum und Zeit", 80. Versammlung Deutscher Naturforscher (Köln, 1908). Published in Physikalische Zeitschrift 10 104-111 (1909) and Jahresbericht der Deutschen Mathematiker-Vereinigung 18 75-88 (1909). For an English translation, see Lorentz et al. (1952).
  2. Einstein, Albert, 1926, "Space-Time," Encyclopedia Britannica, 13th ed.
  3. Matolcsi, Tamás (1994). Spacetime Without Reference Frames. Budapest: Akadémiai Kiadó. 
  4. Ehrenfest, Paul, "How do the fundamental laws of physics make manifest that Space has 3 dimensions?", Annalen der Physik 61: 440 
  5. Tegmark, Max (April 1997). On the dimensionality of spacetime. Classical and Quantum Gravity 14 (4): L69-L75.
  6. Dorling, J. (1970) "The Dimensionality of Time" American Journal of Physics '38'(4): 539-40.
  7. Barrow, J. D. (2002). The Constants of Nature. Pantheon Books.  (chpt. 6, esp. Fig. 10.12)
  8. Barrow, J. D. and Tipler, Frank J. (1986). The Anthropic Cosmological Principle. Oxford: Oxford University Press.  (4.8) Chpt. 6 is a good survey of modern cosmology, which builds on spacetime.
  9. Whitrow, James Gerald (1959). The Structure and Evolution of the Universe. London: Hutchinson. 

References
ISBN links support NWE through referral fees

  • Ehrenfest, Paul. 1920. "How do the fundamental laws of physics make manifest that Space has 3 dimensions?" Annalen der Physik 61: 440.
  • Kant, Immanuel, 1929, "Thoughts on the true estimation of living forces" in J. Handyside, trans., Kant's Inaugural Dissertation and Early Writings on Space. Univ. of Chicago Press.
  • Lucas, John Randolph, 1973. A Treatise on Time and Space. London: Methuen.
  • Penrose, Roger (2004). The Road to Reality. Oxford: Oxford University Press. Chpts. 17,18.
  • Poe, Edgar A. (1848). Eureka; An Essay on the Material and Spiritual Universe. Hesperus Press Limited. ISBN 1-84391-009-8.
  • Robb, A. A. (1936). Geometry of Time and Space. University Press.
  • Schutz, J. W. (1997). Independent axioms for Minkowski Space-time. Addison-Wesley Longman.
  • Tangherlini, F. R. (1963). Atoms in Higher Dimensions. Nuovo Cimento 14 (27): 636.
  • Taylor, E. F. and Wheeler, John A. (1963). Spacetime Physics. W. H. Freeman.
  • Wells, H.G. (2004). The Time Machine. New York: Pocket Books. (pp. 5; 6)
  • Gal-Or, Benjamin. Cosmology, Physics and Philosophy. Springer Verlag, 1981, 1983, 1987, New York.

External links

Credits

New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

The history of this article since it was imported to New World Encyclopedia:

Note: Some restrictions may apply to use of individual images which are separately licensed.