##  [Suma Directa](/es/node/63319) 

 Definición

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

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

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

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

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

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

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

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

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.