Topologia produto

Disponível somente no TrabalhosFeitos
  • Páginas : 3 (634 palavras )
  • Download(s) : 0
  • Publicado : 30 de maio de 2012
Ler documento completo
Amostra do texto
Topologie produit
1 Introduction
La topologie produit va nous permettre de fabriquer des espaces topologiques. Mais il faudra la définir en sorte que les propriétés topologiques des espaces quicomposent le produit remontent sur la topologie du produit. Ainsi, si les espaces de départ sont compacts, ou connexes, il sera appréciable qu’il en soit de même sur de leur produit.

2 Notions de basesoit
i 1 k

Définition Pour tout i=1..k, on appelle projecteur de X sur Xi l’application Xi qui a un élément x x1 xk de X associe Πi x xi . Πi : X Définition On appelle topologie produit, latopologie la moins fine sur X qui rend continue les applications Πi : X Xi pour i=1..k. C’est à dire: si Oi est un ouvert de Xi , alors on veut que Π 1 Oi soit un ouvert de X. Remarque Cette définition estbien posée car il existe toujours une topologie sur X rendant continue les Πi . Au pire, il suffit de mettre sur X la topologie discrète .
£   ¥    ¨ ¥   ¥ ¢©©© ¢   ¨  

Notation On noterala topologie produit.
1

Démonstration Il suffit de relire la définition de la topologie engendrée par un ensemble: c’est la topologie la moins fine pour laquelle les éléments de l’ensemble sont desouverts de cette topologie. On a d’ailleurs la définition suivante.
£ " ¢©© ¢ £ "

Définition Les sous-ensembles O1 Ok où O1 les ouverts élémentaires de la topologie produit.
 ©© !© 

1Ok

k

sont appelés

Remarque La propriété précédente pourrait s’exprimer comme suit: La topologie produit est la topologie engendrée par les ouverts élémentaires.

1



¥

Proposition La topologie produit est la topologie engendrée par l’ensemble Π 1 k . i; i
 ©  © ¨ £

 

©

¦

¨

X

∏ Xi

§§

¦ ¡¥ ¥

£ ¤¢

On considère dans ce chapitre une familled’espaces topologiques

  ¡ 

Xi

i

i 1 k

et

Oi ; Oi

3 Suites dans un espace topologique produit
Théorème Soit xn n IN une suite de X. Si xn n IN est convergente sur X pour la...
tracking img