Sur un produit ∏_{i∈I} X_i, la topologie boîte est la topologie admettant pour base tous les produits ∏_{i∈I} U_i où chaque U_i⊂X_i est ouvert (aucune restriction de finitude) ; sur un produit infini elle est généralement strictement plus fine que la topologie produit (Tychonoff).

Principe

Autoriser des facteurs ouverts arbitraires dans chaque coordonnée simultanément pour former des ouverts de base, de sorte que les voisinages inspectent chaque coordonnée avec des exigences d’ouverture indépendantes plutôt que seulement un nombre fini de coordonnées.

Démonstration

Considérer R^ℕ muni de la topologie boîte : un voisinage de base de la suite nulle est ∏_{n}(-ε_n,ε_n) avec éventuellement ε_n→0 ; de nombreuses suites qui convergent coordonnée par coordonnée (pour la topologie produit) ne pénètrent pas un tel voisinage car elles ne peuvent satisfaire simultanément des contraintes sur une infinité de coordonnées.

Mauvaise application

Employer des résultats de compacité ou de compacité séquentielle valables pour la topologie produit (par exemple invoquer Tychonoff) pour la topologie boîte sur des produits infinis est invalide ; on ne peut supposer la compacité ou la première dénombrabilité sans vérification.

Conséquence

La topologie boîte est plus fine que la topologie produit, donc la continuité d’applications depuis des espaces boîte est plus difficile à obtenir et les propriétés de compacité échouent souvent sur des produits infinis ; elle fournit un exemple extrême soulignant l’importance de la condition de coordination finie.

Inversion

La topologie produit impose une condition de finitude sur les ouverts de base (seules finitement de coordonnées diffèrent du facteur entier), fournissant des propriétés topologiques plus grossières et souvent plus maniables que la topologie boîte pour des ensembles d’indices infinis.

Limite

Coïncide avec la topologie produit pour des ensembles d’indices finis mais diverge pour les infinis ; pertinente seulement pour les constructions de produits et généralement évitée en analyse classique car elle brise de nombreuses propriétés de compacité et de métrisabilité.

Tension sémantique

Se trouve en tension avec la topologie produit : toutes deux utilisent des ouverts coordonnés mais diffèrent sur l’exigence de finitude ; la topologie boîte met l’accent sur l’indépendance des coordonnées tandis que la produit cherche un équilibre entre contrôle coordonné et maniabilité globale.

Synthèse

La topologie boîte permet à chaque coordonnée d’imposer indépendamment une condition ouverte simultanée, produisant une topologie produit très fine sur des index infinis et montrant pourquoi la topologie produit restreint à finitement de coordonnées non triviales pour conserver des propriétés topologiques souhaitables.