Fiber bundle homeomorphism with the fiber

  • #1
cianfa72
1,692
192
TL;DR Summary
About the Fiber bundle homeomorphism between the preimage of a point in the base space under the continuous map ##\pi## and the fiber
Hi, in the definition of fiber bundle there is a continuous onto map ##\pi## from the total space ##E## into the base space ##B##. Then there are local trivialization maps ##\varphi: \pi^{-1}(U) \rightarrow U \times F## where the open set ##U## in the base space is the trivializing neighborhood. These maps by definition are homeomorphisms using the subspace topology from ##E## for ##\pi^{-1}(U)## and the product topology for ##U \times F##.

Then there is a claim that each ##\pi^{-1}(\{p\})## is homeomorphic with the fiber ##F## (that is a topological space).

My question: is this homeomorphism done using the subspace topology from ##\pi^{-1}(U), p \in U## for the set ##\pi^{-1}(\{p\})## ? Thanks.

Edit: since ##\pi## is continuous then the subspace topology for ## \pi^{-1}(\{p\})## from ##\pi^{-1}(U)## is the same from ##E##.
 
Last edited:
Physics news on Phys.org
  • #2
cianfa72 said:
TL;DR Summary: About the Fiber bundle homeomorphism between the preimage of a point in the base space under the continuous map ##\pi## and the fiber

Hi, in the definition of fiber bundle there is a continuous onto map ##\pi## from the total space ##E## into the base space ##B##. Then there are local trivialization maps ##\varphi: \pi^{-1}(U) \rightarrow U \times F## where the open set ##U## in the base space is the trivializing neighborhood. These maps by definition are homeomorphisms using the subspace topology from ##E## for ##\pi^{-1}(U)## and the product topology for ##U \times F##.

Then there is a claim that each ##\pi^{-1}(\{p\})## is homeomorphic with the fiber ##F## (that is a topological space).

My question: is this homeomorphism done using the subspace topology from ##\pi^{-1}(U), p \in U## for the set ##\pi^{-1}(\{p\})## ? Thanks.

Edit: since ##\pi## is continuous then the subspace topology for ## \pi^{-1}(\{p\})## from ##\pi^{-1}(U)## is the same from ##E##.
It seems you have answered your own question. For fiber bundles you have three ingredients.

1. A model topological space ##F##.
2. A base space ##B## with it's own topology.
3. The total space ##E## which also has a topology and all the maps you mentioned.

When talking about restrictions of the various maps on the total space we are always talking about the subspace topology.
 
  • Like
Likes cianfa72
  • #3
you have omitted the crucial fact that these maps fit into a commutative diagram, so that π corresponds under phi to projection on U, which forces π^-1(p) to map homeomorphically to {p}xF, (with subspace topologies).
 
Last edited:
  • Like
Likes cianfa72
  • #4
mathwonk said:
you have omitted the crucial fact that these maps fit into a commutative diagram, so that π corresponds under phi to projection on U, which forces π^-1(p) to map homeomorphically to {p}xF, (with subspace topologies).
You mean that since these maps fit into a commutative diagram, we get ##\pi^{-1}(\{p \})## via ##\varphi^{-1} \circ \text{proj}^{-1}(\{ p\})## and the first is by definition ##\{ p \} \times F##. Then ##\{ p \} \times F## with subspace topology maps homeorphically to ##F##, hence by composition of homeomorphisms ##\pi^{-1}(\{p \})## is homeomorphic to ##F##.
 
  • #5
Another point: the fiber bundle definition requires that for any ##p \in B## there is an open neighborhood in ##B## such that there exists the homeomorphism ##\varphi## as in post #1.

My question: is the above true for any open neighborhood of point ##p \in B## ?
 
  • #6
cianfa72 said:
Another point: the fiber bundle definition requires that for any ##p \in B## there is an open neighborhood in ##B## such that there exists the homeomorphism ##\varphi## as in post #1.

My question: is the above true for any open neighborhood of point ##p \in B## ?
No, because you can take the whole ##B## as a neighborhood, and it will not be true unless the bundle is trivial.
 
  • Like
Likes cianfa72
  • #7
martinbn said:
No, because you can take the whole ##B## as a neighborhood, and it will not be true unless the bundle is trivial.
Ok, the same applies in general to open sets in the base space ##B## chart's atlas that contain the point ##p## ?
 
Last edited:
  • #8
cianfa72 said:
Ok, the same applies in general to open sets in the base space ##B## chart's atlas that contain the point ##p## ?
Interesting question. My guess is no but I don't know the answer.

I think of a fiber bundle as line a product ##B \times F##, but with twisting. That twisting can result in open sets in ##E## associated with local trivializations that are smaller or larger than the inverse image of open sets in the base space in a chart, or at least that is my guess.
 
  • #9
  • #10
jbergman said:
Actually, this question, https://math.stackexchange.com/questions/186145/a-fiber-bundle-over-euclidean-space-is-trivial, makes me think you might be correct, since every open set corresponding to a chart is homeomorphic to euclidean space. Hence there should be an open trivialization of the fiber bundle over it.
A chart is homeomorphism to an open set in Euclidean space. Take for example a disjoint union of open sets in Euclidean space. There is a (global) chart from it to an open set (the homeomorphism is just the Identity map) however it is not homeomorphic to the entire Euclidean space.
 
  • Skeptical
Likes jbergman
  • #11
cianfa72 said:
A chart is homeomorphism to an open set in Euclidean space. Take for example a disjoint union of open sets in Euclidean space. There is a (global) chart from it to an open set (the homeomorphism is just the Identity map) however it is not homeomorphic to the entire Euclidean space.
That's wrong. https://en.m.wikipedia.org/wiki/Topological_manifold
 
  • #13
I was thinking about the atlas with only a (global) chart for the topological manifold made up of disjoint union of Euclidean open sets. Such a chart is not homeomorphism with the entire Euclidean space (e.g. that manifold is not connected). Nevertheless the maximal atlas for it contains charts locally homeomorphic to the entire Euclidean space.

In other words: not every chart of a topological manifold has to be homeomorphic with the entire Euclidean space.
 
  • #14
cianfa72 said:
I was thinking about the atlas with only a (global) chart for the topological manifold made up of disjoint union of Euclidean open sets. Such a chart is not homeomorphism with the entire Euclidean space (e.g. that manifold is not connected). Nevertheless the maximal atlas for it contains charts locally homeomorphic to the entire Euclidean space.
I don't think that is a chart. A chart has to be homeomorphic to an open ball of some sort, or at least that is the definition that I know. That is the whole point of describing something as locally euclidean.
 
  • #15
jbergman said:
A chart has to be homeomorphic to an open ball of some sort, or at least that is the definition that I know. That is the whole point of describing something as locally euclidean.
See for instance here Atlas chart. It talks about generic open sets in Euclidean space.
 
  • #16
cianfa72 said:
See for instance here Atlas chart. It talks about generic open sets in Euclidean space.
Interesting. Ok. Then maybe not because if you have disconnected components then things are more complex.
 
  • #17
jbergman said:
Interesting. Ok. Then maybe not because if you have disconnected components then things are more complex.
Do you refer to my post#7 ? Hence even for base space's chart open sets ##U_i## their preimage under ##\pi## might not be homeomorphic to ##U_i \times F## ?
 
  • #18
cianfa72 said:
Do you refer to my post#7 ? Hence even for base space's chart open sets ##U_i## their preimage under ##\pi## might not be homeomorphic to ##U_i \times F## ?
Yes. But, it's just a guess at this point.
 
  • #19
A very basic doubt about topological manifold. What if the target/codomain of the atlas's charts homeomorphisms would not open in ##\mathbb R^n## ?

The transition maps using the subspace topologies in the intersections from the target spaces (each target space endowed with the subspace topology from ##\mathbb R^n##) would result in homeomorphisms as well.

So what is the reason a such condition is actually required in the definition of topological manifold ?
 
Last edited:
  • #20
cianfa72 said:
Do you refer to my post#7 ? Hence even for base space's chart open sets ##U_i## their preimage under ##\pi## might not be homeomorphic to ##U_i \times F#

cianfa72 said:
A very basic doubt about topological manifold. What if the target/codomain of the atlas's charts homeomorphisms would not open in ##\mathbb R^n## ?

The transition maps using the subspace topologies in the intersections from the target spaces (each target space endowed with the subspace topology from ##\mathbb R^n##) would result in homeomorphisms as well.

So what is the reason a such condition is actually required in the definition of topological manifold ?
Not sure I fully understand. If the domain of a chart is open in ##M## and the codomain is not open in ##\mathbb R^n##, how can you expect the manifold to be locally homeomorphic to ##\mathbb R^n##?
 
  • #21
jbergman said:
If the domain of a chart is open in ##M## and the codomain is not open in ##\mathbb R^n##, how can you expect the manifold to be locally homeomorphic to ##\mathbb R^n##?
From a general point of view I see no reason why an open set in a topological space (endowed with the subspace topology) might not be homeomorphic to a non open set in ##\mathbb R^n## with the subspace topology.
 
Last edited:
  • #22
cianfa72 said:
From a general point of view I see no reason why an open set in a topological space (endowed with the subspace topology) might not be homeomorphic to a non open set in ##\mathbb R^n## with the subspace topology.
Yes, but that's not the point of a topological manifold. An n-dimensionql topological manifold is something that is locally like ##\mathbb R^n##. For example with your definition, you could define a 3-dimensional manifold with chart maps from it to ##\mathbb R^3## that are all 1-d closed subsets of ##\mathbb R^3##, in other words a 1-dimensional manifold.
 
  • #23
jbergman said:
For example with your definition, you could define a 3-dimensional manifold with chart maps from it to ##\mathbb R^3## that are all 1-d closed subsets of ##\mathbb R^3##, in other words a 1-dimensional manifold.
Ah ok, so for example we could end up with an open set of ##\mathbb R^3## homeomorphic to a 2-d plane in ##\mathbb R^3## (the latter understood as topological space of its own with the subspace topology from ##\mathbb R^3##) ?

Edit: I think the above example doesn't make sense thanks to Invariance of domain theorem. Perhaps it could be true using topologies other than Euclidean topology in ##\mathbb R ^3## as 'naked' set.
 
Last edited:
  • #24
cianfa72 said:
Ah ok, so for example we could end up with an open set of ##\mathbb R^3## homeomorphic to a 2-d plane in ##\mathbb R^3## (the latter understood as topological space of its own with the subspace topology from ##\mathbb R^3##) ?
Yes, or a line like I said.
cianfa72 said:
Edit: I think the above example doesn't make sense thanks to Invariance of domain theorem. Perhaps it could be true using topologies other than Euclidean topology in ##\mathbb R ^3## as 'naked' set.
Invariance of domain doesn't apply because a 2-d plane is a closed subset. I think I have given you enough information that this should be perfectly clear at this point. This is the most basic concept about topological manifolds that you must understand before understanding anything else. To repeat, a topological manifold is locally like an open ball in ##\mathbb{R}^n##.
 
  • #25
jbergman said:
Invariance of domain doesn't apply because a 2-d plane is a closed subset.
Sorry, I believe it does apply the other way. Suppose the open set ##A## of ##\mathbb R ^3## was homeomorphic via ##\varphi## to a 2-plane in ##\mathbb R^3## with the subspace topology. Then there would be an injective continuous map from ##A## to ##\mathbb R ^3##. The conditions of Invariance of domain theorem apply hence the image ##\varphi(A)## would be open in ##\mathbb R^3##.
 
  • #26
cianfa72 said:
Sorry, I believe it does matter. Suppose the open set ##A## of ##\mathbb R ^3## was homeomorphic via ##\varphi## to a 2-plane in ##\mathbb R^3## with the subspace topology. Then there would be an injective continuous map from ##A## to ##\mathbb R ^3##. The conditions of Invariance of domain theorem apply hence the image ##\varphi(A)## would be open in ##\mathbb R^3##.
Well, yes your example was silly. An example is the 2-plane being homeomorphic to a closed set of ##\mathbb R^3## like you wanted to allow. Anyways, I think this discussion has gone on long enough.
 
  • #27
cianfa72 said:
Suppose the open set ##A## of ##\mathbb R ^3## was homeomorphic via ##\varphi## to a 2-plane in ##\mathbb R^3## with the subspace topology.

This cannot happen.
 
  • #28
martinbn said:
This cannot happen.
Right, we can prove it by contraddiction using the Invariance of domain theorem.
 
  • #29
A general question on tangent and cotangent bundle. Are they always trivial bundle regardless of the base space topological manifold ?
 
  • #30
cianfa72 said:
A general question on tangent and cotangent bundle. Are they always trivial bundle regardless of the base space topological manifold ?
Definitely not. Look at the tangent space of the Mobius strip. If tangent bundles were always trivial then you wouldn't need connections as you could identify tangent vectors at different points globally like in ##\mathbb{R}^n##. Tangent bundles are trivial if and only if the manifold admits a smooth global frame.

You seem to have a lot pf confusion about some of the basic geometric notions here. Have you systematically worked through a book like Tu's Introduction to Manifolds?
 
  • Like
Likes WWGD
  • #31
cianfa72 said:
A general question on tangent and cotangent bundle. Are they always trivial bundle regardless of the base space topological manifold ?
They're only guanteed to be locally , only at times globally trivial. IIRC, the latter is true only for product spaces. The term " Trivial Bundle" wouldn't have been coined.
 
  • #32
jbergman said:
Have you systematically worked through a book like Tu's Introduction to Manifolds?
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
 
Last edited:
  • #33
cianfa72 said:
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
Isomorphisms of the bundles not ##M##.
 
  • #34
martinbn said:
Isomorphisms of the bundles not ##M##.
However, in general, bundles do not have a vector space structure.

Edit: eventually the term isomorphism is not restricted to just vector spaces (e.g. in the context of differentiable manifolds a diffeomorphism is actually an isomorphism).
 
Last edited:
  • #35
cianfa72 said:
Yes, I'm keeping study Tu's book.

In particular at the end of section 12.3 he talks of isomorphism between vector bundles over the same manifold ##\mathbb M##. But the manifold ##\mathbb M## in general may not have a vector space structure, so why he talks of isomorphisms and non just diffeomorphism ? Thanks.
Maybe the manifolds themselves only have a topological structure, not a differentiable one?
 

Similar threads

  • Topology and Analysis
Replies
8
Views
378
  • Topology and Analysis
2
Replies
61
Views
895
Replies
6
Views
2K
  • Topology and Analysis
Replies
1
Views
709
Replies
15
Views
1K
  • Topology and Analysis
Replies
8
Views
1K
  • Topology and Analysis
2
Replies
38
Views
4K
  • Special and General Relativity
Replies
26
Views
998
Replies
4
Views
1K
  • Topology and Analysis
Replies
17
Views
2K
Back
Top