Skip to main content
3 of 3
added 199 characters in body
Kevin Casto
  • 3.2k
  • 3
  • 22
  • 17

You should be able to construct this 'directly' in a similar way to the construction of the one-point compactification. Explicitly, you put $E' = E \cup (B'\setminus B)$, and take the open sets as follows: for each open set $U$ of $B'$, and each open set $V$ of $E$, take $V \cup \pi^{-1}(U \cap B) \cup (U \setminus B)$ as an open set.

The proof that this defines a valid topology and that $E'$ is compact should go similarly to the analogous proofs for the one-point compactification.

EDIT: I just realized that the first thing I wrote for the open sets was wrong and just corrected it. I believe I've confirmed that what I have now is correct, I can write out a proof if you like.

Kevin Casto
  • 3.2k
  • 3
  • 22
  • 17