GNS construction (probleme d ideal)

**Murmure-du-vent** · 05/04/2017, 13h52

Dans ce lien on lit que que les a tq rho (a*a) = 0
forment un ideal. la preuve n est pas donnee il est simplement renvoye a des arguments de C* algebre.
rho etant un etat doit avoir par definition 1 pour norme d operateur mais je n arrive pas a conclure.
merci pour votre aide
.

**AncMath** · 10/04/2017, 12h29

Cela résulte de l'inégalité de Cauchy-Schwartz.

En effet celle ci t'assure que $\text{[math]}$ puisque ton état $\text{[math]}$ est positif et ceci pour tout $\text{[math]}$ de ta $\text{[math]}$ -algèbre. Ceci prouve que si $\text{[math]}$ alors $\text{[math]}$ pour tout élément $\text{[math]}$ de ta $\text{[math]}$ -algèbre. La réciproque de ce fait est immédiate.

Passons à la preuve du fait que $\text{[math]}$ est un idéal à gauche. Si tu prends $\text{[math]}$ deux éléments de $\text{[math]}$ , alors $\text{[math]}$ , mais ces deux derniers termes sont nuls.

Prenons maintenant $\text{[math]}$ un élément de $\text{[math]}$ et $\text{[math]}$ quelconque alors $\text{[math]}$ qui est là aussi nul.

GNS construction (probleme d ideal)

GNS construction (probleme d ideal)

Re : GNS construction (probleme d ideal)

Discussions similaires

[Thermique] Problème chaudière gaz Ideal Standard

[Thermique] Problème chaudière ideal standard LB2

[Thermique] Chaudière Idéal Standard Idéal Gazina 1 : ne reste pas allumée ? [résolu]

Problème brachistochrone ou autrement dit le problème du toboggan idéal...

Mélange binaire idéal et non idéal