1

I was learning about bundles and my professor said that not every bundle with typical fiber is a fiber bundle. I asked him for an example, but he couldn't find one. Can anyone help me give that example or just prove the statement?

Just for clarification on the nomenclature used. A bundle $E\xrightarrow{\,\pi\,}B$ is just a surjective continuos function with this vanilla topological spaces E and B. A bundle with typical fiber F is a bundle that the fiber of every point $b \in B$ is F. A fiber bundle is a bundle that is locally isomorphic (as bundle) to a product bundle ($B \times F\xrightarrow{\,\pi\,}B$, such that $\pi(b,f)=b$).

So, I would like to see a bundle that has the same fiber for every point in the base space, but it isn't locally isomorphic to a product bundle.

Douglas
  • 394
  • 3
    A silly example: $B=\mathbb R$, $E=\mathbb (\mathbb R\times{0})\cup((-\infty,0]\times{1}) \cup ((0,\infty)\times{-1})$ (so $E\subset\mathbb R^2$), with $\pi:E\to B$ the projection to the 1st coordinate. It is not locally trivial above $0\in B$, the fibre is everywhere a discrete 2-point space. – user8268 Jan 11 '22 at 22:34
  • very nice thanks – Douglas Jan 11 '22 at 23:00
  • More or less the same question here – Arctic Char Jan 11 '22 at 23:48

1 Answers1

1

Think of the universal cover of $S^1$ as a spiral going around a cylinder, where the covering map is the restriction of projecting the cylinder down to the unit circle in the plane.

Now, deform this spiral on the cylinder so that it intersects itself one time, and take the same projection map. This gives you a continuous map $\mathbb{R} \to S^1$ where every fiber is $\mathbb{Z}$, but if $x$ is below the intersection point on the spiral $x$ has no neighborhood $U$ whose preimage is $U \times \mathbb{Z}$.

J Cameron
  • 1,434