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 " ! "