RELACIONES Y FUNCIONES

1
Concepto de Relación
 Una relación es una correspondencia. A
un elemento le corresponde otro.
Par Ordenado
 Un par ordenado es una dupla que se escribe como
(a, b ) donde
a : 1° componente denominada Abscisa
b: 2° componente denominada Ordenada.
Ejemplo:
( Nombre, N° de Celular)
( Articulo, código )
(paciente, Ficha clínica)
Plano cartesiano -Par ordenado
 Producto Cartesiano
Es un conjunto de pares ordenados
provenientes de los conjuntos A y B no
vacios. Se denota por A  B
A  B =  a , b  a  A  b  B 

Ej. A = a , b B = 1,2
A  B =  a , 1 (a,2) (b,1) (b,2) 

5
 Relación
 En matemáticas una relación es la
correspondencia de elementos del primer
conjunto, con elementos del segundo conjunto
 Es un subconjunto de A  B
 Se denota por  : A  B
Ej.
A  B =  a , 1 (a,2) (b,1) (b,2) 
 =  a , 1 (b,2) 
6
 Ejercicio
Dados los conjuntos C = {1, –3} y D = {2, 3, 6}
Determinar C x D y encontrar todos los pares ordenados (x, y) que satisfagan la
relación
R = {(x, y) / x + y = 3}
Solución
 El producto cartesiano de C x D está formado por los siguientes pares
ordenados
C x D = {(1, 2), (1, 3), (1, 6), (–3, 2), (–3, 3), (–3, 6)}

 Las parejas ordenadas que satisfacen que la Relación ( suma de sus

componentes sea igual a 3) son:

R = {(1, 2), (–3, 6)}

7
 Conceptos
DOMINIO
 El dominio de una relación R es el conjunto
de las primeras componentes (abscisas) de
los pares ordenados de la relación.
 Es el conjunto de las preimágenes, es la parte
que tomo del conjunto de partida.
 En símbolos:
R: A B
DomR   x  A /( x, y )  R

8
 Conceptos
DOMINIO
 Ejemplos:

1) R  (2,3), (5, 7), (1, 1), (3, 4)

DomR  2,5,1,3

2) S  ( José , María), ( Sebastián, Elena), ( Romeo, Julieta)

DomS   José , Sebastián, Romeo

9
 Conceptos
DOMINIO

¿Cuál es el
dominio de
la relación?
DomR  0,1, 2

El elemento 3 no es parte del dominio pues no

está asociado a ningún elemento, es decir, no
pertenece a la relación.
10
 Conceptos
RECORRIDO/RANGO
 El recorrido de una relación R es el conjunto
de las segundas componentes (ordenadas) de
los pares ordenados de la relación.

 Es el conjunto de las imágenes, es la parte

que tomo del conjunto de llegada.

 En símbolos: R: A B
Re cR   y  B /( x, y )  R
11
 Conceptos
RECORRIDO/RANGO
 Ejemplos:

1) R  (2,3), (5, 7), (1, 1), (3, 4)

Re cR  3, 7, 1, 4

2) S  ( José , María), ( Sebastián, Elena), ( Romeo, Julieta)

Re cS  María, Elena, Julieta

12
 Conceptos
RECORRIDO/RANGO

¿Cuál es el
recorrido de
la relación?
Re cR  a, b, d

El elemento “c” no es parte del recorrido pues

no tiene asociado ningún elemento, es decir, no
pertenece a la relación.
13
Representación gráfica de una Relación

 Una relación se puede graficar usando

un sistema cartesiano o un diagrama
sagital ( diagramas de flechas).

14
 Relación Inversa
 Sea  una relación en A  B. Un
subconjunto de B  A formado por los pares
ordenados (b,a) tales ( a,b) 
Se llama relación inversa de  y se denota
 1
1
 :B A
  (b, a)  B  A / ( a, b)  A  B
1

15
 Ejemplo
 Sea A = 1,2,3 y   A  A

= (1,2) (1,1) (3,1) 

 1 = (2,1) (1,1) (1,3) 

16
Ejercicio:
 Si T  R  R


T  ( x , y)  R 2
/ 2x  y  6 
entonces
T 1

 ( x , y)  R 2
/( y, x )  T 
T 1
 ( x , y)  R 2
/ 2y  x  6 
17
 Función
 Una Función es una relación a la que se
añade la restricción de que a cada valor del
Dominio le corresponde uno y sólo un
valor del recorrido.
 (Todas las funciones son relaciones, pero
no todas las relaciones son funciones)

18
 Definición
FUNCIÓN
 Dada una relación F: A -> B , ésta es función
si y sólo si cada elemento de A tiene imagen
única en B.
En palabras En símbolos matemáticos
 El dominio de F es todo el Dom(f) = A
conjunto A
•Todo elemento se A tiene una
única imagen en B

19
1.) Restricciones de la función
 El dominio de la función es A
A = {1,2,3, 4}

Dominio de g(x) = {1,2,3}

g(x) no es función ya que

Dominio de g(x) ≠ A

20
2.) Restricción de la función
 Todo elemento se A tiene una única
imagen en B

h(x) no es función ya
que 1 tiene dos
imágenes

21
 FUNCIÓN
 En un gráfico sagital, una relación es función
si de TODOS los elementos del primer
conjunto sale UNA SOLA flecha.
A f B A f B

2 2
1 1
4 4
2 2
6
3 3
7

22
Formas de representar una
función

23
 Reconocimiento de una función
según su grafica
 Si una recta vertical en el plano
cartesiano intersecta solo a un punto de
la curva, la grafica es una función.

24
Curvas que no son funciones

25
1.- Función constante
F(x) = c ; c  Reales

Dominio f = R
Recorrido f =  k 
 2.- Función Identidad
F(x) = x xR

Dominio f = Reales

Recorrido f = Reales
3.- Función Cubica

Dominio = Reales

Recorrido = Reales
 4.- Función valor absoluto

Dominio = Reales Dominio = Reales

Recorrido = 0 ,+   Recorrido = 0 ,+  29

5.- Función racional

30
 Valorización de funciones
 Dada una función f(x) se pide encontrar la
imagen del valor dado.

1) f(x) = 3x -6, encontrar f(5) ; f(c) ;f(a+b)

2)

31
 Funciones Inversas
No todas las funciones tienen inversa.
 Para que la función tenga inversa la
función debe ser biyectiva, es decir debe
cumplir dos condiciones:
 Inyectiva (ó 1 a 1)
 Epiyectiva (ó sobre)

La función inversa se denota por f-1 (x)

f -1 es la función inversa de f ssi  (a ,b) ∈ f → (b ,a) ∈ f-1

32
Calculo de la función inversa

33
 Función Inyectiva
Las funciones inyectivas son aquellas en que ningún elemento
del recorrido es imagen de más de un elemento del dominio, es
decir, no existen dos o más preimágenes que vayan a dar a la
misma imagen.
A f B

2
1
4
2

Si es inyectiva
No es inyectiva
 Funciones Sobreyectivas o Epiyectivas

Las funciones sobreyectivas son aquellas en que todos los

elementos del codominio ( conjunto de llegada) son imágenes
de a lo menos un elemento del dominio, es decir, todo
elemento del conjunto B tiene al menos una preimagen en A.
El Rec(f) = B
A f B A f B

2 2
1 1
4 4
2 2
6
3 3
7

Si es Epiyectiva No es Epiyectiva
Funciones Biyectivas

Las funciones biyectivas son todas aquellas que son

inyectivas y sobreyectivas al mismo tiempo, es decir,
cada imagen tiene una y solo una preimagen y no
existen elementos del codominio que no tengan
preimagen.