By global structure one means some general
properties of the underlying spacetime. The research of a global
structure is equivalent to studying space,
time and gravitation in a more general way.
The major ideas of that study are in a few (10) definitions (given
in page
), some theorems, that show the
relations between the definitions, and examples, which show what
does not hold between the definitions.
An important thing is the large place given to example and
counter-example compared to the theorem. There is no key
theorem; the proofs are long and require much technical work ! But the example
are here to have an idea, before trying to prove something you
try to find a counter-example. If you cannot find one, then you
would research a proof.
The idea of global structure is to find what is the appropriate
manifold (definition page
) for our universe. The aim was to rule out most of the manifolds
by using some physical argument. It turns out to be not so easy.
What General Relativity requires is true for most of the manifold!
(By manifold we mean a manifold without boundary , Hausdorff ,
connected and paracompact . definitions
,
,
page
)
General Relativity require a Lorentz metric (signature n-2). All the paracompact manifold have a such metric. But we don't want a Lorentz metric, we want something flat enough to model our universe. Again, most of the manifolds are still possible.
The aim of studying global structure is to understand and prove the
singularity theorems that we will study
in chapter page
.