UNIDAD 2: Relaciones y Funciones

1. Introducción

Con anterioridad se había introducido el concepto de relación entre los elementos de un

conjunto, como parte indispensable de un sistema matemático. Veamos ahora una
definición más precisa.

Definición de Relación

Es un conjunto bien definido de pares ordenados, en el cuál el conjunto de los elementos

que están en primer lugar se le conoce como dominio de la relación y el conjunto de los
elementos que están en segundo lugar se le conoce como rango de la relación.

2. Propiedades de las relaciones.

Sea R cualquier relación y a,b, c un conjunto de elementos para los cuáles está definida
dicha relación, ésta última puede tener las siguientes propiedades:

a. Reflexiva: si ( a, a ) e R
b. Simétrica: si ( a, b ) e R implica que ( b, a ) e R
c. Transitiva: si ( a, b ) e R y ( b, c ) e R, implica que ( a, c ) e R
†
Ejemplo 1.
† †
† † †
Supongamos que “=” define una relación R en el conjunto S, dónde S = { 1, 2, 3, 4, 5 } .

La relación “=” es reflexiva, simétrica y transitiva.

† ( a, a ) e R†
Reflexiva: para cualquier elemento de S, a = a, por lo que

Simétrica: dados cualesquiera dos elementos de S a, b, si a = b, ello implica que

b = a, así que si ( a, b ) e R , ( b, a ) e R. En este caso particular, a y b son el
mismo número. †

Transitiva: dados los elementos a, b, c de S, si a = b y b = c, entonces a = c

† †
Ejemplo 2.

Supongamos que “<” define una relación R en el conjunto S, dónde S = { 1, 2, 3, 4, 5 } .

† †
 La relación “<” no es reflexiva, no es simétrica pero sí es transitiva.

Existen dos tipos de relaciones que habría que remarcar: las relaciones de equivalencia y las
relaciones lineales de orden.

Relaciones de equivalencia: son relaciones que son simétricas, reflexivas y transitivas.

Relaciones lineales de orden: son relaciones que no son simétricas ni reflexivas pero sí son
transitivas.

3. Funciones.

Definición: Una función es un conjunto de pares ordenados en el cuál cada elemento del
domino está relacionado con uno y solo un elemento del rango.

En otros términos, una función es un conjunto de pares ordenados, dentro de los cuáles no
se repite en ningún caso el primer elemento. Así tenemos que una función es un tipo
especial de relación.

Para cualquier par ordenado ( x, y ) asociado con una función, se dice que x es la variable
independiente y y la variable dependiente. También se dice que la variable dependiente es
función de la variable independiente, esto es, y es función de x y su notación es:

y=f(x)

4. Dominio y rango.

Para definir una función en términos apropiados, se requiere establecer cuál es el dominio
de la variable independiente y a través de la función que se tenga definida, se puede
establecer el rango de la variable dependiente. Al menos que se especifique de otra forma,
tanto el dominio como el rango de las funciones serán subconjuntos de los números reales.

Ejemplo 1.

Sea la función F = { ( x, y ) / y = x + 2 }, el dominio de la variable independiente es el

conjunto de los números reales, esto es, x puede sustituirse por cualesquier número real y a
través de la función se generará otro número real correspondiente a la variable dependiente
y.
Ejemplo 2.

Para la función F = { ( x, y ) / y = x + 2 }, el dominio contiene únicamente números

reales mayores o iguales a –2, ya que cualquier número real menor a –2 al sustituirse en la
función daría como resultado la raíz de un número negativo y y no sería un número real.
†