I am trying to prove the following.
Proposition. Let $\alpha:A\to B$ be a fiber bundle and let $b,b^\prime\in B$. If there's a compact connected subspace containing $b,b^\prime$, then their fibers are isomorphic.
My intuition comes from this picture from wikipedia's page on monodromy.
Let $(U_i)$ be a trivializing cover for $\alpha$. Restrict this open cover to a connected subspace containing $b,b^\prime$, and then restrict to a finite subcover $V_1,\dots ,V_n$. By connectedness, for any partition $I\amalg I^c\cong \left\{ 1,\dots ,n \right\}$ we have $\bigcup_IV_i\cap \bigcup_{I^c}V_j\neq\emptyset$, which means $V_i\cap V_j\neq\emptyset$ for some $i\in I,j\in I^c$. From here I want to reason there's a "chain" of members of the covering going from $b$ to $b^\prime$.
My reasoning is below, but it feels sloppy and vague.
- Take some member of the cover containing $b$ and relabel it $V_1$. Take the union of the rest of the members. These intersect. Pick some member of the union which intersects and relabel it $V_2$ and take the union $V_1\cup V_2$.
- Take some member of the cover intersecting $V_1\cup V_2$ and relabel it $V_3$.
- Repeat, repicking members if necessary, until you have a, after relabeling, a collection $V_1,\dots ,V_m$ such that $V_i\cap V_{i+1}\neq\emptyset$.
- Finally, apply the fact that if two trivializing opens intersect, the trivializations of the bundles over them have isomorphic fibers.
How can I better justify the existence of the "chain" $V_1,\dots ,V_m$ as in the linked picture?