I think i have the proof, however I am worried about some assertions.

Pf: Let where is compact

Let be an open cover of

is also an open cover for

Since is compact , a finite subcover

is a finite subcover for

I am not sure if I can just say that an open cover of K exists. It makes sense, to me anyway, that I could cover any set with a bunch of open sets. Still, I am not sure if an open cover of K exists.

And the union of the finite subcovers remains finite?

Thanks for helping.