Spacetime topology

Spacetime
Part of a series on

Special relativity General relativity
Introduction Equivalence principle Differential geometry Einstein field equations Introduction to the mathematics
Types Spacetime Minkowski spacetime Spacetime diagrams
Mathematics Mathematics of general relativity Lorentz transformations Four-vector Derivations Spacetime topology Einstein field equations
Relation to gravity Gravity Newton's Law of Gravity Curved spacetime

Spacetime topology is the topological structure of spacetime, a topic studied primarily in general relativity. This physical theory models gravitation as a Lorentzian manifold (a spacetime) and the concepts of topology thus become important in analysing local as well as global aspects of spacetime. The study of spacetime topology is especially important in physical cosmology.

Types of topology

There are two main types of topology for a spacetime $M$ :

Manifold topology

As with any manifold, a spacetime possesses a natural manifold topology. Here the open sets are the image of open sets in $\mathbb{R}^4$ .

Path or Zeeman topology

Definition:^[1] The topology $\rho$ in which a subset $E \subset M$ is open if for every timelike curve $c$ there is a set $O$ in the manifold topology such that $E \cap c = O \cap c$ .

It is the finest topology which induces the same topology as $M$ does on timelike curves.

Properties

Strictly finer than the manifold topology. It is therefore Hausdorff, separable but not locally compact.

A base for the topology is sets of the form $I^+(p,U) \cup I^-(p,U) \cup p$ for some point $p \in M$ and some convex normal neighbourhood $U \subset M$ .

( $I^\pm$ denote the chronological past and future).

Alexandrov topology

The Alexandrov topology on spacetime, is the coarsest topology such that both $I^+(E)$ and $I^-(E)$ are open for all subsets $E \subset M$ .

Here the base of open sets for the topology are sets of the form $I^+(x) \cap I^-(y)$ for some points $\,x,y \in M$ .

This topology coincides with the manifold topology if and only if the manifold is strongly causal but it is coarser in general.^[2]

Note, that in mathematics, an Alexandrov topology on a partial order is usually taken to be the coarsest topology in which only the upper sets $I^+(E)$ are required to be open. This topology goes back to Pavel Alexandrov. Nowadays, the correct mathematical term for the Alexandrov topology on spacetime (which goes back to Alexandr D. Alexandrov) would be the interval topology, but when Kronheimer and Penrose introduced the term this difference in nomenclature was not as clear, and in physics the term Alexandrov topology remains in use.

References

↑ Luca Bombelli website
↑ Penrose, Roger (1972), Techniques of Differential Topology in Relativity, CBMS-NSF Regional Conference Series in Applied Mathematics, p. 34

E. C. Zeeman Causality Implies the Lorentz Group J. Math. Phys. April 1964 Volume 5, Issue 4, pp. 490–493
E. C. Zeeman The Topology of Minkowski Space Topology Volume 6, Issue 2, April 1967, Pages 161-170
S. W. Hawking, A. R. King, P. J. McCarthy A new topology for curved space–time which incorporates the causal, differential, and conformal structures J. Math. Phys. February 1976 Volume 17, Issue 2, pp. 174–181

This article is issued from Wikipedia - version of the Thursday, October 22, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.