Topologie produit


Topologie produit

En mathématiques, plus précisément en topologie, la topologie produit est une topologie définie sur un produit d'espaces topologiques. C'est de manière générale la topologie faible associée aux projections de l'espace produit vers chacun de ses facteurs : autrement dit c'est la topologie la moins fine rendant les projections continues.

Sommaire

Cas du produit fini

Dans le cas du produit fini, la topologie produit permet notamment de définir une topologie naturelle sur \mathbb{R}^n à partir de celle de \mathbb{R}.

Si X1..Xn sont des espaces topologiques, U est un ouvert de X=\prod_{i=1}^n X_i si et seulement si \forall x\in U il existe U1..Un ouverts respectifs de X1..Xn tels que x\in U_1\times ..\times U_n et U_1\times ..\times U_n\subset U. Autrement dit un ouvert du produit est une réunion de produits d'ouverts des facteurs.

On peut vérifier que cette définition rend les projections continues (on verra dans la partie suivante que ceci caractérise en fait la topologie produit), et que le projeté d'un ouvert est un ouvert. Par contre, le projeté d'un fermé n'est pas fermé. Par exemple, l'ensemble \mathcal{H}=\{(x,y)\in \mathbb{R}^2, xy=1\} est fermé de \mathbb{R}^2 (c'est l'image réciproque d'un fermé par une fonction continue), mais sa projection sur l'axe des x n'est pas fermée (c'est en effet \mathbb{R}^*).

Convergence simple

Soit X un espace topologique et I un ensemble. XI n'est autre que le produit cartésien \prod_{i\in I} X de même espace X. Une suite de fonctions de I dans X converge pour la topologie produit ssi elle converge simplement.

Cas général

La description ci-dessous montre que la topologie produit est un cas particulier de topologie initiale.

Soit (X_i,\tau_i)_{i\in I} une famille quelconque d'espaces topologiques, le produit des Xi est noté X. La topologie produit est la topologie la moins fine rendant les projections p_i: X\rightarrow X_i continues : une prébase est donc l'ensemble des p_i^{-1}(U_i), Ui ouvert de Xi, i\in I, autrement dit c'est :

\{U_i\times\prod_{j\in I, j\ne i} X_j, U_i\in\tau_i, i\in I\}.

Une base de la topologie produit est alors formée par l'ensemble des intersections finies d'éléments de la prébase; en remarquant que si i\ne j alors (U_i\times\prod_{k\in I, k\ne i} X_k) \bigcap (U_j\times\prod_{k\in I, k\ne j} X_k)=U_i\times U_j\times\prod_{k\in I, k\not\in \{i,j\}} X_k, on voit alors qu'une base de la topologie produit est:

\{\prod_{k=1}^n U_{i_k}\times\prod_{j\in I, j\not\in\{i_1..i_n\}} X_j, U_{i_1}\in\tau_{i_1}.. U_{i_n}\in\tau_{i_n}, i_1..i_n\in I, n\in \mathbb{N}\}

On déduit alors aisément le cas fini en remarquant que les espaces X1..Xn sont des ouverts, et que réciproquement tout produit d'ouverts de X1..Xn est forcément fini ! Par contre dans le cas du produit infini, la base est constituée de produits d'un nombre fini d'ouverts avec les espaces restants, et un produit infini d'ouverts non vides n'est jamais ouvert si un nombre infini de ces ouverts sont différents des Xi.

Propriétés importantes

  • Soit X le produit des X_i, i\in I, Y un espace topologique. f:Y\rightarrow X est continue si et seulement si \forall i\in I, p_i\circ f est continue (pour le prouver, on peut utiliser la caractérisation de la continuité via une prébase d'ouverts).
  • De plus, on remarque que dans la topologie produit, dire que (x^n)_{n\in \mathbb{N}} tend vers y=(y_i)_{i\in I} équivaut à : \forall i \in I, (x^n_i)_{n\in\mathbb{N}} tend vers yi. Lorsque les Xi sont tous égaux à X0, le produit des Xi est en fait l'ensemble des applications de I dans X0 (d'où la notation X_0^i). La suite (xn) précédente est alors une suite de fonctions fn qui converge simplement vers la fonction g:i\mapsto y_i. On peut résumer ceci en disant que la topologie produit est la topologie de la convergence simple.
  • Enfin, un des théorèmes les plus importants concernant la topologie produit est le théorème de Tychonov qui assure qu'un produit de compacts est compact pour cette topologie.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Topologie produit de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • TOPOLOGIE - Topologie générale — Les notions de continuité et de limite ont une origine intuitive et l’on se propose d’analyser ici cette intuition. Considérons, par exemple, la description de la tangente T à une courbe (fig. 1) telle qu’on la trouve dans les manuels classiques… …   Encyclopédie Universelle

  • Topologie grossiere — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… …   Wikipédia en Français

  • Topologie triviale — Topologie grossière En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les… …   Wikipédia en Français

  • TOPOLOGIE — CONSIDÉRONS les trois surfaces représentées sur la figure cidessous. L’intuition nous apprend qu’il existe entre les deux premières des propriétés communes que la troisième ne possède pas: on peut déformer continûment les deux premières l’une… …   Encyclopédie Universelle

  • Topologie d'un espace vectoriel de dimension finie — En mathématiques, la topologie d un espace vectoriel de dimension finie sur un corps K est, sous certaines hypothèses, un cas particulier de topologie d espace vectoriel normé. Le prototype est Rn muni de la norme qui à un n uplet de réels… …   Wikipédia en Français

  • Topologie initiale — En mathématiques, plus précisément en topologie, la topologie initiale, sur un ensemble muni d une famille d applications à valeurs dans des espaces topologiques, est la topologie la moins fine pour laquelle toutes ces applications sont continues …   Wikipédia en Français

  • Topologie grossière — En mathématiques, la topologie grossière (ou topologie triviale) associée à un ensemble est une topologie où les seuls ouverts sont l ensemble vide et l espace lui même. Cette topologie est la moins fine de toutes les topologies qu il est… …   Wikipédia en Français

  • Produit (catégorie) — Dans une catégorie, le produit peut s exprimer par une propriété universelle ou de manière équivalente comme foncteur représentable. Définition produit Soit C une catégorie et une famille d objets de C. On cherche un objet X ainsi qu une famille… …   Wikipédia en Français

  • Topologie compacte-ouverte — En mathématiques, la topologie compacte ouverte est une topologie définie sur l ensemble des applications continues entre deux espaces topologiques. C est l une des topologies les plus utilisées sur un tel espace fonctionnel, et elle est employée …   Wikipédia en Français

  • Produit — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Produit », sur le Wiktionnaire (dictionnaire universel) Le mot produit peut avoir plusieurs… …   Wikipédia en Français