General relativity and curvilinear coordinates

[Cruz Martinez]

Can you give an example of a manifold that has an open neighborhoods which doesn't have a homeomorphism to $\mathbb{R}^n$?

Yeah, in fact we are talking about one, the 2-sphere, all of it is a neighborhood of any of its points, which doesn't have a homeomorphim to R^2. The whole 2-sphere is a subset of R^3 which has the subspace topology, ths topology is locally euclidean, this is what makes it a 2-manifold. The other two conditions, second countability and the Hausdorff axiom are true a fortiori by virtue of it being a subset of R^n.

The subspace topology on a 2-sphere isn't the relevant topology for this discussion.

It actually is the topology which makes the study of the 2-sphere as a 2-manifold relevant, as implied
above.

EDIT: I mean locally euclidean as in locally homeomorphic to R^n.

 

[PeterDonis]

the 2-sphere, all of it is a neighborhood of any of its points

But not an open neighborhood. I specified open neighborhoods, since that's what is specified in the definition of a manifold.

The whole 2-sphere is a subset of R^3 which has the subspace topology, ths topology is locally euclidean, this is what makes it a 2-manifold.

No, it isn't. What makes it a 2-manifold is that there is a homeomorphism from any open neighborhood of the 2-sphere to $\mathbb{R}^2$. That fact is independent of any embedding of the 2-sphere into $\mathbb{R}^3$ or any other space; you don't need to use or even know about the embeddings to construct the homeomorphisms.

It actually is the topology which makes the study of the 2-sphere as a 2-manifold relevant, as implied
above.

No; what is "implied above" is incorrect, as I said earlier in this post. The relevant topology for the study of the 2-sphere as a 2-manifold, at least in the context of this discussion (see below for why), is the intrinsic topology induced by the usual metric on the 2-sphere, which is given by the line element $ds^2 = R^2 \left( d\theta^2 + \sin^2 \theta d\phi^2 \right)$ in the usual spherical coordinates. An open set in this topology is any set of points whose distance $s$ from a chosen point, as given by the above metric, is less than some chosen value $D$, with the additional condition that $D$ must be less than $\pi R$, where $R$ is the number appearing in the line element (this is to ensure that the "antipodal point" of the chosen point is not included in any open set).

The reason why the intrinsic topology I just described is the one that's relevant for this discussion is that, as I said in a previous post, when we start talking about the geometry of spacetime, which was what originally started this thread, we don't have the option of viewing it extrinsically, because we don't have any way of going "outside" spacetime and observing how it is embedded in any higher dimensional space (as far as we can tell, no such space even exists). The only way we can study the geometry of spacetime is intrinsically, using measurements made within the manifold. So if we're going to use the 2-sphere as a "warmup" for doing this, we need to make sure we don't use any extrinsic facts about it like its embedding into $\mathbb{R}^3$, since we can't do that for spacetime.

 

[micromass]

But not an open neighborhood. I specified open neighborhoods, since that's what is specified in the definition of a manifold.

The entire space is always open. It's an axiom of topology.

No; what is "implied above" is incorrect, as I said earlier in this post. The relevant topology for the study of the 2-sphere as a 2-manifold, at least in the context of this discussion (see below for why), is the intrinsic topology induced by the usual metric on the 2-sphere, which is given by the line element $ds^2 = R^2 \left( d\theta^2 + \sin^2 \theta d\phi^2 \right)$ in the usual spherical coordinates. An open set in this topology is any set of points whose distance $s$ from a chosen point, as given by the above metric, is less than some chosen value $D$, with the additional condition that $D$ must be less than $\pi R$, where $R$ is the number appearing in the line element (this is to ensure that the "antipodal point" of the chosen point is not included in any open set).

And in this intrinsic topology, the entire 2-sphere is open and closed. By the way, this intrinsic topology is the same as the topology by looking at it as a subspace of $\mathbb{R}^3$.

 

[PeterDonis]

The entire space is always open. It's an axiom of topology.

Drat, you're right. And in fact, the entire space is always clopen, correct? (Since the empty set is also always open, and the complement of any open set is closed. So the empty set is also always clopen.)

in this intrinsic topology, the entire 2-sphere is open and closed. By the way, this intrinsic topology is the same as the topology by looking at it as a subspace of $\mathbb{R}^3$.

I see I'll have to spend some time working through this. But I still think it should be emphasized that the embedding of the 2-sphere in $\mathbb{R}^3$ is not relevant for this discussion, for the reasons given in my previous posts.

 

[Cruz Martinez]

But not an open neighborhood. I specified open neighborhoods, since that's what is specified in the definition of a manifold.

The whole sphere is an open neighborhood.

No, it isn't. What makes it a 2-manifold is that there is a homeomorphism from any open neighborhood of the 2-sphere to $\mathbb{R}^2$. That fact is independent of any embedding of the 2-sphere into $\mathbb{R}^3$ or any other space; you don't need to use or even know about the embeddings to construct the homeomorphisms.

Indeed, you don't need to know about the embedding, however the definition of the 2-sphere uses an embedding. In fact the topologies would be identical anyway.

 

[PeterDonis]

the definition of the 2-sphere uses an embedding

The usual definition does, yes. But you could construct a definition that did not; just use the one I gave in my previous post (but without the restriction $D < \pi R$, which, as you and micromass have established, is not needed since the entire space is an open set).

the topologies would be identical anyway.

Yes, agreed. I was confused about that before.

 

["Don't panic!"]

I've been reading Schutz's book "Geometrical methods of mathematical physics" in which he states that a manifold is such that it's local topology is identical to $\mathbb{R}^{n}$ which allows as to locally map points on the manifold to points in $\mathbb{R}^{n}$ in a one-to-one fashion. Obviously we don't want to restrict the global topology to $\mathbb{R}^{n}$, as this would effectively restrict us to only Euclidean geometry. I'm not to confident in my understanding of topology, so when he talks of the local topology being the same as $\mathbb{R}^{n}$ is he simply meaning that the open subsets are "constructed" in the same way locally?
Before we introduce a measure of distance and curvature then there is no notion of shape on the manifold and so is it correct to say that we can choose any coordinates we like, regardless of the size of the patch we're considering to label points within that patch? Is it only when one introduces the notion of distance, through a metric, that curvature comes into play (through the curvature of the metric - Riemann curvature tensor), and in doing so introduces non-Euclidean geometry to the manifold thus restricting when we can use Cartesian coordinates (i.e. only when the geometry is locally Euclidean), and if the geometry on the patch is non-Euclidean then Cartesian coordinate maps simply don't exist and we must use other more general coordinate systems?

 

[micromass]

I've been reading Schutz's book "Geometrical methods of mathematical physics" in which he states that a manifold is such that it's local topology is identical to $\mathbb{R}^{n}$ which allows as to locally map points on the manifold to points in $\mathbb{R}^{n}$ in a one-to-one fashion. Obviously we don't want to restrict the global topology to $\mathbb{R}^{n}$, as this would effectively restrict us to only Euclidean geometry. I'm not to confident in my understanding of topology, so when he talks of the local topology being the same as $\mathbb{R}^{n}$ is he simply meaning that the open subsets are "constructed" in the same way locally?

It means that around every point in the manifold, there is some open set which is homeomorphic to $\mathbb{R}^n$. We usually want smooth manifolds, which means that we additionally have that the homeomorphisms are smoothly compatible.

Before we introduce a measure of distance and curvature then there is no notion of shape on the manifold and so is it correct to say that we can choose any coordinates we like, regardless of the size of the patch we're considering to label points within that patch?

The shape of the manifold is partially already determined by the topology and the smooth structure. But this shape can vary wildly. For example, in topology, a donut is the same as a coffee cup. So in some sense the shape is preserved in the sense that there is always one "hole". But since we have no metric, the actual distances won't be preserved. If we add the notion of a metric, then the distances are preserved.

Is it only when one introduces the notion of distance, through a metric, that curvature comes into play (through the curvature of the metric - Riemann curvature tensor), and in doing so introduces non-Euclidean geometry to the manifold thus restricting when we can use Cartesian coordinates (i.e. only when the geometry is locally Euclidean), and if the geometry on the patch is non-Euclidean then Cartesian coordinate maps simply don't exist and we must use other more general coordinate systems?

Non-Euclidean geometry is essentially a property of the metric. So we can't have non-Euclidean geometry without a metric.

Also, strictly speaking, the curvature is not a property of the metric, but of the connection. But of course we can always choose a good connection associated with the metric (the Levi-Civita connection).

 

["Don't panic!"]

It means that around every point in the manifold, there is some open set which is homeomorphic to Rn\mathbb{R}^n. We usually want smooth manifolds, which means that we additionally have that the homeomorphisms are smoothly compatible.

What exactly is the topology of $\mathbb{R}^{n}$?

Non-Euclidean geometry is essentially a property of the metric. So we can't have non-Euclidean geometry without a metric.

I was really trying to give a good motivation as to when one would want to/ be forced to use non-Cartesian coordinate systems to map points on a patch of the manifold to points in $\mathbb{R}^{n}$? Would what I put in the post before yours be correct? Sorry to harp on so much about this point, but I just feel it's a rather crucial stepping stone towards me gaining a better understanding of the subject.

 

[micromass]

What exactly is the topology of $\mathbb{R}^{n}$?

The collection of open subsets of $\mathbb{R}^n$. A subset $G$ of $\mathbb{R}^n$ is open if every point $p\in G$ contains an open ball $B(p,\varepsilon)\subseteq G$. The open ball is defined as $B(p,\varepsilon) = \{x\in \mathbb{R}^n~\vert~d(x,p)<\varepsilon\}$.

I was really trying to give a good motivation as to when one would want to/ be forced to use non-Cartesian coordinate systems to map points on a patch of the manifold to points in $\mathbb{R}^{n}$? Would what I put in the post before yours be correct? Sorry to harp on so much about this point, but I just feel it's a rather crucial stepping stone towards me gaining a better understanding of the subject.

We use non-Cartesian coordinate system because sometimes Cartesian coordinate systems do not exist on the manifold.

 

["Don't panic!"]

The collection of open subsets of Rn\mathbb{R}^n. A subset GG of Rn\mathbb{R}^n is open if every point p∈Gp\in G contains an open ball B(p,ε)⊆GB(p,\varepsilon)\subseteq G. The open ball is defined as

Doesn't this rely on the notion of a distance between points though?

We use non-Cartesian coordinate system because sometimes Cartesian coordinate systems do not exist on the manifold.

Why exactly is this the case though?
Is this to do with the geometry being non-Euclidean, or just that the topology is such that Cartesian coordinate maps are not possible?

 

[micromass]

Doesn't this rely on the notion of a distance between points though?

Yes, the distance function on $\mathbb{R}^n$ induces the topology. Many other distance functions also induces that same topology.

Why exactly is this the case though?
Is this to do with the geometry being non-Euclidean, or just that the topology is such that Cartesian coordinate maps are not possible?

It has to do with the geometry being non-Euclidean.

 

[PeterDonis]

Obviously we don't want to restrict the global topology to $\mathbb{R}^{n}$, as this would effectively restrict us to only Euclidean geometry.

Not quite; there are other geometries with the same underlying topology, at least in the 4-d spacetime case--for example, a flat or open FRW spacetime. But there are many other geometries that are studied in GR that have different underlying topology.

 

[PeterDonis]

the distance function on $\mathbb{R}^n$ induces the topology.

But note that this "distance function", in the case of spacetime, may not be the same as the one given by the metric that is used to determine the spacetime geometry. For example, the topology on spacetime distinguishes distinct points along a null worldline; it is induced by a distance function that gives different, nonzero values for different pairs of points. But the metric that determines the spacetime geometry gives zero "spacetime distance" along a null worldline.

 

[micromass]

But note that this "distance function", in the case of spacetime, may not be the same as the one given by the metric that is used to determine the spacetime geometry. For example, the topology on spacetime distinguishes distinct points along a null worldline; it is induced by a distance function that gives different, nonzero values for different pairs of points. But the metric that determines the spacetime geometry gives zero "spacetime distance" along a null worldline.

Right, but this is a bit complicated. The spacetime has an a priori topology, and as such the spacetime is covered with patches that are homeomorphic to $\mathbb{R}^4$ with the usual Euclidean topology. The tangent spaces of the spacetime on the other hand are $\mathbb{R}^4$ with the Minkowski-inner product (and thus with a special topology). This induces a second topology on the spacetime which is not the same as the a priori topology.

 

[PeterDonis]

This induces a second topology on the spacetime which is not the same as the a priori topology.

Is what would be induced by the Minkowski inner product even a valid topology? It gives zero distance between distinct points.

 

[micromass]

Yes, it's a valid topology. But it will be non-Hausdorff and very ugly.

 

[George Jones]

Well, there is the Hawking-King-McCarthy topology,

http://authors.library.caltech.edu/11027/

Fifteen years ago, I wrote "If anybody knows of applications of the Hawking-King-McCarthy topology to anything, I would be most interested."

I am still interested.

 

["Don't panic!"]

induces the topology. Many other distance functions also induces that same topology.

So by defining the topology this way we don't determine the geometry a priori then, as we haven't specified the form of the distance function?
Is this why we are able to map patches of a manifold, in which the geometry is non-Euclidean, into open sets of $\mathbb{R}^{n}$ (and thus have to use non-Cartesian coordinates)?

 

[Cruz Martinez]

So by defining the topology this way we don't determine the geometry a priori then, as we haven't specified the form of the distance function?
Is this why we are able to map patches of a manifold, in which the geometry is non-Euclidean, into open sets of $\mathbb{R}^{n}$ (and thus have to use non-Cartesian coordinates)?

Without the metric tensor and the Levi-Civita connection the notion of cartesian or non-cartesian isnt'ty even meaninful.
Think about it as layers of structure. First we have a set which has no structure, on that set define a locally euclidean (locally homeomorphicto R^n) topology, then a smooth structure. Up to this point you can have coordinate charts, they are just the homeomorphisms from open sets of the manifold to R^n, but these coordinates are not cartesian or non-cartesian, it doesn't even make sense to ask that question yet.
Now once you define the metric tensor and the Levi-Civita connection you can ask wether a particular choice of coordinates is cartesian or not. If the Levi-Civita connection induced by the metric is curved then you can't have cartesian coordinates except for a very small patch on the manifold.

 

["Don't panic!"]

Now once you define the metric tensor and the Levi-Civita connection you can ask wether a particular choice of coordinates is cartesian or not. If the Levi-Civita connection induced by the metric is curved then you can't have cartesian coordinates except for a very small patch on the manifold.

Ok, I think it's all starting to make sense a bit more now.
Just to clarify though (and then I'll stop bugging everyone), if we consider a manifold with a metric that induces a non-Euclidean geometry, then if we consider a patch on such a manifold that is large enough that the local geometry cannot be considered as Euclidean, the coordinate maps that we use to map points in such a patch will be non-Cartesian as it will not be possible to construct such coordinate maps (unless we consider smaller patches around each point in the patch)?

 

[Cruz Martinez]

Ok, I think it's all starting to make sense a bit more now.
Just to clarify though (and then I'll stop bugging everyone), if we consider a manifold with a metric that induces a non-Euclidean geometry, then if we consider a patch on such a manifold that is large enough that the local geometry cannot be considered as Euclidean, the coordinate maps that we use to map points in such a patch will be non-Cartesian as it will not be possible to construct such coordinate maps (unless we consider smaller patches around each point in the patch)?

Correct.

 

["Don't panic!"]

So am i correct in saying that the Cartesian coordinate system is a special kind of mapping which directly relates the intrinsic distance between two points on a manifold to the 'numerical' distance between their coordinates in $\mathbb{R}^{n}$. As, in general, a coordinate patch on a manifold will have a non-Euclidean geometry, although it will be possible to construct a one-to-one mapping such that these points can be labeled by coordinates in $\mathbb{R}^{n}$, it will not be possible to construct a map that preserves the intrinsic distance between two points in this patch such that it corresponds to the 'coordinate distance' between their corresponding coordinates in $\mathbb{R}^{n}$. In other words, although we will be able to construct a coordinate map, it will be impossible to construct a Cartesian coordinate map for this patch (apart from within a small neighbourhood around each point in this patch)?