Intereting Posts

Decomposing the sphere as a product
Prove $1^2+2^2+\cdots+n^2 = {n+1\choose2}+2{n+1\choose3}$
How to calculate the ideal class group of a quadratic number field?
Radical extension
Counting walks on colored graphs
Why is the area of a circle not $2 \pi R^2$?
Proof on a particular property of cyclic groups
$X$ a connected space ; if all continuous functions from $X$ to $\Bbb R$ are uniformly continuous, then X is a compact
When is $CaCl(X) \to Pic(X)$ surjective?
Poincare-Bendixson Theorem
Number of solutions of equation
How to find the period of the sum of two trigonometric functions
Prove $\sum_{i=1}^n i! \cdot i = (n+1)! – 1$?
Let $H$ be a normal subgroup of index $n$ in a group $G$. Show that for all $g \in G, g^n \in H$
An inequality involving arctan of complex argument

Consider a (locally trivial) fiber bundle $F\to E\overset{\pi}{\to} B$, where $F$ is the fiber, $E$ the total space and $B$ the base space. If $F$ and $B$ are compact, must $E$ be compact?

This certainly holds if the bundle is trivial (i.e. $E\cong B\times F$), as a consequence of Tychonoff’s theorem. It also holds in all the cases I can think of, such as where $E$ is the Möbius strip, Klein bottle, a covering space and in the more complicated case of $O(n)\to O(n+1)\to \mathbb S^n$ which prompted me to consider this question. I am fairly certain it holds in the somewhat more general case where $F,B$ are closed manifolds. However, I can’t seem to find a proof of the general statement. My chief difficulty lies in gluing together the local homeomorphisms to transfer finite covers of $B\times F$ to $E$. Any insight would be appreciated.

- Prop 12.8 in Bott & Tu
- Learning Homology and Cohomology
- Klein-bottle and Möbius-strip together with a homeomorphism
- Problem understanding how to compute fundamental group of connected sum of torus
- Every Group is a Fundamental Group
- Existence of a universal cover of a manifold.

- Homotopy equivalence from torus minus a point to a figure-eight.
- Show that there are non-well-founded models of Zermelo Fraenkel set theory
- Good exercises to do/examples to illustrate Seifert - Van Kampen Theorem
- Proof that retract of contractible space is contractible
- Question about quotient of a compact Hausdorff space
- $H_0(X,A) = 0 \iff A$ meets each path-component of $X$.
- Contracting a contractible set in $\mathbb R^2$
- Imagining four or higher dimensions and the difference to imagining three dimensions
- Equivalence of two definitions of Spin structure
- Euler characteristic of a space minus a point

By local triviality, there is a open covering $\mathcal U$ of $B$ such that for each $U\in\mathcal U$ the open subset $\pi^{-1}(U)$ of $E$ is homeomorphic to $U\times F$ in a way compatible with the projection to $U$. It follows that there is a subbase $\mathcal S$ of the topology of $E$ consisting of open sets each of which is contained in one of these $\pi^{-1}(U)$ and corresponding under those homeomorhisms to an open subset of $U\times F$ of the form $V\times W$ with $V\subseteq U$ open in $B$ and $W\subseteq F$ open in $F$.

To prove compactness, it is enough to show that every covering of $E$ by subsets of $\mathcal S$ contains a finite subcovering —this is called *Alexander’s subbase lemma* and is used in one of the proofs of Thychonof’s theorem (for example, in Kelley’s book, iirc). Do that!

I don’t get where the problem is. Am I missing something?

Each point $b\in B$ has a neighbourhood $N_b$ such that the bundle over $N_b$ is trivial. Choose a smaller closed (thus compact) neighbourhood $C_b$ (we need some weak assumption here like Hausdorffness of $B$). The bundle over $C_b$ is homeomorphic to $C_b\times F$, thus compact.

Note that $\{\mathrm{int}(C_b)\}_{b\in B}$ is an open cover of $B$ and by compactness has a finite subcover indexed by $(b_i)_{i=1}^n$. Consequently $E$ is a finite sum of compact sets, thus compact:

$$E = \bigcup_{1\leq i \leq n} \pi^{-1}(C_{b_i}).$$

- Explicit formula for Bernoulli numbers by using only the recurrence relation
- Surjective function into Hartogs number of a set
- If $f$ is Lebesgue measurable on $$ then there exists a Borel measurable function $g$ such that $f=g$ ae?
- Is every infinite set equipotent to a field?
- Subgroup generated by $2$ and $7$ in $(\mathbb Z,+)$
- Product of a Lebesgue measurable function with an indicator function is measurable
- When does Newton-Raphson Converge/Diverge?
- Find thickness of a coin
- Sphere eversion and Smale-Hirsch theorem
- “If inaccessible sets exist, their existence is not provable in ZF”
- Limit of Lebesgue integral in $L_1(,m)$
- Evaluating $\sum_{n=0}^{\infty } 2^{-n} \tanh (2^{-n})$
- Calculate sum of series $\sum \frac{n^2}{n!}$
- What's the precise meaning of imaginary number?
- Proving the relation $\det(I + xy^T ) = 1 + x^Ty$