- #1

- 74

- 0

Is an open subspace G of X also compact?

please consider the following and note if i am wrong;

proof: Since G is open then the relative topology on G is class {H_i}of open subset of X such that the union of all sets in this class is G. but X is compact and each H_i is the intersection of G with an open subset P_i of X for corresponding i. The result follows from the fact {p_i} has a finite subclass which contains X.

hence every open subspace of a compact space is compact.

pls, am i right?