Finite Topological Space is Compact/Proof 1

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space where $S$ is a finite set.

Then $T$ is compact.

Proof
Let $\mathcal V$ be an open cover of $T$.

For each $x \in S$, define $\mathcal V_x$ to be $\left\{{V \in \mathcal V : x \in V}\right\}$

Since $S$ is finite, and since by definition of a cover, each $x\in S$ is contained in at least one $V$ in $\mathcal V$, we have that $\left\{{\mathcal V_x : x \in S}\right\}$ is a finite collection of nonempty sets.

From Choice Function Exists for All Finite Sets, there is a choice function which selects one $V_x$ from $\mathcal V_x$ for each $x \in S$. By definition of $\mathcal V_x$, such a $V_x$ contains $x$.

Since there were only finitely many $\mathcal V_x$, this provides finitely many open sets $V_x \in \mathcal V$ such that $\displaystyle S \subseteq \bigcup_{x \in S} V_x$.

Thus $\left\{{\mathcal V_x : x \in S}\right\}$ is a finite subcover of $\mathcal V$.

The result follows by definition of compact.