En mathématiques, le lemme du tube est le résultat de topologie générale suivant : Si x est un point d'un espace topologique X et si Y est un espace quasi-compact, tout ouvert de X × Y contenant la partie {x} × Y contient un ouvert élémentaire U × Y contenant cette partie. Il permet par exemple de démontrer simplement que tout produit fini de compacts est compact, sans recourir au théorème de Tychonov.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).