L'objet dont les éléments sont des tuples avec une coordonnée provenant de chaque facteur et munis d'opérations par composante, muni de projections canoniques vers chaque facteur ; catégoriquement il s'agit du produit représentant des familles d'applications vers chaque facteur.

Principe

Défini par la propriété universelle des produits : un objet ∏_i A_i avec projections π_j: ∏_i A_i → A_j tel que pour tout objet X et toute famille d'applications f_j: X → A_j il existe une unique application f: X → ∏_i A_i avec π_j ∘ f = f_j pour tout j.

Démonstration

Pour les ensembles, le produit direct ∏_i S_i est l'ensemble des tuples (s_i) avec s_i ∈ S_i. Pour les modules ou espaces vectoriels, le produit direct comporte tous les tuples avec addition et multiplication scalaire par composantes ; si l'ensemble d'indices est infini, il diffère généralement de la somme directe (qui impose un support fini).

Mauvaise application

Confondre produit direct et somme directe lorsque l'ensemble d'indices est infini, ou supposer que les produits commutent avec les colimites dans des catégories où ce n'est pas le cas. Traiter le produit comme un coproduit conduit à des raisonnements universels et des décompositions incorrectes.

Conséquence

Les produits fournissent des projections canoniques et des calculs coordonnés, supportent les constructions de limites inverses et sont essentiels pour définir des structures pointwise dans des catégories de foncteurs. Ils préservent les limites et reflètent souvent des propriétés de complétude d'une catégorie.

Inversion

Dual du coproduit/somme directe : en inversant la propriété universelle, on remplace injections par projections et l'accent passe de l'assemblage de tuples à support fini à l'autorisation de familles coordonnées arbitraires d'éléments.

Limite

Existe dans de nombreuses catégories mais sa description composante par composante comme « tous les tuples » exige que la catégorie ambiante admette des produits arbitraires. Dans des contextes algébriques avec des index infinis, il faut distinguer les propriétés valables pour des produits finis de celles qui échouent pour des produits infinis.

Tension sémantique

Tension avec la somme directe et avec des constructions fibrées : le produit admet des tuples arbitraires tandis que la somme restreint au support fini ; dans certains contextes (ensembles d'indices finis, modules de dimension finie) ils coïncident, ce qui crée de la confusion.

Synthèse

Le produit direct est le produit catégorique qui assemble une famille indexée en l'objet de tous les tuples de coordonnées, représentant les familles d'applications vers chaque facteur via des applications médiatrices uniques.