Sean E y F no vacos, se define una relacin binaria en ExF, tal que: R= {( x, y) /( x, y ) ExF : x E y F } Notacin (x,y) R es lo mismo a escribir xRy

r xRy . Esto se lee:x esta relacionado con y o bien el par ordenado (x,y) pertenece a la relacin. Caso contrario se anotara: o bien (x,y) R
Normalmente una relacin se puede explicitar por extensin. Ejemplo: Si E= {x / x N : 2 < x < 8} , F= {x / x N : 1 < x 6} En este caso E y F por extensin corresponden a: E= {3,4,5,6,7} y F= {2,3,4,5,6} Si en ella se define la relacin R= {(3,4); (4,5); (5,6)} que esta expresada por extensin. La representacin grafica de esta relacin se puede representar como:

.Es decir corresponde a las primeras componentes de los pares ordenados que pertenecen a la relacin Para el ejemplo: Dom(R)= {3,4,5} Del mismo modo se define Rec(R)= {y / ( x, y ) R}.Es decir corresponden a las segundas componentes de los parres ordenados que pertenecen a la relacin. Para el ejemplo: Rec (R)= {4,5,6} Esta misma relacin se puede definir por comprensin, estableciendo una relacin matemtica o ley de formacin que se da entre loas componentes de los pares ordenados.

Se define: Dom(R) = {x / ( x, y ) R}

Para el caso anterior, la ley de formacin se puede establecer como: R = {( x, y ) /( x, y ) ExF : y x = 1} LA RELACION NEGATIVA O COMPLEMENTARIA (R o bien R c ), que se expresa simblicamente como: R= {( x, y ) /( x, y ) ExF R} En el ejemplo anterior: (3,2), (3,3), (4,2), (4,3), (4,4), (4,6), (5,2), (5,3), (5,4),5,5), (6,2), (6,3), (6,4), (6,5), (6,6), (7,2), (7,3), R' = (7,4), (7,5), (7,6) Esta misma relacin complementaria se puede abreviar por comprensin negando la ley de formacin que define la relacin directa R, esto es: R' = {( x, y ) /( x, y ) ExF : y x 1} LA RELACION INVERSA(R 1 ) : Se define simblicamente como: Sean E y F no vacos, se define una relacin directa, binaria en ExF, tal que: R= {( x, y ) /( x, y ) ExF : x E y F } , entonces la inversa es: R 1 = {( y, x) /( y, x) FxE ( x, y ) R} Para el ejemplo anterior R 1 = {(4,3), (5,4), (6,5)} Esta misma relacin se puede escribir por comprensin como R = {( x, y ) /( x, y ) FxE : x y = 1}
1

OBS: El Dominio de la relacin directa equivale al Recorrido de

la Inversa y viceversa
EJERCICIOS DE APLICACIN: 1.- Dados: E = {x / x : 6 x < 10} y F= {x / x : 3 x < 12} , en ExF se definen las relaciones: R 1 {( x, y ) /( x, y ) ExF : x + y = 15} R 2 {( x, y ) /( x, y ) ExF : 2 x + y = 10} R 3 {( x, y ) /( x, y ) ExF : x + y > 12} R 4 {( x, y ) /( x, y ) ExF : x + 2 y = 12} R 5 {( x, y ) /( x, y ) ExF : x y = 0} R 6 {( x, y ) /( x, y ) ExF : x = 2n, n = 1,2,3,. y = 3} Para cada una de estas relaciones encuentre: 1.1.- La relacin por extensin. 1.2.- La cardinalidad 1.3.- El dominio de definicin. 1.4.- El dominio de imgenes. 1.5.- El grafico cartesiano 1.6.- El grafico sagital 1.6.- La relacin inversa .por extensin y comprensin 1,7,. La relacin complementaria por extensin y comprensin. 2.- Si E = {x / x : 1 < x 15}.Se definen en ExE las relaciones: R 1 {( x, y ) /( x, y ) ExE : 2 x + 3 y = 24} R 2 {( x, y ) /( x, y ) ExE : 2 x = y} R 3 {( x, y ) /( x, y ) ExE : x + 2 y 45} R 4 {( x, y ) /( x, y ) ExE : x y = 0} Para cada una de las relaciones determine : 2.1.- La relacin por extensin. 2.2.-La cardinalidad. 2.3.- El dominio de definicin . 2.4.- El dominio de imgenes. 2.5.- El grafico cartesiano 2.6.- El grafico sagital 2.6.- La relacin inversa .por extensin y comprensin 2,7,. La relacin complementaria por extensin y comprensin. 2.8.- La relaciones que son reflexivas. 2.9.-Las relaciones que son simtricas. 2.10.-Las relaciones que son transitivas. 2.11.-Las relaciones de equivalencias.

3.-Explique por que las siguientes relaciones son de equivalencias. 3.1.-La relacin de igualdad. 3.2.- La relacin de congruencia entre figuras geomtricas. 3.3.-La relacin de semejanza entre tringulos. 3.4.-La relacin de equivalencias entre figuras geomtricas. 4.- Si E= E = {x / x : 1 x 10} y F= E = {x / x : x < 8}. Se definen: R 1 {( x, y ) /( x, y ) ExF : 3x + 2 y = 24} R 2 {( x, y ) /( x, y ) FxE : x y = 0} R 3 {( x, y ) /( x, y ) FxF : x + y > 15} R 4 {( x, y ) /( x, y ) ExE : 2 x y = 0} R 5 {( x, y ) /( x, y ) ExF : x + y < 2} Determine. 4.1.- Cada una de las relaciones por extensin. 4.2.- Clasifique las relaciones segn sus propiedades. 4.3.- Hay alguna de ellas que corresponda a una relacin Universal? 4.4.-Hay alguna de ellas que corresponda a una relacin vaca? 5.- Para cada uno de los grficos que se indican .determine: 5.1.- El conjunto de partida y el de llegada (primer y segundo factor) por extensin. 5.2.- Cada una de las relaciones en notacin conjuntita. 5.3.-El dominio de preimagenes y el dominio de imgenes de cada una de las relaciones.