Statements (18)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:mathematical_concept | 
| gptkbp:appliesTo | compact Hausdorff spaces commutative C*-algebras | 
| gptkbp:categoryTheoryConcept | duality | 
| gptkbp:field | functional analysis | 
| gptkbp:generalizes | noncommutative Gelfand duality | 
| gptkbp:hasApplication | gptkb:topology spectral theory | 
| gptkbp:namedAfter | gptkb:Israel_Gelfand | 
| gptkbp:relatedTo | gptkb:C*-algebra gptkb:locally_compact_Hausdorff_space | 
| gptkbp:state | The category of commutative unital C*-algebras is contravariantly equivalent to the category of compact Hausdorff spaces | 
| gptkbp:usedIn | gptkb:noncommutative_geometry operator algebras | 
| gptkbp:yearProposed | 1941 | 
| gptkbp:bfsParent | gptkb:Stone_duality | 
| gptkbp:bfsLayer | 7 | 
| https://www.w3.org/2000/01/rdf-schema#label | Gelfand duality |