Leyes de Composicin Externa

Sean E y W conjuntos no vacios. Se denomina Ley de Composicin Externa entre elementos de E y elementos de W a toda funcin f: WxE E. En otras palabras una Ley de Composicin Externa definida entre los elementos de un conjunto E y los elementos de un conjunto W, es toda funcin que tiene como dominio el producto cartesiano WxE y como codominio el conjunto E. Lo interesante de esta definicin es que cuando calculamos el compuesto de un elemento extrao (elemento de W) con un elemento de E obtenemos un elemento de E. Notas: F ( , x), con ( , x) WxE, es un elemento de E que representa el compuesto de y x por la Ley Externa considerada. W se denomina conjunto de operadores de la Ley Externa. En general, f ( , x) lo denotaremos por , x; en este caso, se dir que la ley Externa es una multiplicacin Externa.

Ejemplos: 1. Sea E=V2 el conjunto de vectores libres del plano y W=R el conjunto de los nmeros reales. La funcin f: RxV2 V2 tal que f ( , x)= . x es una Ley Externa, esto es, la multiplicacin de un nmero real por un vector es una Ley Externa. Recodando que La multiplicacin de un numero real por un vector vienen dada por: x= ( x1, x2) siendo R y x= (X1, X2) V2

2. Sea E=I conjunto de los nmeros Irracionales y W=Q* conjunto de los nmeros racionales no nulos. La funcin f: Q* x I I f (r. i)= r.i (r, i) Q* x I, es una Ley Externa, esto es, la multiplicacin de un racional por un irracional. Sea E= R2x2 el conjunto de matrices cuadradas de ordenadores con entradas reales y W=R conjuntos de los nmeros reales la funcin f: RxR2x2R 2x2 tal que f ( , A)= Con a A= c d b A.

a, b, c, d R y decir, a A= c d b

A, el producto de un nmero real por una matriz, es

es una ley externa.

3. Consideremos (E, +), (E, .) y (E, T) y W= N* conjunto de los nmeros naturales no nulos. Las funciones: f: N*x E E g: N*x EE h: N*x EE f (n, x) = n. x= X+ x+.+ n veces g (n, x)= X = x. x. xx n veces h(n, x)= Tx= xT, xT.Tx n veces

Son Leyes de Composicin Externa; es decir: el producto de un natural no nulo por un elemento de E, la potencia de un elemento de E con exponente natural no nulo y el compuesto ene veces de un elemento de E con el mismo mediante la Ley T con n-natural no nulo, son Leyes de composicin Externa. 4. Si E es el conjunto de los segmentos contenidos en un plano y W=N conjuntos de los nmeros naturales, la funcin, f: N x EE f(n, pq)= npq, donde pq, es un segmento del plano, es una Ley externa; es decir, el producto de un natural por un segmento es una Ley externa. Definicin: sea E un conjunto dotado de una Ley externa cuyo conjunto de operadores es W y sea F , FE. Se dice que F es estable para la Ley Externa si y solo si: ( W) ( x F): . x F. Ejemplos:

1.a) Sea E=V2 el conjuntos de vectores en el plano y W=R conjunto de los nmeros reales y sea F= {(x, 0) V2/XR} V2 F es una parte estable para la multiplicacin de un nmero real por un vector. En efecto: Sean R y x F con x= (X1, X2). Luego .x= (x1, 0)

=( vector.

X1,

.0), definicin de producto de un numero real por un

= ( X1, 0) efectuando = (X2, 0) F con X2= X1 R. 2.b) Consideremos la Ley Externa dada en el ejercicio (2). Y sea F= {x.2/ x Q*} I. F es una parte estable para la ley Externa; en efecto: Sea Q* y Z F donde Z= X.2, XQ*

.Z= (x2) =( X) 2, asociativa de la multiplicacin en R.

=2 con = . X Q* Luego: .Z F

Propiedades Eventuales de una Ley de Composicin Externa.

Asociatividad. Definicin: sea E un conjunto provisto de una Ley Externa que representaremos multiplicativamente, con conjunto de operadores W, y sea (w, T), CON T asociativa. Se dice que la Ley externa es asociativa con respecto a la Ley T si Y solo si ( , W) ( X E): ( T ) x = ( x).

En otras palabras al componer el resultado del compuesto T con x con el resultado que se obtiene de componer con x, ambos compuestos deben ser realizados mediante la Ley Externa. Ejemplos: En el ejemplo n 1 . Es asociativa y se cumple que: ( :( En efecto: sea x= (X1, X2) V2 y Evaluemos: ( , definicin de producto de un escalar por un vector ( ) Asociatividad de . En R.

Definicin de producto de un escalar por un vector.

As, la Ley Externa es asociativa con respecto a la multiplicacin de nmeros reales, afirmamos que no lo es con respecto a la adicin de nmeros reales, en efecto; debemos encontrar tal que ( Si hacemos tenemos que: (2+3) (3,4)= 5(3,4), efectuando = (15,20), definicin de producto de un escalar por un vector; Por otra parte: 2 (3 (3,4))= 2 (9,12) Definicin de producto de un escalar por un vector, = (18, 24) As, (2+3) (3,4) 2(3(3,4)). Si consideramos la Ley Externa definida en: Siendo T asociativa trivialmente se cumple: ( Es decir, la Asociatividad de la Ley Externa es una consecuencia de la Asociatividad de la Ley T. Distributiva. Definicin: sea (E.T). Sobre E se ha definido una Ley Externa cuyo conjunto de operadores es W. se dice que la Ley Externa es distributiva con respecto a la Ley T si y solo si ( Esto quiere decir que al componer con el compuesto xTy, mediante la Ley externa, obtenemos el mismo valor si componemos mediante T los resultados de componer con x y con y mediante la Ley Externa. Ejemplos. En el ejemplo n 1 consideremos (V2, +), luego se verifica que ( es decir, La Ley Externa es distributiva con respecto a la adicin de vectores. En efecto: Sea Evaluemos: , definicin de adicin en V2.

, definicin de producto de un escalar por un vector. Distributiva de la multiplicacin respecto de la adicin en R3. Definicin de adicin en v2. Definicin de producto de un escalar por un vector.

En el ejemplo n 3, consideremos ( R 2x2, +). Luego se verifica que: ( En efecto, Siguiendo un procedimiento anlogo al de los ejemplos anteriores y utilizando las definiciones de adicin de matrices y el producto de un escalar por una matriz el lector puede verificar fcilmente esta ultima igualdad. Definicin: sea E un conjunto provisto de una Ley Externa con conjunto de operadores W y consideremos (E.T) y (W , . Se dice que la Ley externa es distributiva con respecto a las leyes T y si solo si ( . Esto quiere decir que si el resultado de lo componemos con x mediante la Ley Externa, se obtiene el mismo valor al componer mediante T los resultados de Componer con x y con x mediante la Ley externa. Ejemplos. En el ejemplo n 1 consideremos (V2,+) y (R, +). Luego se verifica que:

en efecto: Sean ( por un vector. , distributiva de la multiplicacin con respecto a la adicin en R. Adicin de un escalar por un vector. Evaluemos ), definicin de producto de un escalar

Es decir, la Ley Externa es distributiva con respecto a la adicin de vectores y a la adicin de nmeros reales. Sea E un conjunto dotado de una Ley externa cuyo conjunto de operadores es W= N* y consideremos (E,+) y (N* , +),siendo + asociativa en E. luego se verifica que: ( .

As, la Ley Externa es distributiva con respecto a las Leyes de Adicin de Naturales no nulos y adicin de los elementos de E.

Homomorfismo entre conjuntos dotados de Leyes Externas.

Definicin: sean E y G dos conjuntos dotados cada uno de una Ley de Composicin Externa, siendo W el conjunto de operaciones para ambas Leyes. Se denomina homomorfismo de E en G a toda funcin. F: EG f( En otras palabras, la imagen del compuesto de un elemento de W con un elemento de E es el compuesto del elemento de W con la imagen del elemento de E, mediante la Ley Externa definida sobre G. Nota: la notacin empleada en la definicin es multiplicacin para las dos Leyes Externa. Ejemplos: Sean E= Q 2x2 el conjunto de las matrices cuadradas de orden dos con entradas racionales dotado de Ley Externa Multiplicacin de un entero positivo por una matriz y G= Q conjunto de los nmeros racionales dotado de la Ley Externa multiplicacin de un entero positivo con un racional. La funcin f: Qq f (A) = tras (A) es homomorfismo , en efecto: Sea AQ 2x2, Con A= a C Y a, b, c, d Q Recordemos que tras(A) indica la traza de la matriz cuadrada A y se define como la suma de los elementos de la diagonal, es decir, tras = a+d. Debemos probar que: ( f (n. A)= n. f (A). b d

Evaluemos: F (n A)= f n a c b d

=f

na nc

nb nd

definicin de la Ley Externa sobre

=na +nd, definicin de f = n (a + d), factorizacin = n f (A), definicin de f Teorema: sean E,G,H, conjuntos dotados de Leyes de composicin Externa , cada una con el mismo c0njunto de operadores W y sean: f: E G y g: GH, homomorfismo. Entonces la funcin gof: EH es un homomorfismo. Demostracin. Debemos probar que: ( (gof) ( Evaluemos: (gof) ( [f( definicion de compuesta

= g [ f (x)]; por ser f homomorfismo. = [g f(x)]; por ser g homomorfismo. = (g of) (x); definicin de compuesta. Nota: en forma anloga a lo estudiado en los homomorfismo entre conjuntos dotados de Leyes Internas se define: endomorfismo, monomorfismo, epimorfismo. Isomorfismo y automorfismo entre conjuntos dotados de Leyes Externa.