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 |
gptkb:noncommutative_geometry
functional analysis |
| gptkbp:generalizes |
gptkb:Fredholm_operators
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Fredholm modules
|