Académique Documents
Professionnel Documents
Culture Documents
BINARIAS
PRODUCTO
CARTESIANO
PAR ORDENADO
Llamaremos par ordenado de nmeros
reales a la expresin (a , b) donde a
es la primera componente y b la
segunda componente.
Ejm. (3, 5) , ( -2 , 7)
NOTA:
ab: (a,b) (b,a)
PRODUCTO CARTESIANO
DE CONJUNTOS
DEFINICION:
Sean A y B conjuntos. Llamaremos
producto cartesiano de A y B, al conjunto
formado por todos los pares ordenados
(a , b) de tal manera aA y bB. Se denota
por AXB.
Simblicamente:
A x B = ( a ,b):a A b B
Es decir: (a ,b) A x B a A b B
EJEMPLO
SDados los conjuntos A=-1,0,1y
1.
B=1,2
hallar A x B , B x A, B x B y (A-B) x (A
B).
OBSERVACIONES:
1) Si A B A x B B x A.
2) Si A y B son conjuntos finitos:
n (A x B) = n (A).n (B)
3) A2= A x A
PROPIEDADES
Si A B entonces, A x B B x A
Ax=xA=
A x (B C) = A x B A x C
A x (B C) = A x B A x C
A x (B-C)=(A x B)-(A x C)
Si A B ( A x C) (B x C)
Si A C y B D A x B C x D
Si C A x C=B x C entonces
A=B.
9) (A x B) (C x D)=(A C) x (B D)
10) (A x B) (C x D) (A C) x (B
D)
1)
2)
3)
4)
5)
6)
7)
8)
Ejercicios:
1. Si: A x N / 1 4
x
0 x 3
x
B x N / x 1 4 x
A B
A B B A
A x Q / 6 x 3 31x 2 10 3 x
B x N / x 2 x 1
Hallar: a) A B B A
b) P A B B A
S z Z / x 2 x 3 0
T x Z / x log 10 2 1
3. Si: P x Z / x x x 4 0
3
a)
Prof. Ofelia Nazario Bao
PS
b)
S T P
DIAGONAL DE UN CONJUNTO
Sea A un conjunto. La diagonal de A que se
(A) es el conjunto definido por:
denota por
(A)={(a ,b) A x A: a = b
EJEMPLOS:
Hallar la Diagonal de los siguientes
conjuntos:
1)
A={x Z: | | x |+2| x2}
2)
B={x R:[[x]] 1}
RELACIONES
BINARIAS
RELACIONES BINARIAS
DEFINICION: Sean A y B dos conjuntos
no vacos, llamaremos relacin binaria
de A en B o relacin entre elementos de
A y B a todo subconjunto R del producto
cartesiano A x B. Simblicamente:
R es una relacin binaria de A en B
R A x B
NOTA: Si R es una relacin binaria de A
en B se escribir R: A B, y A se
llamara el conjunto de partida de R y B
el conjunto de llegada de R.
Prof. Ofelia Nazario Bao
EJEMPLOS:
1. Sean A=1,2,3 y B= -1,1, entonces
los siguientes conjuntos son
relaciones de A en B pues son
subconjuntos de A x B.
R1 =
R2 = A x B
R3 = (x , y) A x B/ x+y =2
R4 =
R5 =
R6 =
Prof. Ofelia Nazario Bao
OBSERVACIN: Si A y B son
conjuntos
finitos, el nmero de
relaciones binarias que se pueden
definir de A en B es :
2n(A).n(B)
En nuestro caso:
n (A)=3
y n (B) = 2
# relaciones binarias =
Graficamente:
A
Dom(R)
x
Conjunto de
partida
B
y
Ran(R)
Conjunto de
llegada
EJEMPLOS
Hallar el dominio y el rango de las
siguientes relaciones binarias:
1. R1=(x , y) N x N:3x+2y 11
2. R2=(x , y) R x R:x2+4y2-1=0
Prof. Ofelia Nazario Bao
PROPIEDADES
Sean R y S dos relaciones de A en B,
entonces se cumplen las siguientes
propiedades:
1. Dom (RS)=Dom (R ) Dom(S)
2. Dom (RS) Dom(R ) Dom(S)
3. Ran (RS)= Ran(R) Ran(S)
4. Ran (RS) Ran (R) Ran(S)
RELACIN INVERSA
Sea la relacin directa R: A B. Se
denomina relacin inversa de R al
conjunto definida por:
R-1 = (y, x)BxA/ (x,y)R
Es decir: (y, x)R-1 (x,y)R
GRAFICAMENTE
:
R
A
B
x
y
R-1
OBSERVACIN
1. R-1:B A
2. Dom (R-1 )= Ran (R )
3. Ran (R-1 ) = Dom (R)
PROPIEDADES DE LA RELACIN
INVERSA
1. (RS)-1 = R-1 S-1
2. (RS)-1 = R-1 S-1
3. (R-S )-1 = R-1 - S-1
COMPOSICIN DE RELACIONES
Sean las relaciones R: A B y S: C D la
relacin compuesta de R por S es la relacin
SoR, definida por:
SoR={(x,z)AxC/ yBC:(x,y)R(y,z)S
Es decir:
(x,z)SoR yBC : (x,y)R (y,z)S
OBSERVACIN: Tambien:
RoS={(x,z)CxB/ yDA:(x,y)S(y,z)R
Es decir:
(x,z)RoS yDA : (x,y)S (y,z)R
Prof. Ofelia Nazario Bao
GRAFICAMENTE
A
S
B
Ran(S)
Dom(R)
o
x
o
y
Ran(R)
Dom(SoR)
o
z
Dom(S)
SoR
Ran(SoR)
OBSERVACION:
1. SoR se lee: R compuesta con S.
2. Si Ran(R)Dom(S) entonces SoR
3. SoR es una relacin de A en D
EJEMPLOS
1. Dados los conjuntos A= 0, 1, 2 ,
B=1, 2, 3 , C= 2, 3, 4 y las relaciones
R=(1,1),(2,3) de A en B, S= (1,2),(1,3),(3,2),
(3,4) de B en C. Hallar SoR, RoS, y SoS.
2. Dadas las relaciones
R=(x,y)RxR/ x + y = 4 y
S= (x,y)RxR/ x = y2 . Hallar SoR.
PROPIEDADES
1. RoS SoR
2. (RoS)oT = Ro(SoT)
3. (RoS)-1 = S-1 o R-1
Prof. Ofelia Nazario Bao
EJERCICIOS DE APLICACIN
1. Dadas las relaciones en Z:
R1 =(x,y)/ x2-2y=3 y
R2=(x,y)/xy xy , hallar R1 - R2.
2. Sean A=2,3,8,9 y B=4,6,7;
R1=(x,y)AxB/x2-y=2,
R2=(x,y)BxA/x y.
Hallar Ran(R1) Dom(R2).
3. Dada la relacin
R=(x,y)RxR/ xy2-x2=y2 ,
Hallar Ran(R) Dom(R).
CLASES DE RELACIONES
DEFINIDAS EN UN
CONJUNTO
RELACIONES DEFINIDAS EN UN
CONJUNTO
DEFINICIN
R es una relacin definida en A si y solo si
RA2.
Dado que todo subconjunto de A2 es un
elemento de las partes de A2, podemos decir
tambin que:
R es relacin definida en ARP(A2)
Prof. Ofelia Nazario Bao
GRAFO DE R
1
3
Prof. Ofelia Nazario Bao
CLASES DE RELACIONES
RELACIN REFLEXIVA
Una relacin R:AA es Reflexiva si y solo si,
para todo xA, (x,x)R.
Formalmente:
R:AA es Reflexiva xA:(x,x)R
Tambin:
R:AA es Reflexiva D(A)R
El grafo de una relacion reflexiva
tiene para cada elemento x de A
una arista que une x con si
mismo.
Prof. Ofelia Nazario Bao
EJEMPLOS:
1. Dado A={2,3,4} y las relaciones en A:
R1={(2,2),(3,3),(3,4),(4,4)}
R2={(2,2),(4,4),(2,3)}, tenemos que R1 es
Reflexiva y R2 no los es.
2. La D(A) es una relacin Reflexiva definida
en A.
3. La relacin R={(x,y):xy} es una relacion
Reflexiva definida en R.
RELACIN SIMTRICA
Una relacion R:AA es Simtrica si y solo si,
(x,y)R implica que (y,x)R
Formalmente:
R:AA es Simtrica(x,y)R(y,x)R
Tambin:
R:AA es SimtricaR=R-1.
Si en el grafo de una relacin
simtrica existe una arista del
vrtice x al vrtice y, entonces existe
una arista del vrtice y el vrtice x.
EJEMPLOS:
1. Dado el conjunto A={1,2,3,4} y las
relaciones definidas en A:
R1={(1,1),(1,2),(2,1),(2,3),(3,2),(2,2)}
R2={(1,2),(2,1),(3,3),(4,4),(3,4)}, tenemos que R1
es Simtrica y R2 no.
2. Los conjuntos D(A) y A2 son relaciones
Simtricas definida en A.
3. La relacin R={(x,y):x=y} definida en
Z es Simtrica.
RELACIN TRANSITIVA
Una relacin R:AA es Transitiva si y solo si,(x,y)R y (y,z)R
implica que (x,z)R.
Formalmente:
R:AA es Transitiva(x,y)R(y,z)R (x,z)R
Tambin:
R:AA es Transitiva (RoR) R
y
z
EJEMPLOS:
1. Dado el conjunto A={1,2,3,4} y las
relaciones definidas en A:
R1={(1,1),(1,2),(2,2),(3,1),(4,2),(4,3)}
R2={(1,1),(2,1),(2,2),(1,2),(2,3)}
tenemos que R1 es Transitiva y R2 no.
2. Los conjuntos D(A) y A2 son relaciones
Transitivas definidas en A.
3. El conjunto R={(x,y):xy} es una
relacion Transitiva definida en A.
RELACIN ANTISIMETRICA
Una relacion R:AA es Antisimtrica si y solo
si, si (x,y)R y (y,x)R, implica que x=y.
Formalmente:
R:AA es Antisimtrica (x,y)R(y,x)R x=y
O tambien:
R:AA es Antisimtrica RR-1D(A)
En el grafo de una relacin
antisimetrica para vrtices x e y
distintos no puede haber
simultneamente una arista del vrtice
x al vrtice y, y una arista del vrtice y
al vrtice x.
Prof. Ofelia Nazario Bao
EJEMPLOS:
1. Dado el conjunto A={1,2,3} y las relaciones
en A R1={(1,1),(1,2),(2,3),(2,2)} y R2={(1,2),
(3,3),(1,3),(2,1)}, tenemos que R1 es
antisimetrica y R2 no.
2. Las conjuntos D(A) es una relacin
antisimetrica definida en A.
3. El conjunto R={(x,y):xy} es una relacin
antisimetrica.
RELACIN DE EQUIVALENCIA
Una relacion R:AA es de Equivalencia si y
solo si, R es Reflexiva, Simtrica y
Transitiva.
EJEMPLOS:
1. Dado el conjunto A={1,2,3},la relacin
R={(1,1),(2,2),(3,3),(1,2),(2,1)} es de
equivalencia.
2. Los conjuntos D(A) y A2 son relaciones de
equivalencia definidas en A.
RELACIN DE ORDEN
Una relacion R:AA es de Orden
si y solo si, R es Reflexiva, Antisimtrica y
Transitiva.
EJEMPLOS:
1. El conjunto D(A) es una relacin de Orden definida
en A.
2. El conjunto R={(x,y):xy} es una relacin de Orden
definida en R.
EJERCICIOS DE APLICACION
1. Dado el conjunto A = 3,5,6,7 y
las relaciones R =(x,y)A2 / x y ,
S = (x,y)A2 / x2 y2 25
Determinar cuales de las siguientes
relaciones definidas en A son de
equivalencia:
a) R S
b)
SR
2. Sea A=1,2,3,4,5 y R una relacin de
equivalencia definida en A. Si
R=(1,1),(3,2),(2,2),(5,5),(4,2),(4,4)
,(3,4),
(3,x),(y,x),(z,x),(z,y)
Hallar S=(a,b)R/ a=3.
3. Dada la relacin:
S=(x,y)Z2 / x-y = 2k, kZ+ Verificar
que S es Transitiva.
4. Verificar que la relacin definida en
Z:S=(x,y) / x y es antisimtrica.
5. Sea T=(x,y)ZxZ/ xy es par una
relacin definida en Z. Determinar
el valor de verdad de la siguiente
proposicin: T es Reflexiva;
T es Simtrica y la vez Transitiva.
las
ser
de