Understanding Homogeneity & Isotropy in FRW Metric

binbagsss
Messages
1,291
Reaction score
12
So in deriving the metric, the space-time can be foliated by homogenous and isotropic spacelike slices.

And the metric must take the form:

##ds^{2}=-dt^{2}+a^{2}(t)\gamma_{ij}(u)du^{i}du^{j}##,

where ## \gamma_{ij} ## is the metric of a spacelike slice at a constant t

QUESTION:
So I've read that:
1) Homogenity would be broken if the a(t) was taken outside the metric
2) By isotropicity there can be no cross-terms dtdx, dtdy, dtdz.

What I know:
homogenous means the same throughout - translationally invariant.
isotropic means the same in every direction - rotationally invariant.

But I'm struggling to see how 1) and 2) follow from this. As stupid as it sounds, I don't really see where time comes in when these properties are only on the spacelike slices.

Cheers.
 
Physics news on Phys.org
binbagsss said:
the metric must take the form...

No; "must" is incorrect. The correct statement is "one can always choose coordinates in which the metric takes the form..." See further comments below.

binbagsss said:
I've read

Reference please? A general note: statements like "I've read" or "I read somewhere" are red flags that you should be giving a specific reference, not a general vague statement. We can't tell whether what you've read is reliable if we can't read it ourselves.

binbagsss said:
Homogenity would be broken if the a(t) was taken outside the metric

What does "taken outside the metric" mean? Does it mean it multiplies the entire RHS, instead of just the spatial part? I'm going to assume it does in the rest of this post.

binbagsss said:
By isotropicity there can be no cross-terms dtdx, dtdy, dtdz.

More precisely, the fact that the spacetime is isotropic means we can always choose coordinates in which there are no cross terms. See further comments below.

binbagsss said:
homogenous means the same throughout - translationally invariant.

Yes.

binbagsss said:
isotropic means the same in every direction - rotationally invariant.

Yes.

binbagsss said:
I'm struggling to see how 1) and 2) follow from this

Is it both 1) and 2) that you don't understand, or just 1)? Your next statement seems to relate to 1), not 2).

binbagsss said:
I don't really see where time comes in when these properties are only on the spacelike slices.

The spacelike slices depend on the coordinates you choose. Statements 1) and 2) are really statements about how you can choose coordinates. I pointed that out above in my response to 2), about what "isotropic" means, but it goes for "homogeneous" too. "Homogeneous" does not mean you can't have ##a(t)## multiply the time part of the metric as well as the spatial part; it means that in a homogeneous spacetime, you can choose coordinates such that the time part of the metric is just ##- dt^2##, a constant, independent of the coordinates. If you choose other coordinates for a homogeneous spacetime, then the time part of the metric might have a function ##a(t)## multiplying it (or a function of any of the coordinates). That doesn't mean the spacetime isn't homogeneous; it means you chose coordinates differently.
 
I asked a question here, probably over 15 years ago on entanglement and I appreciated the thoughtful answers I received back then. The intervening years haven't made me any more knowledgeable in physics, so forgive my naïveté ! If a have a piece of paper in an area of high gravity, lets say near a black hole, and I draw a triangle on this paper and 'measure' the angles of the triangle, will they add to 180 degrees? How about if I'm looking at this paper outside of the (reasonable)...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
Back
Top