Théorème de Gelfand-Mazur

Théorème de Gelfand-Mazur

Dans la théorie des opérateurs, le Théorème de Gelfand-Mazur (démontré par Israel Gelfand et Stanisław Mazur) est le suivant :

Théorème — Toute algèbre de Banach \mathbb A sur le corps des complexes qui est un corps est isomorphe au corps complexe.

Démonstration:
Il suffit de montrer que tout x\in\mathbb A\quad (x\ne 0) peut s'écrire \quad x=\mu.e où \quad e est l'unité de \mathbb A et \quad \mu un nombre complexe.

Supposons \forall\mu\in\mathbb C \left ( x\ne\mu.e \; \textrm{ et } \; x^{-1}\ne \mu.e \right ).

Alors \forall\lambda\in\mathbb C\quad e-\lambda x et \quad e-\lambda x^{-1} sont inversibles.

Il en résulte que les fonctions \quad \lambda\mapsto (e-\lambda x)^{-1} et \quad \lambda\mapsto (e-\lambda x^{-1})^{-1} sont analytiques sur \mathbb C.
Les rayons de convergence des séries entières développantes \sum \lambda^n x^n et \sum \lambda^n x^{-n} sont infinis et donc \quad \lim_{n\to\infty} (\|x^n\|)^{1/n} = \lim_{n\to\infty} (\|x^{-n}\|)^{1/n} =0

Donc \forall \epsilon\in [0,1[\quad \exists N\in\mathbb N\qquad n>N\quad\Rightarrow \|x^n\|<\epsilon^n et \quad\|x^{-n}\|<\epsilon^n
Mais \quad x^n.x^{-n}=e et donc \quad 1=\|x^n.x^{-n}\| \leq \|x^n\|\|x^{-n}\|<\epsilon^{2n}, ce qui est contradictoire.
Ainsi \quad \exists \lambda\in\mathbb C\quad e-\lambda x=0 ou \quad e-\lambda x^{-1}=0 et donc \quad x=\lambda e ou \quad x=\lambda ^{-1} e.

Remarque : Si on utilise que le spectre d'un élément d'une algèbre de Banach n'est jamais vide, on peut obtenir le résultat de la façon suivante. Soit λ une valeur spectrale de x. Comme x − λ n'est pas inversible, x − λ = 0 (car le seul élément non inversible dans un corps est 0).


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Theoreme de Gelfand-Mazur — Théorème de Gelfand Mazur Toute algèbre de Banach sur le corps des complexes qui est un corps est isomorphe au corps complexe. Démonstration: Il suffit de montrer que tout peut s écrire où est l unité de et …   Wikipédia en Français

  • Théorème de gelfand-mazur — Toute algèbre de Banach sur le corps des complexes qui est un corps est isomorphe au corps complexe. Démonstration: Il suffit de montrer que tout peut s écrire où est l unité de et …   Wikipédia en Français

  • Stanisław Mazur — Pour les articles homonymes, voir Mazur. Stanisław Mazur Stanisław Mazur. Naissance 1er janvi …   Wikipédia en Français

  • Théorème de Banach-Alaoglu-Bourbaki — Le théorème de Banach Alaoglu Bourbaki est un résultat de compacité en analyse fonctionnelle. Si E est un espace vectoriel topologique et V un voisinage ouvert de 0, le polaire de V, défini par est une partie compacte pour la topologie faible *.… …   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

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   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”