Cette note présente la propriété universelle des produits d'espaces vectoriels et ses principaux corollaires. Elle s'articule autour de l'exercice 1 de l'ouvrage Algèbre linéaire et algèbre tensorielle par Chambadal et Ovaert. La propriété universelle traitée ici a son pendant pour les sommes directes d’espaces vectoriels (voir l’article précédent). Ce qui n’est pas surprenant, dans la … Lire la suite de La propriété universelle des produits d’espaces vectoriels et ses corollaires
Espace vectoriel quotient
La propriété universelle des sommes directes d’espaces vectoriels et ses corollaires
La présente note est dédiée à l'étude de la propriété universelle des sommes directes d'espaces vectoriels et de ses corollaires. L'approche adoptée ici est celle de Chambadal et Ovaert dans leur ouvrage Algèbre linéaire et algèbre tensorielle. Nous rappelons qu'une structure d'espace vectoriel est définie sur le produit cartésien de toute famille d’espaces vectoriels sur … Lire la suite de La propriété universelle des sommes directes d’espaces vectoriels et ses corollaires
Formalis Mathematica 