Égalité de deux topologies

Salut
J'ai besoin de la démonstration de la propriété suivante.
Merci d'avance.

Soient $X$ un espace métrique et $F$ un ensemble d'applications de $X$ dans lui-même.
Si $F$ est équicontinu sur $X$, alors la topologie simple sur $F$ coïncide avec la topologie compacte-ouverte sur $F$.

Réponses

  • Est-ce que tu arrives à montrer que tout ouvert pour la topologie simple est un ouvert pour la topologie compacte-ouverte ?
  • Non, je n'arrive pas a démontrer que tout ouvert pour la topologie simple est un ouvert pour la topologie compacte-ouverte
  • Pour tout compact $K$ de $X$ et tout ouvert $U$ de $X$, on pose $W(K,U):=\left\{f\in F \mid f(K)\subset U\right\}$.

    Pour rappel :

    1) La topologie simple sur $F$ est la topologie engendrée par les $W(\{x\}, U)$ où $U$ parcourt les ouverts et $x$ parcourt $X$.
    2) La topologie compacte-ouverte est la topologie engendrée par les $W(K, U)$ où $U$ parcourt les ouverts et $K$ parcourt les compacts de $X$.

    À présent est-ce que tu arrives à montrer que tout ouvert pour la topologie simple est un ouvert pour la topologie compacte-ouverte ?
  • On ne peut pas dire que ce soit trivial, même si c'est un gros serpent de mer académique appelé "Ascoli".

    Avant de t'aider, raconte-nous où toi tu te situes en topologie. C'est une conséquence évidente de Tychonov par exemple (le côté Ascolien est assez artificiel). Si tu ne sais pas non plus prouver Tychonov, c'est peut-être par là qu'il serait naturel de commencer?
    Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.