To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

De Wikipedia, la enciclopedia libre

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]

YouTube Encyclopedic

  • 1/3
    Views:
    39 908
    5 024
    28 113
  • Suma de subespacios y suma directa (27b/113) | SUBESPACIOS VECTORIALES | CURSO de ALGEBRA LINEAL
  • Suma Directa e Intersección de Subespacios | 1 ejercicio tipo examen resuelto
  • Suma e intersección de subespacios en R^3, suma directa

Transcription

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, , 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

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

Suma directa de grupos abelianos

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

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

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

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

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 <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle G}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>G</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle G}</annotation> </semantics> </math></span><img alt="{\displaystyle G}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b" style="vertical-align: -0.338ex; width:1.827ex; height:2.176ex;"/></span>), 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

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

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

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

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

Referencias

  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. 
Esta página se editó por última vez el 17 mar 2024 a las 22:54.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.