title: Variété lisse
text: # Variété lisse
  
  En topologie différentielle, une variété lisse est un ensemble muni d'une structure qui lui permet d'être localement difféomorphe à un espace localement convexe. Les variétés localement de dimension finie (localement difféomorphes à un espace $\mathbb {R} ^{n}$) en sont un cas particulier. Les variétés localement de dimension infinie se rencontrent en analyse globale (au sens de l'analyse fonctionnelle non linéaire). Les types de variétés lisses les plus importants sont (outre celles qui sont localement de dimension finie) les variétés hilbertiennes, les variétés banachiques (ou variétés de Banach), les variétés de Fréchet et les variétés modelées sur un espace limite inductive stricte d'espaces de Fréchet (localement difféomorphes à un espace de Hilbert, à un espace de Banach, à un espace de Fréchet et un espace limite inductive stricte d'espaces de Fréchet, respectivement). Parmi les variétés de Fréchet, on distingue les diffiétés (en), de dimension au plus dénombrable. Dans tout ce qui suit, les espaces localement convexes sont séparés et définis sur le corps des réels.
  
  ## Variétés lisses générales
  
  ### Cartes
  
  Soit X un ensemble. On appelle carte de X un triplet $c=\left(U,\varphi ,E\right)$ où U est une partie de X, E est un espace localement convexe, et $\varphi$ est une bijection de U sur un ouvert de E. L'ensemble U est appelé le domaine de c et la dimension de E (finie ou infinie) est appelée la dimension de la carte c. Si a est un point de X tel que $\varphi (a)=0$, on dit que la carte c est centrée sur a. Les parties de X qui sont réunions de domaines de cartes de X forment l'ensemble des ouverts pour une topologie de X. On suppose que X est toujours muni de cette topologie, et $\varphi$ est alors un homéomorphisme de U sur $\varphi (U)$.
  
  ### Applications lisses
  
  Soit E, F deux espaces localement convexes et $\phi$ une application d'un voisinage de 0 de E dans F. On dit que $\phi$ est tangente à 0 si pour tout voisinage W de 0 dans F, il existe un voisinage V de 0 dans E tel que $\phi (tV)\subset o(t)W$ où o est une fonction réelle de la variable réelle définie au voisinage de 0 telle que $o(t)/t\rightarrow 0$ pour $t\rightarrow 0$.
  
  Soit U un ouvert de E et $f:U\rightarrow F$. On dit que f est différentiable au point $x_{0}\in U$ s'il existe une application linéaire continue $L\in {\mathcal {L}}(E;F)$ (où ${\mathcal {L}}(E;F)$ désigne l'espace des applications linéaires continues de E dans F) telle que l'application
  
         $h\rightarrow f\left(x_{0}+h\right)-f\left(x_{0}\right)-L.h$
  
  est tangente à 0. Cette application L est alors appelée la différentielle (ou dérivée) de f au point $x_{0}$ et est notée $Df\left(x_{0}\right)$. Dans le cas où E et F sont des espaces de Banach, on peut écrire la condition ci-dessus au moyen de normes, et on obtient la différentielle de Fréchet classique.
  
  Si l'application $x\mapsto Df(x)$ est définie et continue de U dans l'espace localement convexe ${\mathcal {L}}_{\beta }(E;F)$ (c'est-à-dire ${\mathcal {L}}(E;F)$ muni de la topologie de la convergence uniforme sur toute partie bornée), alors f est dite de classe $C^{1}$. On définit par récurrence une application de classe $C^{n}$ (où n est un entier strictement positif) et une application de classe $C^{\infty }$.
  
  On dira dans ce qui suit qu'une application de classe $C^{\infty }$ est lisse. Une application continue est dite de classe $C^{0}$.
  
  ### Variétés lisses
  
  On dit que deux cartes $c=(U,\varphi ,E)$ et $c'=(U',\varphi ',E')$ de X sont compatibles lorsque les deux conditions suivantes sont vérifiées :
  
  * $\varphi \left(U\cap U'\right)$ (respectivement $\varphi '\left(U\cap U'\right)$) est ouvert dans E (resp. $E'$).
  * l'application $\varphi \circ (\varphi ')^{-1}$ (resp. $\varphi '\circ \varphi ^{-1}$) de $\varphi '\left(U\cap U'\right)$ sur $\varphi \left(U\cap U'\right)$ (resp. de $\varphi \left(U\cap U'\right)$ sur $\varphi '\left(U\cap U'\right)$) est lisse.
  
  Un atlas ${\mathcal {A}}$ de X est un ensemble de cartes deux à deux compatibles. Deux atlas ${\mathcal {A}}$ et ${\mathcal {B}}$ de X dont dits équivalents si ${\mathcal {A}}\cup {\mathcal {B}}$ est un atlas. Cette condition définit une relation d'équivalence sur les atlas.
  
  Soit ${\mathfrak {S}}$ un ensemble d'espaces localement convexes. On dit qu'un atlas ${\mathcal {A}}$ de X est de type ${\mathfrak {S}}$ si l'on a $E\in {\mathfrak {S}}$ pour toute carte $c=(U,\varphi ,E)$ de ${\mathcal {A}}$. On dira qu'un atlas est de type Fréchet (resp. de type banachique, resp. de type hilbertien, resp. de type hilbertien séparable, resp. de type dimension finie, etc.) si tout E est un espace de Fréchet (resp. de Banach, resp. de Hilbert, resp. de Hilbert séparable, resp. de dimension finie, etc.) pour toute carte $c=(U,\varphi ,E)$ de ${\mathcal {A}}$.
  
  Une variété lisse est un ensemble X muni d'une classe d'équivalence d'atlas. Si ces atlas sont de type ${\mathfrak {S}}$, où les éléments de ${\mathfrak {S}}$ sont des espaces de Fréchet (resp. de Banach, resp. de Hilbert, resp. de Hilbert séparable, resp. de dimension finie, etc.), on dit que cette variété lisse est une variété de Fréchet (resp. une variété banachique, resp. une variété hilbertienne, resp. une variété de type hilbertien séparable, resp. une variété de dimension localement finie, etc.) ou qu'elle est modelée sur des espaces de Fréchet (resp. de Banach, resp. de Hilbert, resp. de Hilbert séparable, resp. de dimension finie).
  
  Une variété lisse X est localement connexe. Si X admet un atlas de type ${\mathfrak {S}}$ dont tous les éléments sont des espaces de Baire, alors X est un espace de Baire.
  
  ### Variétés normales-lisses
  
  Les cas utiles sont ceux où l'espace topologique X est séparé, et même normal, autrement dit pour tous fermés A et B sans point commun, il existe une fonction continue $f:X\rightarrow [0,1]$ valant 1 sur A et 0 sur B. La variété X est dite normale-lisse si cette propriété est vérifiée avec une fonction f lisse.
  
  ### Paracompacité lisse
  
  Le contexte des variétés normales-lisses est encore trop général pour être fructueux en pratique. Des notions essentielles sont la paracompacité, voire la métrisabilité. Rappelons qu'un espace métrisable est normal. Le résultat qui suit explique entre autres l'importance des variétés de Fréchet :
  
  Théorème — Une variété lisse est métrisable si, et seulement si elle est une variété de Fréchet paracompacte.
  
  Si un espace topologique X est paracompact, alors, étant donné un recouvrement ouvert $\left(U_{i}\right)_{i\in I}$ de X, il existe une famille de fonctions continues $\left(\psi _{i}\right)_{i\in I}$, $\psi _{i}:X\rightarrow \mathbb {R}$, telle que
  
  * $\psi _{i}(x)\geq 0,\forall x\in X$
  * le support de $\psi _{i}$ est contenu dans $U_{i}$,
  * pour tout $x\in X$,
  
         $\sum _{i\in I}\psi _{i}\left(x\right)=1$.
  
  Dans le contexte des variétés, une telle propriété n'est utile que si les fonctions $\psi _{i}$ sont lisses, et dans ce cas X est dit paracompact-lisse. On a le résultat $suivant^,$ :
  
  Théorème — Une variété lisse admettant un atlas de type $\left\{E\right\}$, où E est un espace de Banach, est paracompacte-lisse si, et seulement si E est normal-lisse.
  
  * Un espace hilbertien séparable est normal-lisse.
  * Un espace localement convexe est paracompact-lisse si, et seulement s'il est paracompact et normal-lisse.
  * Un espace localement convexe qui est un espace de Lindelöf séparé normal-lisse est paracompact-lisse.
  * Un espace de Fréchet nucléaire ou un espace limite inductive stricte d'espaces de Fréchet nucléaires est paracompact-lisse.
  * Un espace (DFS) (ou un espace de Silva) nucléaire est paracompact-lisse.
  * Une variété lisse métrisable et normale-lisse est paracompacte-lisse.
  
  Par exemple, l'espace ${\mathcal {D}}(\mathbb {R} ^{n})={\mathcal {C}}_{c}^{\infty }(\mathbb {R} ^{n})$ des fonctions lisses à support compact, ou l'espace de Schwartz ${\mathcal {S}}(\mathbb {R} ^{n})$, ces espaces étant munis de leur topologie habituelle, sont paracompacts-lisses.
  
  ### Espace tangent et fibré tangent
  
  Soit X une variété lisse et a un point de X. Considérons les couples $(c,h)$ où $c=(U,\varphi ,E)$ est une carte de X centrée sur a et où $h\in E$. Deux tels couples sont dits équivalents si la dérivée $D\varphi (a)$ de l'application $\varphi '\circ \varphi$ (définie sur un voisinage de a) transforme h en h'. Une classe d'équivalence pour cette relation est appelée un vecteur tangent en a. Les vecteurs tangents en a à X forment un ensemble $T_{a}(X)$. Si $c=(U,\varphi ,E)$ est une carte de X en a, l'application
  
  $\theta _{c}:E\rightarrow T_{a}(X):h\mapsto {\bar {h}}$
  
  où ${\bar {h}}$ est le vecteur tangent représenté par le couple $(c,h)$, est une bijection, par laquelle on transporte la structure d'espace localement convexe de E sur $T_{a}(X)$. Dès lors, $T_{a}(X)$ et E sont isomorphes.
  
  L'ensemble des couples $(x,h_{x})$, où $x\in X$ et $h_{x}\in T_{x}(X)$, est appelé le fibré tangent de la variété lisse X. On peut munir canoniquement cet ensemble, noté $T(X)$, d'une structure de variété lisse. On appelle projection canonique l'application
  
  $\pi :T(X)\rightarrow X:(x,h_{x})\mapsto x,$
  
  et cette application est lisse.
  
  ### Application linéaire tangente
  
  Soit X, Y deux variétés lisses, $f:X\mapsto Y$ une application et a un point de X. Soit $c=(U,\varphi ,E)$ une carte de X centrée sur a et $c'=(V,\psi ,F)$ une carte centrée sur $b=f(a)$. L'application f est dite dérivable au point a si l'application $\Phi =\psi \circ f\circ \varphi ^{-1}$ est dérivable. L'application
  
  $T_{a}(f):=\theta _{c}'\circ D\Phi (\varphi (a))\circ \theta _{c}^{-1}\in {\mathcal {L}}(T_{a}(X);T_{b}(Y))$
  
  ne dépend pas des cartes choisies et est appelée l'application linéaire tangente (ou la dérivée, ou la différentielle) de f au point a.
  
  De même, on dit que l'application $f:X\mapsto Y$ est lisse si elle est continue et pour toute carte $c=(U,\varphi ,E)$ de X, pour toute carte $c'=(V,\psi ,F)$ de Y telle que $f(U)\subset V$, l'application $\psi \circ f\circ \varphi ^{-1}:E\rightarrow F$ est lisse.
  
  Soit $f:X\mapsto Y$ une application lisse. On appelle rang de f au point x, et on note $rg_{x}(f)$, le rang (fini ou infini) de l'application linéaire tangente $T_{x}(f)$.
  
  ### Catégorie des variétés lisses - Sous-variétés
  
  La catégorie des variétés lisses a pour objets les variétés lisses et pour morphismes les applications lisses. Un isomorphisme de variétés est une bijection lisse dont la bijection réciproque est lisse.
  
  Soit X une variété lisse et Y un sous-ensemble de X. Supposons qu’en tout point $y\in Y$ il existe une carte $(V,\psi ,E_{1}\times E_{2})$ de X centrée sur y telle que $\psi (V)=W_{1}\times W_{2}$ où $W_{i}$ est un ouvert de l'espace localement convexe $E_{i}(i=1,2)$ et $\psi (Y\cap V)=W_{1}\times \{0\}$. Alors :
  
  * Y est localement fermé dans X, i.e. tout $y\in Y$ a un voisinage ouvert V dans X tel que $V\cap Y$ est fermé dans V . De plus, $\psi$ induit une bijection continue $\psi _{1}:Y\cap X\rightarrow W_{1}$.
  * La collection de triplets $(Y\cap V,\psi _{1},E_{1})$ obtenue ainsi constitue un atlas de Y.
  
  L’ensemble Y , muni de l’atlas ci-dessus, est appelé une sous-variété de X.
  
  Par exemple, un ouvert de X est de manière évidente une sous-variété de X.
  
  Soit E un espace localement convexe et F est un sous-espace de E. On dit que F est scindé dans E s'il admet un supplémentaire topologique. Pour que qu'un sous-espace F de E soit scindé, il est nécessaire que F soit fermé dans E. Si E est un espace de Banach et F est un sous-espace de dimension finie ou de codimension finie, F est scindé. Si E est un espace de Hilbert et F est un sous-espace fermé de E, il est scindé.
  
  Théorème — Soit X une variété lisse, Y un sous-ensemble de X et f une application de Y dans X. Alors Y est une sous-variété de X si, et seulement si :
  
  Pour tout $y\in Y$, il existe un voisinage ouvert U de y dans Y et une carte $(V,\psi ,E)$ de la variété X en $f(y)$ tels que $f(U)\subset V$ et $\psi \circ f$ induise un homéomorphisme de U sur l'intersection de $\psi (V)$ avec un sous-espace scindé de E.
  
  Un isomorphisme $f:X\rightarrow Y$ d'une variété lisse X sur une sous-variété Y d'une variété lisse Z est appelé un plongement de X dans Z.
  
  ### Produit de variétés lisses
  
  Soit X et Y deux ensembles, $c=(U,\varphi ,E)$ une carte de X, $c'=(V,\psi ,F)$ une carte de Y. Alors $\left(U\times V,\varphi \times \psi ,E\times F\right)$ est une carte de $X\times Y$, notée $c\times c'$.
  
  Étant donné deux variétés lisses X et Y, il existe sur l'ensemble $X\times Y$ une structure de variété lisse et une seule telle que $c\times c'$ soit une carte de $X\times Y$ pour toute carte c de X et toute carte c' de Y. L'ensemble $X\times Y$, munie de cette structure, est appelé la variété lisse produit de X et de Y.
  
  Soit $(a,b)\in X\times Y$. L'espace tangent $T_{(a,b)}\left(X\times Y\right)$ s'identifie au produit $T_{a}\left(X\right)\times T_{b}\left(Y\right)$.
  
  ### Dérivées partielles
  
  Soit X, Y, Z trois variétés lisses, $(a,b)\in X\times Y$ et $f:X\times Y\rightarrow Z$ une application lisse. Alors les applications partielles $x\mapsto f(x,b)$ et $y\mapsto f(a,y)$ sont lisses. Notons $T_{(a,b)}^{1}(f)$ (resp. $T_{(a,b)}^{2}(f)$) l'application linéaire tangente à la première de ces applications partielles au point a (resp. à la seconde de ces applications partielles au point b). On a avec l'identification précédente
  
  $T_{(a,b)}(f).(u,v)=T_{(a,b)}^{1}(f).u+T_{(a,b)}^{2}(f).v$
  
  pour tout $u\in T_{a}\left(X\right)$ et tout $v\in T_{b}\left(Y\right)$. On appelle $T_{(a,b)}^{1}(f)$ (resp. $T_{(a,b)}^{2}(f)$) la dérivée partielle de f par rapport à la première (resp. la seconde) variable au point $(a,b)$.
  
  ## Variétés banachiques
  
  ### Théorème des fonctions implicites
  
  On se place dans la situation du paragraphe précédent dont on conserve les notations en supposant que Y et Z sont des variétés banachiques. On a le résultat suivant :
  
  Théorème — Supposons que $T_{(a,b)}^{2}(f)$ soit bijectif. Il existe alors un voisinage ouvert U de a dans X et un voisinage ouvert V de b dans Y pour lesquels la condition suivante est vérifiée :
  
  pour tout $x\in U$, il existe un point $g(x)$ et un seul tel que $f(x,g(x))=f(a,b)$, et l'application g est lisse de U dans V. Pour tout $x\in U$ on a $T_{x}(g)=-\left(T_{(x,g(x))}^{2}(f)\right)^{-1}\circ T_{(x,g(x))}^{1}(f).$
  
  Cet énoncé est faux en général si les variétés Y et Z ne sont pas supposées banachiques.
  
  Dans ce qui suit, toutes les variétés sont lisses et banachiques ; les résultats sont des conséquences du théorème des fonctions $implicites^,.$
  
  ### Immersions
  
  Théorème et définition — Soit X, Y deux variétés, $f:X\rightarrow Y$ une application lisse, $a\in X$ et $b=f(a)$.
  
  * Les conditions suivantes sont équivalentes :
  
      (a) Il existe un voisinage ouvert U de a tel que la restriction $f|U$ induit un isomorphisme de U sur une sous-variété de Y.
      (b) L'application linéaire continue $T_{a}(f):T_{a}(X)\rightarrow T_{b}(Y)$ est injective et son image est scindée.
  * Une application f vérifiant l'une de ces conditions est appelée une immersion en a.
  * L'ensemble des points de X où f est une immersion est ouvert dans X. Lorsque cet ouvert est X tout entier, on dit que f est une immersion, et $f(X)$ est appelée une sous-variété immergée de Y.
  
  ### Submersions
  
  Théorème et définition — Soit X, Y deux variétés, $f:X\rightarrow Y$ une application lisse, $a\in X$ et $b=f(a)$.
  
  * Les conditions suivantes sont équivalentes :
  
      (a) Il existe un voisinage ouvert U de a, un voisinage ouvert V de b contenant $f(U)$ et une application lisse g de U sur une variété Z tels que l'application $(f,g):U\rightarrow V\times Z$ soit un isomorphisme.
      (b) L'application linéaire continue $T_{a}(f):T_{a}(X)\rightarrow T_{b}(Y)$ est surjective et son noyau est scindé.
  * Une application f vérifiant l'une de ces conditions est appelée une submersion en a.
  * L'ensemble des points de X où f est une submersion est ouvert dans X. Lorsque cet ouvert est X tout entier, on dit que f est une submersion.
  
  ### Subimmersion - Théorème du rang constant
  
  Théorème et définition — Soit X, Y deux variétés, $f:X\rightarrow Y$ une application lisse, $a\in X$ et $b=f(a)$.
  
  * Les conditions suivantes sont équivalentes :
  
      (a) Il existe un voisinage ouvert U de a, une variété Z, une submersion s de U sur Z et une immersion i de Z dans Y tels que $f|U=i\circ s$.
      (b) Il existe une carte $(U,\varphi ,E)$ de X centrée sur a, une carte $(V,\psi ,F)$ de Y centrée sur b et une application $\mathbf {g} \in {\mathcal {L}}(E;F)$ telles que$f(U)\subset V,\mathbf {g} (\varphi (U))\subset \psi (V),f|U=\psi ^{-1}\circ \mathbf {g} \circ \varphi$et le noyau et l'image de $\mathbf {g}$ sont scindés.
  * Une application f vérifiant l'une de ces conditions est appelée une subimmersion en a.
  * L'ensemble des points de X où f est une subimmersion est ouvert dans X. Lorsque cet ouvert est X tout entier, on dit que f est une subimmersion.
  * Si f est une subimmersion en a, alors $rg_{x}(f)$ est constant dans un voisinage de a.
  * Si f est une subimmersion, alors pour tout $y\in Y$, $f^{-1}(\{y\})$ est une sous-variété Z de X et $T_{a}(Z)=\ker(T_{a}(f))$.
  
  ### Étalement
  
  Théorème et définition — Soit X, Y deux variétés, $f:X\rightarrow Y$ une application lisse, $a\in X$ et $b=f(a)$.
  
  * Les conditions suivantes sont équivalentes :
  
      (a) $T_{a}(f)$ est bijectif.
      (b) Il existe un voisinage ouvert U de a et un voisinage ouvert V de b tels que f induise un isomorphisme de U sur V.
      (c) f est une immersion et une submersion en a.
  * Une application f vérifiant l'une de ces conditions est dite étale en a.
  * Si f est étale en tout point, elle est appelée un étalement, et la variété X est dite étalée dans Y.
  
  Une sous-variété de X est étalée dans X, mais la réciproque est inexacte.
  
  ## Variétés d'applications
  
  ### Variétés banachiques d'applications
  
  Soit X une variété lisse compacte, Y une variété lisse banachique et ${\mathfrak {C}}^{r}(X;Y)$ (où r est un entier positif ou nul) l'ensemble des applications de classe $C^{r}$ de X dans Y. On munit cet ensemble de la topologie de la convergence uniforme d'une fonction et de ses dérivées jusqu'à l'ordre r. Alors ${\mathfrak {C}}^{r}(X;Y)$ est une variété lisse banachique, qui est séparée si Y est séparée, et on a les résultats $suivants^,$ :
  
  Soit $x\in X,f\in {\mathfrak {C}}^{r}(X;Y)$ et $\varepsilon _{x}:{\mathfrak {C}}^{r}(X;Y)\rightarrow Y:g\mapsto g(x)$. Cette application est lisse. Soit $\xi \in T_{f}\left({\mathfrak {C}}^{r}(X;Y)\right)$. L'image par $T_{f}(\varepsilon _{x})$ de $\xi$ est un élément $\xi _{x}$ de $T_{f(x)}(y)$ et l'application $x\mapsto \xi _{x}$ est un relèvement lisse de f dans $T(Y)$, autrement dit $\pi (\xi _{x})=f(x)$ où $\pi :T(Y)\rightarrow Y$ est la projection canonique. On a (avec une identification canonique)
  
  $T_{f}\left({\mathfrak {C}}^{r}(X;Y)\right)=\{u\in {\mathfrak {C}}^{r}(X;T(Y)):\pi \circ u(x)=f(x),\forall x\in X\}.$
  
  La norme du vecteur tangent u ci-dessus est donnée par
  
  $\left\Vert u\right\Vert =\sup _{x\in X}\sum \nolimits _{i=1}^{r}\left\vert D^{i}u(x)\right\vert ,$
  
  où $\left\vert D^{i}u(x)\right\vert$ est la norme de la dérivée $D^{i}u(x)$ dans l'espace de Banach $T_{f(x)}(Y)$.
  
  Si X et Y sont des variétés lisses compactes et Z est une variété lisse, alors la composition $(f,g)\mapsto g\circ f$ induit une application de classe $C^{s}$
  
  ${\mathfrak {C}}^{r}(X;Y)\times {\mathfrak {C}}^{r+s}(Y;Z)\rightarrow {\mathfrak {C}}^{r}(X;Z).$
  
  ### Variétés de Fréchet d'applications
  
  Soit F un espace vectoriel de dimension finie et X une variété lisse compacte. Alors l'espace $C^{\infty }(X;F)$ des fonctions lisses de X dans F est canoniquement muni d'une structure d'espace de Fréchet nucléaire dont la topologie est celle de la convergence uniforme d'une fonction et de ses dérivées jusqu'à un ordre quelconque fini. Si X est une variété lisse localement compacte dénombrable à l'infini, l'espace $C_{c}^{\infty }(X;F)$ des fonctions lisses de X dans F à support compact est limite inductive stricte de la suite d'espaces $\left(C_{K}^{\infty }(X;F)\right)_{K\in {\mathfrak {K}}}$ où ${\mathfrak {K}}$ est une suite de compacts de X de réunion égale à X et $C_{K}^{\infty }(X;F)$ est l'espace de Fréchet nucléaire des fonctions lisses de X dans F dont le support est inclus dans K. Dans ce qui suit, on suppose que X est compacte, pour éviter de passer à la limite inductive et pour ainsi simplifier les énoncés et les différentes conditions.
  
  Soit X et Y des variétés lisses de dimension localement finie et supposons X compacte. Soit ${\mathfrak {C}}^{\infty }(X;Y)$ l'ensemble des applications de classe $C^{\infty }$ de X dans Y. On munit cet ensemble de la topologie de la convergence uniforme d'une fonction et de ses dérivées jusqu'à un ordre quelconque fini. Alors ${\mathfrak {C}}^{\infty }(X;Y)$ est une variété de Fréchet et on a comme plus haut
  
  $T_{f}\left({\mathfrak {C}}^{\infty }(X;Y)\right)=\{u\in {\mathfrak {C}}^{\infty }(X;T(Y)):\pi \circ u(x)=f(x),\forall x\in X\}.$
  
  Si de plus X et Y sont séparables, ${\mathfrak {C}}^{\infty }(X;Y)$ est paracompacte-lisse et métrisable.
  
  Si X et Y sont des variétés lisses compactes et Z est une variété de dimension localement finie, alors la composition induit une application lisse
  
  ${\mathfrak {C}}^{\infty }(X;Y)\times {\mathfrak {C}}^{\infty }(Y;Z)\rightarrow {\mathfrak {C}}^{\infty }(X;Z).$
  
  De plus on a en identifiant toute fonction $(x,y)\mapsto f(x,y)$ avec la fonction $x\mapsto f_{x}:\left(y\mapsto f(x,y)\right)$ :
  
  ${\mathfrak {C}}^{\infty }(X;{\mathfrak {C}}^{\infty }(Y;Z))={\mathfrak {C}}^{\infty }(X\times Y;Z).$
  
  