Soient E et F deux espaces topologiques,
et une application continue
( étant muni de la topologie produit),
je n'arrive pas à montrer que pour tout ouverts U de F,
il existe deux familles dénombrables d'ouverts de E:
et ,
telles que
.
Rebonjour
Tu es sur qu'il s'agit d'espaces topologiques sans autre précision? Ne seraient-ils pas métriques? Il est facile de trouver une famille quelconque comme tu demandes, mais je suis sûre que dénombrable n'est pas toujours vrai!
oui pardon, je n'avais pas vu un détail important, et .
Du coup ce résultat provient du fait que h est continue, et que E admet une base de voisinages dénombrables en chacun de ses points, est-ce bien ça?
Absolument! Ce qui compte c'est de remarquer que la topologie produit est par définition engendrée par les ouverts élémentaires (du type UV).
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :