Compact-preimage theorem for closed maps

ID: compact-preimage-theorem-for-closed-maps

Let be a continuous map that is a closed map and whose fibres are compact. Then is compact for every compact set , without a Hausdorff hypothesis. Given an open cover, cover each fibre by a finite union of its members. The set is open, contains , and has . A finite subcover of by the uses only finitely many original cover members and covers . Empty fibres cause no exception.

New to topics? Read the docs here!