Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
83 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

C*-algèbre, racine carrée

Envoyé par fanf 
C*-algèbre, racine carrée
il y a huit années
Bonjour.
Dans une C*-algèbre peut-on toujours définir l'élément $|a|$ comme la racine carrée de $aa^*$ ?
Je sais que dans l'algèbre de Banach des applications linéaires continues sur un Hilbert, le calcul fonctionnel continu donne l'existence d'une racine carrée à tout opérateur hermitien positif.
Du coup est-ce que la notion d'élément hermitien existe aussi dans les C*-algèbre ? La positivité de $aa^*$ est claire quant à elle.
Merci !
JLT
Re: C*-algèbre, racine carrée
il y a huit années
avatar
On peut effectivement définir les notions d'élément hermitien, positif, et la racine carrée d'un élément positif.
Re: C*-algèbre, racine carrée
il y a huit années
Ok pour la positivité mais peux tu me dire comment est défini la notion d'élément positif ?
Re: C*-algèbre, racine carrée
il y a huit années
J'imagine que c'est $a^*=a$

[La case LaTeX. AD]



Edité 1 fois. La dernière correction date de il y a huit années et a été effectuée par AD.
JLT
Re: C*-algèbre, racine carrée
il y a huit années
avatar
$a$ est hermitien $\iff a^*=a$.
BlackBird
Re: C*-algèbre, racine carrée
il y a huit années
Bonjour,

On peut aussi utiliser le calcul fonctionnel holomorphe, qui permet de donner un sens à la racine carrée d'un élément d'une algèbre de Banach dont le spectre ne rencontre pas l'axe réel négatif.
Re: C*-algèbre, racine carrée
il y a huit années
Ok merci JLT. Blackbird le calcul fonctionnel holomorphe j'ai lu quelques résultats mais je ne suis pas tres au point. À l'aide de ce calcul fonctionnel peut définir $log|a|$ ?
Merci.
JLT
Re: C*-algèbre, racine carrée
il y a huit années
avatar
Si $U$ est un ouvert, $sp(a)\subset U$ et $f$ est holomorphe sur $U$ on peut définir $f(a)$.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 143 295, Messages: 1 415 080, Utilisateurs: 26 488.
Notre dernier utilisateur inscrit papillette.


Ce forum
Discussions: 32 129, Messages: 297 700.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page