Théorème de gelfand-mazur

Théorème de Gelfand-Mazur

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 que $\forall\mu\in\mathbb C\quad x\ne\mu.e$ et $\quad x^{-1}\ne \mu.e\qquad\quad \forall\lambda\in\mathbb C\quad e-\lambda x$ et $\quad e-\lambda x^{-1}$ sont donc 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$ ).

Portail des mathématiques

Ce document provient de « Th%C3%A9or%C3%A8me de Gelfand-Mazur ».

Catégories : Analyse fonctionnelle | Théorème de mathématiques

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 — 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 sur le corps des complexes qui est un corps est isomorphe au corps… … 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

Dictionnaires et Encyclopédies sur 'Academic'

Théorème de gelfand-mazur