Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appearsIn |
gptkb:Noncommutative_Geometry_(book)
|
gptkbp:defines |
A Fredholm module over a C*-algebra A is a pair (H, F) where H is a Hilbert space with a *-representation of A and F is a bounded operator on H such that [F, a] is compact for all a in A and F^2 - 1, F - F* are compact.
|
gptkbp:field |
functional analysis
noncommutative geometry |
gptkbp:generalizes |
gptkb:Fredholm_operators
|
https://www.w3.org/2000/01/rdf-schema#label |
Fredholm modules
|
gptkbp:introduced |
gptkb:Alain_Connes
|
gptkbp:relatedTo |
gptkb:C*-algebras
gptkb:K-homology |
gptkbp:type |
gptkb:even_Fredholm_module
gptkb:odd_Fredholm_module |
gptkbp:usedFor |
defining K-homology groups
|
gptkbp:usedIn |
index theory
|
gptkbp:bfsParent |
gptkb:Kasparov_KK-theory
|
gptkbp:bfsLayer |
6
|