Professional Documents
Culture Documents
1.
Conjunto Producto
Un par ordenado (a, b) es una secuencia de dos objetos a y b en un orden prescrito,
donde a es el primer termino y b el segundo.
Los pares ordenados (a1 , b1 ) y (a2 , b2 ) son iguales si y solo si a1 = a2 y b1 = b2 .
Sean A y B dos conjuntos no vacos, se define el conjunto producto o producto
cartesiano A B como el conjunto de todos los pares ordenados (a, b) con a A y
b B. A B = {(a, b)|a A b B}
Para dos conjuntos finitos no vacos cualesquiera A y B, |A B| = |A||B|.
2.
Relaciones Binarias
Definici
on: Sean A, B conjuntos no vacos. Una relacion binaria R de A en B es un
subconjunto de A B.
Se usa aRb y para denotar que (a, b) R. En tal caso se dice que a esta relacionado
con b por medio de R. aR
/ b se lee a no esta relacionada con b.
El dominio de R denotado por Dom(R) es el conjunto de elementos formado por las
primeras componentes de los pares ordenados de R.
El rango de R denotado por Ran(R) es el conjunto de elementos formado por las
segundas componentes de los pares ordenados de R.
Sea R una relaci
on de A en B. La relaci
on inversa de R denotada por R1 se define
com, R1 = {(y, x)|(x, y) R}
Sea R una relaci
on de A en B. La relaci
on complementaria de R denotada por R
se define como, R = {(x, y)|(x, y)
/ R (x, y) A B}
Sean R una relaci
on de A en B, y S una relacion de B en C, la relaci
on compuesta
S R se define como, S R = {(x, z) A C| y B para el cual se cumple
que, (x, y) R (y, z) S}
Ya que las relaciones son conjuntos, todas las operaciones de conjuntos se aplican a
ellas.
3.
Representaci
on de Relaciones usando Matrices Booleanas
Sean A = {a1 , a2 , . . . , ap } y B = {b1 , b2 , . . . , bn } dos conjuntos finitos que contienen
p y n elementos y R una relacion de A en B. La matriz MR = [mij ] se define por:
(
mij =
3.1.
si (ai , bj ) R
si (ai , bj )
/R
Manipulaci
on de Relaciones usando Matrices Booleanas
Complemento:MR = MR = [mij ], MR = [rij ],
(
mij =
1 si rij = 0.
0 si rij = 1.
Uni
on: MRS = MR MS = [mij ].MR = [rij ], MS = [sij ],
mij =
(
1 si rij = 1 sij = 1.
0 caso contrario
Intersecci
on: MRS = MR MS = [mij ]. MR = [rij ], MS = [sij ],
mij =
(
1 si rij = 1 sij = 1.
0 caso contrario
4.
Representaci
on de Relaciones usando Digrafos
Definici
on: Un grafo dirigido, o digrafo, consta de un conjunto V de vertices (o
nodos) y un conjunto E de pares ordenados de elementos de V llamados aristas (o
arcos). Dada la arista (a, b), al vertice a se le llama v
ertice inicial de la arista y al
vertice b se le llama v
ertice final de esta arista.
Cada elemento de un conjunto se representa por un nodo, y cada para ordenado de la
una relaci
on mediante un segmento orientado, cuyo sentido se indica con un fecha.
Una trayectoria en R de a a b es una secuencia a, x1 , x2 , . . . , xn 1, b que comienza
con a y termina con b, tal que
aRx1 , x1 Rx2 , . . . , xn1 Rb.
En un digrafo, una trayectoria se puede recorrer siguiendo los arcos entre los nodos
que componen la trayectoria. La longitud de una trayectoria es el n
umero de arcos
que hay en la misma, en donde los vertices no necesitan ser los mismos.
xRn y significa que hay una trayectoria de longitud n de x hacia y en R
En particular xR2 y significa que hay una trayectoria de longitud 2 de x hacia y en R.
MR 2 = MR MR .
La trayectoria que comienza y termina con el mismo vertice se llama ciclo.
5.
MR1 = 0
1
0
0
1
1
1
1
1
0
MR3 =
MR2
= 0
0
0
0
MR4 =
0
1
1
0
1
1
0
0
1
0
1
1
0
0
1
1
MR5 =
0
0
0
1
0
0
0
0
1
1
0
0
1
0
1
0
MR6 =
1
0
0
0
0
1
0
0
0
1
1
0
1
0
0
1
0
0
0
0
1
0
0
0
1
1
0
0
1
0
1
0
Ejemplo 5.2 Determine que propiedades se cumplen para los siguientes digrafos.
6.
7.
Funciones
Sean A y B conjuntos no vacos . Una funcion f de A en B, denotada por f : A B
es una relaci
on de A en B en la que cada elemento de A aparece exactamente una
vez como la primera componente de un par ordenado en la relacion. En particular, el
par (a, b) de una funci
on f se escribe como f (a) = b.
Sea f una funci
on de A en B, A es llamado dominio de f y B es llamado codominio de
f . Si f (a) = b, decimos que b es la imagen de a, y a es la preimagen de b. La imagen
de f es el conjunto de todas las imagenes de elementos de A.
7.1.
7.2.