Espace de Schwartz (général)

Modèle:Voir homonymes En mathématiques, un espace de Schwartz (au sens général de ce terme^[1]) est un type d'espace vectoriel topologique localement convexe qu'on rencontre fréquemment en analyse et qui a de remarquables propriétés de stabilité. Cette appellation, due à Grothendieck^[2], a reçu l'approbation de Schwartz lui-même^[3].

Définition

Un espace localement convexe séparé E est un espace de Schwartz si, pour tout voisinage disqué (Modèle:C.-à-d. équilibré et fermé) U de l'origine, il existe un voisinage disqué V de l'origine qui est précompact pour la topologie définie par la semi-norme définie par U. Cela revient à dire qu'étant donné un voisinage quelconque U de 0, il existe un voisinage V de 0 tel que, pour tout ε > 0, V peut être recouvert par un nombre fini de translatés de l'ensemble εU^[2].

Une condition nécessaire et suffisante pour qu'un espace localement convexe soit un espace de Schwartz est qu'il soit quasi-normable et que toute partie bornée de cet espace soit précompacte.

Exemples

L'espace $𝒮 (ℝ^{n})$ des fonctions déclinantes sur ℝModèle:Exp est un espace de Schwartz, de même que son dual $𝒮^{'} (ℝ^{n})$ , c'est-à-dire l'espace des distributions tempérées.

Soit $Ω$ un ouvert de ℝModèle:Exp ou plus généralement une variété différentielle de dimension finie paracompacte. Les espaces classiquement notés $ℰ (Ω)$ (espace des fonctions indéfiniment dérivables dans $Ω$ ), son dual $ℰ^{'} (Ω)$ (espace des distributions à support compact dans $Ω$ ), $𝒟 (Ω)$ (espace des fonctions indéfiniment dérivables à support compact dans $Ω$ ) et son dual $𝒟^{'} (Ω)$ (espace des distributions dans $Ω$ ) sont des espaces de Schwartz.

Soit $Ω$ un ouvert de ℂModèle:Exp ou plus généralement une variété complexe de dimension finie paracompacte. L'espace $ℋ (Ω)$ des fonctions holomorphes dans $Ω$ est un espace de Schwartz^[4].

Propriétés

Les espaces de Schwartz jouissent des propriétés remarquables suivantes : un quotient ou un sous-espace d'un espace de Schwartz est de Schwartz. Le produit d'une famille quelconque d'espaces de Schwartz est de Schwartz. Une limite inductive (non nécessairement stricte) d'une suite d'espaces de Schwartz est un espace de Schwartz.

Par conséquent, soit $K$ un compact dans $ℝ^{n}$ (resp. $ℂ^{n}$ ). L'espace $ℰ (K)$ (resp. $ℋ (K)$ ), limite inductive des espaces $ℰ (Ω)$ (resp. $ℋ (Ω)$ ), $Ω \supset K$ , est un espace de Schwartz.

Par ailleurs, tout espace muni d'une topologie faible est un espace de Schwartz. Le dual fort d'un espace de Montel métrisable est un espace de Schwartz. Tout espace de Fréchet-Schwartz — par abréviation, espace (FS) ; c'est le cas de Modèle:Nobr de $𝒮 (ℝ^{n})$ et de $ℋ (Ω)$ – est de Fréchet-Montel, et est donc réflexif ; de plus, il est séparable. Plus généralement, le quotient d'un espace de Fréchet-Schwartz par un sous-espace fermé est un espace de Fréchet-Montel (alors que le quotient d'un espace de Fréchet-Montel par un sous-espace fermé peut ne pas être réflexif, et a fortiori ne pas être un espace de Montel). Dans un espace (FS), une condition nécessaire et suffisante pour qu'une suite soit convergente est qu'elle soit faiblement convergente.

Tout espace nucléaire est un espace de Schwartz^[5]. Tous les espaces mentionnés ci-dessus sont nucléaires ; il en va de même de l'espace $𝐒_{n}$ des séries formelles en n variables et à coefficients complexes, muni de la topologie de la convergence simple des coefficients (qui en fait un espace de Fréchet) ainsi que de l'espace $𝐏_{n}$ des polynômes en n variables à coefficients complexes, muni de sa topologie limite inductive stricte d'espaces $𝐏_{n}^{k}$ constitués des polynômes de degré inférieur ou égal à k (les $𝐏_{n}^{k}$ sont de dimension finie, donc $𝐏_{n}$ est un espace (LF), limite inductive stricte d'espaces de Fréchet) ; $𝐏_{n}^{k}$ s'identifie au dual de $𝐒_{n}$ ^[6]. Mais un espace de Fréchet-Schwartz peut ne pas être nucléaire^[7].

Le dual fort d'un espace de Fréchet-Schwartz est appelé par abréviation un espace (DFS) ou un espace de Silva. Un tel espace est réflexif. Le quotient d'un espace (DFS) par un sous-espace fermé est un espace (DFS), et un sous-espace fermé d'un espace (DFS) est un espace (DFS). Un espace (DFS) est un espace de Montel complet ; de plus, comme c'est le dual d'un espace de Fréchet-Montel séparable, il est souslinien. Le dual fort d'un espace (DFS) est un espace (FS), donc de Fréchet-Montel^[8]. Par exemple, l'espace $ℰ^{'} (Ω)$ des distributions à support compact, et l'espace $ℋ^{'} (Ω)$ des fonctionnelles analytiques dans $Ω$ , l'espace $𝒮^{'} (ℝ^{n})$ des distributions tempérées, l'espace $ℰ (K)$ et l'espace $ℋ (K)$ des fonctions localement holomorphes sur le compact K, sont des espaces (DFS).

Le dual fort d'un espace nucléaire complet qui est limite inductive (non nécessairement stricte) d'une suite d'espaces de Fréchet est nucléaire^[9], donc est un espace de Schwartz (ceci s'applique en particulier à $𝒟^{'} (Ω)$ , qui toutefois n'est pas (DFS)).

En revanche, le dual fort d'un espace de Schwartz n'est pas, en général, un espace de Schwartz (de même que le dual fort d'un espace nucléaire peut ne pas être nucléaire^[7]). Par exemple, le dual fort E' d'un espace de Fréchet-Montel E qui n'est pas un espace de Schwartz est un espace de Schwartz, mais son dual fort, qui est de nouveau E, n'est pas un espace de Schwartz. Un espace de Schwartz séparé complet est réflexif^[10] et son dual fort est ultrabornologique^[11] (tandis qu'un espace nucléaire quasi complet est semi-réflexif^[12]) ; pour qu'un espace de Schwartz soit réflexif, il faut (comme pour tout espace localement convexe) qu'il soit quasi complet.

Morphismes stricts d'espaces de Fréchet-Schwartz

Soit E et F des espaces de Fréchet et u une application continue de E dans F. Les conditions suivantes sont équivalentes^[13] :

(a) u est un morphisme strict (ancienne terminologie : homomorphisme) lorsque E et F sont munis des topologies initiales.

(b) u est un morphisme strict pour les topologies affaiblies $σ (E, E^{'})$ et $σ (F, F^{'})$ .

(c) L'image de u est fermée dans F.

(d) La transposée $t u$ est un morphisme strict de $F^{'}$ dans $E^{'}$ munis des topologies faibles $σ (F^{'}, F)$ et $σ (E^{'}, E)$ .

(e) L'image de $t u$ est fermée dans $E^{'}$ muni de la topologie faible $σ (E^{'}, E)$ .

Si de plus E et F sont des espaces de Fréchet-Schwartz, les conditions ci-dessus équivalent à^[14]

(f) $t u$ est un morphisme strict de $F^{'}$ dans $E^{'}$ munis des topologies fortes $β (F^{'}, F)$ et $β (E^{'}, E)$ (les topologies fortes étant les topologies de la convergence uniforme sur les parties bornées).

Ce qui précède a une conséquence importante relative aux suites exactes. Soit E, F et G trois espaces localement convexes et considérons une suite

(S):

E \overset{ϕ}{⟶} F \overset{ψ}{⟶} G

où $ϕ$ et $ψ$ sont des applications linéaires continues. Elle est dite (algébriquement) exacte si $i m ϕ = k e r ψ$ et (strictement) exacte si elle est (algébriquement) exacte, et si $ϕ$ et $ψ$ sont des morphismes stricts. Soit la « suite duale »

(S'):

E^{'} \overset{^{t} ϕ}{⟵} F^{'} \overset{^{t} ψ}{⟵} G^{'}

.

On a le résultat suivant^[15]Modèle:,^[16] :

Si (S) est algébriquement exacte et si $ψ$ est un morphisme strict (lorsque F et G sont tous deux munis, soit des topologies initiales, soit des topologies affaiblies), (S') est algébriquement exacte.

Si E, F et G sont des espaces de Fréchet et (S) est strictement exacte (lorsque E, F et G sont tous trois munis soit des topologies initiales), alors (S') l'est aussi lorsque $E^{'}$ , $F^{'}$ et $G^{'}$ sont tous trois munis des topologies faibles.

Si E, F et G sont des espaces de Fréchet-Schwartz, alors (S) est strictement exacte (lorsque F et G sont tous trois munis des topologies initiales) si, et seulement si (S') est strictement exacte lorsque $E^{'}$ , $F^{'}$ et $G^{'}$ sont tous trois munis des topologies fortes.

Notes et références

Notes

Modèle:Références

Références

Modèle:Palette

Modèle:Portail

↑ À ne pas confondre avec la notion traitée dans l'article Espace de Schwartz, qui est un cas particulier.
↑ ^2,0 et ^2,1 Modèle:Harvsp.
↑ Modèle:Harvsp.
↑ Modèle:Harvsp.
↑ Modèle:Harvsp, Modèle:N°, Cor. 1 du Thm. 6.
↑ Modèle:Harvsp.
↑ ^7,0 et ^7,1 Modèle:Harvsp, Modèle:N°, Rem. 7.
↑ Modèle:Harvsp.
↑ Modèle:Harvsp, Modèle:N°, Modèle:P..
↑ Propriété citée par Christian Houzel dans son article sur les espaces vectoriels topologiques dans l'Encyclopædia Universalis (§ 6).
↑ Modèle:Harvsp, Modèle:P..
↑ Modèle:Harvsp.
↑ Modèle:Harvsp, Th. 1 Modèle:P..
↑ Modèle:Harvsp, Prop. 7, Modèle:P..
↑ Modèle:Harvsp, rem. Modèle:P..
↑ Modèle:Harvsp, Prop. 8, Modèle:P..

[1] À ne pas confondre avec la notion traitée dans l'article Espace de Schwartz, qui est un cas particulier.

[Grothendieck-2] 2,0 et ^2,1 Modèle:Harvsp.

[Schwartz_vectoriel-3] Modèle:Harvsp.

[Grothendieck_book-4] Modèle:Harvsp.

[5] Modèle:Harvsp, Modèle:N°, Cor. 1 du Thm. 6.

[6] Modèle:Harvsp.

[rem7-7] 7,0 et ^7,1 Modèle:Harvsp, Modèle:N°, Rem. 7.

[8] Modèle:Harvsp.

[9] Modèle:Harvsp, Modèle:N°, Modèle:P..

[10] Propriété citée par Christian Houzel dans son article sur les espaces vectoriels topologiques dans l'Encyclopædia Universalis (§ 6).

[11] Modèle:Harvsp, Modèle:P..

[12] Modèle:Harvsp.

[13] Modèle:Harvsp, Th. 1 Modèle:P..

[14] Modèle:Harvsp, Prop. 7, Modèle:P..

[15] Modèle:Harvsp, rem. Modèle:P..

[16] Modèle:Harvsp, Prop. 8, Modèle:P..

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

Espace de Schwartz (général)

Sommaire

Définition

Exemples

Propriétés

Morphismes stricts d'espaces de Fréchet-Schwartz

Notes et références

Notes

Références

Menu de navigation

Espace de Schwartz (général)

Définition

Exemples

Propriétés

Morphismes stricts d'espaces de Fréchet-Schwartz

Notes et références

Notes

Références

Menu de navigation

Rechercher