Suppose that $(X,\mathcal{T})$ is a topological space. If we know that $X$ is compact can we assume that is also second countable ??
Because X is compact we have that $X=\cup_{i=1}^{n}V_{i}$, where $V_{i}$ are open sets. So for every $U\subset X$ we have that $U\subset \cup_{i=1}^{n}V_{i}$. Can we assume that by choosing some of the $V_{i}$ we will have that $U=\cup_{i\in J}V_{i}$, $J$ is countable.
In order for $(X,\mathcal{T})$ to have a countable topology base ??
By Tychonoff's theorem, the arbitrary product of compact spaces is compact. Take $X=\{0,1\}$ with the discrete topology and let $Y$ be the direct product of an uncountable collection of copies of $X$. Then $Y$ is compact, but $Y$ is not first countable (let alone second countable).