Statements (13)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:mathematical_concept | 
| gptkbp:appliesTo | gptkb:von_Neumann_algebras | 
| gptkbp:author | gptkb:John_von_Neumann | 
| gptkbp:field | functional analysis operator algebras | 
| gptkbp:namedAfter | commutant | 
| gptkbp:publicationYear | 1930 | 
| gptkbp:relatedConcept | gptkb:C*-algebra commutant | 
| gptkbp:sentence | A unital *-subalgebra of B(H) is a von Neumann algebra if and only if it equals its double commutant. | 
| gptkbp:bfsParent | gptkb:von_Neumann_algebras | 
| gptkbp:bfsLayer | 7 | 
| https://www.w3.org/2000/01/rdf-schema#label | double commutant theorem |