Théorème de prolongement de M. Riesz

Théorème de prolongement de M. Riesz

Le théorème de prolongement de M. Riesz a été démontré par le mathématicien Marcel Riesz lors de son étude du problème des moments.

Sommaire

Formulation

Dans un espace vectoriel réel E, soient F un sous-espace vectoriel et K un cône convexe (en).

Une forme linéaire

\varphi:F\to\R

est dite K-positive si

\forall x\in K\cap F,\quad\varphi(x)\ge0.

Un prolongement K-positif de φ est une forme linéaire

\psi:E\to\R\quad\text{telle que}\quad\psi|_F=\varphi\quad\text{et}\quad\forall x\in K,~\psi(x)\ge0.

Il n'en existe pas toujours : déjà en dimension 2, pour

E=\C,\quad F=\R,\quad K=\R^+e^{i[0,\pi[}\quad\text{et}\quad\forall x\in\R,~\varphi(x)=x,

φ n'a pas de prolongement K-positif.

Cependant, une condition suffisante d'existence d'un prolongement K-positif est :

K+F=E.~

Démonstration

Par récurrence transfinie, il suffit de considérer le cas E=F⊕ℝ.

Dans ce cas, étendre linéairement φ:F→ℝ en ψ:E→ℝ revient à choisir un réel a et à poser

\forall f\in F,~\forall\lambda\in\R,~\qquad\psi(f+\lambda y)=\varphi(f)+\lambda a.

En considérant les f + λy qui appartiennent à K et en distinguant deux cas suivant le signe de λ, la condition sur a pour que la K-positivité de φ se transmette à ψ s'écrit alors :

\sup\varphi((y-K)\cap F)\le a\le\inf\varphi((y+K)\cap F).

(Remarquons que comme y et − y appartiennent à E=K+F=K-F par hypothèse, les deux ensembles φ((y-K)∩F) et φ((y+K)∩F) sont non vides, si bien que le sup du premier appartient à \scriptstyle]-\infty,+\infty] et l'inf du second à \scriptstyle[-\infty,+\infty[.)

Le choix d'un tel réel a est donc possible dès que

\forall f,f'\in F,\qquad\text{si}\quad y-f\in K\quad\text{et}\quad f'-y\in K\qquad\text{alors}\quad\varphi(f)\le\varphi(f')

et cette condition est assurée par la K-positivité de φ car sous les hypothèses ci-dessus, le vecteur f' − f appartient à F∩K.

Corollaire : théorème de prolongement de Krein

Dans un espace vectoriel réel E, soient K un cône convexe et x un vecteur tel que

K+\R x=E\qquad\text{et}\qquad x\notin -K.

Alors il existe sur E une forme linéaire K-positive ψ telle que ψ(x) = 1.

Références

Article connexe

Théorème de Hahn-Banach


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de prolongement de M. Riesz de Wikipédia en français (auteurs)

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

Regardez d'autres dictionnaires:

  • Théorème de Riesz — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Plusieurs noms de théorèmes font référence aux deux frères Riesz, mathématiciens hongrois : Frigyes Riesz Théorème de compacité de Riesz, qui dit qu… …   Wikipédia en Français

  • Théorème de Hahn-Banach — En mathématiques, et plus particulièrement en analyse et en géométrie, le théorème de Hahn Banach, dû aux deux mathématiciens Hans Hahn et Stefan Banach, garantit l existence d une forme linéaire vérifiant certaines conditions (valeurs imposées… …   Wikipédia en Français

  • Théorème de l'application conforme — En mathématiques, et plus précisément en analyse complexe, le théorème de l application conforme, dû à Bernhard Riemann, assure que toutes les parties ouvertes simplement connexes du plan complexe (qui ne sont ni vides ni égales au plan tout… …   Wikipédia en Français

  • Théorème du supplémentaire orthogonal d'un fermé dans un espace de Hilbert — Le théorème du supplémentaire orthogonal d un fermé dans un espace de Hilbert est un théorème d analyse fonctionnelle. Sommaire 1 Énoncé 2 Démonstrations 2.1 Par le théorème de projection sur un convexe …   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

  • Moment (mathématiques) — Pour les articles homonymes, voir Moment. En probabilités (mathématiques, statistiques), on définit le moment d ordre n>0 d une variable aléatoire X, s il existe, le nombre . Sommaire 1 …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

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