I Product space vs fiber bundle

139
7
Summary
product space as example of trivial fiber bundle
Hi,

I'm not a really mathematician...I've a doubt about the difference between a trivial example of fiber bundle and the cartesian product space. Consider the product space ## B \times F ## : from sources I read it is an example of trivial fiber bundle with ##B## as base space and ##F## the fiber.

As far as I understood Fiber bundle requires fibers "attached" on base space to be actually disjoint. With that in mind should we understand (conceive) the cartesian product ## B \times F ## itself as a disjoint union where there exist for instance multiple copies of F space over B ?

hoping I was able to explain the point...
 

fresh_42

Mentor
Insights Author
2018 Award
11,425
7,848
Summary: product space as example of trivial fiber bundle

With that in mind should we understand (conceive) the cartesian product ##B \times F## itself as a disjoint union where there exist for instance multiple copies of ##F## space over ##B##?
Yes.
##B\times F = \{\,(b,f)\,|\,b\in B,f\in F\,\} = \{\,(b,F)\,|\,b\in B\,\} = \{\,b\,|\,b\in B\,\} \times F##
The fibers are ##p^{-1}(b) =\{\,b\,\} \times F \cong F## with the projection ##p(b,f)=b##.
 
139
7
##\{\,(b,F)\,|\,b\in B\,\}##
That is just a notation where the set ##F## itself appears instead of its elements, I guess
## \{\,b\,|\,b\in B\,\} \times F##
That is basically the union of sets of type ##\{\,b\} \times F## with ##b \in B ##
##\{\,b\,\} \times F \cong F##
that means an identification (isomorphism ?) with ##F## right ?
 
Last edited:

fresh_42

Mentor
Insights Author
2018 Award
11,425
7,848
Yes, as soon as ##b## is fixed we could as well drop it. It is only a bijection. But as we talk about sets, no other structures can be expected, so a bijection is already all we can expect.

And yes, the others are just notational differences of the same set.

The crucial point is, that fiber bundles are local direct sums (in a neighborhood of ##b##), but not necessarily global.

A simple example of a non-trivial bundle is the Möbius strip. The base ##B## is here ##S^{1}## (the circle line), the fiber ##F## is a closed interval. The corresponding trivial bundle would be a cylinder from which the Möbius strip differs by twisting the fiber.
 

Want to reply to this thread?

"Product space vs fiber bundle" You must log in or register to reply here.

Related Threads for: Product space vs fiber bundle

  • Posted
Replies
16
Views
2K
Replies
7
Views
3K
  • Posted
2
Replies
35
Views
6K
  • Posted
Replies
2
Views
3K
Replies
2
Views
3K
  • Posted
Replies
17
Views
4K
Replies
1
Views
6K
  • Posted
Replies
15
Views
8K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top