Exercice 6, § 9

Soient X, Y deux espaces topologiques, A (resp. B) une partie quasi-compacte de X (resp. Y). Montrer que, pour tout voisinage U de A × B dans X × Y, il existe un voisinage V de A dans X et un voisinage W de B dans Y tels que V × W ⊂ U.