Topologie compacte-ouverte

Topologie compacte-ouverte

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) en 1945[1].

Sommaire

Définition

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, l'ensemble de tous ces V(K,U) forme une prébase de la topologie compacte-ouverte sur C(X,Y).

Propriétés

  • 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. Elle est donc métrisable, par la distance e définie par e(f,g) = sup{d(f(x),g(x)) : x∊X}.

Variante pour les applications Fréchet-différentiables

Soient X et Y deux espaces de Banach sur le même sous-corps de C, U un ouvert de X, et Cm(U,Y) l'ensemble de toutes les applications continûment m-Fréchet-différentiables de U dans Y. Sur cet ensemble, on définit pour tout compact K de U une semi-norme pK par :

p_K(f)=\sup\{\|D^jf(x)\|~;~x\in K,~0\le j\le m\}.

Muni de toutes ces semi-normes, Cm(U,Y) est un espace localement convexe dont la topologie est encore appelée « topologie compacte-ouverte ».[réf. souhaitée]

Note et références

  1. ↑ (en) Ralph H. Fox, « On topologies for function spaces, part I », dans Bull. Amer. Math. Soc. (en), vol. 51, 1945, p. 429-432 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Topologie compacte-ouverte de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • TOPOLOGIE - Topologie différentielle — La topologie différentielle, que l’on devrait plutôt appeler «topologie des variétés », est une discipline mathématique assez ancienne par les problèmes qu’elle cherche à résoudre: ils étaient presque tous posés au début du siècle; mais ses… …   Encyclopédie Universelle

  • Topologie d'un espace vectoriel de dimension finie — En mathématiques, la topologie d un espace vectoriel de dimension finie sur un corps K est, sous certaines hypothèses, un cas particulier de topologie d espace vectoriel normé. Le prototype est Rn muni de la norme qui à un n uplet de réels… …   Wikipédia en Français

  • Topologie quotient — En mathématiques, la topologie quotient consiste intuitivement à créer une topologie en collant certains points d un espace donné sur d autres, par le biais d une relation d équivalence bien choisie. Cela est souvent fait dans le but de… …   Wikipédia en Français

  • Glossaire de topologie — Ceci est un glossaire de quelques termes utilisés en topologie. Ce glossaire est divisé en deux parties. La première traite des concepts généraux, et la seconde liste différents types d espaces topologiques. Dans ce glossaire, tous les espaces… …   Wikipédia en Français

  • Interieur (topologie) — Intérieur (topologie) Pour les articles homonymes, voir intérieur. En mathématiques, l intérieur est une notion de topologie appliquée à une partie d un espace topologique ou à une variété à bord. Dans le premier cas, l intérieur d une partie est …   Wikipédia en Français

  • Boule (topologie) — Pour les articles homonymes, voir Boule. En topologie, une boule est un type de voisinage particulier dans un espace métrique. Le nom évoque, à juste titre la boule solide dans l espace usuel à trois dimensions, mais la notion se généralise entre …   Wikipédia en Français

  • Théorème de l'application ouverte (analyse complexe) —  Ne pas confondre ce théorème ci de l application ouverte avec cet autre : théorème de Banach Schauder. En mathématiques, et plus précisément en analyse complexe, le théorème de l application ouverte affirme que les fonctions… …   Wikipédia en Français

  • Difféomorphisme — En mathématiques, un difféomorphisme est un isomorphisme dans la catégorie des variétés différentielles : c est une bijection différentiable d une variété dans une autre, dont la bijection réciproque est aussi différentiable. Image d une… …   Wikipédia en Français

  • Espace fonctionnel — En mathématiques, un espace fonctionnel est un ensemble d applications d une certaine forme d un ensemble X vers un ensemble Y. Il est appelé « espace » car, selon les cas, il peut être un espace topologique, un espace vectoriel, ou les …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”