Professional Documents
Culture Documents
Contenido
Contenido ............................................................................................................................................ 2 1. Introduccin a los Sistemas Algebraicos Abstractos ....................................................................... 3 2. Propiedades de las Operaciones Binarias ....................................................................................... 4 3. Grupos ............................................................................................................................................. 6 4. Campos ............................................................................................................................................ 7 5. Anillos .............................................................................................................................................. 8 6. Funcin o Mapeos ........................................................................................................................... 9 7. Referencias .................................................................................................................................... 11
2. Conmutatividad La operacin es conmutativa si: = 3. Distributividad La operacin es distributiva sobre la operacin si: ( ) = ( ) ( ) 4. Existencia del elemento identidad Un elemento es llamado identidad con respecto a la operacin si: = = Para cualquier elemento perteneciente al conjunto considerado. La identidad es nica para cada operacin. 5. Existencia del inverso El elemento es el inverso de con respecto a la operacin si: = = Cada elemento tiene un nico inverso en cada operacin asociativa. En los nmeros reales, tanto la adicin como la multiplicacin son asociativas y conmutativas, y la multiplicacin es distributiva sobre la adicin. La identidad de la adicin 4 Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com
es cero y la identidad de la multiplicacin es 1. Las propiedades de una operacin dependen del conjunto de elementos considerados.
3. Grupos
Un grupo es un sistema algebraico {.} que tiene una operacin binaria sobre los elementos del conjunto y satisface los siguientes axiomas: es asociativa. Existe un elemento identidad en . Cada elemento en tiene un inverso en . Grupos conmutativos Si adicionalmente a los tres axiomas anteriores, tambin satisface la conmutatividad, el grupo es llamado un grupo conmutativo o un grupo abeliano.
4. Campos
Un campo es un sistema algebraico {, +,} con dos operaciones binarias cerradas (+) y (), llamadas adicin y multiplicacin respectivamente, sobre los elementos del conjunto y satisfaciendo los siguientes postulados: El sistema {, +} es un grupo conmutativo cuya identidad es denotada por 0 y se llama cero. El conjunto 0 con elementos diferentes de cero forman un grupo conmutativo {,} cuya identidad es denotada por 1 y se llama unidad. La multiplicacin () es distributiva sobre la adicin (+). Estas operaciones no son necesariamente la adicin y la multiplicacin ordinaria, aunque estas usen los mismos nombres y smbolos.
5. Anillos
Un anillo es un sistema algebraico {, +,} con dos operaciones binarias cerradas (+) y (), llamadas adicin y multiplicacin respectivamente, sobre los elementos del conjunto y satisfaciendo los siguientes postulados: Para todo , , ( + ) + = + ( + ) + = + ( ) = ( ) ( + ) = + ( + ) = + Existe un elemento 0 , llamado cero, tal que por cada : + 0 = 0 + = Por cada elemento , existe un elemento , llamado negativo de , tal que: + () = () + = 0 se dice que es un anillo conmutativo si: = Un campo se puede definir en trminos de un anillo de la siguiente manera: Un anillo conmutativo con un elemento unidad (1) es llamado un campo si por cada elemento diferente de cero, tiene un inverso multiplicativo 1 , tal que: 1 = 1 = 1
6. Funcin o Mapeos
Una funcin desde el conjunto en el conjunto es la correspondencia (o regla) en la cual se asocia cada elemento con un elemento nico . La notacin convencional para denotar las funciones es la siguiente: : Una funcin tambin se le puede decir mapeo. Esto es porque se le puede dar una descripcin geomtrica a una funcin. Sean y dos conjuntos definidos como: = {1 , 2 , 3 , 4 , 5 } = {1 , 2 , 3 , 4 } Sea una funcin de a , definida por: (1 ) = 1 (2 ) = 1 (3 ) = 2 (4 ) = 3 (5 ) = 4 Podemos representar este mapeo geomtricamente como:
Podemos decir que cada elemento de es mapeado a un nico elemento de por el mapeo . Se debe considerar que pueden existir muchas funciones desde un conjunto a otro. Algunas correspondencias no pueden ser descritas como funciones o mapeos, ya que estas pueden asociar ms de un elemento al conjunto de la definicin. Dominio, Imagen y Rango de un mapeo Dado un mapeo: 9 Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com
: El conjunto es llamado el dominio de y el conjunto es llamado la imagen (o condominio) de . El subconjunto de es llamado el rango de y es definido por: = { = ()| } Mapeos en y sobre Si = , decimos que el mapeo desde sobre . Los mapeos sobre nos dicen que cada elemento de es imagen sobre algn(os) elementos de . Mapeos muchos a uno y uno a uno Los mapeos muchos a uno son los mapeos : que mapean mas de un elemento del conjunto a un elemento del conjunto . Si los distintos elementos de son mapeados a elementos distintos de , entonces el mapeo se dice que es uno a uno. Si adicionalmente, un mapeo uno a uno es un mapeo sobre, entonces se puede definir un mapeo inverso 1 definido desde hasta . Podemos decir entonces que es invertible o reversible. Mapeos compuestos: Sea , y tres conjuntos y y dos mapeos tal que: : : Debido a que es un subconjunto del dominio de , podemos definir directamente el mapeo : por () = [()], para todo . Escribimos simblicamente: = Se dice que es un mapeo compuesto de y . Si tenemos mapeos 1 , 2 , , es aplicado en ese orden, el mapeo compuesto se escribe como: = 1 2 1
10
7. Referencias
[1] M. C. Jain. 2008. Vector Spaces and Matrices in Physics, Second Edition. Alpha Science Intl Ltd, Delhi, India.
11