Suma directa

Suma directa

Un coproducto o suma directa para una familia (A_i)_{i \in I} de objetos en una categoría C, es un objeto S de C, junto a una familia de morfismos f_i: A_i \to S (i \in I) tal que para cualquier objeto B y una famila de morfismos g_i:A_i \to B, existe un único morfismo g:S \to B tal que g \circ f_i = g_i.

No hay una notación uniforme para los coproductos o sumas directas y algunas veces se denota \oplus_{i \in I} A_i.

Ejemplos

  • Consideremos un anillo R y la categoría de R-módulos a izquierda. En este caso la suma directa existe y es única. La construcción se puede hacer de la siguiente manera: sea (A_i)_{i \in I} una familia de R-módulos a izquierda, entonces S := \{ (a_i)_{i \in I}: a _i \in A_i y excepto un número finito todos los ai son cero} y f_i: A_i \to S es la inclusión de Ai en la i-ésima coordenada.

La suma de elementos de S es coordenada a coordenada y el producto de un elemento de R por uno de S, también es coordenada a coordenada.

  • Un caso particular de lo anterior es cuando R es cuerpo, es decir cuando estamos en la categoría de espacios vectoriales sobre un cuerpo dado. En este caso, dado V espacio vectorial y W, U dos subespacios de V, tales que W \cap U= \{0\}, podemos definir la suma directa interna, denotada W \oplus U, como el subespacio generado por W y U. No es difícil probar que este subespacio es isomorfo a la suma directa definida en el punto anterior.

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Suma directa — La suma de dos subespacios vectoriales (S y T, por ejemplo), pertenecientes al mismo espacio vectorial (W por ejemplo), se llama suma directa si es única la expresión de cada vector de la suma como un vector de S y otro de T. Si la suma de dos… …   Enciclopedia Universal

  • Suma (desambiguación) — El término suma puede referirse a: Matemática Suma: la operación aritmética de adición. Sumatorio: como operador matemático simbolizado por la letra griega (Σ) sigma. Suma de dos cuadrados: en un teorema de Fermat. Suma conexa: en topología, una… …   Wikipedia Español

  • Función suma de divisores — En teoría de números, la función suma de divisores es una función que es una suma sobre la función divisor. Se utiliza con frecuencia en el estudio del comportamiento asintótico de la función zeta de Riemann. Varios de los estudios sobre el… …   Wikipedia Español

  • Subespacio vectorial — En álgebra lineal, un subespacio vectorial es el subconjunto de un espacio vectorial, que debe cumplir ciertas características específicas. Contenido 1 Definición 1.1 Condición de existencia de subespacio 2 Operaciones con subespacios …   Wikipedia Español

  • Espacio de Hilbert — Saltar a navegación, búsqueda En matemáticas, el concepto de espacio de Hilbert es una generalización del concepto de espacio euclídeo. Esta generalización permite que nociones y técnicas algebraicas y geométricas aplicables a espacios de… …   Wikipedia Español

  • Funtores adjuntos — La existencia de muchos pares de funtores adjuntos es una observación importante de la rama de la matemática conocida como teoría de categorías. (La teoría de categorías continúa en cierta forma la visión estructuralista en matemática; ver… …   Wikipedia Español

  • Módulo inyectivo — En matemáticas, un módulo inyectivo es un módulo Q que comparte ciertas propiedades deseables con el Z módulo Q de todos los números racionales. Específicamente, si Q es un submódulo de algún otro módulo, entonces es un sumando directo de ese… …   Wikipedia Español

  • Representación de grupo — En el estudio de los grupos matemáticos, una representación de grupo es una descripción de un grupo como grupo concreto de transformaciones (o grupo de automorfismos) de un cierto objeto matemático. Más formalmente, la descripción significa que… …   Wikipedia Español

  • Producto exterior — En matemática, el producto exterior es una antisimetrización (alternación) del producto tensorial. El producto exterior es una multiplicación asociativa y distributiva de funciones multilineales antisimétrico que sea anticonmutativo para las… …   Wikipedia Español

  • Teorema de Peter-Weyl — El Teorema de Peter Weyl es un resultado básico en la teoría del análisis armónico, aplicado a grupos topológicos que son compactos, pero no necesariamente abelianos. Hermann Weyl, junto con su estudiante Peter, lo probó en la configuración de un …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”