Ambiguity in definition of compactness

open cover (for a given topology $\tau$): a collection of open sets $U_{\alpha}$ (open with respect to the topology $\tau$) such that $$X \subset \underset{\alpha \in A}{\bigcup} U_{\alpha}$$

open set: A set in the topology $\tau$ of the space $X$.

compact (for a given topology $\tau$): every open cover of $X$ (with respect to the topology $\tau$) has a finite subcover.

A given open cover therefore depends on both:

• the given space $X$
• the topology $\tau$ given for $X$

If $\nu$ is a different topology for $X$, then $(X,\tau)$ and $(X,\nu)$ are different topological spaces. Therefore, which collections of sets are open covers of $X$ and as a result whether or not $X$ is compact will be different.

You should use elements of the topology (open sets) to cover your space.

Also in your lecture notes should be:

Let $X$ be a set, $(X,\mathcal{T})$ a topological space. Then a collection $\mathcal{A} \subset \mathcal{P}(X)$ is called an open cover if:

(i) $\mathcal{A}$ is a cover, i.e. $\forall x \in X, \exists A \in \mathcal{A}$ such that $x \in A$.

(ii) Elements of $\mathcal{A}$ are open, i.e. $\mathcal{A} \subset \mathcal{T}$.

So the cover most definitely comes from $\mathcal{T}$.