3Mathoman.com topologie produit
Il en r´esulte que tout point adh´erent est soit isol´e soit d’accumulation.
Propri´
et´
e 10 : Si la topologie est s´epar´ee, un point est d’accumulation si tout
voisinage contient une infinit´e de point de .
DEMST : On prouve que si un voisinage ne contient qu’un nombre fini de point de
alors et est un point isol´e de .
Soit ce voisinage, et les points de distincts de (´eventuellement) qu’il
contient. , et tel que de sorte que
est un voisinage de qui ne contient aucun point de hormis ´eventuellement . Comme
Il en r´esulte que et donc que est isol´e.
4CONTINUIT´
E
Propri´
et´
e 1 : Soit – ; les propri´et´es suivantes sont
´equivalentes.
i) L’image r´eciproque d’un ouvert est un ouvert; soit , –;
ii) L’image r´eciproque d’un ferm´e est un ferm´e ;
iii) alors –.
D´
efinition 2 : Lorsque l’une de ces propri´et´es est v´erifi´ee on dit que est conti-
nue.
Une application bijective continue dont la r´eciproque est continue se
nomme un hom´eomorphisme.
Exemple 4.1 : L’application identit´e de la topologie grossi`ere dans la topologie discr`ete est bi-
jective mais sa r´eciproque n’est pas continue puisque par exemple est un ouvert pour la
topologie discr`ete (tout y est ouvert) tandis que son image r´eciproque n’est pas ouvert
puisque dans la grossi`ere seul et le sont.
Bien sˆur il existe des contrexemples bien moins pathologiques et extrˆemes.
Proposition 3 : Un produit d’applications continues (resp.
d’hom´eomorphismes) est continues (resp. un hom´eomorphisme).
Propri´
et´
e 4 : L’image d’un ouvert (d’un ferm´e) par un hom´eomorphismeest un
ouvert (un ferm´e).
Exemple 4.2 : est la moins fine des topologies telles que l’injection canonique –
soit continue.
5TOPOLOGIE PRODUIT
D´
efinition 1 : Soit une famille finie d’espaces topologiques. est dit
ouvert ´el´ementaire de , si o`u .
Propri´
et´
e 2 : On d´efinit une topologie sur en d´efinissant un ouvert comme
une r´eunion quelconque d’ouverts ´el´ementaires
DEMST : et sont bien des produits d’ouverts.
La stabilit´e par r´eunion quelconque est ´evidente.
est encore un ouvert ´el´ementaire et .
Propri´
et´
e 3 : Les projections – sont des applications continues et
ouvertes.
La topologie produit est la moins fine des topologies de rendant les
projections continues.
DEMST : Si est un ouvert, –qui est un
ouvert de .
Soit un ouvert de . , si
. Cette r´eunion ´etant bien un ouvert de .
Soit une topologie rendant les continues. Il faut prouver que tout ouvert de
est un ouvert de . Il suffit de le prouver pour les ouverts ´el´ementaires. Pour cela,
on observe d’abord que o`u . Or
–qui est ouvert par hypoth`ese.
Remarque 5.1 : Il faut remarquer que moins il y a d’ouverts dans , autrement dit plus la to-
pologie de est grossi`ere ou moins elle est fine, et moins une application partant de a de
chance d’ˆetre continue. Ainsi cet ´enonc´e dit que la topologie est la topologie ”minimale” qui
rendent les continues.
Propri´
et´
e 4 : Soit – avec . est continue si et
seulement si , est continue.
Autrement dit, une application `a valeur dans un produit est continue ssi
toutes les applications coordonn´ees le sont
DEMST : Si est continue, est une compos´ee d’applications continues donc
l’est.
R´eciproquement, si est un ouvert ´el´ementaire de et on a aussi
, d`es lors –et – –
– – ; c’est une intersection d’ouverts de .
Propri´
et´
e 5 : est s´epar´e si et seulement si , est s´epar´e.
DEMST : Si les sont s´epar´es, soit . Il existe alors un indice
tel que et donc des ouverts disjoints de , contenant respectivement
et . Mais alors et sont des
voisinages de et disjoints puisqu’`a l’indice , .
R´eciproquement, fixons et soit . Soit ensuite et
; alors dans donc il existe et tels