Product of two compact spaces is compact

general-topology compactness product-space

Solution 1:

Yes, there is a mistake in this proof. The problem is that when you have your finite covers of $X$ and $Y$, it is true that the product of those open sets cover $X \times Y$ ; what is not true is that those products were in your original open cover!

Hope that helps,

Solution 2:

You find that the product of a finite number of those projected open sets covers your space, but what you have found is not a subcover.

Related

Are quantifiers a primitive notion?
Is $\lim_{x\rightarrow\infty}\frac{x}{\pi(x)}-\ln(x) =-1$?
Integrate :$\int\frac{1}{\sqrt[3]{\tan(x)}}\, \mathrm dx$
Difference between a type and a set
St. Petersburg Paradox
Prove $2^b-1$ does not divide $2^a + 1$ for $a,b>2$
Countably generated $\sigma$-algebra implies separability of $L^p$ spaces
Homology of quotient of 3-sphere by identifying antipodal points on equator
Why is the expected value (mean) of a variable written using square brackets?
Which translation to read of Euclid Elements
eigenvalues of integral matrices
Evaluate $\sum_{n=1}^{\infty} \left( \arctan \frac{4n - 1}{2} - \arctan \frac{4n - 3}{2} \right)$