MD1 Curso 2000 RELACIONES Y FUNCIONES

Este repartido es para uniformizar vuestras definiciones de relaciones y funciones, tendiendo

a no hacer mucho nfasis sobre los aspectos lgicos y formales.
Esperamos que le sea de utilidad a la hora de hacer los ejercicios de prctico.
De todos modos, se les recomiendo hacer las matrices y diagramas adecuados a los fines de
estudiar bien las diversas propiedades que se les piden hallar.
1. Relaciones.
ara los conjuntos !, " , el producto cartesiano, de ! y " se denota con " !
y se define como " ! # $%a, b& tales que a !, b "'
Decimos que los elementos de " ! son pares ordenados.
(e define que para todo a ! )a* # $y ", a y'
ara los conjuntos !, " , cualquier subconjunto de " ! es una relacin de ! en ".
+ualquier subconjunto de ! ! es una relacin binaria en !.
De ahora en adelante trabajaremos con el conjunto ! # $,, -, .'.
RELACION REFLEXIVA
/na relacin sobre un conjunto ! es reflexiva si para todo a !, %a,a& .
Ej. 0 /na relacin
,
! ! es refle1iva si y solo si
,
$%,,,&, %-,-&, %.,.&'. En
consecuencia la relacin $%,,,&, %-,-&, %.,.&, %,,-&' es una relacin refle1iva sobre !,
mientras que $%,,,&, %-,-&' no lo es.
RELACION IRREFLEXIVA
/na relacin sobre un conjunto ! es irreflexiva si para todo a !, %a,a& .
Ej. 0 la relacin

# $%,,-&, %,,.&, %-,,&' es irrefle1iva por que faltan todos los elementos
$%,,,&, %-,-&, %.,.&'.
CUIDADO: 2o pensar que 3no refle1iva4 es sinnimo de irrefle1iva0
Ej. 0 la relacin # $%,,,&, %-,-&, %,,.&' no es ni refle1iva ni irrefle1iva.
RELACION SIMERICA
/na relacin sobre un conjunto ! es simtrica si cada vez que aparece %a, b& en la relacin
tiene que aparecer %b, a&
Ej. 0 las relaciones
,
y
-
definidas como
,
# $%,,,&, %-,-&, %.,.&' y
-
# $%,,,&, %-,-&,
%.,.&, %-,.&, %.,-&' son dos relaciones sobre ! que son simtricas %adems de ser
refle1ivas&.
5a relacin
.
# $%,,,&, %-,.&, %.,.&' es una relacin sobre ! que no es simtrica %y
tampoco refle1iva&.
1 ! "
MD1 Curso 2000 RELACIONES Y FUNCIONES
RELACION ASIMERICA
/na relacin sobre un conjunto ! es asimtrica si cuando aparece %a,b& en entonces no
aparece %b,a&.
Ej.0 $%,,,&, %-,-&' no es asimtrica6 $%,,.&, %,,-&' es asimtrica.
En los diagramas cuando hay 3loops4 la relacin no es asimtrica.
RELACION ANISIMERICA
/na relacin sobre un conjunto ! es antisimetrica si 0
para todos a, b ! tales que %a, b& y %b, a& a # b
Ej. 0 el mejor ejemplo es considerar el conjunto de las partes de !, %!& con la relacin
definida por x y sii x y %ejercicio&.
CUIDADO0 no piensen que 3no simtrico4 es sinnimo de antisimetrico
Ej. 0 5a relacin sobre ! dada por $%,,-&, %-,,&, %-,.&' no es simtrica pues %.,-&
y tampoco es antisimetrica, ya que %,,-& y %-,,& pertenecen a pero , -.
5a relacin $%,,,& %-,-&' es a la vez simtrica y antisimetrica.
RELACION RANSIIVA
/na relacin sobre un conjunto ! es transitiva si para todos a, b, c en !,
%a, b&, %b, c& entonces %a, c& pertenece a . %!s7, si a 3esta relacionado con4 b, y b 3esta
relacionado con4 c queremos que a 3est relacionado con4 c, donde b juega el papel de
3intermediario4.
Ej.0 (i ahora considero el conjunto ! #$,, -, ., 8' la relacin $%,,,&, %-,.&, %.,8&, %-,8&' es una
relacin transitiva sobre !, mientras que la relacin $%,,.&, %.,-&' no es transitiva, ya que
%,,.&, %.,-& pero %,, -& .
CONCLUSION:
! la hora de definir si una relacin es refle1iva, irrefle1iva, asimtrica, simtrica,
antisimetrica, transitiva, ustedes tienen que tener bien presentes el conjunto sobre el cual
trabajan y tambin la relacin e1acta que se les menciona, gran parte de las dificultades que se
les presenta esta debido a que encuentran contraejemplos que no estn en la relacin.
Nota: la relacin definida sobre ! # $,, -, .'por $%,,,&, %-,-&,%.,.&' es a la vez refle1iva,
simtrica, antisimetrica y transitiva. 9+urioso, no:
En realidad es la relacin identidad, vern que si hacen la matriz que vieron en terico,
cumple todas las propiedades que se requieren para probarlo.
MD1 Curso 2000 RELACIONES Y FUNCIONES
2 ! "
RELACION DE E#UIVALENCIA
/na relacin de equivalencia sobre un conjunto ! es una relacin que es reflexiva,
simtrica y transitiva.
Ej.0 ver practico 8 ejercicios ,; a ,..
RELACION DE ORDEN $ARCIAL
/na relacin sobre un conjunto ! es una relacin de orden parcial si es reflexiva,
antisimetrica y transitiva.
Ej.0 ver practico 8.
2. Funciones
DEFINICI%N
/na funcin f de ! en " % es decir con dominio ! y codominio "& es una relacin de " !
tal que0 i< el dominio de f es !6
ii< )a* # , para todo a !.
FUNCION INYECIVA
f es inyectiva sii para todo a y b pertenecientes a ! se tiene que f%a& # f%b& a # b.
En otras palabras, siempre tiene que ocurrir que a imgenes iguales les corresponda
preimagenes iguales.
Ej.0 se puede verificar fcilmente que la funcin 1
-
1 definida de R en R no es inyectiva,
pero que si lo son todas las funciones del tipo f%1& # a1 = b %con a ;& definida de R en R.
%Ejercicio0 9es cierto para los dems dominios usuales:&
FUNCION SO&REYECIVA
f es sobreyectiva si para todo b perteneciente a " e1iste por lo menos un a perteneciente a !
tal que f%a& # b.
En otras palabras todos los elementos del codominio estn alcanzados.
Ej.0 f0 ' ' definida por f%x& # x > . es sobreyectiva, pero ojo que la funcin g definida
%siempre de ' en '& por g%x& # -x > . no es sobreyectiva %probarlo&.
MD1 Curso 2000 RELACIONES Y FUNCIONES
" ! "