RELACIONES Y

FUNCIONES

SUBCONJUNTO
Sean A y B dos conjuntos. Al conjunto
A se le llama un subconjunto de B si
todo elemento de A es tambin
elemento de B. Sin embargo, no todo
elemento de B necesita ser un
elemento de A. Esto se expresa como :

AB

TUPLA
Son objetos colocados en cierto orden.
Se utilizan para organizar datos. La tupla
ms comn es el par.
Si (x, y) es un par, entonces es frecuente
limitar x a un conjunto de A e y a un
conjunto de B.
El conjunto de todos los pares posibles
que se pueden obtener se llama
producto cartesiano de A y B.

PRODUCTO CARTESIANO
Sean A y B dos conjuntos. El conjunto
de todos los pares ordenados tal que
el primer miembro del par ordenado
es un elemento de A y el segundo
miembro es un elemento de B, se
llama el producto cartesiano de A y B
y se escribe
A X B.
A X B = { (x,y) | (x A) & (y B)}

RELACIONES
Las relaciones son conjuntos, por lo
tanto se puede usar la representacin
de conjuntos para representar
relaciones.
Una relacin n-aria es un conjunto de
n-tuplas. Las relaciones binarias con
conjuntos de pares

REPRESENTACION DE
RELACIONES
Forma

tabular

Forma

Matricial

Forma

Grfca

R={(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),
(3,4),(4,4) }
1Representacin
2
3 tabular
4

Representacin matricial
1 2 3 4
1 1 1 1 1
2 0 1 1 1
3 0 0 1 1
40 0 0 1
Representacin grfca
1
3

2
4

PROPIEDADES DE LAS
RELACIONES

RELACIONES REFLEXIVAS
Si todo elemento en A est
relacionado con sigo mismo, con
smbolos:
( x A) (x,x) R
Reflexiva
1 0 1
0 1 0
1 0 1

RELACIONES SIMETRICAS
Si cuando un elemento est
relacionado con un segundo elemento,
el segundo tambin se relaciona con el
primero, con smbolos:
( x)( y) ((x,y) R (y,x) R)
Simtrica
1 0 1
0 1 0
1 0 0

RELACIONES ASIMETRICAS
Si cuando un elemento est
relacionado con un segundo
elemento diferente, el segundo
no se relaciona con el primero,
con smbolos:
( x)( y) ((x,y) R ^ x y)
(y,x) R) ANTISIMETRICA
0
0
0

0
1
1

1
0
0

RELACIONES TRANSITIVAS
Si cuando un elemento est
relacionado con un segundo elemento
y el segundo est relacionado con un
tercero, entonces el primero est
relacionado con el tercero:
( x)( y)( z)((x,y) R ^ (y,z) R) (x,z) R)
2
1

FUNCIONES

FUNCION
Una funcin es una
correspondencia entre dos
conjuntos tales que existe
exactamente un elemento del
segundo conjunto asociado con
cada elemento del primero. Al
primer conjunto e elementos se
le llama dominio y al segundo
rango.

A={1,3,5,7}
B={2,4,6,8}

La tabla muestra una funcin ya

que para cada elemento de el
conjunto A corresponde
exactamente uno del B

INDUCCION MATEMATICA

Este procedimiento de demostracin

de frmulas cuantifcadas
universalmente, verifca primero que
se cumple para los casos llamados
bsicos, y despus, suponiendo que se
cumple para los casos anteriores, se
verifca para un elemento tpico x
arbitrario. Este ltimo paso es llamado
``inductivo''. Se concluye entonces
que la frmula vale para cualquier x.

La

induccin es un razonamiento
que permite demostrar una
infnidad de proposiciones, o una
proposicin que depende de un
parmetro n que toma una
infnidad de valores, usualmente
en el conjunto de los enteros
naturales N.