Suma directa

La suma directa es una operación entre estructuras en álgebra abstracta, una rama de las matemáticas. Se define de manera diferente, pero análoga, para diferentes tipos de estructuras. Para ver cómo se utiliza la suma directa en álgebra abstracta, considérese un tipo de estructura más elemental, un grupo abeliano. La suma directa de dos grupos abelianos $A$ y $B$ es otro grupo abeliano $A \oplus B$ que consta de los pares ordenados $(a, b)$ , donde $a \in A$ y $b \in B$ . La suma $(a, b) + (c, d)$ se define como $(a + c, b + d)$ , es decir, coordenada a coordenada. Por ejemplo, la suma directa $ℝ \oplus ℝ$ (donde $ℝ$ es el espacio coordenado real), es el sistema de las coordenadas cartesianas $ℝ^{2}$ . Se puede utilizar un proceso similar para formar la suma directa de dos espacios vectoriales o de dos módulos. Habitualmente, la suma directa de dos estructuras mantiene esa misma estructura (por ejemplo módulos, grupos abelianos o representaciones) pero existen casos en los que no, como por ejemplo que la suma directa de cuerpos no lo sea.

Se puede también se pueden formar sumas directas con cualquier número finito de sumandos definiendo $A \oplus B \oplus C$ = $A \oplus (B \oplus C)$ , siempre que $A, B,$ y $C$ sean los mismos tipos de estructuras algebraicas (que sean todos grupos abelianos o espacios vectoriales por ejemplo). Esto se basa en el hecho de que la suma directa es asociativa salvo isomorfismos, es decir, que $(A \oplus B) \oplus C ≅ A \oplus (B \oplus C)$ para cualquier estructura algebraica $A$ , $B$ y $C$ del mismo tipo. La suma directa también es conmutativa salvo isomorfismo, es decir, $A \oplus B ≅ B \oplus A$ para todo $A$ y $B$ .

Más abstractamente, dado un conjunto de grupos abelianos ${A_{i}}_{i \in I}$ , la suma directa $\oplus_{i \in I} A_{i}$ es el grupo abeliano cuyos elementos son de la forma $(a_{i})_{i \in I}$ con $a_{i} \in A_{i}$ y los $a_{i}$ son nulos salvo una cantidad finita de ellos. La suma se define coordenada a coordenada y cada uno de los $A_{i}$ se denomina sumando directo. La construcción es análoga para espacios vectoriales, módulos, anillos y demás estructuras algebraicas. En el caso en el que $I$ sea un conjunto finito, la suma directa es canónicamente isomorfa al producto directo $\prod_{i \in I} A_{i}$ . Sin embargo, en el caso de que el conjunto de índices sea infinito, la suma directa y el producto directo no son isomorfos. Como ejemplo, considérese la suma directa y el producto directo de una cantidad infinita numerable copias de los números enteros como grupo. Un elemento en el producto directo es una secuencia infinita, como (1,2,3,...) pero en la suma directa, existe el requisito de que todas las coordenadas, excepto un número finito, sean cero, por lo que la secuencia (1,2 ,3,...) sería un elemento del producto directo pero no de la suma directa, mientras que (1,2,0,0,0,...) sería un elemento de ambos. A menudo, si se usa un signo +, todas las coordenadas excepto un número finito deben ser cero, mientras que si se usa alguna forma de multiplicación, todas las coordenadas menos un número finito deben ser 1.^[1]

Ejemplos

El plano xy, un espacio vectorial bidimensional, puede considerarse como la suma directa de dos espacios vectoriales unidimensionales, concretamente los ejes x e y. En esta suma directa, los ejes x e y se cruzan solo en el origen (el vector cero). La suma se define en forma de coordenadas, es decir, $(x_{1}, y_{1}) + (x_{2}, y_{2}) = (x_{1} + x_{2}, y_{1} + y_{2})$ , que es lo mismo que la suma de vectores.

Dadas dos estructuras $A$ y $B$ , su suma directa se escribe como $A \oplus B$ . Dada una familia de conjuntos de estructuras $A_{i}$ , indexadas con $i \in I$ , la suma directa puede escribirse como $A = ⨁_{i \in I} A_{i}$ . Cada A_i se denomina mandato directo de A. Si el conjunto de índices es finito, la suma directa es lo mismo que el producto directo. En el caso de grupos, si la operación grupal se escribe como $+$ , se usa la expresión “suma directa”, mientras que si la operación grupal se escribe como $*$ , se usa el término “producto directo”. Cuando el conjunto de índices es infinito, la suma directa no es lo mismo que el producto directo, ya que la suma directa tiene el requisito adicional de que todas las coordenadas, excepto un número finito, deben ser cero.

Sumas directas internas y externas

Se hace una distinción entre sumas directas internas y externas, aunque las dos son isomorfas. Si los sumandos se definen primero y luego la suma directa se define en términos de los sumandos, se tiene una suma directa externa. Por ejemplo, si se definen los números reales $ℝ$ y luego se define $ℝ \oplus ℝ$ , se dice que la suma directa es externa.

Si, por otro lado, primero se define alguna estructura algebraica $S$ y luego se escribe $S$ como una suma directa de dos subestructuras $V$ y $W$ , entonces se dice que la suma directa es interna. En este caso, cada elemento de $S$ se puede expresar de forma única como una combinación algebraica de un elemento de $V$ y un elemento de $W$ . Por ejemplo el grupo $ℤ_{6}$ (los enteros módulo seis), cuyos elementos son ${0, 1, 2, 3, 4, 5}$ se pueden expresar como una suma directa interna $ℤ_{6} = {0, 2, 4} \oplus {0, 3} ≅ ℤ_{3} \oplus ℤ_{2}$ .

Tipos de suma directa

Suma directa de grupos abelianos

Artículo principal: Producto directo de grupos

La suma directa de grupos abelianos es un ejemplo prototípico de suma directa. Dados dos grupos $(A, \circ)$ y $(B, ∙),$ su suma directa $A \oplus B$ es la misma que su producto directo. Es decir, el conjunto subyacente es el producto cartesiano $A \times B$ y la operación de grupo $\cdot$ se define por sus componentes:

(a_{1}, b_{1}) \cdot (a_{2}, b_{2}) = (a_{1} \circ a_{2}, b_{1} ∙ b_{2}) .

Esta definición se generaliza a sumas directas de un número finito de grupos abelianos.

Para una familia arbitraria de grupos $A_{i}$ indexados por $i \in I,$ su suma directa

⨁_{i \in I} A_{i}

es el subgrupo del producto directo que consiste en los elementos

{(a_{i})}_{i \in I} \in \prod_{i \in I} A_{i}

que tienen soporte finito, donde por definición, se dice que ${(a_{i})}_{i \in I}$ tiene soporte finito si $a_{i}$ es el elemento identidad de $A_{i}$ para todos menos un número finito de $i .$ ^[2]

La suma directa de una familia infinita ${(A_{i})}_{i \in I}$ de grupos no triviales es un subgrupo del grupo de productos $\prod_{i \in I} A_{i} .$

Suma directa de módulos

Artículo principal: Suma directa de módulos

La suma directa de módulos es una construcción que combina varios módulos en un nuevo módulo.

Los ejemplos más familiares de esta construcción dan cuando se consideran espacios vectoriales, que son módulos sobre un cuerpo. La construcción también puede extenderse a espacios de Banach y a espacios de Hilbert.

Suma directa en categorías

Artículo principal: Coproducto

Una categoría aditiva es una abstracción de las propiedades de la categoría de módulos.^[3]^[4] En tal categoría, los productos finitos y coproductos concuerdan y la suma directa es cualquiera de ellos (véase biproducto).

Caso general: En teoría de categorías, la suma directaes a menudo, pero no siempre, el coproducto en la categoría de los objetos matemáticos en cuestión. Por ejemplo, en la categoría de grupos abelianos, la suma directa es un coproducto. Esto también es válido en la categoría de módulos.

Sumas directas frente a coproductos en categoría de grupos

Sin embargo, la suma directa $S_{3} \oplus ℤ_{2}$ (definida de manera idéntica a la suma directa de grupos abelianos) no es un coproducto de los grupos $S_{3}$ y $ℤ_{2}$ en categoría de grupos. Entonces, para esta categoría, una suma directa categórica a menudo se denomina simplemente coproducto para evitar cualquier posible confusión.

Suma directa de representaciones del grupo

Véase también: Teoría de la representación de grupos finitos

La suma directa de representaciones de grupo generaliza la suma directa de módulos subyacente, añadiéndole una acción de grupo. Específicamente, dado un grupo $G$ y dos representaciones $V$ y $W$ de $G$ (o, más generalmente, dos módulos $G$ ), la suma directa de las representaciones es $V \oplus W$ con la acción de $g \in G$ dada por componentes, es decir,

g \cdot (v, w) = (g \cdot v, g \cdot w) .

Otra forma equivalente de definir la suma directa es la siguiente:

Dadas dos representaciones $(V, ρ_{V})$ y $(W, ρ_{W})$ , el espacio vectorial de la suma directa es $V \oplus W$ y el homomorfismo $ρ_{V \oplus W}$ viene dado por $α \circ (ρ_{V} \times ρ_{W}),$ donde $α : G L (V) \times G L (W) \to G L (V \oplus W)$ es la aplicación natural obtenida mediante la acción de coordenadas como se indicó anteriormente.

Además, si $V, W$ es de dimensión finita, entonces, dada una base de $V, W$ , $ρ_{V}$ y $ρ_{W}$ tienen valores matriciales. En este caso, $ρ_{V \oplus W}$ viene dado como

g \mapsto (\begin{matrix} ρ_{V} (g) & 0 \\ 0 & ρ_{W} (g) \end{matrix}) .

Además, si se trata a $V$ y $W$ como módulos sobre anillo de grupo $k G$ , donde $k$ es el cuerpo, entonces la suma directa de las representaciones $V$ y $W$ es igual a su suma directa como módulos $k G$ .

Suma directa de anillos

Artículo principal: Producto de anillos

Algunos autores hablan de la suma directa $R \oplus S$ de dos anillos cuando se refieren al producto directo $R \times S$ , pero esto debe evitarse,^[5] ya que $R \times S$ no recibe homomorfismos de anillos naturales de $R$ y $S$ : en particular, la aplicación $R \to R \times S$ que hace corresponder $r$ a $(r, 0)$ no es un homomorfismo de anillo, ya que no puede enviar 1 a $(1, 1)$ (suponiendo que $0 \neq 1$ en $S$ ). Por lo tanto, $R \times S$ no es un coproducto en la categoría de anillos y no debe escribirse como una suma directa (dado que el coproducto en la categoría de anillos es el producto tensorial de anillos).^[6] En la categoría de anillos, el coproducto viene dado por una construcción similar al producto libre de grupos).

El uso de terminología y notación de suma directa es especialmente problemático cuando se trata de familias infinitas de anillos: si $(R_{i})_{i \in I}$ es una colección infinita de anillos no triviales, entonces la suma directa de los grupos aditivos subyacentes se puede equipar con una multiplicación por términos, pero esto produce un pseudoanillo, es decir, un anillo sin identidad multiplicativa.

Suma directa de matrices

Véase también: Suma de matrices

Para cualquier par de matrices arbitrario $𝐀$ y $𝐁$ , la suma directa $𝐀 \oplus 𝐁$ se define como matriz diagonal de bloque de $𝐀$ y $𝐁$ si ambas son matrices cuadradas (y a una matriz por bloques análoga, en caso contrario).

𝐀 \oplus 𝐁 = [\begin{matrix} 𝐀 & 0 \\ 0 & 𝐁 \end{matrix}] .

Suma directa de espacios vectoriales topológicos

Artículos principales: Subespacio complementado y Suma directa de grupos topológicos.

Se dice que un espacio vectorial topológico (EVT) $X,$ como un Espacio de Banach, es una suma directa topológica de dos subespacios vectoriales $M$ y $N$ si la aplicación suma

$\begin{matrix} M \times N & \to & X \\ (m, n) & \mapsto & m + n \end{matrix}$

es un isomorfismo de espacios vectoriales topológicos (lo que significa que esta aplicación lineal es un homeomorfismo biyectivo), en cuyo caso se dice que $M$ y $N$ son complementos topológicos en $X .$ Esto es cierto si y solo si cuando se consideran grupos topológicos aditivos (por lo que se ignora la multiplicación escalar), $X$ es la suma topológica directa de los subgrupos topológicos $M$ y $N .$ Si este es el caso y si $X$ es un espacio de Hausdorff, entonces $M$ y $N$ son necesariamente subespacios cerrados de $X .$

Si $M$ es un subespacio vectorial de un espacio vectorial real o complejo $X$ , entonces siempre existe otro subespacio vectorial $N$ de $X,$ llamado complemento algebraico de $M$ en $X,$ tal que $X$ es la suma directa algebraica de $M$ y $N$ (lo que sucede si y solo si la aplicación suma $M \times N \to X$ es una aplicación lineal). A diferencia de las sumas directas algebraicas, la existencia de dicho complemento ya no está garantizada para las sumas directas topológicas.

Se dice que un subespacio vectorial $M$ de $X$ es (topológicamente) un subespacio complementado de $X$ si existe algún subespacio vectorial $N$ de $X$ tal que $X$ sea la suma directa topológica de $M$ y $N .$ Un subespacio vectorial se llama no complementado si no es un subespacio complementado. Por ejemplo, todo subespacio vectorial de un EVT de Hausdorff que no sea un subconjunto cerrado está necesariamente descomplementado. Todo subespacio vectorial cerrado de un espacio de Hilbert está complementado. Pero todo espacio de Banach que no sea un espacio de Hilbert necesariamente posee algún subespacio vectorial cerrado no complementado.

Homomorfismos

La suma directa $⨁_{i \in I} A_{i}$ viene equipada con un homomorfismo proyectivo $π_{j} : ⨁_{i \in I} A_{i} \to A_{j}$ para cada j en I y una coproyección $α_{j} : A_{j} \to ⨁_{i \in I} A_{i}$ para cada j en I.^[7] Dada otra estructura algebraica $B$ (con la misma estructura adicional) y homomorfismos $g_{j} : A_{j} \to B$ para cada j en I, existe un homomorfismo único $g : ⨁_{i \in I} A_{i} \to B$ , llamado suma de g_j, tal que $g α_{j} = g_{j}$ para todos los j. Por lo tanto, la suma directa es el coproducto en la categoría correspondiente.

Véase también

Fibrado vectorial

Referencias

↑ Thomas W. Hungerford, Algebra, p.60, Springer, 1974, ISBN 0387905189
↑ Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and Bacon, 1965
↑ «"p.45"». Archivado desde el original el 22 de mayo de 2013. Consultado el 24 de noviembre de 2023.
↑ «Appendix». Archivado desde el original el 17 de septiembre de 2006. Consultado el 14 de enero de 2014.
↑ Math StackExchange on direct sum of rings vs. direct product of rings.
↑ Lang, 2002, section I.11
↑ Heunen, Chris (2009). Categorical Quantum Models and Logics. Pallas Proefschriften. Amsterdam University Press. p. 26. ISBN 978-9085550242.

Datos: Q13582243

[1] Thomas W. Hungerford, Algebra, p.60, Springer, 1974, ISBN 0387905189

[2] Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and Bacon, 1965

[3] «"p.45"». Archivado desde el original el 22 de mayo de 2013. Consultado el 24 de noviembre de 2023.

[4] «Appendix». Archivado desde el original el 17 de septiembre de 2006. Consultado el 14 de enero de 2014.

[5] Math StackExchange on direct sum of rings vs. direct product of rings.

[6] Lang, 2002, section I.11

[Heu26-7] Heunen, Chris (2009). Categorical Quantum Models and Logics. Pallas Proefschriften. Amsterdam University Press. p. 26. ISBN 978-9085550242.

[1]

[2]

[3]

[4]

[5]

[6]

[7]