Suma directa

operación en álgebra abstracta que compone objetos en objetos "más complicados"

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 y es otro grupo abeliano que consta de los pares ordenados , donde y . Para sumar pares ordenados, se define la suma como . En otras palabras, la suma se define en forma de coordenadas. Por ejemplo, la suma directa (donde es el espacio coordenado real), es el sistema de las coordenadas cartesianas . Se puede utilizar un proceso similar para formar la suma directa de dos espacios vectoriales o de dos módulos.

También se pueden formar sumas directas con cualquier número finito de sumandos, por ejemplo , siempre que y sean los mismos tipos de estructuras algebraicas (por ejemplo, que sean todos grupos abelianos o que sean todos espacios vectoriales). Esto se basa en el hecho de que la suma directa es asociativa excluyendo isomorfismos. Es decir, para cualquier estructura algebraica , y del mismo tipo. La suma directa también es conmutativa excluyendo isomorfismos, es decir, para cualquier estructura algebraica y del mismo tipo.

La suma directa de un número finito de grupos, espacios vectoriales o módulos abelianos es canónicamente isomorfa al producto directo correspondiente. Sin embargo, esto es falso para algunos objetos algebraicos, como los grupos no abelianos.

En el caso de que se combinen infinitos objetos, la suma directa y el producto directo no son isomorfos, ni siquiera para grupos abelianos, espacios vectoriales o módulos. Como ejemplo, considérese la suma directa y el producto directo de infinitas (pero numerables) copias de los números enteros. 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. En un lenguaje más técnico, si los sumandos son , la suma directa : se define como el conjunto de tuplas con tales que para todas menos un número finito de i. La suma directa está contenida en el producto directo , pero es estrictamente menor cuando el conjunto índice es infinito, porque un elemento del producto directo puede tener infinitas coordenadas distintas de cero.[1]

Ejemplos

editar

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,  , que es lo mismo que la suma de vectores.

Dadas dos estructuras   y  , su suma directa se escribe como  . Dada una familia de conjuntos de estructuras  , indexadas con  , la suma directa puede escribirse como  . Cada Ai 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

editar

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  , se dice que la suma directa es externa.

Si, por otro lado, primero se define alguna estructura algebraica   y luego se escribe   como una suma directa de dos subestructuras   y  , entonces se dice que la suma directa es interna. En este caso, cada elemento de   se puede expresar de forma única como una combinación algebraica de un elemento de   y un elemento de  . Como ejemplo de suma directa interna, considérese   (los enteros módulo seis), cuyos elementos son  . Esto se puede expresar como una suma directa interna  .

Tipos de suma directa

editar

Suma directa de grupos abelianos

editar

La suma directa de grupos abelianos es un ejemplo prototípico de suma directa. Dados dos grupos   y   su suma directa   es la misma que su producto directo. Es decir, el conjunto subyacente es el producto cartesiano   y la operación de grupo   se define por sus componentes:

 

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

Para una familia arbitraria de grupos   indexados por   su suma directa

 

es el subgrupo del producto directo que consiste en los elementos

 

que tienen soporte finito, donde por definición, se dice que   tiene soporte finito si   es el elemento identidad de   para todos menos un número finito de  [2]

La suma directa de una familia infinita   de grupos no triviales es un subgrupo del grupo de productos  

Suma directa de módulos

editar

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

editar

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 directa es 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

editar

Sin embargo, la suma directa   (definida de manera idéntica a la suma directa de grupos abelianos) no es un coproducto de los grupos   y   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

editar

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   y dos representaciones   y   de   (o, más generalmente, dos módulos  ), la suma directa de las representaciones es   con la acción de   dada por componentes, es decir,

 

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

Dadas dos representaciones   y  , el espacio vectorial de la suma directa es   y el homomorfismo   viene dado por   donde   es la aplicación natural obtenida mediante la acción de coordenadas como se indicó anteriormente.

Además, si   es de dimensión finita, entonces, dada una base de  ,   y   tienen valores matriciales. En este caso,   viene dado como

 

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

Suma directa de anillos

editar

Algunos autores hablan de la suma directa   de dos anillos cuando se refieren al producto directo  , pero esto debe evitarse,[5]​ ya que   no recibe homomorfismos de anillos naturales de   y  : en particular, la aplicación   que hace corresponder   a   no es un homomorfismo de anillo, ya que no puede enviar 1 a   (suponiendo que   en  ). Por lo tanto,   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   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

editar

Para cualquier par de matrices arbitrario   y  , la suma directa   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).

 

Suma directa de espacios vectoriales topológicos

editar

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

 

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   y   son complementos topológicos en   Esto es cierto si y solo si cuando se consideran grupos topológicos aditivos (por lo que se ignora la multiplicación escalar),   es la suma topológica directa de los subgrupos topológicos   y   Si este es el caso y si   es un espacio de Hausdorff, entonces   y   son necesariamente subespacios cerrados de  

Si   es un subespacio vectorial de un espacio vectorial real o complejo  , entonces siempre existe otro subespacio vectorial   de   llamado complemento algebraico de   en   tal que   es la suma directa algebraica de   y   (lo que sucede si y solo si la aplicación suma   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   de   es (topológicamente) un subespacio complementado de   si existe algún subespacio vectorial   de   tal que   sea la suma directa topológica de   y   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

editar

La suma directa   viene equipada con un homomorfismo proyectivo   para cada j en I y una coproyección   para cada j en I.[7]​ Dada otra estructura algebraica   (con la misma estructura adicional) y homomorfismos   para cada j en I, existe un homomorfismo único  , llamado suma de gj, tal que   para todos los j. Por lo tanto, la suma directa es el coproducto en la categoría correspondiente.

Véase también

editar

Referencias

editar
  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
  7. Heunen, Chris (2009). Categorical Quantum Models and Logics. Pallas Proefschriften. Amsterdam University Press. p. 26. ISBN 978-9085550242.