PRODUCTO CARTESIANO Si tenemos dos conjuntos A y B, y tratamos de armar todos los pares posibles formados por un elemento del

conjunto A y un elemento del conjunto B, obtendremos el producto cartesianode los dos conjuntos. Se escribe: Podemos representarlo de diferentes formas: diagramas de flechas, diagramas arbolados, tablas y grficos cartesianos. Cada par que formemos con un elemento de A y uno de B, en ese orden, recibe el nombre de par ordenado.

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 A 2. 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 utili zaremos la representacin cartesiana que consiste en trazar unos ejes perpendiculares, en el eje horizontal (eje X o eje de las abscisas) colocaremos los elementos del conjunto A y en el eje vertical (eje Y o eje de las ordenadas) 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 o cardinalde cada uno de los conjuntos que intervienen

card(AXB....Z)=card(A)card(B).....Card(Z)
Propiedades del producto cartesiano. 1. El producto cartesiano de un conjunto. Cualquiera por el conjunto vaco da como resultado el conjunto vaco. Ax{ } = { }es evidente, ya que el conjunto vaco carece de elementos, luego no se pueden formar pares con los del otro conjunto A. 2. Propiedad distributiva respecto de la unin. Se expresa: A X(BUC) = (AxB)U(AxC) 3. Propiedad distributiva respecto de la interseccin: Ax(BnC) = ((AxB)n(AxC))

OJO: En particular, siendo R el conjunto de los nmeros reales, se tiene: Rx R = {(x, y) / x R y R }. Rx R es el conjunto de todas las parejas de nmeros reales. La representacin geomtrica de Rx R es el plano cartesiano llamado tambin plano numrico.

Se establece una relacin biunvocaentre R x Ry el conjunto de los puntos del plano geomtrico, asocindose de esta forma el par ordenado (x, y) con el punto P(x,y).

Ejemplo 1:

Sean A = {1, 2} y B = {3, 4, 5} el producto cartesiano A x B ser: A x B = {(1, 3),(1, 4),(1, 5),(2, 3),(2, 4),(2, 5)}.

Ejemplo 2: Sean A = {x / x R 1 x e3 }, 2 }.

B = {x / x R2 e x

Su representacin geomtrica es:

A x B es el conjunto de los puntos interiores al rectngulo PQRS y los puntos que pertenecen a los segmentos PQ y QR. Ejemplo 3:

Sean A = {x / x N1 e x

4}, B = {x / x R1 e x e 3}.

Representar A x B en el plano cartesiano.

Nota: La definicin de producto cartesiano puede generalizarse al producto entre n conjuntos A 1, A2,..., An. En este caso, al conjunto formado por todas las nadas ordenadas (a1, a2,..., an) tales que a iAi con i = 1, 2,..., n, se llama producto cartesiano de A1, A2,..., An y se denota A1x A2x ...xAn.

Propiedades del producto cartesiano.

1 A X B Y A x B X x Y. 2 A x B = 0 A = 0 B = 0. 3 A { B A x B { 0 A x B {Bx A.

Ejemplo . Sea A = {1, 2, 3, 4} y B = {a, b, c}. Entonces A x B consta de 12 elementos, los cuales se pueden representar por medio de una tabla organizada en la siguiente forma:

Ejercicios

1) s

(  , /

2) Sean: A, el c njunto de todos los nmeros reales que estn entre 1 y 3 incluyendo el 1 y el 3; B el conjunto de los nmeros enteros entre 2 y 5, incluyendo al 2 y al 5 Hacer un diagrama cartesiano de: AxB B x A.

3) Sea S = {100, 101,..., 999} as que  S = 900 elementos.

y

Llamamos RELACIN entre los conjuntos A y B y que representaremos por la letra R, a cualquier subconjunto del producto cartesiano AXB. R

Hay casos en que no todos los pares ordenados de un producto cartesiano de dos conjuntos responden a una condicin dada. Se llama relacin entre los conjuntos A y B a un subconjunto del producto cartesiano A x B. Este puede estar formado por un solo par ordenado, varios o todos los que forman parte de A x B. Si establecemos una relacin entre los elementos de un mismo conjunto, existen tres propiedades fundamentales que pueden cumplirse en esa relacin: propiedad reflexiva,simtrica y transitiva.

        
c c c s s s c s s s: ,
  ,

Cuntos nmeros en S tienen al menos un dgito que es un 3 o un 7? Ejem los: 300, 707, 736, 103, 997. Cuntos nmeros en S tienen al menos un dgito que es 3 y al menos uno que es 7? Ejem los: 736, 377.

REL

EN CONCLUSIN SOBRE LAS RELACIONES: Definicin. Una relacin es un conjunto de parejas ordenadas.

s y slo s R es subconjunto de A x B.

Si R A x A se dice que R es una relacin de A en A o simplemente una relacin en A. 0 y A x B son relaciones de A en B, puesto que 0 A x B y A x B A x B. Si ( ,y) R se escribe x R y y se lee "x est en relacin con y". Ejemplo 1: Sean: A = {1, 3, 5}, B = {2, 4, 6, 8}. R1 = {(3, 2), (1, 8), (5, 4)} es una relacin de A en B. R2 = {(3, 8)} es una relacin de A en B.

= {(1, 2), (1, 4), (1, 6), (3, 2), (3, 4), (5, 2)}. R5 = {(1, 5), (3, 3)} es una relacin de A en A. R6 = {(2, 3), (6, 1)} es una relacin de B en A. R7 = {(3, 6), (1, 4),(5 ,8), (2, 1)} no es una relacin de A en B y tampoco de B en A. R8 = {(x, y) / x A , y B, x  y = 0} = 0.

&

&

R4 = {(x, y) / x A

yB

&

&

R3 = {(x, y) / x A

yB

x " y} = {(3, 2),(5, 2),(5, 4)}. x  y e 7}

$# "

Si A y B son dos conjuntos cualesquiera, R es una relac

e A en B

Definicin. Sea R una relacin. Se llama Dominio de R y se denota por

D(R) al conjunto formado por todas las primeras componentes de

las parejas ordenadas que pertenecen a R. Por lo tanto:

D(R)

/ ( ) (x, ) R}

En consecuencia,

xD(R) ( )((x, ) R).

xD(R) ( )((x, ) R).

Rango de una Relacin. Definicin. Sea R una relacin. Se llama Rango de R y se denota por K(R) al conjunto formado por todas las segundas componentes de las parejas ordenadas que pertenecen a R. Por lo tanto: K (R)

/ ( x) (x, ) R}

En consecuencia,

yK (R) ( x)((x, y) R). yK (R) ( x)((x, y) R).

Ejemplo 2. En las relaciones del ejemplo 1 se tiene:

D(R1) D(R2) D(R3)

, 1, 5} ; K (R1)

}; K (R2)

3, 5}; K (R3)

'

Dominio de un

Relacin.

, 8, 4}

8}

2, 4}

}; K (R ) = {2, , 6}

K (R ) = { , 3}

D(R6) = {2, 6};

K (R6) = {3, 1}.

Ejemplo 3. Sea S = {(x, y) / x RyRy x}. El siguiente grfico es un representacin cartesiana de S. La recta y = x no hace parte de S.

Ejemplo 4. Sea A = {1, 2, 3}, B = {1, 2, 3}. Sea R la relacin: "x es menor que y" Entonces, R = {(1, 2), (2, 3), (1, 3)}.

D(R) = {1, 2}, K (R) = { 2, 3}.

D(R ) = {3, 1};

0

D(R ) = {3, 1,
(

Teorema. Sea R una relacin, A y B dos conjuntos. R es una relacin de A en B s y slo s

D(R) A y K (R) B.

Relacin inversa.Definicin. Sea R una relacin. Entonces la relacin {(y, x) / (x, y) R} se denomina relaci n inversa y se denota R1. En consecuencia,
y y y

(y, x) R1 (x, y) R. (y, x) R1 (x, y) R. Si R es una relacin de A en B, entonces R1 es una relacin de B en A.

Relacin Idntica. Definicin. Sea A un conjunto. La relacin dada por: {(x, y) / x A y = x} se denomina relaci n idntica en A y se designa -A: En consecuencia: (x, y) -A x A y = x. (x, y) -A x A y { x.

Ejemplo 7.

-R es la relacin idntica en los reales, es decir el conjunto de todos

los pares ordenados de nmeros reales que tienen ordenada y abscisa iguales. Su grfica es la recta bisectriz del primero al tercer cuadrante.

Relacin reflexiva en un conjunto.

Definicin. R es una relacin reflexiva en un conjunto A s y slo s R es una relacin en A y todo elemento de A est relacionado con sigo mismo. Es decir R es reflexiva en A si y slo s, R A x A ( x A) ((x, x) R). R no es reflexiva en A si y slo si, R A x B ( x A) ((x, x) R). Ejemplo 8. Sea A = {1, 3, 5}. R1 = {(1, 3), (3, 5), (1, 1), (5, 1), (5, 5), (3, 1), (3, 3)} es reflexiva en A.

R2 = {(1, 1), (5, 3), (5, 5), (3, 1)} no es reflexiva en A. Ejemplo 9.

-A es reflexiva en A cualquiera sea A { 0.

Ejemplo 10. A2 es reflexiva en A cualquiera sea A { 0. Teorema. R es reflexiva en A s y slo s -A R.

Relacin simtrica en un conjunto. Definicin. R es una relacin simtrica en A s y slo s R es relacin en A y cualesquiera sean los elementos x,y de A se verifica que si x R y entonces y R x. En consecuencia:
y y

R es simtrica en A R A x A ( x)( y) ( x R y y R x). R no es simtrica en A R A x A ( x)( y) (x R y y x).

Ejemplo 11. Las relaciones -A y A2 son simtricas en A cualquiera sea A. Ejemplo 12 Sea A = {3, 4, 2} entonces: R = {(2, 3), (3, ), ( , 3), (3, 2), ( , )} es simtrica en A. S = {(3, 2), ( , 3), (2, 2), (3, )} no es simtrica en A. Ejemplo 13. La relacin T = {(x, y) / x N, y Nx` y} donde la expresin "x` y" significa x divide a y no es simtrica en N puesto que si x` y no necesariamente y` x.

Teorema. R es sim trica en A s y slo s R = R 1. Relacin an isimtrica en un con unto. Definicin. R es una relacin antisim trica en A s y slo s R es una relacin en A y cualesquiera que sean x,y de A se verifica que: S x R y y R x entonces x = y. En consecuencia:

R A x A ( x)( y) ( x R y y R x x = y)

R A x A ( x)( y) ( x R y y R x x{ y)

Ejemplo 14.

Ejemplo 15. Sea A = {2, 4, 6} entonces: R = {(2, 2), (4, 4)} es antisim trica en A. S = {(2, 4)} es antisim trica en A. T ={(4, 6), (2, 2), (6, 4), (4, 2)} no es antisim trica en A Ejemplo 16. La relacin T = {(x, y) / x N, y N x`y} es antisim trica en N , puesto que x`yy`x implica x = y.

es antisim trica en A.

R no es antisim trica en A equivale a decir:

R es antisim trica en A equivale a decir :

Teorema. R es antisimtrica en A R y R1-A. Relacin transitiva. R es una relacin transitiva en A s y slo s R es una relacin en A y cualquiera sean x, y, z pertenecientes a A se verifica que: S x R y y R z, entonces x R z. En consecuencia:
y

R es transitiva en A equivale a decir:

R A x A ( x)( y)( z) ( x R y y R z x R z)
y

R no es transitiva en A equivale a decir: z).

R A x A ( x)( y)( z) ( x R y y R z x

Ejemplo 17.

- A es transitiva en A.
Ejemplo 18. Sea = {2, 4, 6, 3} entonces: R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)} es transitiva en A. S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)} no es transitiva en A. Ejemplo 19. La relacin T = {(x, y) / x N, y N x `y} es transitiva en N.