stringtranslate.com

Producto directo

En matemáticas , a menudo se puede definir un producto directo de objetos ya conocidos, dando lugar a uno nuevo. Esto induce una estructura en el producto cartesiano de los conjuntos subyacentes a partir de los objetos contribuyentes. De manera más abstracta, se habla del producto en la teoría de categorías , que formaliza estas nociones.

Algunos ejemplos son el producto de conjuntos, grupos (descritos a continuación), anillos y otras estructuras algebraicas . El producto de espacios topológicos es otro ejemplo.

También existe la suma directa : en algunos ámbitos se utiliza indistintamente, mientras que en otros es un concepto diferente.

Ejemplos

De manera similar, podemos hablar del producto directo de un número finito de estructuras algebraicas, por ejemplo, Esto se basa en que el producto directo es asociativo hasta el isomorfismo . Es decir, para cualquier estructura algebraica y del mismo tipo. El producto directo también es conmutativo hasta el isomorfismo, es decir, para cualquier estructura algebraica y del mismo tipo. Incluso podemos hablar del producto directo de infinitas estructuras algebraicas; por ejemplo, podemos tomar el producto directo de un número contable de copias de lo que escribimos como

Producto directo de grupos

En teoría de grupos se puede definir el producto directo de dos grupos y denotado por Para los grupos abelianos que se escriben de forma aditiva, también se puede llamar suma directa de dos grupos , denotado por

Se define de la siguiente manera:

Tenga en cuenta que puede ser lo mismo que

Esta construcción da como resultado un nuevo grupo. Tiene un subgrupo normal isomorfo a (dado por los elementos de la forma ), y uno isomorfo a (que comprende los elementos ).

Lo inverso también es válido. Existe el siguiente teorema de reconocimiento: si un grupo contiene dos subgrupos normales tales que y la intersección de contiene solo la identidad, entonces es isomorfo a Una relajación de estas condiciones, que requiere que solo un subgrupo sea normal, da el producto semidirecto .

Como ejemplo, tomemos como dos copias del grupo único (salvo isomorfismos) de orden 2, digamos Entonces con la operación elemento por elemento. Por ejemplo, y

Con un producto directo, obtenemos algunos homomorfismos de grupo naturales de forma gratuita: los mapas de proyección definidos por se denominan funciones de coordenadas .

Además, cada homomorfismo del producto directo está totalmente determinado por sus funciones componentes.

Para cualquier grupo y cualquier entero, la aplicación repetida del producto directo da el grupo de todas las - tuplas (porque este es el grupo trivial ), por ejemplo y

Producto directo de módulos

El producto directo de módulos (que no debe confundirse con el producto tensorial ) es muy similar al definido para grupos anteriormente, utilizando el producto cartesiano con la operación de adición componente por componente y la multiplicación escalar simplemente distribuyéndola sobre todos los componentes. A partir de obtenemos el espacio euclidiano, el ejemplo prototípico de un espacio vectorial de dimensión real. El producto directo de y es

Nótese que un producto directo para un índice finito es canónicamente isomorfo a la suma directa La suma directa y el producto directo no son isomorfos para índices infinitos, donde los elementos de una suma directa son cero para todos excepto para un número finito de entradas. Son duales en el sentido de la teoría de categorías : la suma directa es el coproducto , mientras que el producto directo es el producto.

Por ejemplo, considere y el producto directo infinito y la suma directa de los números reales. Solo las sucesiones con un número finito de elementos distintos de cero están en Por ejemplo, está en pero no está. Ambas sucesiones están en el producto directo de hecho, es un subconjunto propio de (es decir, ). [1] [2]

Producto directo del espacio topológico

El producto directo para una colección de espacios topológicos para un conjunto de índices, una vez más hace uso del producto cartesiano.

Definir la topología es un poco complicado. Para un número finito de factores, lo obvio y natural es hacer lo siguiente: simplemente tomar como base de los conjuntos abiertos la colección de todos los productos cartesianos de los subconjuntos abiertos de cada factor:

Esta topología se denomina topología producto . Por ejemplo, definiendo directamente la topología producto de por los conjuntos abiertos de (uniones disjuntas de intervalos abiertos), la base de esta topología consistiría en todas las uniones disjuntas de rectángulos abiertos en el plano (como resulta, coincide con la topología métrica habitual ).

La topología del producto para productos infinitos tiene un giro, y tiene que ver con poder hacer que todos los mapas de proyección sean continuos y hacer que todas las funciones en el producto sean continuas si y solo si todas sus funciones componentes son continuas (es decir, para satisfacer la definición categórica de producto: los morfismos aquí son funciones continuas): tomamos como base de conjuntos abiertos la colección de todos los productos cartesianos de subconjuntos abiertos de cada factor, como antes, con la condición de que todos, excepto un número finito de los subconjuntos abiertos, sean el factor entero:

La topología que suena más natural sería, en este caso, tomar productos de infinitos subconjuntos abiertos como antes, y esto produce una topología algo interesante, la topología de caja . Sin embargo, no es demasiado difícil encontrar un ejemplo de un conjunto de funciones componentes continuas cuya función producto no sea continua (véase la entrada independiente topología de caja para un ejemplo y más). El problema que hace necesaria la torsión se origina en última instancia en el hecho de que la intersección de conjuntos abiertos solo está garantizada como abierta para un número finito de conjuntos en la definición de topología.

Los productos (con la topología de producto) son buenos en lo que respecta a la conservación de las propiedades de sus factores; por ejemplo, el producto de espacios de Hausdorff es Hausdorff; el producto de espacios conexos es conexo, y el producto de espacios compactos es compacto. Este último, llamado teorema de Tichonoff , es otra equivalencia más del axioma de elección .

Para conocer más propiedades y formulaciones equivalentes, consulte la entrada separada topología del producto .

Producto directo de relaciones binarias

En el producto cartesiano de dos conjuntos con relaciones binarias definidas como Si ambos son reflexivos , irreflexivos , transitivos , simétricos o antisimétricos , entonces serán también. [3] De manera similar, la totalidad de se hereda de Combinando propiedades se deduce que esto también se aplica para ser un preorden y ser una relación de equivalencia . Sin embargo, si son relaciones conexas , no necesitan estar conexas; por ejemplo, el producto directo de sobre consigo mismo no se relaciona

Producto directo en álgebra universal

Si es una firma fija , es un conjunto de índices arbitrario (posiblemente infinito) y es una familia indexada de álgebras, el producto directo es un álgebra definida de la siguiente manera:

Para cada proyección th se define por Es un homomorfismo sobreyectivo entre las álgebras [4]

Como caso especial, si se obtiene el conjunto índice del producto directo de dos álgebras , escrito como Si solo contiene una operación binaria se obtiene la definición anterior del producto directo de grupos, utilizando la notación De manera similar, aquí se incluye la definición del producto directo de módulos.

Producto categórico

El producto directo puede abstraerse a una categoría arbitraria . En una categoría, dada una colección de objetos indexados por un conjunto , un producto de estos objetos es un objeto junto con morfismos para todos , tal que si es cualquier otro objeto con morfismos para todos , existe un morfismo único cuya composición con es igual para cada . Tales y no siempre existen. Si existen, entonces es único hasta el isomorfismo, y se denota .

En el caso especial de la categoría de grupos, siempre existe un producto: el conjunto subyacente de es el producto cartesiano de los conjuntos subyacentes de , la operación de grupo es la multiplicación por componentes y el (homo)morfismo es la proyección que envía cada tupla a su coordenada n.

Producto directo interno y externo

Algunos autores distinguen entre un producto directo interno y un producto directo externo. Por ejemplo, si y son subgrupos de un grupo abeliano aditivo , tales que y , entonces y decimos que es el producto directo interno de y . Para evitar ambigüedades, podemos referirnos al conjunto como el producto directo externo de y .

Véase también

Notas

  1. ^ Weisstein, Eric W. "Producto directo". mathworld.wolfram.com . Consultado el 10 de febrero de 2018 .
  2. ^ Weisstein, Eric W. "Producto directo de grupo". mathworld.wolfram.com . Consultado el 10 de febrero de 2018 .
  3. ^ "Equivalencia y orden" (PDF) .
  4. ^ Stanley N. Burris y HP Sankappanavar, 1981. Un curso de álgebra universal. Springer-Verlag. ISBN 3-540-90578-2 . Aquí: Def. 7.8, pág. 53 (pág. 67 en PDF) 

Referencias