Semi-norme

Semi-norme

En mathématiques, une semi-norme est une application d'un espace vectoriel dans l'ensemble des réels positifs. Elle dispose presque des propriétés lui conférant le statut de norme. Une propriété est manquante, la semi-norme d'un vecteur non nul n'est pas nécessairement non nulle.

En analyse fonctionnelle, cette situation est relativement courante. L'espace vectoriel est un espace de fonctions d'un ouvert d'un espace vectoriel topologique de dimension finie à valeur dans les réels ou complexes. La semi-norme correspond par exemple à l'intégrale de la valeur absolue ou du module de la fonction. Une fonction nulle sur l'ouvert sauf sur un ensemble négligeable est non nulle mais de semi-norme nulle.

La topologie induite par la semi-norme confère à l'espace le statut d'espace vectoriel topologique. Il possède néanmoins une faiblesse rendant malcommode son usage. l'espace n'est pas séparé. En vue de pallier cette difficulté, il est toujours possible de quotienter l'espace pour obtenir un nouvel ensemble équipé d'une structure d'espace vectoriel normé. En termes d'analyse fonctionnelle, ce quotient revient à travailler non plus sur des fonctions, mais sur des classes de fonctions, équivalentes donc identifiées si elles ne diffèrent que sur un ensemble négligeable.

Sommaire

Définition et exemples

Définition

Article détaillé : Norme (mathématiques).

Dans cet article, E désigne un espace vectoriel sur un corps commutatif K. En général K désigne le corps des réels ou des complexes, même si la théorie s'applique dans un contexte plus général. L'espace E est muni d'une semi-norme N. La lettre Ω désigne un ouvert de Knn est un entier strictement positif, Kn est muni de sa topologie naturelle et μ une mesure sur Ω. E' désigne le dual topologique de E et σ (E, E' ) la topologie faible de E.

Définition —  Une semi-norme sur E est une application N de E dans l'ensemble des nombres réels positifs vérifiant les axiomes dit d'homogénéité et de sous-additivité. Ils s'expriment de la manière suivante:

  • homogénéité :  \forall (\lambda, x)\in \mathbb K \times E, \ \mathcal N (\lambda \cdot x) = |\lambda| \mathcal N (x)  ;
  • sous-additivité :  \forall (x,y) \in E^2,\ \mathcal N (x + y) \leq \mathcal N (x) + \mathcal N (y) .

La propriété manquante est celle de la séparation, qui assure que la norme d'un vecteur est nulle seulement si le vecteur est nul. Cette propriété confère à la semi-norme le statut de norme.

  • séparation :  \forall x \in E,\ \mathcal N(x)=0 \Rightarrow x=0_E

Exemples

Deux configurations introduisent naturellement une semi-norme en analyse fonctionnelle :

L'ensemble des fonctions intégrables en valeur absolue ou en module de Ω dans K pour la mesure μ est un espace vectoriel noté L1(Ω) et possédant la semi-norme N1 définie de la manière suivante :

\forall f \in L_1(\Omega)  \quad \mathcal N_1(f) = \int_{\Omega} |f| \mathrm{d}\mu

La propriété de séparation est absente, toute fonction nulle sauf sur un ensemble négligeable possède une norme nulle.

Un deuxième exemple provient de la topologie faible. Soit e' un élément de E' c'est-à-dire une forme linéaire continue de E. L'application pe', définie de la manière suivante est une semi-norme :

\forall x \in E \quad p_{e'}(x) = |\langle e',x\rangle|

Cette semi-norme est nulle sur un hyperplan fermé, le noyau de e' .

Propriétés

Topologie

A l'instar de la norme, une semi-norme définit une topologie pour laquelle les boules ouvertes de centre un point x forment une base de voisinages de x : un ensemble O est ouvert si, pour chaque point x de O, il existe une boule ouverte non vide de centre x incluse dans O. Cette topologie est séparée si et seulement si la semi-norme vérifie la propriété de séparation, c'est-à-dire si la semi-norme est une norme.

Pour cette topologie, l'addition et la multiplication par un scalaire sont continues : on dit que l'espace vectoriel E, muni de cette topologie, est un espace vectoriel topologique. La semi-norme, elle aussi, est continue. Par ailleurs, les boules sont convexes.

Les démonstrations sont analogues à celles proposées dans l'article Norme (mathématiques).

Noyau

Les vecteurs de semi-norme nulle jouent un rôle particulier, ce rôle justifie la définition suivante :

Définition —  L'ensemble des vecteurs de semi-norme nulle s'appelle le noyau de la semi-norme.

Le noyau possède des propriétés à la fois algébriques et topologiques :

Proposition —  Le noyau d'une semi-norme est un sous-espace vectoriel fermé. Il est égal à l'adhérence du vecteur nul.

En effet, un vecteur x est adhérent au vecteur nul si et seulement si toute boule ouverte de centre x et de rayon r>0 contient ce vecteur nul, ce qui se traduit par : la semi-norme de x est inférieure à tout r>0, ou encore : x appartient au noyau. Ceci prouve que le noyau est bien l'adhérence du vecteur nul. C'est donc un sous-espace vectoriel fermé (comme l'est toute adhérence d'un sous-espace vectoriel dans un espace vectoriel topologique).

Cône des semi-normes

La somme de deux semi-normes est une semi-norme. Il en est de même pour la multiplication externe par un scalaire positif. On en déduit que les semi-normes forment un convexe.

Proposition —  L'ensemble des semi-normes sur un espace E est un cône convexe d'extrémité la fonction nulle, de l'ensemble des applications de E dans R. Ce cône est stable pour l'addition.

Norme et espace quotient

Soit H le sous-espace des vecteurs de semi-norme nulle de E. D'après l'inégalité triangulaire, la semi-norme est constante sur chaque classe du quotient E/H. On peut donc équiper ce quotient d'une norme induite en posant :

Définition — Si H est le noyau d'une semi-norme \mathcal N sur E, la norme induite \mathcal N_{E/H} sur le quotient E/H est définie par :

\forall x\in E,\quad\mathcal N_{E/H}(\bar x)=\mathcal N(x).

Comme il est infiniment plus pratique de travailler sur un espace séparé, cette technique de quotient est largement utilisée, par exemple en analyse fonctionnelle. Soit Lp(Ω,μ) l'espace des fonctions de Ω dans K dont le module à la puissance p est intégrale sur Ω pour la mesure μ. Ici p désigne un réel compris entre un et l'infini. Cet espace est presque dénommé l'espace Lp de Ω.

La norme est définie par l'égalité suivante :

 \forall f \in L^p(\Omega,\, \mu) \quad \|f\|_p = {\left[\int_{\Omega} |f|^p \mathrm{d}\mu\right]}^{1/p}

Alors le noyau de la semi-norme est l'ensemble des fonctions nulles sur Ω sauf, peut être sur un ensemble négligeable. En pratique Lp(Ω,μ) est déjà quotienté par le noyau de la semi-norme, il est donc équipé d'une norme.

Famille filtrante de semi-normes

Une famille  (p_i)_{i \in I} de semi-normes sur l'espace vectoriel E est dite filtrante si pour toute sous-famille finie  (p_i)_{i \in J}, J \subseteq I, J finie, il existe une semi-norme p de la famille majorant toutes les semi-normes de J.

Exemple 1: La famille de semi-normes définie précédemment n'est pas filtrante. Cependant on peut toujours définir une famille filtrante en effectuant une "complétion" comme montré ci-après.

Exemple 2 ("complétion" d'une famille quelconque): Soit une famille quelconque \mathcal P=(p_i)_{i \in I} de semi-normes sur E. On peut alors définir la famille \mathcal Q dont les éléments sont définis par \quad p_J=\sup_{j \in J}\quad p_j, J sous-famille finie de I.

On voit facilement alors que  \mathcal Q est une famille filtrante de semi-normes.

Topologie définie par une famille de semi-normes - Espace localement convexe

Soit E un espace vectoriel réel ou complexe muni d'une famille filtrante  (p_i / i \in I) de semi-normes. Nous définissons la topologie associée en prenant comme base de voisinages de chaque point x les ensembles appelés "p-boules"
\quad \beta (x,i,R)=\{ y \in E / p_i(y-x)<R \} définis pour tout  i \in I et tout R > 0
.

Autrement dit les voisinages de x sont les ensembles contenant au moins une "p-boule".
Vérifions que les 4 axiomes des voisinages sont bien vérifiés:

  • Tout voisinage de x contient x (évident ici).
  • Si  \quad V est un voisinage de x et W \supset V alors \quad W est voisinage de x (idem).
  • L'intersection de 2 voisinages de x est un voisinage de x (en effet si \quad  p_1(y-x)<R_1 et \quad p_2(y-x)<R_2 sont 2 "p-boules" incluses respectivement dans les 2 voisinages, comme la famille de semi-normes est filtrante, il existe une semi-norme \quad p^* de la famille majorant \quad p_1 et \quad p_2. Alors \quad p^*(y-x)<\inf(R_1,R_2) définit un voisinage de x inclus dans les 2 voisinages initiaux).
  • Il existe un voisinage de x qui soit voisinage de chacun de ses points. En fait toute "p-boule" est voisinage de chacun de ses points puisque si y est un point de la "p-boule" \quad \beta (x,i,R), on peut trouver \quad \alpha > 0 tel que \quad p(y-x)+\alpha<R et alors \quad p(z-y)<\alpha entraîne \quad p(z-x)\le p(y-x)+p(z-y)<p(y-x)+\alpha<R. Ceci qui montre que la "p-boule" \quad \beta (y,i,\alpha) est incluse dans \quad \beta (x,i,R) qui est donc un voisinage de y.
Démontrons maintenant que la topologie que nous venons de définir est compatible avec la structure d'espace vectoriel, ce qui fait de E un espace vectoriel topologique . Un tel espace est dit espace localement convexe.
  • L'application (x,y) \mapsto x+y est continue.

En effet un voisinage de x+y contient la "p-boule" \quad \beta (x+y,i,R) dont l'antécédent contient le couple de "p-boules" \quad (\beta (x,i,R/2),\beta (y,i,R/2)),

  • L'application (\lambda,x) \mapsto \lambda x est continue.

En effet un voisinage de λx contient la "p-boule" \quad \beta (\lambda x,i,R) dont l'antécédent contient le couple (]-\sqrt R,\sqrt R[,\beta (x,i,\sqrt R)).

Plus généralement, si \quad (p_i)_{i\in I} est une famille quelconque de semi-normes, la famille complétée selon la procédure définie à l'exemple 2 ci-dessus est filtrante et définit donc un espace localement convexe dont la toplologie est dite définie par la famille \quad (p_i)_{i\in I} .

Voir aussi

Jauge


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Norme Euclidienne — Norme (mathématiques) Pour les articles homonymes, voir Norme. En géométrie, la norme est une extension de la valeur absolue des nombres aux vecteurs. Elle permet de mesurer la longueur commune à toutes les représentations d un vecteur dans un… …   Wikipédia en Français

  • Norme d'algèbre — Norme (mathématiques) Pour les articles homonymes, voir Norme. En géométrie, la norme est une extension de la valeur absolue des nombres aux vecteurs. Elle permet de mesurer la longueur commune à toutes les représentations d un vecteur dans un… …   Wikipédia en Français

  • Norme euclidienne — Norme (mathématiques) Pour les articles homonymes, voir Norme. En géométrie, la norme est une extension de la valeur absolue des nombres aux vecteurs. Elle permet de mesurer la longueur commune à toutes les représentations d un vecteur dans un… …   Wikipédia en Français

  • Norme (mathématiques) — Pour les articles homonymes, voir Norme. En géométrie, la norme est une extension de la valeur absolue des nombres aux vecteurs. Elle permet de mesurer la longueur commune à toutes les représentations d un vecteur dans un espace affine, mais… …   Wikipédia en Français

  • Semi-remorques — Semi remorque Une semi remorque tractée par un Renault Magnum. Une semi remorque est une remorque routière destinée au transport de marchandises dont la particularité est qu elle repose sur un ou plusieurs essieux à l arrière et sur le véhicule… …   Wikipédia en Français

  • Semi-convergence — Convergence absolue En mathématiques, on dit qu une série numérique converge absolument lorsque la série des valeurs absolues (ou des modules) est convergente. C est une condition suffisante très utile de convergence pour la série elle même.… …   Wikipédia en Français

  • Semi-localement simplement connexe — Connexité simple En topologie, la notion de simple connexité raffine celle de connexité : là où un espace connexe est simplement « d un seul tenant », un espace simplement connexe est de plus sans « trou » ni… …   Wikipédia en Français

  • Semi-continuité — En analyse mathématique, la semi continuité est une propriété des fonctions définies sur un espace topologique et à valeurs dans la droite réelle achevée  ; il s agit d une forme faible de la continuité. Intuitivement, une telle fonction est …   Wikipédia en Français

  • Semi-remorque — Une semi remorque tractée par un Renault Magnum. Une semi remorque est une remorque routière destinée au transport de marchandises dont la particularité est qu elle repose sur un ou plusieurs essieux à l arrière et sur le véhicule tracteur à l… …   Wikipédia en Français

  • Norme de télécommunication — Télécommunications Alexander Graham Bell Les télécommunications sont définies comme la transmission à distance d’informations avec des moyens à base d électronique et d informatique. Ce terme a un sens plus large que son acception équivalente… …   Wikipédia en Français

Share the article and excerpts

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