Aller au contenu

Espace gradué

Un article de Wikipédia, l'encyclopédie libre.

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

[modifier | modifier le code]

É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

[modifier | modifier le code]

Étant donné une filtration croissante d'un groupe abélien, le gradué associé s'écrit :

Le gradué associé à une filtration décroissante s'écrit :

Article connexe

[modifier | modifier le code]

Algèbre différentielle graduée (en)