Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Topologie compacte-ouverte
Résumé
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 en théorie de l'homotopie et en analyse fonctionnelle. Elle a été introduite par Ralph Fox en 1945.
Soient X et Y deux espaces topologiques et C(X,Y) l'espace des applications continues de X dans Y. Pour toute partie compacte K de X et tout ouvert U de Y, notons V(K,U) l'ensemble de toutes les applications f∊C(X,Y) telles que f(K)⊂U. Alors, la topologie compacte-ouverte sur C(X,Y) est celle qui y est engendrée par l'ensemble de tous ces V(K,U), qui en forme ainsi une prébase.
Si ∗ désigne l'espace singleton, C(∗, Y) (muni de la topologie compacte-ouverte) est homéomorphe à Y.
Si Y est localement compact alors la composition de fonctions C(Y, Z)×C(X, Y) → C(X, Z), (f, g) ↦ f∘g est continue (les trois espaces de fonctions étant munis de la topologie compacte-ouverte et C(Y, Z)×C(X, Y) de la topologie produit).
Si Y est localement compact alors l'application d'évaluation C(Y, Z)×Y→Z, (f, x) ↦ f(x) est continue (c'est une conséquence des deux propriétés précédentes).
Si Y est localement compact et si C(Y, Z) est muni de la topologie compacte-ouverte, alors l'application naturelle de l'ensemble C(X×Y, Z) dans l'ensemble C(X, C(Y, Z)) est bijective, si bien que l'espace topologique C(Y, Z) représente le foncteur contravariant X ↦ C(X×Y, Z).
Si Y est un espace T0, T1, séparé, régulier ou de Tychonov alors C(X, Y) aussi.
Si X est séparé on peut, dans la définition ci-dessus d'une prébase de C(X, Y), se limiter aux U appartenant à une prébase de Y.
Si Y est un espace uniforme (par exemple un espace métrique) alors, sur C(X, Y), la topologie compacte-ouverte est induite par la structure uniforme de la convergence uniforme sur tout compact.
Si X est compact et si Y est métrisable par une distance d, alors la topologie compacte-ouverte sur C(X, Y) est celle de la convergence uniforme.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.