Semestre 1

DEPARTAMENTO DE MATEMÁTICA
Guía N°2/2021 3° Medio: Límites, derivadas e integrales
Relaciones que son funciones Coordinador: David Caldera Bustos

Nombre: ________________________________________________

RELACIONES

Anteriormente, se definió una relación R entre elementos de dos conjuntos A y B (no necesariamente
distintos) como un subconjunto impropio1 del producto cartesiano entre dichos conjuntos A y B. Los
elementos que forman parte de este conjunto Relación son pares ordenados que asocian elementos
de A con elementos de B. La cardinalidad de este conjunto depende de la cantidad de condiciones
que determinan los pares ordenados de elementos.

Ejemplo:

Sean A y B los conjuntos tales que V  a,b, c, d, e y H  1, 2,3, 4,5 . En la versión primitiva que se
jugaba años atrás del juego Batalla Naval, cada uno de los dos contrincantes disponían de un tablero
de 5x5 (dibujado en una hoja de papel) donde distribuían sus naves y se turnaban para hundir a la
flota enemiga. Disponían de 8 naves distintas, las cuales ubicaban en distintos puntos del tablero
(existen otras versiones con tableros más grandes, de modo que los distintos tipos de naves abarcan
más de un “cuadro” del tablero). A continuación, la configuración de las naves de dos rivales (cada
participante desconoce la ubicación de las naves rivales, pero va dictando coordenadas al azar para
ver si ese “proyectil” acierta a su objetivo).

Leyenda en los tableros: A = acorazado, L = lancha, P = portavión, S = submarino.

Si consideramos las relaciones R1 y R2 como los puntos del tablero en donde se encuentra alguna
nave, éstas pueden expresarse por extensión de la siguiente manera:

R1   a, 4 , b,2  , b,5 ,  c,1 , c,3  ,  d, 4  ,  e, 2  ,  e,5

R 2   a, 2 ,  a,3  ,  a,5  ,  c, 3 ,  d,1 ,  d,5  ,  e,1 ,  e, 4 

Resulta sencillo verificar que R1 ,R 2  V  H pues solo se han ocupado algunos cuadros del
tablero. Notar que las relaciones son distintas pues sus elementos son distintos.

1
Se define un subconjunto impropio A dentro de un conjunto B como aquel subconjunto en el que todos los elementos
de A son elementos de B y además no existe ningún elemento de B que no pertenece a A.
 FUNCIONES

En la vida cotidiana, es posible presenciar fenómenos que involucran ciertas variables.

Por ejemplo: volumen de agua caída versus tiempo transcurrido en una cierta localidad, altura que
alcanza una pelota lanzada verticalmente hacia arriba versus tiempo transcurrido, tarifa a pagar en
un taxi versus cantidad de metros recorridos, por mencionar algunas situaciones.

Formalmente, dada una relación R, definida de A en B (conjuntos no vacíos) se dice que R es

función si y solo si cumple con las siguientes condiciones:

i. Dom R   A .
ii. a  A, !b  B / R  a  b .

Las condiciones pueden interpretarse como sigue:

i. Todo elemento del conjunto de partida debe ser preimagen de algún elemento del
codominio o conjunto de llegada.
ii. Todo elemento del conjunto de partida debe tener solo una imagen asociada.

Ejemplos: Diagramas sagitales

La relación f NO es una función pues no cumple

ambas condiciones en forma simultánea.

 Sí se cumple que Dom  f   A , ya que

todos los elementos del conjunto A son
preimágenes de algún elemento del
conjunto B (desde todos “salen” flechas).
 No se cumple que
a  A, !b  B / R  a  b , pues al menos
un elemento de A tiene más de una
imagen (flecha) asociada.

La relación f NO es una función pues no cumple

ambas condiciones en forma simultánea.

 No se cumple que Dom  f   A , ya que

c  A no es preimagen de ningún
elemento del conjunto B.
 No se cumple que
a  A, !b  B / R  a  b , pues al menos
un elemento de A no tiene imagen única.

La relación f SÍ es una función pues cumple

ambas condiciones en forma simultánea.

 Sí se cumple que Dom  f   A , ya que

todos los elementos del conjunto A son
preimágenes de algún elemento del
conjunto B.
 Sí se cumple que
a  A, !b  B / R  a  b , pues cada
elemento de A tiene una sola imagen
asociada.
Ejemplos: Sistema de coordenadas cartesianas

La relación f NO es una función pues

no cumple ambas condiciones en
forma simultánea.

 No se puede determinar si
Dom  f   A , ya que los puntos
muestran solo aquellos
elementos del conjunto de
partida que tienen imagen. Si
existe alguno sin imagen, no
se sabe.
 No se cumple que
a  A, !b  B / R  a  b , pues
al menos un elemento de A
tiene más de una imagen
asociada. En este caso, hay al
menos dos puntos con la
misma abscisa.

La relación R SÍ es una función pues

cumple ambas condiciones en forma
simultánea.

 Sí se cumple que Dom R   A ,

ya que la representación de la
relación es una recta. Las
rectas son infinitas en ambos
sentidos por lo que dicha
relación recorre todo el eje X,
es decir, todos los elementos
del conjunto de partida son
preimágenes del algún
elemento de B.

 Sí se cumple que a  A, !b  B / R  a  b . Una forma de probarlo es trazando rectas

paralelas al eje de las ordenadas en forma arbitraria. Si dichas rectas cortan en un solo
punto a la relación, entonces sí se cumple que cada preimagen tiene una única imagen
asociada. La recta punteada se ubica en un valor determinado de X, por lo que, si la relación
la corta en solo un punto, quiere decir que para ese valor en X, hay un solo valor en Y
asociado mediante R.
EJERCICIOS RESUELTOS

1. Considere la relación f representada por el siguiente diagrama sagital. Demuestre si es una

función o solo es una relación.

 No se cumple que Dom  f   A , ya que

b  A no es preimagen de ningún
elemento del conjunto B.
 No se cumple que
a  A, !b  B / R  a  b , pues b  A no
tiene imagen asociada.

La relación f NO es una función pues no cumple

ambas condiciones en forma simultánea.

2. Considere la relación f representada por el siguiente diagrama sagital. Demuestre si es una

función o solo es una relación.

 Sí se cumple que Dom  f   A , ya que

todos los elementos de A son
preimagen de algún elemento del
conjunto B.
 Sí se cumple que
a  A, !b  B / R  a  b , pues cada
elemento de A tiene una sola imagen
asociada.

La relación f SÍ es una función pues cumple

ambas condiciones en forma simultánea.

3. Considere la relación f representada por el siguiente gráfico en el plano cartesiano.

Demuestre si es una función o solo es una relación.

 Sí se cumple que Dom  f   A . En este

caso, se debe considerar al conjunto A
como  0 . En la gráfica se aprecia que
ambas ramas se abren tomando cada
vez valores mayores sin límite alguno.
 No se cumple que
a  A, !b  B / R  a  b . En este caso,
se puede trazar una recta paralela al eje
de las abscisas y verificar que corte a la
relación en solo un punto. En este caso,
se escogió la recta x  4 y se trazó en el
plano cartesiano. Al intersecar a la curva
en  4, 2 y  4,2  , concluimos que
4  Dom  f  tiene más de una imagen.

La relación f NO es una función pues no cumple ambas condiciones en forma simultánea.

4. Considere la relación f representada por el siguiente gráfico en el plano cartesiano.
Demuestre si es una función o solo es una relación.

 Sí se cumple que Dom  f   A . En este

caso, se debe considerar al conjunto A
como  . En la gráfica se aprecia que la
rama izquierda toma cada vez valores
más pequeños sin límite alguno,
mientras que la rama derecha toma cada
vez valores más grandes sin límite
alguno.
 Sí se cumple que
a  A, !b  B / R  a  b . En este caso,
se puede trazar una recta paralela al eje
de las abscisas y verificar que corte a la
relación en solo un punto. En este caso,
3
se escogió la recta x   y se trazó en
2
el plano cartesiano. Al intersecar a la
3 9
curva en 2, 8 , concluimos que
 
3
  Dom  f  tiene solo una imagen.
2

La relación f SÍ es una función pues cumple ambas condiciones en forma simultánea.

EJERCICIOS PROPUESTOS

1. Dadas las siguientes relaciones, determine si son además funciones, o solo relaciones.

a) b)

c) d)

e) f)

2. Dadas las siguientes relaciones, determine si son además funciones, o solo relaciones.

a) b)

c) d)

e) f)
3. Dadas las siguientes relaciones, determine si son además funciones, o solo relaciones.

a) R1   x, y   2 | x  y .
b) R 2   x, y   2 | 2x  y  0 .
c) R 3   x, y   2 | x2  y2  10 .
d) R 4   x, y   2 | x   12,12 .
e) R 5   1,1  1,5  .
f) R 6    a, a , a   .

4. Determine si las siguientes relaciones definen una función en el conjunto especificado.

a) R1  1, 2  , 2, 3 , 3, 4  , 1, 4  ,  6, 9  en  .

b) R 2   x, y   2 | y  2x  1 en  .
c) R 3  2, x  | x   en  .
d) R 4   x, y   2 | x  y2  en  .

5. Muestre a través de un contraejemplo que las siguientes relaciones no son funciones.

a) R1   x, y   2 | x2  y2  1 .
b) R 2   x, y   2 | 1  x  3  1  y  5 .

6. Sean los conjuntos A  a,b, c y B  0,1 . Determine todas las funciones distintas que se
forman de A en B.

7. Dados los conjuntos A  1,2, 3, 4,5 y B  a,b, c, d , y la relación

R  A  B  1, a , 2, c  , 1, c  ,  4,b  , 5, a ,  4, d , agregue o elimine la menor cantidad de
elementos de tal modo que R sea una función.