Properties of the initial topology from a topological manifold

  • #1
cianfa72
2,562
274
TL;DR Summary
About the properties of the initial topology defined on a set though the preimage of a non-injective map
Consider a non-injective map from a set to a set . is equipped with a topological manifold structure (Hausdorff, second-countable, locally euclidean).

Take the initial topology on given from (i.e. a set in is open iff it is the preimage under of an open set in ). Such a topology on is second-countable, however is it Hausdorff ?

I believe it is not since points in are always in the same open set in (let me say there is not enough "resolution" in the initial topology on to be able to separate its points into disjoint open sets).

What do you think about ? Thanks.
 
Physics news on Phys.org
  • #2
Indeed, it is not Hausdorff. You should formalize your argument by explicitly stating that you consider two (or more, but two is sufficient) points in that map to the same point in . There is no open set containing only one of them - it is always both or none - and they can therefore not be separated in the Hausdorff sense.

You should also be able to formally prove that the topology is Hausdorff if instead you have a that is injective.
 
  • #3
Orodruin said:
You should also be able to formally prove that the topology is Hausdorff if instead you have a that is injective.
Take two points then assuming to be injective. Since is Hausdorff there exist disjoint open sets such that and .

By injectivity . Now and therefore hence and are open and disjoint i.e. the initial topology on is Hausdorff.
 
Last edited:
  • #4
The reason behind the OP is the following: starting from the topological/smooth manifold consider the definition of tangent bundle built on top of it (i.e. is the base space).

The topology on can't be the initial topology from the (surjective) projection map since it isn't Hausdorff hence can't be a topological manifold in first place.
 
  • #5
cianfa72 said:
The reason behind the OP is the following: starting from the topological/smooth manifold consider the definition of tangent bundle built on top of it (i.e. is the base space).

The topology on can't be the initial topology from the (surjective) projection map since it isn't Hausdorff hence can't be a topological manifold in first place.
Why would you think that the topology of might be this topology!?
 
  • #6
martinbn said:
Why would you think that the topology of might be this topology!?
I've been watching Dr. Schuller's lectures. Here at 20:00 starts endowing with the coarsest topology such that the (surjective) projection map is continuous, i.e. the initial topology on from . He then shows one can define a smooth atlas on turning it into a smooth manifold (by ripping out non-smooth-compatible charts from the topological atlas).

P.s. Does my work in post #3 make sense?
 
Last edited:
  • #7
martinbn said:
Why would you think that the topology of might be this topology!?
… or in the unforgettable words of one of my math lecturers in first year of university whenever anyone would make an argument that may sound reasonable but ultimately says nothing about the proof in point: ”A common reaction to your argument is ’so what?’.”
 
  • #8
cianfa72 said:
I've been watching Dr. Schuller's lectures. Here at 20:00 starts endowing with the coarsest topology such that the (surjective) projection map is continuous, i.e. the initial topology on from . He then shows one can define a smooth atlas on turning it into a smooth manifold (by ripping out non-smooth-compatible charts from the topological atlas).

P.s. Does my work in post #3 make sense?
Yes, he does say that. May be later on he will correct himself.
 
  • #9
martinbn said:
Yes, he does say that. May be later on he will correct himself.
Therefore the underlying topology as smooth manifold is that given/induced by the (smooth) atlas he defines later (i.e. a set is defined as open iff for any chart in the atlas results open in ).
 

Similar threads

Replies
3
Views
1K
Replies
7
Views
3K
Replies
44
Views
3K
Replies
20
Views
1K
Replies
20
Views
3K
Replies
7
Views
4K
Replies
43
Views
3K
Replies
20
Views
3K
Back
Top