C*-algèbres et Théorie des Ensemblespinto/Slides/Brice14mars2011.pdfP(!)=FIN de P(!) par les...
Transcript of C*-algèbres et Théorie des Ensemblespinto/Slides/Brice14mars2011.pdfP(!)=FIN de P(!) par les...
C*-algèbres et Théorie des Ensembles
Brice Minaud
Paris 7, 14 mars 2011
1
Plan
1 Définition des C*-algèbresEspace de HilbertOpérateurs bornésDéfinitionExemples
2 Propriétés de baseQuelques définitionsThéorème spectralÉtats
3 Filtres quantiquesÉtats diagonalisésUltrafiltres quantiquesHypothèses ensemblistes
4 Autres exemples
2
Définition des C*-algèbres
Définition des C*-algèbres
3
Définition des C*-algèbres Espace de Hilbert
Espace de Hilbert
Espace de HilbertUn Espace de Hilbert est un espace vectoriel
réel ou complexemuni d’un produit scalairecomplet (par rapport à la norme associée au produitscalaire)
En particulier un espace de Hilbert est entièrement déterminépar la cardinalité d’une base (= sa “caractéristique”, cardinalitéminimale d’un sous-ensemble dense).On dit souvent “un espace de Hilbert séparable” mais en fait iln’y en a qu’un seul, `2(N).
4
Définition des C*-algèbres Espace de Hilbert
Espace de Hilbert
Espace de HilbertUn Espace de Hilbert est un espace vectoriel
réel ou complexemuni d’un produit scalairecomplet (par rapport à la norme associée au produitscalaire)
En particulier un espace de Hilbert est entièrement déterminépar la cardinalité d’une base (= sa “caractéristique”, cardinalitéminimale d’un sous-ensemble dense).On dit souvent “un espace de Hilbert séparable” mais en fait iln’y en a qu’un seul, `2(N).
4
Définition des C*-algèbres Opérateurs bornés
Opérateurs bornés sur un espace de Hilbert
OpérateurUn opérateur sur un espace de Hilbert H est une fonctionlinéaire H → H.
Les opérateurs sont munis de la norme :
||T || = sup{||T ξ|| : ξ ∈ H, ||ξ|| = 1}
Opérateur borné
Un opérateur T est dit borné ssi ||T || <∞.On note B(H) l’ensemble des opérateurs bornés sur H.
On s’intéresse aux opérateurs bornés parce qu’un opérateurest borné ssi il est continu ssi il est définissable partout. C’estla “bonne” généralisation du cas de dimension finie.
5
Définition des C*-algèbres Opérateurs bornés
Opérateurs bornés sur un espace de Hilbert
OpérateurUn opérateur sur un espace de Hilbert H est une fonctionlinéaire H → H.
Les opérateurs sont munis de la norme :
||T || = sup{||T ξ|| : ξ ∈ H, ||ξ|| = 1}
Opérateur borné
Un opérateur T est dit borné ssi ||T || <∞.On note B(H) l’ensemble des opérateurs bornés sur H.
On s’intéresse aux opérateurs bornés parce qu’un opérateurest borné ssi il est continu ssi il est définissable partout. C’estla “bonne” généralisation du cas de dimension finie.
5
Définition des C*-algèbres Opérateurs bornés
Opérateurs bornés et matrices
Sur un espace de Hilbert, on peut prendre une baseorthnormale. Soit κ sa cardinalité. Si H est séparable κ = ω.
Les vecteurs de H sont les suites de `2(κ).
B(H) est l’ensemble des matrices complexes de taille κ× κ denorme bornée (en particulier, lignes et colonnes sont dans `2).
6
Définition des C*-algèbres Opérateurs bornés
L’opération ∗
L’opération ∗
Étant donné un opérateur T , l’opérateur T ∗ est l’opérateur telque :
∀ξ, ν ∈ H, 〈T ξ|ν〉 = 〈ξ|T ∗ν〉
On appelle T ∗ l’adjoint de T .
L’égalité ci-dessus définit entièrement T ∗ puisqu’un opérateur Aest entièrement déterminé par les valeurs 〈Ae1|e2〉 pour e1, e2parcourant une base de H (i.e. sa matrice). On peut vérifier queT ∗ est un opérateur linéaire et borné.
En fait, si on confond un opérateur avec sa matrice, T ∗ est latransconjuguée de T , i.e. la matrice définie par T ∗i,j = Tj,i .
7
Définition des C*-algèbres Opérateurs bornés
L’opération ∗
L’opération ∗
Étant donné un opérateur T , l’opérateur T ∗ est l’opérateur telque :
∀ξ, ν ∈ H, 〈T ξ|ν〉 = 〈ξ|T ∗ν〉
On appelle T ∗ l’adjoint de T .
L’égalité ci-dessus définit entièrement T ∗ puisqu’un opérateur Aest entièrement déterminé par les valeurs 〈Ae1|e2〉 pour e1, e2parcourant une base de H (i.e. sa matrice). On peut vérifier queT ∗ est un opérateur linéaire et borné.
En fait, si on confond un opérateur avec sa matrice, T ∗ est latransconjuguée de T , i.e. la matrice définie par T ∗i,j = Tj,i .
7
Définition des C*-algèbres Définition
C∗-algèbre : définition concrète
DéfinitionUne C∗-algèbre concrète est une sous-algèbre complète deB(H) pour un certain espace de Hilbert H.
Dans le contexte des C∗-algèbres, quand on parle desous-algèbre, on sous-entend que l’opération ∗ est aussipréservée.
Pour cette présentation on va aussi supposer que lesC∗-algèbre considérées possèdent une unité.
8
Définition des C*-algèbres Définition
C∗-algèbre : définition abstraite
DéfinitionUne C∗-algèbre abstraite est un espace de Banach (espacevectoriel normé complet) réel ou complexe
muni d’un produit compatible avec la norme :||AB|| ≤ ||A|| · ||B||On parle d’algèbre ou C-algèbre de Banach ;
muni d’une fonction lineaire notée ∗ satisfaisant (A∗)∗ = A,(AB)∗ = B∗A∗ et ||A∗|| = ||A||On parle alors d’algèbre ou C-algèbre de Banach avecinvolution ;satisfaisant en plus ||A∗A|| = ||A||2, dite l’égalité C∗.
9
Définition des C*-algèbres Définition
C∗-algèbre : définition abstraite
DéfinitionUne C∗-algèbre abstraite est un espace de Banach (espacevectoriel normé complet) réel ou complexe
muni d’un produit compatible avec la norme :||AB|| ≤ ||A|| · ||B||On parle d’algèbre ou C-algèbre de Banach ;muni d’une fonction lineaire notée ∗ satisfaisant (A∗)∗ = A,(AB)∗ = B∗A∗ et ||A∗|| = ||A||On parle alors d’algèbre ou C-algèbre de Banach avecinvolution ;
satisfaisant en plus ||A∗A|| = ||A||2, dite l’égalité C∗.
9
Définition des C*-algèbres Définition
C∗-algèbre : définition abstraite
DéfinitionUne C∗-algèbre abstraite est un espace de Banach (espacevectoriel normé complet) réel ou complexe
muni d’un produit compatible avec la norme :||AB|| ≤ ||A|| · ||B||On parle d’algèbre ou C-algèbre de Banach ;muni d’une fonction lineaire notée ∗ satisfaisant (A∗)∗ = A,(AB)∗ = B∗A∗ et ||A∗|| = ||A||On parle alors d’algèbre ou C-algèbre de Banach avecinvolution ;satisfaisant en plus ||A∗A|| = ||A||2, dite l’égalité C∗.
9
Définition des C*-algèbres Définition
C∗-algèbre : équivalence des définitions
On remarque que les C∗-algèbres sont des C∗-algèbresabstraites : elles satisfont chacun des axiomes requis.Inversement :
Théorème (Gelfand, Naimark, Segal)
Toute C∗-algèbre abstraite est isomorphe à une C∗-algèbreconcrète.
Les deux définitions sont donc équivalentes.
10
Définition des C*-algèbres Exemples
Exemples de C∗-algèbres
Matrices finies.B(H) pour un espace de Hilbert H (par exemple `2 ou L2).
`∞ avec le produit point par point et (xi)∗ = (xi).
L’idéal K(H) des opérateurs compacts, c’est-à-dire laclôture des opérateurs dont l’image est de dimension finie.Pour H séparable, A ∈ K(H) ssi les approximations “finies”A · Projspan{ei ,i≤n} de A tendent vers A en norme.L’algèbre de Calkin C(H) = B(H)/K(H) des opérateursmodulo compact. Pour H séparable, analogue au quotientP(ω)/FIN de P(ω) par les ensembles finis.C(X ) l’ensemble des fonctions continues sur un espacecompact X , avec le produit usuel et l’involution f ∗ = f .Toute C∗-algèbre abélienne est de cette forme.
11
Définition des C*-algèbres Exemples
Exemples de C∗-algèbres
Matrices finies.B(H) pour un espace de Hilbert H (par exemple `2 ou L2).`∞ avec le produit point par point et (xi)
∗ = (xi).
L’idéal K(H) des opérateurs compacts, c’est-à-dire laclôture des opérateurs dont l’image est de dimension finie.Pour H séparable, A ∈ K(H) ssi les approximations “finies”A · Projspan{ei ,i≤n} de A tendent vers A en norme.L’algèbre de Calkin C(H) = B(H)/K(H) des opérateursmodulo compact. Pour H séparable, analogue au quotientP(ω)/FIN de P(ω) par les ensembles finis.C(X ) l’ensemble des fonctions continues sur un espacecompact X , avec le produit usuel et l’involution f ∗ = f .Toute C∗-algèbre abélienne est de cette forme.
11
Définition des C*-algèbres Exemples
Exemples de C∗-algèbres
Matrices finies.B(H) pour un espace de Hilbert H (par exemple `2 ou L2).`∞ avec le produit point par point et (xi)
∗ = (xi).L’idéal K(H) des opérateurs compacts, c’est-à-dire laclôture des opérateurs dont l’image est de dimension finie.Pour H séparable, A ∈ K(H) ssi les approximations “finies”A · Projspan{ei ,i≤n} de A tendent vers A en norme.
L’algèbre de Calkin C(H) = B(H)/K(H) des opérateursmodulo compact. Pour H séparable, analogue au quotientP(ω)/FIN de P(ω) par les ensembles finis.C(X ) l’ensemble des fonctions continues sur un espacecompact X , avec le produit usuel et l’involution f ∗ = f .Toute C∗-algèbre abélienne est de cette forme.
11
Définition des C*-algèbres Exemples
Exemples de C∗-algèbres
Matrices finies.B(H) pour un espace de Hilbert H (par exemple `2 ou L2).`∞ avec le produit point par point et (xi)
∗ = (xi).L’idéal K(H) des opérateurs compacts, c’est-à-dire laclôture des opérateurs dont l’image est de dimension finie.Pour H séparable, A ∈ K(H) ssi les approximations “finies”A · Projspan{ei ,i≤n} de A tendent vers A en norme.L’algèbre de Calkin C(H) = B(H)/K(H) des opérateursmodulo compact. Pour H séparable, analogue au quotientP(ω)/FIN de P(ω) par les ensembles finis.
C(X ) l’ensemble des fonctions continues sur un espacecompact X , avec le produit usuel et l’involution f ∗ = f .Toute C∗-algèbre abélienne est de cette forme.
11
Définition des C*-algèbres Exemples
Exemples de C∗-algèbres
Matrices finies.B(H) pour un espace de Hilbert H (par exemple `2 ou L2).`∞ avec le produit point par point et (xi)
∗ = (xi).L’idéal K(H) des opérateurs compacts, c’est-à-dire laclôture des opérateurs dont l’image est de dimension finie.Pour H séparable, A ∈ K(H) ssi les approximations “finies”A · Projspan{ei ,i≤n} de A tendent vers A en norme.L’algèbre de Calkin C(H) = B(H)/K(H) des opérateursmodulo compact. Pour H séparable, analogue au quotientP(ω)/FIN de P(ω) par les ensembles finis.C(X ) l’ensemble des fonctions continues sur un espacecompact X , avec le produit usuel et l’involution f ∗ = f .Toute C∗-algèbre abélienne est de cette forme.
11
Propriétés de base
Propriétés de base
12
Propriétés de base Quelques définitions
Quelques définitions
Soit A un opérateur.
A est normal ssi A∗A = AA∗.A est auto-adjoint ssi A∗ = A.A est positif ssi 〈Aξ|ξ〉 ≥ 0 pour tout ξ ∈ H, ssi A = B ∗ Bpour un certain B.A est une projection ssi c’est une projection orthogonalesur un sous-espace clos, ssi P2 = P = P∗.
13
Propriétés de base Théorème spectral
Théorème spectral
SpectreLe spectre d’un opérateur A est l’ensemble des λ ∈ C tels queA− λId n’est pas inversible.
Le spectre d’un opérateur est un sous-ensemble compact de C.
Théorème spectral (faible)
Si A est un opérateur normal, l’algèbre C∗(A, Id) engendréepar A et l’identité est isomorphe à C(σ(A)).
Théorème spectralSi A est une C∗-algèbre abélienne, A est isomorphe àl’ensembles C(X ) des fonctions continues sur l’espacecompact X des homomorphismes A→ C (munis de latopologie weak∗).
14
Propriétés de base Théorème spectral
Théorème spectral
SpectreLe spectre d’un opérateur A est l’ensemble des λ ∈ C tels queA− λId n’est pas inversible.
Le spectre d’un opérateur est un sous-ensemble compact de C.
Théorème spectral (faible)
Si A est un opérateur normal, l’algèbre C∗(A, Id) engendréepar A et l’identité est isomorphe à C(σ(A)).
Théorème spectralSi A est une C∗-algèbre abélienne, A est isomorphe àl’ensembles C(X ) des fonctions continues sur l’espacecompact X des homomorphismes A→ C (munis de latopologie weak∗).
14
Propriétés de base Théorème spectral
Théorème spectral
SpectreLe spectre d’un opérateur A est l’ensemble des λ ∈ C tels queA− λId n’est pas inversible.
Le spectre d’un opérateur est un sous-ensemble compact de C.
Théorème spectral (faible)
Si A est un opérateur normal, l’algèbre C∗(A, Id) engendréepar A et l’identité est isomorphe à C(σ(A)).
Théorème spectralSi A est une C∗-algèbre abélienne, A est isomorphe àl’ensembles C(X ) des fonctions continues sur l’espacecompact X des homomorphismes A→ C (munis de latopologie weak∗).
14
Propriétés de base États
États
DéfinitionUn état d’une C∗-algèbre A est une forme linéaire continueφ : A → C
positive, c’est-à-dire que l’image d’un opérateur positif estdans R+ ;de norme 1, pour la norme ||φ|| = sup{|φ(A)| : ||A|| = 1}.
Les états forment un ensemble convexe. Un état est dit pur ssic’est un point extrême de cet ensemble.
Par exemple dans B(H), si on fixe un vecteur unitaire ξ, laforme A 7→ 〈Aξ|ξ〉 est un état (d’ailleurs pur). Dans C(X ), unétat est l’intégration suivant une mesure de probabilité, et unétat est pur ssi c’est l’évaluation en un point.
15
Propriétés de base États
États
DéfinitionUn état d’une C∗-algèbre A est une forme linéaire continueφ : A → C
positive, c’est-à-dire que l’image d’un opérateur positif estdans R+ ;de norme 1, pour la norme ||φ|| = sup{|φ(A)| : ||A|| = 1}.
Les états forment un ensemble convexe. Un état est dit pur ssic’est un point extrême de cet ensemble.
Par exemple dans B(H), si on fixe un vecteur unitaire ξ, laforme A 7→ 〈Aξ|ξ〉 est un état (d’ailleurs pur). Dans C(X ), unétat est l’intégration suivant une mesure de probabilité, et unétat est pur ssi c’est l’évaluation en un point.
15
Propriétés de base États
États
DéfinitionUn état d’une C∗-algèbre A est une forme linéaire continueφ : A → C
positive, c’est-à-dire que l’image d’un opérateur positif estdans R+ ;de norme 1, pour la norme ||φ|| = sup{|φ(A)| : ||A|| = 1}.
Les états forment un ensemble convexe. Un état est dit pur ssic’est un point extrême de cet ensemble.
Par exemple dans B(H), si on fixe un vecteur unitaire ξ, laforme A 7→ 〈Aξ|ξ〉 est un état (d’ailleurs pur). Dans C(X ), unétat est l’intégration suivant une mesure de probabilité, et unétat est pur ssi c’est l’évaluation en un point.
15
Filtres quantiques
Filtres quantiques
16
Filtres quantiques États diagonalisés
État diagonalisé
On se place maintenant dans B(H) pour H séparable.On a déjà noté qu’à chaque vecteur unitaire ξ est associé unétat pur, dit état vectoriel, A 7→ 〈Aξ|ξ〉.
DéfinitionSoit (ei)i∈N une base orthonormale de H, et U un utrafiltre surN. L’état :
A 7→ limU〈Aei |ei〉
est dit diagonalisé par la base (ei)i∈N.
Théorème (Anderson)Un état diagonalisé est pur.
Conjecture (Anderson)
Tout état pur de B(H) est diagonalisable.
17
Filtres quantiques États diagonalisés
État diagonalisé
On se place maintenant dans B(H) pour H séparable.On a déjà noté qu’à chaque vecteur unitaire ξ est associé unétat pur, dit état vectoriel, A 7→ 〈Aξ|ξ〉.
DéfinitionSoit (ei)i∈N une base orthonormale de H, et U un utrafiltre surN. L’état :
A 7→ limU〈Aei |ei〉
est dit diagonalisé par la base (ei)i∈N.
Théorème (Anderson)Un état diagonalisé est pur.
Conjecture (Anderson)
Tout état pur de B(H) est diagonalisable.
17
Filtres quantiques États diagonalisés
État diagonalisé
On se place maintenant dans B(H) pour H séparable.On a déjà noté qu’à chaque vecteur unitaire ξ est associé unétat pur, dit état vectoriel, A 7→ 〈Aξ|ξ〉.
DéfinitionSoit (ei)i∈N une base orthonormale de H, et U un utrafiltre surN. L’état :
A 7→ limU〈Aei |ei〉
est dit diagonalisé par la base (ei)i∈N.
Théorème (Anderson)Un état diagonalisé est pur.
Conjecture (Anderson)
Tout état pur de B(H) est diagonalisable.
17
Filtres quantiques États diagonalisés
État diagonalisé
On se place maintenant dans B(H) pour H séparable.On a déjà noté qu’à chaque vecteur unitaire ξ est associé unétat pur, dit état vectoriel, A 7→ 〈Aξ|ξ〉.
DéfinitionSoit (ei)i∈N une base orthonormale de H, et U un utrafiltre surN. L’état :
A 7→ limU〈Aei |ei〉
est dit diagonalisé par la base (ei)i∈N.
Théorème (Anderson)Un état diagonalisé est pur.
Conjecture (Anderson)
Tout état pur de B(H) est diagonalisable.
17
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques sur B(H)
Définition (Farah, Weaver)
Un filtre quantique F est un ensemble de projections de B(H)tel que pour tout sous-ensemble fini P1, . . . ,Pn ∈ F ,
||P1 · P2 · · · · · Pn|| = 1
Un ultrafiltre quantique est un filtre quantique maximal.
Comparer avec un filtre sur N : si on fixe une baseorthonormale (ei)i∈N et un filtre F sur N, les projectionsP(ei )
F = Projspan{ei :i∈F} pour F ∈ F génèrent un filtre quantique.La question : un ultrafiltre sur N génère-t-il un ultrafiltrequantique ? est une reformulation de Kadison-Singer (i.e.ouvert et difficile). Oui si l’ultrafiltre est un Q-point (Reid).
18
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques sur B(H)
Définition (Farah, Weaver)
Un filtre quantique F est un ensemble de projections de B(H)tel que pour tout sous-ensemble fini P1, . . . ,Pn ∈ F ,
||P1 · P2 · · · · · Pn|| = 1
Un ultrafiltre quantique est un filtre quantique maximal.
Comparer avec un filtre sur N : si on fixe une baseorthonormale (ei)i∈N et un filtre F sur N, les projectionsP(ei )
F = Projspan{ei :i∈F} pour F ∈ F génèrent un filtre quantique.La question : un ultrafiltre sur N génère-t-il un ultrafiltrequantique ? est une reformulation de Kadison-Singer (i.e.ouvert et difficile). Oui si l’ultrafiltre est un Q-point (Reid).
18
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques sur B(H)
Définition (Farah, Weaver)
Un filtre quantique F est un ensemble de projections de B(H)tel que pour tout sous-ensemble fini P1, . . . ,Pn ∈ F ,
||P1 · P2 · · · · · Pn|| = 1
Un ultrafiltre quantique est un filtre quantique maximal.
Comparer avec un filtre sur N : si on fixe une baseorthonormale (ei)i∈N et un filtre F sur N, les projectionsP(ei )
F = Projspan{ei :i∈F} pour F ∈ F génèrent un filtre quantique.
La question : un ultrafiltre sur N génère-t-il un ultrafiltrequantique ? est une reformulation de Kadison-Singer (i.e.ouvert et difficile). Oui si l’ultrafiltre est un Q-point (Reid).
18
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques sur B(H)
Définition (Farah, Weaver)
Un filtre quantique F est un ensemble de projections de B(H)tel que pour tout sous-ensemble fini P1, . . . ,Pn ∈ F ,
||P1 · P2 · · · · · Pn|| = 1
Un ultrafiltre quantique est un filtre quantique maximal.
Comparer avec un filtre sur N : si on fixe une baseorthonormale (ei)i∈N et un filtre F sur N, les projectionsP(ei )
F = Projspan{ei :i∈F} pour F ∈ F génèrent un filtre quantique.La question : un ultrafiltre sur N génère-t-il un ultrafiltrequantique ? est une reformulation de Kadison-Singer (i.e.ouvert et difficile). Oui si l’ultrafiltre est un Q-point (Reid).
18
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques et états
Théorème (Farah)
Si on fixe un état φ sur B(H), l’ensemble
F(φ) = {P : P projection, φ(P) = 1}
est un filtre quantique.
De plus, c’est un ultrafiltre quantique ssi φ est pur.
Si φ est un état vectoriel φ(A) = 〈Aξ|ξ〉, F(φ) est l’ensembledes projections sur les sous-espaces contenant ξ.Si φ est diagonalisé par φ(A) = limU 〈Aei |ei〉, F(φ) contient lesprojections Pei
U , U ∈ U .
Théorème (Farah)Inversement, pour tout ultrafiltre quantique F il existe un uniqueétat φ tel que F(φ) = F .
19
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques et états
Théorème (Farah)
Si on fixe un état φ sur B(H), l’ensemble
F(φ) = {P : P projection, φ(P) = 1}
est un filtre quantique.De plus, c’est un ultrafiltre quantique ssi φ est pur.
Si φ est un état vectoriel φ(A) = 〈Aξ|ξ〉, F(φ) est l’ensembledes projections sur les sous-espaces contenant ξ.Si φ est diagonalisé par φ(A) = limU 〈Aei |ei〉, F(φ) contient lesprojections Pei
U , U ∈ U .
Théorème (Farah)Inversement, pour tout ultrafiltre quantique F il existe un uniqueétat φ tel que F(φ) = F .
19
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques et états
Théorème (Farah)
Si on fixe un état φ sur B(H), l’ensemble
F(φ) = {P : P projection, φ(P) = 1}
est un filtre quantique.De plus, c’est un ultrafiltre quantique ssi φ est pur.
Si φ est un état vectoriel φ(A) = 〈Aξ|ξ〉, F(φ) est l’ensembledes projections sur les sous-espaces contenant ξ.Si φ est diagonalisé par φ(A) = limU 〈Aei |ei〉, F(φ) contient lesprojections Pei
U , U ∈ U .
Théorème (Farah)Inversement, pour tout ultrafiltre quantique F il existe un uniqueétat φ tel que F(φ) = F .
19
Filtres quantiques Ultrafiltres quantiques
Filtres quantiques et états
Théorème (Farah)
Si on fixe un état φ sur B(H), l’ensemble
F(φ) = {P : P projection, φ(P) = 1}
est un filtre quantique.De plus, c’est un ultrafiltre quantique ssi φ est pur.
Si φ est un état vectoriel φ(A) = 〈Aξ|ξ〉, F(φ) est l’ensembledes projections sur les sous-espaces contenant ξ.Si φ est diagonalisé par φ(A) = limU 〈Aei |ei〉, F(φ) contient lesprojections Pei
U , U ∈ U .
Théorème (Farah)Inversement, pour tout ultrafiltre quantique F il existe un uniqueétat φ tel que F(φ) = F .
19
Filtres quantiques Hypothèses ensemblistes
Réponses à conjecture d’Anderson
Théorème (Akemann, Weaver)En supposant l’hypothèse du continu CH, il existe un état nondiagonalisable.
Idée de la preuve.
Théorème (Farah)
Si on ne peut pas recouvrir les réels par moins de 2ℵ0
ensembles maigres (ex. on ajoute 2ℵ0 réels de Cohen), il existeun état non diagonalisable.
Idée de la preuve.
20
Autres exemples
Autres exemples
21
Autres exemples
Autres résultats
Théorème (Akemann, Weaver)(CH) Tous les automorphismes de l’algèbre de Calkin sontintérieurs (i.e. ils s’écrivent A 7→ U∗AU pour un opérateurunitaire U, i.e. un automorphisme de H).
Théorème (Farah)(TA/OCA) Il existe un automorphisme externe de l’algèbre deCalkin.
Théorème (Akemann, Weaver)� implique une réponse négative à la conjecture de Naimark.
22
Autres exemples
Lectures utiles
Les slides de cette présentation :http://www.logique.jussieu.fr/~cubikova/
archives.html
“Set Theory and Operator Algebras” par Ilijas Farah et EricWofsey :
http://www.math.yorku.ca/~ifarah/Ftp/2010c31-appalachian.pdf
“Set Theory and C∗-algebras” par Nik Weaver (accès ASLrequis) :
http://projecteuclid.org/euclid.bsl/1174668215
23