Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

177 submissions , 139 unreviewed
4,336 questions , 1,662 unanswered
5,102 answers , 21,672 comments
1,470 users with positive rep
645 active unimported users
More ...

  About physical meaning of Hausdorff, Second Countable and Paracompact conditions of Manifold Theory

+ 5 like - 0 dislike
135 views

I would like to ask you, specially for the people here who deals with General Relativity/Differential Geometry, physical implications about Manifolds. Well, the most intuitive notion about a manifold as a model of physical reality, is then the notion of the "space of all events". Or even, the Earth itself: localy the world a, priori, appears to be flat, but if you take a high orbital flight you will see a $S^{2}$ space.

But, concerning the mathematics of a manifold, well, we then have some ingredients [1],[2],[3]:

I - Basic Structures:

1) A Set $X$

2) A Topology in the set $X$: $\tau_{X}$

3) With 1) and 2) we can create a topological space $M \equiv (X, \tau_{X})$

4) An open Neibourhood $U_{i} \in \tau_{X} $ of a point $p \in M$

5) Chart $\phi_{i}: U_{i} \subset M \to \mathbb{R}^{n}$; $\phi$ is and homeomorphism

6) With 4),5) we have an Atlas for $M$, $\mathfrak{A} = (U_{i} ,\phi_{i})$

.

II - Manifold Theory:

7) With the itens in section I, we can then define a structure which is "localy Euclidean": the Topological Manifolds. Then a Topological Manifold is a structure that is:

i) A Topological Space with 6)

ii) $U_{i}$ must to cover $M$, i.e., $\cup _{i} U_{i} =M$

8) A Topological Manifold is a Manifold when:

i) Given $p \in U_{i}$ and $p \in U_{j}$ such that $U_{i} \cap U_{j} \neq \{\}$, then the map $\psi_{ij} =: \phi_{i} \circ \phi_{j}^{-1}$, from $\phi_{j}(U_{i} \cap U_{j})$ to $\phi_{i}(U_{i} \cap U_{j})$ is infinite differentiable

ii) The open sets of the Topological Manifold $M$, obeys the Hausdorff condition: Given $U_{i}$ and $U_{j}$, then $U_{i} \cap U_{j} = \{\}$

iii) The Topological Manifold is second countable

iv) The topological Manifold is Paracompact

My question lies about the physical motivations of a Topological Manifold be paracompact, second countable and hausdorff and I need this for a conceptual introduction for a project which I'm enrolled.

Now, the necessity of a topological space can be motivated by saying that "we have a necessity of a notion of continuity to define continuos functions and then limits, derivatives, integrals etc...", but Hausdorff, Paracompact and Second Countability are totally alien to me.

Futhermore, I would like to "see" these conditions in, for example, Newtonian Physics or even in General Relativity. What I'm trying to ask is why the Manifold Model is a good thing to describe our world, and what the world would appear if the conditions of been Hausdorff, Second Countable and Paracompact doesn't make any difference. I'm trying to understand physically these conditions, both for General Relativity and for Newtonian Physics.

$------------$

-The book, "Road to Reality" (by Penrose), doesn't help me at all.

$$ * * * $$ For construct this question and the sections $I$ and $II$ I read the definitions from 3 different sources:

[1] Introduction to Topological Manifolds (Lee); Pages $31 - 35$.

[2] Geometry, Topology and Physics (Nakahara); Pages $171 - 172$.

[3] https://en.wikipedia.org/wiki/Topological_manifold

This post imported from StackExchange Physics at 2019-07-09 21:55 (UTC), posted by SE-user M.N.Raia
asked Jul 7 in Mathematics by M.N.Raia (25 points) [ no revision ]
retagged Jul 9
en.wikipedia.org/wiki/Topological_manifold#Properties. The short, practical answer is that "weird stuff" happens when you don't have second-countable and Hausdorff (second countable + Hausdorff implies paracompact); put in reverse, all the nice things that you want to happen (ie having a metric, embeds in some Euclidean space) don't necessarily happen if you don't have these conditions.

This post imported from StackExchange Physics at 2019-07-09 21:56 (UTC), posted by SE-user Aaron

3 Answers

+ 5 like - 0 dislike

Paracompactness actually follows from Hausdorff, second countable topology and locally Euclidean. (And, if the manifold is connected, paracompactness, Hausdorff and locally Euclidean imply 2nd countable)

The only difficult hypothesis to physically motivate is second countability, in my view.

The fact that the manifold is assumed to be locally Euclidean means that we are dealing with objects that locally cannot be distinguished from ${\mathbb R}^n$ and this is just basic Riemann's idea underpinning the notion of differentiable manifold $M$. The fact that locally $M$ seems $\mathbb{R}^n$ has the fundamental implication that we can use differential equations to describe dynamical systems on $M$.

Hausdorff property can be motivated as follows. From a physical viewpoint, the elements of $M$ are determined using physical instruments. Those instruments are affected by experimental errors. It is easy to see that experimental errors of instruments (think of a sequence of instruments with increasing order of precision) are nothing but local bases of a topology. When we suppose that the topology of $M$ is Hausdorff we are physically assuming that (a) the topology is that induced by all physical instruments we have at our disposal, (b) these instruments permit us to distinguish elements of $M$.

Second countability seems instead a technical hypothesis used to achieve paracompactness. Paracompactness is used in the theory of integration over manifolds. A posteriori, we can say that 2nd countability is assumed because we want to integrate quantities ($n$-forms) over $M$.

This post imported from StackExchange Physics at 2019-07-09 21:56 (UTC), posted by SE-user Valter Moretti
answered Jul 7 by Valter Moretti (2,075 points) [ no revision ]
Sorry, my mistake

This post imported from StackExchange Physics at 2019-07-09 21:56 (UTC), posted by SE-user Denis Nardin
+ 4 like - 0 dislike

One place where you may find some motivations for the general topology of a spacetime is in Geroch and Horowitz's article in "General relativity: an Einstein centenary survey". Here's a few general ideas of why spacetimes should indeed be so (those are only hints as of course there are theories where this is not the case, although for those properties it is fairly rare).

Spacetime should be connected. It doesn't have to be of course, and it's almost trivial to consider non-connected spacetimes, but if a spacetime isn't connected then neither is it path connected, and thus we can't really probe any of the components that isn't ours, since any such experiment can roughly be modelled with curves in spacetimes.

Spacetime should be Hausdorff. As much as I enjoy talking about non-Hausdorff spacetimes (there's a whole theory on them that has extremely interesting reasons behind it yet is totally not worth it), the Hausdorff property is used to have unique limits. In a non-Hausdorff spacetime, curves may split into multiple curves due to this. Non-Hausdorff manifolds do not admit a partition of unity, which is a very useful tool. Due to the splitting of curves, vector flow is not unique. As two different points can have a distance of zero, any Riemannian metric will not generate the topology of the manifold. Stokes' theorem breaks down. It's still possible to make a proper theory of spacetime with such manifolds, but things get much more complicated for something that doesn't really seem necessary. Even if we assume a branching manifold as in those theories, in any reasonable case an observer would travel along a single $H$-manifold (a subset of a non-Hausdorff manifold that is entirely Hausdorff), and it would therefore be impossible to distinguish by experiment, much like the case of connectedness.

Spacetime should be paracompact and second-countable. The fundamental reason behind this is is that we're going general relativity, and therefore we need a Lorentz metric on our manifold. A Lorentz metric requires the possibility of a Riemannian metric, which requires the manifold to be a metrizable topological space. By Smirnov's metrization theorem, a metric space must be paracompact. Any space that is both locally Euclidian and paracompact is, by theorem, second-countable.

There are plenty of non-paracompact manifolds we could take as examples, the simplest one is of course the long line $\mathbb{L}$, which is roughly obtained by taking $\omega_1$ (the first uncountable ordinal) copies of $[0, 1)$, put the basic lexicographic topology to order it, and mirroring it around zero. Locally this simply looks like $\mathbb{R}$, but it is very long (hence the name). You could construct $\mathbb{R}$ the same way but picking the countable ordinal $\omega$ instead, in which case we could take a dumb distance like

$$\forall x \in \mathbb{R}, \exists n \in \omega, y \in [0,1), x = (n, y), d(x_1,x_2) = |(n_2 + y_2) - (n_1 + y_1)|$$

This works out because the distances between points are roughly in $\mathbb{N}$. The long line, by comparison, is long. The "distance" between two points can be much larger than any natural number, and therefore there's no map to $\mathbb{R}$ between two points sufficiently far apart (although it is always locally metrizable but then again that's always true of manifolds since they are locally $\mathbb{R}^n$). If our universe is not paracompact, we can simply model it as a paracompact subset of it as any further region would be too far off to experiment on.

This post imported from StackExchange Physics at 2019-07-09 21:56 (UTC), posted by SE-user Slereah
answered Jul 8 by Slereah (530 points) [ no revision ]
+ 0 like - 0 dislike

Hausdorff property is important in classical mechanics, because it guarantees that the velocity of a moving particle in spacetime is unique. 

You can construct a non-Hausdorff manifold by gluing $x<0$ parts of two real-number axes, as is illustrated below.

Non-Hausdorff

Two points $x=y<0$ are deemed identical, but $x=0$ and $y=0$ are different points.

This set has a weird property that sequences approaching $x=0$ from negative values will have two ddistinct limits. This means that a particle moving in this space from the negative axis will have two different positions, and thus two distinct velocities at a certain time, which is physically unacceptable.

answered Jul 15 by New Student (270 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ys$\varnothing$csOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...