| Attributes | Values |
|---|
| rdfs:label
| - Théorème du bicommutant de von Neumann (fr)
- Von Neumann bicommutant theorem (en)
|
| rdfs:comment
| - Le théorème du bicommutant de von Neumann est un théorème d'analyse fonctionnelle qui établit un lien entre l'adhérence d'un ensemble d'opérateurs linéaires bornés sur un espace de Hilbert dans certaines topologies et le bicommutant de cet ensemble. Il s'agit donc d'une connexion entre les aspects algébriques et topologiques de la théorie des opérateurs. (fr)
|
| rdfs:seeAlso
| |
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| has abstract
| - Le théorème du bicommutant de von Neumann est un théorème d'analyse fonctionnelle qui établit un lien entre l'adhérence d'un ensemble d'opérateurs linéaires bornés sur un espace de Hilbert dans certaines topologies et le bicommutant de cet ensemble. Il s'agit donc d'une connexion entre les aspects algébriques et topologiques de la théorie des opérateurs. L'énoncé formel du théorème est le suivant. Soit une algèbre d'opérateurs (linéaires) bornés sur un espace de Hilbert, contenant l'opérateur identité et fermée par passage à l'adjoint. Alors les adhérences de pour la (en) et pour la (en)(à ne pas confondre avec la topologie faible et la topologie forte) sont toutes deux égales au bicommutant de . Cette algèbre est l'algèbre de von Neumann engendrée par . On peut définir plusieurs autres topologies sur l'espace des opérateurs bornés, et l'on peut se demander quelles sont les algèbres involutives qui sont fermées pour ces topologies. Si A est fermée pour la topologie de la norme, alors c'est une C*-algèbre mais pas nécessairement une algèbre de von Neumann. Pour la plupart des autres topologies habituelles, les *-algèbres fermées contenant l'unité sont encore des algèbres de von Neumann ; c'est notamment le cas pour la topologie faible des opérateurs, la forte, l'*-forte et pour les topologies (en), (en) et *-ultraforte. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)