Dilation of Compact Set in Topological Vector Space is Compact/Proof 1

Proof
Let $\family {U_\alpha : \alpha \in I}$ be open sets such that:
 * $\ds t K \subseteq \bigcup_{\alpha \mathop \in I} U_\alpha$

From Dilation of Union of Subsets of Vector Space, we have:
 * $\ds K \subseteq \bigcup_{\alpha \mathop \in I} \paren {t^{-1} U_\alpha}$

From Dilation of Open Set in Topological Vector Space is Open, we have that $t^{-1} U_\alpha$ is open.

Since $K$ is compact, there exists $t^{-1} U_1, t^{-1} U_2, \ldots, t^{-1} U_n$ such that:
 * $\ds K \subseteq \bigcup_{i \mathop = 1}^n \paren {t^{-1} U_i}$

Then, using Dilation of Union of Subsets of Vector Space again we have:
 * $\ds t K \subseteq \bigcup_{i \mathop = 1}^n U_i$

So every open cover of $t K$ has a finite subcover.

So $t K$ is compact.