Espace gradué
En mathématiques, un espace gradué est un espace vectoriel ou plus généralement un groupe abélien muni d'une décomposition en somme directe de sous-espaces, indexée par un ensemble d'entiers (naturels ou relatifs) ou par un groupe cyclique. Une graduation est la donnée d'une telle décomposition.
Une graduation facilite souvent les calculs, notamment en algèbre homologique, en ne travaillant qu'avec des éléments homogènes en chaque degré, ce qui permet par exemple de se ramener dans bien des cas à des espaces de dimension finie.
Le gradué associé à une filtration est l'espace obtenu comme somme des quotients de termes consécutifs.
La graduation peut être compatible avec d'autres structures, comme la multiplication dans une algèbre graduée, ou la différentielle dans un complexe de chaines.
Vocabulaire
Étant donné un espace gradué
tout élément de se décompose de manière unique comme une somme finie d'éléments appelées composantes et appartenant chacune à l'espace correspondant.
Un élément (non nul) d'un espace gradué est dit homogène s'il n'a qu'une composante non nulle. L'indice correspondant est appelé le degré.
Gradué associé à une filtration
Étant donné une filtration croissante d'un groupe abélien, le gradué associé s'écrit :
Le gradué associé à une filtration décroissante s'écrit :
