Operacin o ley de composicin En matemtica una operacin es la accin de un operador sobre una seleccin de elementos de un conjunto.

El operador toma los elementos inciales y los relaciona con otro elemento de un conjunto final que puede ser de la misma naturaleza o no; esto se conoce tcnicamente como ley de composicin. El conjunto de partida puede estar formado por elementos de un nico tipo (las operaciones aritmticas actan slo sobre nmeros) o de varios (el producto de un vector por un escalar engloba al conjunto unin de vectores y escalares que conforman un espacio vectorial). Dependiendo de cmo sean los conjuntos implicados en la operacin con respecto al conjunto considerado principal segn nuestras intenciones podemos clasificar las operaciones en dos tipos: internas y externas. Existen varios tipos de propiedades en el termino de "expresiones algebraicas" una de ellas son los numeros neutros. Ley de composicin interna Es la operacin en la que, tanto en sus elementos iniciales como en su resultado, slo interviene un conjunto 'S nico. En otras palabras un mapeode k argumentos. Esto recibe tambin el nombre de propiedad de la cerradura. Para operaciones binarias internas, se suele utilizar la convencin de yuxtaponer los elementos que operan entre s, i.e. si a y b pertenecen a S, entonces escribimos sencillamente ab para el nuevo elemento de S obtenido desde a y b. Esta clasificacin es relativa y depende del conjunto en que nos interesemos: En el conjunto de los nmeros naturales, , la operacin de adicin es interna pues la suma de dos naturales siempre es otro nmero natural (). En el conjunto la resta no es operacin interna pues el resultado no siempre es natural, mientras que si nos atenemos al conjunto de los enteros s se trata de una operacin interna. Ley de composicin externa Es la operacin en la que intervienen distintos conjuntos. Dos ejemplos:
1

La resta de nmeros naturales: (ya mencionada). El producto escalar de vectores: , donde es el cuerpo asociado al espacio vectorial. Ha de insistirse en que esta clasificacin slo depende del conjunto en que fijemos nuestros intereses en la exposicin matemtica.

ESTRUCTURAS ALGEBRAICAS Una Estructura Algebraica es un objeto matemtico consistente en un conjunto no vaco y una relacin ley de composicin interna definida en l. En algunos casos ms complicados puede definirse ms de una ley de composicin interna y tambin leyes de composicin externa. Empecemos por recordar algunas definiciones: Operacin binaria Ley de composicin interna definida en un conjunto no vaco A Es una aplicacin o funcin del producto cartesiano de A x A en A En smbolos: es una ley interna en A : A x A A (a1, a2 ) a1 a2 Es decir Ejemplo 1 La suma la multiplicacin en N , en Z , en Q , en R en C. Ejemplo 2 Las siguientes tablas definen leyes de composicin interna en el conjunto A = {a , b , c }

a b c

a a b c

b b c a

c c a b

i)

a b c

a a c b

b b a c

c b c a

ii)

Ley de composicin externa Una ley de composicin externa definida en A con operadores de B es toda funcin aplicacin de B x A en A. En smbolos
es ley externa en A con operadores en B B x A A es decir, si b B y a A la imagen del par (b ; a) = b a A

Segn las propiedades que deban satisfacer estas leyes de composicin, se tienen los distintos tipos de estructuras sistemas axiomticos. Monoide El par (A , ) donde A es un conjunto no vaco dotado de una operacin ley de composicin interna se denomina monoide. Ejemplos de monoides (N,+) , (Z,+) , ( Q , + ) , son monoides. ( N , - ) no es un monoide porque la sustraccin no es ley de composicin interna en N. ( N , ) donde est definido como a b = mx.{a , b} es un monoide. Semigrupo Un monoide asociativo se denomina semigrupo.
3

Si la ley de composicin interna tambin es conmutativa se llama semigrupo conmutativo. Si existe el elemento neutro se dice que es un semigrupo con unidad semigrupo con identidad. El elemento neutro de llama identidad. Ejemplos de semigrupos ( N , + ) es un semigrupo conmutativo sin elemento neutro. ( N0 , + ) es un semigrupo conmutativo con elemento neutro, el 0. ( N , ) es un semigrupo conmutativo con elemento neutro identidad igual a 1.

Grupo Sea el par (A , ) , donde A es un conjunto no vaco dotado de una ley de composicin interna binaria : (A , ) es un grupo se define sobre A una estructura de grupo s: a) es asociativa. Es decir a , b , c : a, b, c A ( a b ) c = a ( b c ) b) posee elemento neutro en A. Es decir e A / a , si a A a e = e a = a c) Todo elemento de A es invertible en A respecto de . = a a = e A / aa Es decir a A , a Grupo Abeliano Grupo conmutativo es cuando adems de ser un grupo, d) es conmutativa. Es decir a , b : a, b A a b = b a Si G = (A , ) es un grupo, se dice que es un grupo finito si el conjunto A es finito y su cardinal se llama orden del grupo. Ejemplos

1) El par ( Z , ) donde Z es el conjunto de los nmeros enteros y operacin definida como a b = a + b + 3 forma un grupo abeliano.

es una

Comprobacin:
es una ley de composicin interna en Z pues si a y b Z , a + b + 3 Z es asociativa pues ( a b ) c = (a + b +3) c = a + b +3 + c +3 = a + b + c + 6 y a ( b c ) = a (b + c + 3) = a + b + c + 3 + 3 = a + b + c + 6 tiene elemento neutro e = 3 , pues a A , a e = a entonces a + e +3 = a e = 3 y e a = a entonces e + a + 3 = a e = 3 tiene inverso a , a / a a = e , en nuestro caso a a = 3 a + a + 3 = 3 luego a = a 6 es inverso a derecha a a = 3 a + a + 3 = 3 luego a = a 6 es inverso a izquierda

es conmutativa pues a b = a + b + 3 = b + a + 3 = b a

Otros ejemplos: 1) (Z,+) ; (Q,+) ; (R,+) y (C,+) Son grupos abelianos . Tambin se llaman grupos aditivos debido a la operacin aditiva. 2 ) ( N , + ) No es grupo. No tiene neutro ni inverso de cada elemento. 3 ) ( N0 , + ) No es grupo. Tiene neutro, el 0 , pero no tiene inverso aditivo. 4 ) ( Q , ) No es grupo, el 0 no tiene inverso multiplicativo. 5 ) ( R , ) No es grupo, el 0 no tiene inverso multiplicativo. 6 ) ( Q { 0 } , ) y ( R { 0 } , ) Son grupos.

Subgrupo Un subconjunto no vaco B, del conjunto A es un subgrupo de ( A , ) si y solo s ( B , ) es un grupo. Por ejemplo, ( Z , + ) es un subgrupo de ( Q , + ). Si en estas estructuras se introduce una nueva ley de composicin interna con ciertas restricciones, se obtienen ternas ordenadas del tipo (A , , ) que tambin son estructuras algebraicas. Estas nuevas estructuras son:

Anillo Dados, un conjunto no vaco A y dos leyes de composicin interna y , la terna ordenada (A , , ) tiene estructura de Anillo si y solo si a) es asociativa. Es decir a , b , c : a, b, c A ( a b ) c = a ( b c ) b) posee elemento neutro en A. Es decir e A / a , si a A a e = e a = a c) Todo elemento de A es invertible en A respecto de . = a a = e A / aa Es decir a A , a d) es conmutativa. Es decir a , b : a, b A a b = b a Estas 4 propiedades muestran que ( A , ) es un grupo abeliano. e) es asociativa. Es decir a , b , c : a, b, c A (a b) c = a ( b c) Esta propiedad muestra que ( A , ) es un semigrupo. f) distribuye doblemente sobre . Es decir, a , b , c : a, b, c A a (b c ) = ( a b ) (a c ) y (b c ) a = (b a ) ( c a ) Resumiendo podemos decir que:

(A , , ) es un Anillo sii (A , ) es un grupo abeliano ; ( A , ) es un semigrupo y la segunda operacin distribuye sobre la primera. Una aclaracin oportuna Como la operacin es aditiva y la operacin es multiplicativa, es comn representarlas con los conocidos signos de la suma y el producto, pero en todos los casos deber respetarse la definicin que corresponde a cada operacin. Con esta aclaracin debe quedar claro que ( A , + , ) representa una estructura algebraica, talvez un anillo, pero que la operacin + y la operacin no representan la suma y el producto conocido, salvo ello est expresamente indicado. Con igual margen de tolerancia en la interpretacin de este tema, debemos decir que el elemento neutro de la operacin aditiva se representa con 0 (cero) y el neutro de la operacin multiplicativa con 1 (uno) sin que ellos sean necesariamente el 0 y 1 conocidos. Si adems g) conmutativa. Es decir a , b : a, b A a b = b a entonces tenemos un Anillo conmutativo. h) posee elemento neutro en A. Es decir e A / a , si a A a ge = e ga = a entonces tenemos un Anillo con identidad Anillo con unidad. i) Todo elemento de A distinto de cero es invertible en A respecto de . A / a a = a a = e entonces se llama Es decir a A , a 0 , a Anillo de divisin.

Ejemplos 1.- ( N , + , ) con las operaciones conocidas no es un anillo, pues en N no existe neutro para la adicin. 2.- ( N0 , + , ) con las operaciones conocidas no es anillo, pues N0 carece de inversos aditivos. 3.- ( Z , + , ) con las operaciones conocidas, es un anillo conmutativo con
7

unidad. Anillos sin divisores de cero Un anillo (A , , ) se dice sin divisores de cero si y solo s elementos no nulos de A dan producto no nulo. En smbolos: (A , , ) carece de divisores de cero si y solo s a , b : a, b A si a 0 y b 0 entonces a b 0

Anillo de integridad (A , , ) es un Anillo de integridad si y solo s (A , , ) es un anillo y 0 es su nico divisor de cero Dominio de integridad La terna (A , , ) se llama Dominio de integridad si y solo s (A , , ) es un Anillo conmutativo con unidad y sin divisores de cero. Dicho de otra manera, un Dominio de integridad es un Anillo conmutativo con identidad y de integridad. Ejemplos 1.- ( Z , + , ) con las operaciones conocidas es un dominio de integridad. 2.- ( Q , + , ) ; ( R , + , ) y son dominio de integridad. ( C , + , ) con las operaciones conocidas

3.- Los polinomios en una indeterminada ( o ms ) con coeficientes en Q , R C forman dominio de integridad con las operaciones conocidas.

Cuerpo La terna ordenada ( A , + , ) es un cuerpo, o tiene estructura de cuerpo si y solo si ( A , + , ) es un anillo de divisin conmutativo. Esto es: ( A , + , ) es un cuerpo si y solo si ( A , + , ) es un anillo conmutativo, con unidad cuyos elementos no nulos admiten inverso multiplicativo. Un cuerpo queda caracterizado por las siguientes estructuras: ( A , + , ) es un cuerpo si y solo si a) ( A , + ) es un grupo abeliano. b) ( A {0} , ) es un grupo abeliano. c) distribuye respecto de +

Ejemplos 1.- ( Z , + , ) con las operaciones conocidas, no es cuerpo, pues Z carece de inversos multiplicativos. 2.- ( Q , + , ) ; ( R , + , ) y son cuerpos. ( C , + , ) con las operaciones conocidas

3.- Todo cuerpo es un dominio de integridad. Para proveer de un ejemplo de estructura algebraica no tan conocida, definiremos el conjunto Zn llamado conjunto de los enteros modulo n.

Enteros mdulo n (Zn) Si n es un nmero entero tal que n 2 , se denomina Zn al conjunto Zn = { 0 , 1 , 2 , 3 ,..., n-1} Este conjunto, provisto de las operaciones de suma y producto definidas as: + suma : si h y k pertenecen a Zn , entonces h + k es igual al resto de la divisin
9

de h + k por n. Ejemplo: si n = 8 ; h = 5 y k = 7 , entonces h + k = 4

producto : si h y k pertenecen a Zn , entonces h k es igual al resto de la divisin de h k por n.

Ejemplo: si n = 8 ; h = 5 y k = 7 , entonces h k = 3 La terna (Zn , + , ) es un anillo conmutativo con unidad. Se llama Anillo de los enteros mdulo n. ( Zn , + , ) es un dominio de integridad si y solo s n es primo. Esto puede verse en las siguiente tablas de operaciones en el conjunto Zn Para n = 3 Para la suma + 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1 Zn = { 0 , 1 , 2 } las tablas de operaciones son: Para el producto

0 1 2

0 0 0 0

1 0 1 2

2 0 2 1

El producto No posee divisores de cero

Para n = 4 Para la suma + 0 1 2 0 0 1 2

Zn = { 0 , 1 , 2 , 3 } las tablas de operaciones son: Para el producto 1 1 2 3 2 2 3 0 3 3 0 1

10

0 1 2

0 0 0 0

1 0 1 2

2 0 2 0

3 0 3 2

El producto posee divisores de cero

Espacio Vectorial Un espacio vectorial sobre un cuerpo K es un conjunto V , cuyos elementos se denominan vectores, provisto de dos operaciones, una interna que se denomina suma y otra externa que se denomina producto y que cumplen ciertas propiedades. La operacin externa , multiplica un elemento del conjunto K por un elemento del conjunto V. Notacin Esta estructura suele representarse de las siguientes maneras: Como la cuaterna ordenada ( V , + , K , ) ; como la terna ordenada ( K , V ,+ ) y tambin es muy usual la expresin sintetizada VK , todas ellas se leen Espacio Vectorial V sobre el cuerpo K . o simplemente K espacio vectorial. Las operaciones enunciadas deben cumplir las siguiente propiedades: 1. ( V , + ) es un Grupo conmutativo a) + Es asociativa b) + Es conmutativa c) + Tiene neutro d) + Tiene inverso

2. 3. 4.

La operacin externa asocia de la siguiente manera: a , b : a, b K y x A , a ( b x ) = ( a b ) x La operacin externa distribuye sobre la interna de la siguiente manera: a : a K y x , y A , a ( x + y ) = a x + a y La operacin externa tiene elemento neutro.

Ejemplos
11

1.- ( Rn, + , R , ) es un Espacio Vectorial con las suma y el producto conocidos. Siendo Rn , con n 1 el conjunto de las n uplas de nmeros reales.
x , + , K , ) es un Espacio Vectorial con la suma y el producto 2.- ( K x el conjunto de los polinomios en una conocidos, siendo K un cuerpo y K indeterminada con coeficientes en K.

3.- ( Rm x n, + , R , ) en el Espacio Vectorial de la matrices de orden m x n en el cuerpo de los reales, con la suma y el producto conocidos.

Morfismo u Homomorfismo Una aplicacin de conjuntos f: A B se dir que es un morfismo de la estructura (A , ) en la estructura (B , ) o simplemente un morfismo de A en B si se cumple que: x , y A ; f(x y) = f(x) f(y) Ejemplo: Sean las estructuras ( R , + ) y ( R + , ) con las operaciones + y usuales. La aplicacin f : R R + definida por f(x) = 2 x es un morfismo de estas estructuras ya que cumple que: f (x + y) = 2 x + y = 2 x 2 y = f (x) f (y) Endomorfismo Se llama as a todo morfismo de A en A. Monomorfismo Se llama as a todo morfismo inyectivo.

12

Epimorfismo Se llama as a todo morfismo sobreyectivo. Isomorfismo Se llama as a todo morfismo biyectivo. Automorfismo Se llama as a todo endomorfismo biyectivo.

Ejemplos 1. Sean las estructuras ( R3 , + ) y ( R2 x 2 , + ) y la aplicacin f ( x1 , x2 , x3 ) = x x 3 2 Las operaciones consideradas son las de suma de ternas ordenadas de nmeros reales y la de suma de matrices. Entonces, como :
f ( x1, x2 , x3 ) + ( y1, y2 , y3 ) = f ( x1 + y1 , x2 + y2 , x3 + y3 ) = x1 + y1 x + y 2 2 0 = x3 + y3 x1 x 2 0 + x3 y1 y 2 0 = y3 x1 0

= f es un morfismo.

f x1, x2 , x3 + f y1, y2 , y3

Adems es inyectivo, es decir un monomorfismo. puesto que x y al dominio, resulta:

13

 x1 f x1, x2 , x3 = x 2

0 y1 y1, y2 , y3 f = y x3 2

0 y3 1 2

Para probar que no es sobreyectivo, basta ver que, por ejemplo no es 3 4 imagen de nadie. 2. f : R R tal que f (x) = 3x es un automorfismo respecto a la suma. i) Es morfismo pues f (x + y ) = 3 (x + y ) = 3x 3y = f (x ) + f (y ) ii) f es biyectiva porque: es inyectiva: x y ; f (x ) f (y ) ya que 3x 3y
y 3

y es suryectiva: y R x R tal que f (x ) = y ; 3x = y entonces x =

3. f : R R tal que f(x) = x + 1 no es homomorfismo respecto a la adicin. Efectivamente no cumple la definicin de morfismo f (x + y) f (x) + f (y) ya que x + y + 1 x +1 + y + 1 = x + y + 2

Es interesante saber que la Topologa es la parte de la matemtica que se ocupa de estudiar los conjuntos estructurados mediante relaciones que nos permiten decir cuando un elemento del conjunto es contiguo o prximo a una parte del mismo. Topologa deriva del griego que significa: Topos: Lugar , extensin posicin. Logos: Ciencia saber.

14

Luego la topologa puede definirse como la Ciencia de la extensin del lugar.

Bibliografa consultada - lgebra Lineal y Geometra ngel Rafael Larrotonda - Notas de lgebra I Enzo R. Gentile - lgebra I Armando Rojo Editorial Eudeba - 1973 Editorial Eudeba - 1976 Editorial El Ateneo - 1978

15