Produits d'espaces topologiques

Bonjour,
Est-ce qu'un compact $K$ de l'espace topologique produit $X\times X$ peut toujours être inclus dans un produit $K_1\times K_2$ de compacts de $X$ ?
Merci!

Réponses

  • Oui si $X$ est séparé ; prendre pour $K_1$ la projection de $K$ sur le 1er facteur, etc
  • Merci, oui on considère les projections, si $X$ est séparé, qui sont continues.
  • En quoi la séparation a-t-elle à voir avec la continuité des projections ?
  • Bonjour.

    Je pense que ça intervient pour pouvoir dire que l'image d'un compact est un compact.
  • Ben tout dépend de ce qu'on appelle compact (mais c'est un vieux débat, on ne va pas remettre ça, surtout qu'il y a un fil en cours sur fonction vs. application).
Connectez-vous ou Inscrivez-vous pour répondre.