Coalgèbre

En mathématiques, la notion de coalgèbre est une notion duale de celle d'algèbre sur un anneau ou sur un corps. Informellement, une algèbre A est un espace vectoriel (ou un -module) qui est muni en plus d'une multiplication, c'est-à-dire d'une application qui compose deux éléments de A pour en construire un troisième. Une coalgèbre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-à-dire-d'une application qui prend un élément de C et qui en retourne deux.

Définition formelle

Soit K un corps. Une coalgèbre C sur K est un K-espace vectoriel muni de deux applications K-linéaires et telles que :

  1. .

L'application s'appelle le coproduit, et la counité. La première condition s'appelle la coassociativité (notion duale de l'associativité dans les anneaux), et la deuxième est l'analogue de la relation que vérifie l'unité (l'élément neutre de la multiplication) dans un anneau.

Relation avec les algèbres

La notion de coalgèbre est duale de celle d'algèbre, dans le sens où le dual linéaire de l'espace vectoriel sous-jacent à une coalgèbre C possède une structure naturelle d'algèbre induite par le coproduit de C. En effet, soient f, g deux éléments du dual de C. En posant pour tout x de C, on définit le produit de f et de g par :

.

Le fait que soit coassociatif est exactement la condition qui garantit que est associatif.

À l'inverse, si A est une algèbre de dimension finie, alors le dual de A possède une structure naturelle de coalgèbre. En effet, la multiplication de A peut être vue comme une application . En passant au dual, on obtient une application définie par

.

Or, si A est de dimension finie, il existe un isomorphisme naturel , donc définit un coproduit, la coassociativité découlant de l'associativité de .

Exemple

  • Si E est un K-espace vectoriel de base , alors on définit un coproduit en posant et en l'étendant linéairement à tout E.

Bibliographie

  • (en) Bart Jacobs, Introduction to Coalgebra : Towards Mathematics of States and Observation, Cambridge, Cambridge University Press, coll. « Cambridge Tracts in Theoretical Computer Science », , 494 pages (ISBN 978-1-107-17789-5, présentation en ligne).
  • Davide Sangiorgi, « On the origins of bisimulation and coinduction », ACM Trans. Program. Lang. Syst, vol. 31(4), , p. 15:1-15:41
  • Davide Sangiorgi, Introduction to Bisimulation and Coinduction, Cambridge University Press, .
  • Davide Sangiorgi et Jan Rutten, Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, .
Textes d'introduction

Voir aussi

  • Portail de l’algèbre
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.