The metric
of a four dimensional space is connected to the infinitesimal square interval
by the well known equation:
in which
are the coordinates describing the location of some point
P in this space and we use the Einstein summation convention. We shall single out one coordinate
and refer to it as "temporal". This can be easily understood in a Lorentzian space-time in which the diagonalize form of
will have a different sign for this coordinate with respect to the other coordinates. For the Euclidean case the choice seems arbitrary, however, if one bears in mind that any Euclidean portion of space-time will turn into a Lorentzian then the direction of "symmetry breaking" allows us to define a temporal direction. Thus we may write:
Next we invoke isotropy in the usual spatial sense, which is assumed in standard cosmological models to claim that there cannot be a preferred direction in our space at any given time. As the vector
whose components are
is such a vector, it follows that we must have:
and thus:
The next step [
7] is to look at a "comoving observer", that is an observer that does not feel himself moving in the coordinate system. Such an observer will report that
and thus will be displaced by an interval:
As the observer is not displaced in space he will interpret the change he is feeling as a change of time, this is denoted "proper time"
. Till now we have measure all dimensions in the same units (say meters), however, it is customary to measure time using a different set of units (seconds). To convert between the units we introduce the conversion factor
m/s (which appears later in the theory as the velocity of gravitational and electromagnetic waves in vacuum). Thus:
There are two alternatives:
So we obtain:
Now consider an observer who inspects his surroundings in a given instant of time, since space is assumed to be isotropic he may choose spherical coordinates
in which case [
7]:
As we do not specify in advance the signature of the metric it follows that:
Thus we may write the line interval square as:
It follows that there are two equivalent Euclidean choices (
and
) and two equivalent Lorentzian choices (
and
). Hence without loss of generality we choose a positive sign for the spatial component, leaving the metric type to be determined by the temporal part.
Following [
7] we shall choose from now on units in which
and use the notation:
Such that:
This means that for the Euclidean regions of space-time we use an imaginary time coordinate while for the Lorentzian regions the time coordinate is real:
As the spatial scalar curvature is:
If we assume that space must be homogeneous it follows that the spatial scalar curvature of space cannot depend on
r but of course it can depend on
t. It follows that:
since
is by assumption independent of
t. To avoid a singular expression we may choose
and thus obtain:
It is now customary to redefine
r such that
for the cases that
, which will lead to the customary form:
For the case
we take
. Finally we drop the bars for convenience and write: