*Producto cartesiano

Llamaremos producto cartesiano de dos conjuntos que simbolizaremos como AXB a

todos los pares de elementos ordenados que podamos formar tomando como primer
elemento un elemento del conjunto A y como segundo un elemento del conjunto B

Ejemplo:
Sea los conjuntos A={1,2,3} y B={4,5,6} se tiene:
AXB={(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5) ,(3,6)}
El producto cartesiano AXB no es igual al producto cartesiano BXA
Si los conjuntos A y B tienen elementos comunes, entonces los elementos del producto
cartesiano de la forma (a,a), se les llama elementos diagonales.
Si el producto cartesiano fuese de un mismo conjunto AXA puede escribirse de forma
simblica como A2.
Si el producto cartesiano lo forman ms de dos conjuntos los elementos del producto
cartesiano lo formaran grupos de elementos tomados ordenadamente de cada uno de los
conjuntos que lo forman tomando un elemento del primer conjunto, otro del segundo otro
del tercero y as hasta llegar al ultimo.
Para representar grficamente el producto cartesiano utilizaremos la representacin
cartesiana que consiste en trazar unos ejes perpendiculares, en el eje horizontal
colocaremos los elementos del conjunto A y en el eje vertical los elementos del conjunto
B,los elementos del producto cartesiano los forman los puntos de intercepcin que se
obtienen al trazar por los elementos del conjunto A paralelas al eje vertical y por los
elementos del conjunto B paralelas al eje horizontal.
Ver la representacin del ejemplo

Para saber el nmero de elementos del producto cartesiano nos fijaremos en el diagrama de
rbol

tenemos nueve elementos, que es el resultado de multiplicar el nmero de elementos del

conjunto A por los del conjunto B
Podemos saber el nmero de elementos de un producto cartesiano formado por n conjuntos,
multiplicando el nmero de elementos de cada uno de los conjuntos que intervienen
card(AXB....Z)=card(A)card(B).....Card(Z)

Correspondencias entre conjuntos

Llamamos correspondencia entre los conjuntos A y B y que representaremos por la letra f, a

cualquier subconjunto del producto cartesiano AXB.

Una correspondencia presenta los siguientes elementos

Elementos homlogos
Se dice que dos elementos a, b son homlogos en la correspondencia f cuando el par (a, b)
pertenece al subconjunto. es decir:

Siendo G el subconjunto.
La primera componente del par (a,b) que pertenece a G se llama elemento original,
mientras que la segunda componente recibe el nombre de elemento imagen. Cuando b es el
elemento imagen del a por la correspondencia f escribiremos b = f(a)
Conjunto inicial.
Llamaremos as al conjunto A
Conjunto final.
Es el conjunto B
Conjunto original.
Se llama conjunto original, y lo designaremos por orig(f) al conjunto formados por todos
los elementos de A que son elementos originales por la correspondencia f.
Conjunto imagen
Se llama conjunto imagen,y se representa por imag(f) al conjunto formados por todos los
elementos de B que son elementos imgenes por la correspondencia f.
Grafo de la correspondencia
Se llama grafo de la correspondencia al subconjunto.
Correspondencia inversa
Se llama correspondencia inversa a la correspondencia que resulta de cambiar el orden de
los conjuntos AXB por BXA

La correspondencia inversa la designaremos por f-1

Ejemplo:
Sea f la correspondencia definida por el grafo:
G={(a,1),(a,2),(b,3),(c,5)}
La correspondencia inversa f-1 ser:
G-1={(1,a),(2,a),(3,b),(5,c)}

Aplicaciones
Se llama aplicacin entre los conjuntos A y B a la correspondencia de A en B tal que:
Todos los elementos de A son elementos originales El transformado de cada elemento es
nico
Aplicacin suprayectiva
Se llama as una aplicacin donde el conjunto final coincide con el conjunto imagen: esto
es, cuando todos los elementos de B son elementos imgenes de alg elemento de A.
f suprayectiva equivale a Card(A) es mayor o igual a Card(B)
Aplicacin inyectiva
Se llama as a una aplicacin de A en B donde cada elemento imagen lo es de un solo
original.
f inyectiva equivale a Card(A) es menor o igual a card(B)
Aplicacin biyectiva
Se llama as a una aplicacin de A en B donde es al supreyectiva e inyectiva.
Para que una aplicacin sea biyectiva es necesario que ambos conjuntos tengan el mismo
nmero de elementos.
Aplicaci inversa
Si la aplicacin es biyectiva la correspondencia inversa siempre ser una aplicacin

Aplicaci Compuesta
Si tenemos una aplicacin f de A en B y otra aplicacin g de B en C, tal que imag(f) =o
rig(g); llamaremos aplicacin compuesta y denotaremos por
a una nueva aplicacin
de A en C definida del siguiente modo:

*3 Relaciones binarias
Se llama relacin binaria definida en un conjunto A a la correspondencia de A en A
Propiedades que pueden cumplir las relaciones binarias son:
Reflexiva, simtrica, antisimtrica y transitiva
Reflexiva
Se llama relacin reflexiva cuando un elemento esta relacionado con sigo mismo y se
escribe aRa para todo a que pertenece al conjunto.
Simtrica
Se llama relacin simtrica si para todo par de elemento ocurre que el elemento a esta
relacionado con el elemento b, entonces el elemento b esta relacionado con el elemento a.
Antisimtrica
Se llama relacin antisimtrica si para todo par de elemento ocurre que el elemento a esta
relacionado con el elemento b, entonces el elemento b esta relacionado con el elemento a, y
adems, se deduce que a = b.
Transitiva
Se llama as cuando se verifica que si el elemento a esta relacionado con el elemento b y el
elemento b esta relacionado con el elemento c; entonces el elemento a esta relacionado con
el elemento c.

Leyes de composicin

Se dice que en A se ha definido una ley de composicin interna u operaci cuando se define
una aplicacin del producto cartesiano AXA en A de tal forma que el par de elementos (a,b)
genere otro elemento c, tal que c tambin pertenece al conjunto A.
Para representar el elemento imagen del par (a,b) se utiliza la notacin c=afb donde f es
cualquier simbolo. Por ejemplo
Se dice que en A se a definido una ley de composicin externa sobre el conjunto B cuando
se define una aplicacin del producto cartesiano BXA en A
A los elementos del conjunto B se les llama escalares.
llamando a a los elementos pertenecientes al conjunto A y b a los elementos que pertenecen
al conjunto B tenemos que c=afb, donde c pertenece al conjunto A
Propiedades de las leyes de composicin
Asociativa
Se dice que la ley de composicin * es asociativa cuando para cualquier elementos a,b,c
pertenecientes al conjunto A se verifica:
(a * b) * c = a * (b * c)
Conmutativa
Se dice que la ley de composicin * es conmutativa cuando para cualquier elementos a,b,c
pertenecientes al conjunto A se verifica:
a*b=a*b
Elemento neutro
Se dice que la ley de composicin * posee elemento neutro cuando existe un elemento n de
A tal que cualquiera que sea a perteneciente al conjunto A se verifica:
a*n=a
Elemento simtrico
Se dice que la ley de composicin, que posee elemento neutro, es simetrizable cuando para
cualquier elemento de a perteneciente al conjunto A existe un elemento a' de A tal que:
a*a'=n
Donde n es el elemento neutro

Distributiva entre dos operaciones

Se dice que la ley de conposicin * es distributiva respecto de la operacin cuando
cualquiera que sean los elementos a, b, c pertenecientes al conjunto A se verifica:
a * (b c)= a * b a * c

*4 Estructuras algebraicas
Se llama estructura algebraica a todo conjunto en la que se han definido una o varias leyes
de composicin
Estructuras algebraicas con una ley de composicin
Semigrupo
Se dice que el conjunto A con la ley de composicin interna * tiene estructura de semigrupo
si la ley es asociativa.
Si la operacin * posee la propiedad conmutativa o elemento neutro o ambas a la vez, el
semigrupo se llama conmutativo, con elemento neutro o conmutativo con elemento neutro,
respectivamente.
Grupo
Se dice que el conjunto A con la ley de composicin interna * tiene estructura de grupo si la
ley es asociativa, posee elemento neutro y es simetrizable.
Si la operacin * posee la propiedad conmutativa, entonces el grupo se llama conmutativo o
abeliano.
Estructuras algebraicas con dos leyes de composicin
Semianillo
Se llama semianillo cuando en el conjunto A hemos definido dos leyes de composicin
interna que tienen estructura de semigrupo y adems una ley de composicin es distributiva
respecto a la otra.
Anillo
Se llama anillo cuando en el conjunto A hemos definido dos leyes de composicin interna
una que tiene estructura de grupo y la otra de semigrupo y adems una ley de composicin
es distributiva respecto a la otra.

Cuerpo
Se llama cuerpo cuando en el conjunto A hemos definido dos leyes de composicin interna
que tienen estructura de grupo y adems una ley de composicin es distributiva respecto a
la otra.
Espacio vectorial
Se llama espacio vectorial a la estructura en la que se ha definido sobre el conjunto A una
estructura de cuerpo conmutativo i una ley externa sobre el conjunto B que satisfacen las
siguientes condiciones:
A con la ley * es un grupo conmutativo
Distributiva de la ley externa respecto de la interna * en A
Distributiva de la ley externa respecto de la enterna * en B
Asociativa mixta
Neutralidad de la ley externa

44 k producto.doc