Funciones: Aspectos bsicos

Nombre: Curso: ..

Producto cartesiano
En teora de conjuntos, el producto cartesiano de dos conjuntos es una operacin que resulta en otro
conjunto cuyos elementos son todos los pares ordenados que pueden formarse tomando el primer
elemento del par del primer conjunto, y el segundo elemento del segundo conjunto.
Por ejemplo, dados los conjuntos A = {1, 2, 3, 4} y B = {a, b}, su producto cartesiano es:
A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b)}
B x A = { (a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b, 3), (b, 4)}

Se puede distinguir que el producto cartesiano A x B no es lo mismo que B x A

Relacin binaria, subconjunto del producto cartesiano

Al tener por ejemplo los conjuntos A={,3, 4, 5} y B={1, 2, 3, 4} podemos definir una relacin binaria
en A x B, por ejemplo: mayor que, que se puede expresar:
R= { (a,b) e A x B / a > b }
Al escribirla por extensin resulta R={ (3,1), (3,2), (4,1), (4,2), (4,3), (5,1), (5,2), (5,3), (5,4)}
Donde los pares ordenados que definen la relacin binaria son un subconjunto del producto
cartesiano de los conjuntos. Se puede advertir que no todos los pares ordenados de A x B estn en
esta relacin, eso depende si cumplen la condicin o no la cumplen. Por ejemplo, (3,4) no se
encuentra en la relacin, pues 3 no es mayor que 4.
Con estos antecedentes bsicos, podemos adentrarnos un poco ms en la idea de funcin, la cual
podemos apreciar en distintos formas de representacin, ya sea: por diagramas sagitales, tablas,
grficas o representaciones algebraicas.

Diagramas sagitales.
Son una representacin de relaciones matemticas a travs de diagramas de Ven. Estas relaciones
en algunos casos pueden o no, ser funciones.

Nota: Toda funcin es una relacin, pero no toda relacin es una funcin.

En el siguiente diagrama, tenemos una relacin entre pinceles y caritas pintadas

En qu fijarnos para saber si es una funcin?

1) En la orientacin de la flecha. Esto nos indicar el sentido que tiene la relacin (salida, llegada).
2) Existencia de imagen. Debemos fijarnos en que ningn elemento del conjunto de salida este
libre, de lo contrario, inmediatamente podemos decir que dicha relacin NO ES FUNCIN.
3) Imagen nica. Una vez que corroboremos que cumple la condicin anterior, debemos fijarnos
que la imagen sea nica. En este caso, desde un pincel, se puede llegar slo a una carita.

Ejemplos:

1) Nos fijamos la orientacin de la flecha

2) en el conjunto de salida quedan elementos libres? NO

Pasamos al paso 3
3) la imagen es nica? En este caso el pincel azul, tiene dos
imgenes.

LA RELACIN NO ES FUNCIN

1) Nos fijamos en la flecha

2) en el conjunto de salida quedan elementos libres? SI

LA RELACIN NO ES FUNCIN
(no es necesario pasar al paso 3)

1) Nos fijamos en la flecha

2) en el conjunto de salida quedan elementos libres? NO

Pasamos al paso 3
3) la imagen es nica? SI

LA RELACIN ES UNA FUNCIN

Los elementos del conjunto de llegada pueden quedar libres. Tambin desde distintos elementos de
salida, coincidir con el de llegada (como en el ltimo ejemplo).
Representaciones grficas de funciones

Para analizar si una grfica es una funcin o no, es tan fcil como realizar lneas verticales y verificar
si estas tocan a la grfica en ms de un punto. En caso de tocar en ms de un punto, de inmediato
sabemos que dicha grfica no es una funcin.

Esta grfica NO ES UNA FUNCIN, pues hay lugares

donde al trazar una lnea vertical, esta lnea toca a la
grfica en ms de un punto.

Esta grfica SI ES UNA FUNCIN, pues al trazar una

lnea vertical, siempre esa lnea toca a la grfica
solamente en un punto.

Evaluacin de funciones

Consiste simplemente en reemplazar, de acuerdo a lo que la funcin nos indica. Por ejemplo para
la funcin f(x) = 3x +5

Si deseamos calcular f(2), debemos reemplazar x=2 en la funcin, es decir,

f(2) = 3(2) + 5= 6 + 5 = 11 entonces podemos decir que f(2) = 11

2 corresponde a la pre-imagen y 11 a la imagen

Si deseamos calcular f(a+1) debemos reemplazar x= a+1 en la funcin, es decir

f(a+1) = 3(a+1) +5 = (3a + 3) + 5 = 3a + 8 , entonces f(a+1) = 3a + 8

Dominio y Codominio y Recorrido

Conceptos relacionados a funciones son su dominio, codominio y recorrido. Se utilizan estos tres
conceptos principalmente en ejercicios de diagramas sagitales, puesto que cuando se trata de
ejercicios algebraicos, lo ms comn es trabajar con dominio y recorrido.

Dominio de la funcin
Dom f= {a, b, c, d} (elementos del conjunto de salida)

Codominio de la funcin
Cod f= {1, 2, 3, 4} (elementos del conjunto de llegada)

Recorrido de la funcin
Rec f= { 1, 2 , 3} (elementos que ocupamos del conjunto de llegada)

A continuacin se muestran tanto los dominios como los recorridos de distintos tipos de funciones.

Funcin Constante

Dom f = IR

Rec f = { 2 }

Para las funciones constantes, el dominio siempre ser IR

y su recorrido corresponder al valor constante que la
funcin posea.
Funcin Afn / Lineal
La diferencia entre una y otra es que las funciones
lineales pasan por el origen del sistema cartesiano,
vale decir, el punto (0, 0).

Funcin lineal f(x) = 3x

Funcin afn f(x) = x +2

Para ambas funciones SIEMPRE tanto el dominio

como el recorrido de ellas ser IR.
(no hay que hacer mayor clculo)

Funcin Valor Absoluto

La funcin valor absoluto, se escribe f(x) = | x | y
representa en palabras sencillas, la distancia de los
nmeros al cero.

Para efectos de dominio, generalmente ser IR

(A menos que dentro del valor absoluto se encuentre
otra funcin, como podra ser una fraccin dentro del
valor absoluto)

Si tenemos f(x) = | x | , su recorrido ser 0, +

Si tenemos f(x) = | x | + 2 , su recorrido ser 2, +

El nmero solito nos indica el valor del recorrido.

Funcin Parte Entera

Esta funcin asigna el valor entero menor a los valores
ingresados a la funcin (en caso de ser decimal). Cuando
el nmero es entero, el resultado es el mismo nmero.
f(x)= [x]

f(x)= [2,5] = 2 f(x)= [1,99999] = 1 f(x)= [3,00001]= 3

f(x) = [5] = 5 f(x)= [ - 2, 3] = - 3

El domino de esta funcin es generalmente IR

El recorrido de esta funcin es generalmente Z

Generalmente, pues se est considerando la funcin f(x)= [ x ]

Podran incluirse otras funciones dentro de esta, situacin que hara cambiar tanto dominio como
recorrido.
Funcin por tramos

Esta funcin se encuentra definida en forma diferente, dependiendo de los valores del dominio de la
funcin. En este caso, la funcin est definida de la siguiente forma:

< 2


1
= 1 2 < 2
6 2

Al realizar la grfica, esta queda aproximadamente

Para calcular el dominio debemos fijarnos en los valores

para los cuales est definida la funcin. En este caso
< 2 , 2 < 2 2 que al juntarlos y
unirlos, obtenemos IR

Para el recorrido, lo ms sencillo es mirar la grfica y

ver los valores que toma el eje y.