Opérateur borné

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, l'opérateur borné est un concept d'analyse fonctionnelle. Il s'agit d'une application linéaire L entre deux espaces vectoriels normés X et Y telle que l'image de la boule unité de X est une partie bornée de Y. On montre qu'ils s'identifient aux applications linéaires continues de X dans Y. L'ensemble des opérateurs bornés est muni d'une norme issue des normes de X et de Y, la norme d'opérateur.

Sommaire

[modifier] Définition

L'application linéaire L entre les espaces vectoriels normés X et Y est appelée opérateur borné quand l'ensemble

\left\{\frac{\|Lu\|_Y}{\|u\|_X}, u\in X\setminus\{0\}\right\}=
\left\{\|Lu\|_Y, u\in X, \|u\|_X=1\right\}=
\left\{\|Lu\|_Y, u\in X, \|u\|_X\leq 1\right\}

est borné. En d'autres termes, il existe un réel M strictement positif pour lequel, pour tout u appartenant à X, l'inégalité suivante est réalisée

\|Lu\|_Y \le M \|u\|_X.\,

Le plus petit des majorants M convenable est appelé norme d'opérateur de L, et noté \||L\||, ou plus simplement \|L\|.

Cette définition peut être reformulée de plusieurs façons. Ainsi une application linéaire L de X dans Y est dite bornée quand l'image de la boule unité B est bornée, et \|L\| est le rayon de la plus petite boule de Y contenant les images des éléments de B.

Ou encore, en utilisant la linéarité, un opérateur est borné si et seulement s'il s'agit d'une application lipschitzienne et \|L\| est la plus petite constante de Lipschitz convenable

\forall (u,v)\in X^2, \|Lu-Lv\|_Y=\|L(u-v)\|_Y \le \|L\| \|u-v\|_X.\,

L'expression opérateur borné ne doit pas induire en erreur, il ne s'agit pas d'une fonction bornée de X dans Y, mais bien plutôt d'une fonction localement bornée.

[modifier] Lien avec la continuité

Un opérateur L entre deux espaces vectoriels normés X et Y est borné si et seulement s'il est continu en 0, au encore si et seulement s'il est continu sur X

  • il est en effet connu que toute fonction lipschitzienne est continue
  • réciproquement, en supposant seulement la continuité au point 0, on peut montrer que L est un opérateur borné

Par définition de la continuité, il existe \delta > 0\, tel que, pour tout vecteur h de X vérifiant \|h\| \le \delta, on ait \| Lh  \|\le 1. Mais alors, en écrivant tout vecteur non nul v de norme 1 sous la forme \frac{1}{\delta}(\delta v), on voit que Lv = \frac{1}{\delta}L(\delta v) a une norme inférieure à \frac{1}{\delta}. Et ainsi L est borné.

[modifier] Exemples

  • Une application linéaire entre espaces vectoriels normés de dimension finie est toujours un opérateur borné.
  • Plus généralement, c'est le cas de toutes les applications linéaires de rang fini.
  • il existe des applications linéaires non bornées. Ainsi l'application linéaire L:P\mapsto XP'(X) sur l'espace vectoriel des polynômes \mathbb{R}[X] ne saurait, quel que soit le choix de norme, être une application lipschitzienne puisque pour tout entier n, L(Xn) = nXn.
  • un opérateur compact est une application linéaire de X dans Y telle que la boule unité de X a pour image une partie relativement compacte de Y. Un tel opérateur est alors borné. C'est le cas par exemple des opérateurs intégraux (ou opérateurs à noyau) de la forme  f \mapsto \int_a^b f(t)g(t) d t, où g est continue sur [a,b].

[modifier] Opérateurs bornés dans le cadre des espaces de Banach

L'ensemble des opérateurs bornés entre deux espaces de Banach X et Y forme lui-même un espace de Banach quand on le munit de la norme d'opérateur. Si X=Y, il s'agit d'une algèbre de Banach unitaire.

Il est possible de définir un opérateur borné entre deux espaces de Banach en se donnant seulement sa restriction à un sous espace dense. Il suffit pour cela de s'assurer que cette restriction est localement bornée (ou lipschitzienne) et d'appliquer la procédure générale du prolongement par continuité. Le résultat est bien un opérateur borné.

[modifier] Le théorème de Banach-Schauder (ou de l'application ouverte)

Icône de détail Article détaillé : théorème de Banach-Schauder.

Le théorème de Banach-Schauder montre que tout opérateur borné et surjectif entre espaces de Banach est une application ouverte (c'est-à-dire que l'image d'un ouvert est un ouvert de F). Notamment, l'image de la boule unité est alors « encadrée » entre deux boules de l'espace image.

Il en découle le théorème de Banach : si L est un opérateur borné et bijectif entre deux espaces de Banach, son inverse est également un opérateur borné. Une telle application constitue un isomorphisme pour la structure d'espace de Banach.

[modifier] Le théorème de Banach-Steinhaus (ou principe de la borne uniforme)

Icône de détail Article détaillé : théorème de Banach-Steinhaus.

Le théorème de Banach-Steinhaus concerne les familles, et notamment les suites, d'opérateurs bornés. Dans sa version faible, il énonce qu'une telle famille est uniformément bornée si et seulement si elle est ponctuellement bornée.

En corollaire, lorsqu'une suite (Ln) d'opérateurs bornés sur un espace de Banach X converge simplement vers une fonction L, alors L est également un opérateur borné. Pour autant, on ne peut affirmer la convergence de la suite (Ln) vers L relativement à la norme d'opérateur.

[modifier] Voir aussi