Construcción que combina una familia de módulos o grupos en un objeto mayor formado por tuplas con un número finito de componentes no nulas, con operaciones definidas componente a componente; sirve como coproducto en la categoría de módulos.

Principio

Definida por la propiedad universal de coproducto: las aplicaciones desde la suma directa corresponden a familias compatibles de aplicaciones desde cada sumando, y las inclusiones canónicas son las inyecciones naturales.

Demostración

Para una familia contable de espacios vectoriales Vi, la suma directa ⊕i Vi es el conjunto de tuplas (vi) con vi = 0 salvo en un número finito de índices; las aplicaciones lineales desde ⊕i Vi vienen dadas por su precomposición con las inclusiones de cada Vi.

Aplicación incorrecta

Usar la suma directa cuando se necesita el producto directo: confundir vectores de soporte finito con tuplas arbitrarias conduce a errores sobre convergencia, completitud o espacios duales.

Consecuencia

Permite descomponer módulos en sumandos más simples, construir objetos libres y calcular invariantes homológicos; para índices finitos suma y producto coinciden, lo que facilita muchos argumentos.

Inversión

Sustituir la suma directa por el producto directo elimina la restricción de soporte finito: el producto admite tuplas arbitrarias y satisface la propiedad universal del producto en lugar del coproducto, cambiando el comportamiento de mapeo.

Límite

Se aplica en categorías donde los coproductos se expresan por tuplas de soporte finito (módulos, espacios vectoriales); para familias infinitas la suma directa difiere del producto y las sumas topológicas o completadas requieren estructura adicional.

Tensión semántica

A menudo se confunde con la suma directa interna vs externa (módulo como suma de submódulos vs coproducto externo) y con el producto directo; el término 'suma' suele ocultar la condición de soporte finito.

Síntesis

La suma directa es la construcción del coproducto que forma tuplas con finitas entradas no nulas, proporciona inyecciones desde cada sumando y codifica descomposiciones de módulos, distinguiéndose del producto cartesiano en familias infinitas.