Funciones Matemticas: Conceptos Bsicos

En matemtica, una funcin (f) es una relacin entre un conjunto dado X (llamado dominio) y otro conjunto
de elementos Y (llamado co dominio) de forma que a cada elemento x del dominio le corresponde un nico
elemento f(x) del codominio (los que forman el recorrido, tambin llamado rango o mbito).
Ver: Relaciones y funciones
En lenguaje cotidiano o ms simple, diremos que las funciones matemticas equivalen al proceso lgico
comn que se expresa como depende de.
Las funciones matemticas pueden referirse a situaciones cotidianas, tales como: el costo de una llamada
telefnica que depende de su duracin, o el costo de enviar una encomienda que depende de su peso.
A modo de ejemplo, cul sera la regla que relaciona los nmeros de la derecha con los de la izquierda en la
siguiente lista?:
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
Los nmeros de la derecha son los cuadrados de los de la izquierda.
La regla es entonces "elevar al cuadrado":
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
2

x --------> x .
Para referirse a esta regla podemos usar un nombre, que por lo general es la letra f (de funcin).
Entonces, f es la regla "elevar al cuadrado el nmero".
Usualmente se emplean dos notaciones:
2

x --------> x

f(x) = x .
2

As, f(3) significa aplicar la regla f a 3. Al hacerlo resulta 3 = 9.

2

Entonces f(3) = 9. De igual modo f(2) = 4, f(4) = 16, f(a) = a , etc.

Veamos algunos ejemplos que constituyen funciones matemticas.
Ejemplo 1
Correspondencia entre las personas que trabajan en una oficina y su peso expresado en kilos
Conjunto X

Conjunto Y

ngela

55

Pedro

88

Manuel

62

Adrin

88

Roberto

90

Cada persona (perteneciente al conjunto X o dominio) constituye lo que se llama la entrada o variable
independiente. Cada peso (perteneciente al conjunto Y o codominio) constituye lo que se llama
la salida o variable dependiente. Notemos que una misma persona no puede tener dos pesos distintos.
Notemos tambin que es posible que dos personas diferentes tengan el mismo peso.
Ejemplo 2
Correspondencia entre el conjunto de los nmeros reales (variable independiente) y el mismo conjunto
(variable dependiente), definida por la regla "doble del nmero ms 3".
x -------> 2x + 3 o bien f(x) = 2x + 3
Algunos pares de nmeros que se corresponden por medio de esta regla son:
Conjunto X

Conjunto Y

Desarrollo

f(2) = 2(2) + 3 = 4 + 3 = 1

f(1) = 2(1) + 3 = 2 + 3 =

f(0)

= 2(0) + 3 = 0 + 3 =

f(1)

= 2(1) + 3 = 2 + 3 =

f(2)

= 2(2) + 3 = 4 + 3 =

f(3)

= 2(3) + 3 = 6 + 3 =

11

f(4)

= 2(4) + 3 = 8 + 3 = 11

Con estos ejemplos vamos entendiendo la nocin de funcin: como vemos, todos y cada uno de los
elementos del primer conjunto(X) estn asociados a uno, y slo a uno, del segundo conjunto (Y). Todos y
cada uno significa que no puede quedar un elemento enX sin su correspondiente elemento en Y. A uno y slo
a uno significa que a un mismo elemento en X no le pueden corresponder dos elementos distintos en Y.
Ahora podemos enunciar una definicin ms formal:
Una funcin (f) es una regla que asigna a cada elemento x de un conjunto X (dominio) exactamente un
elemento, llamado f(x), de un conjunto Y (codominio).
Otra definicin equivalente es: sean X e Y dos conjuntos. Una funcin de X en Y es una regla (o un mtodo)
que asigna un (y slo uno) elemento en Y a cada elemento en X.
Usualmente X e Y son conjuntos de nmeros.
Generalizando, si se tiene una funcin f, definida de un conjunto A en un conjunto B, se anota
f : A -----> B (o, usando X por A e Y por B

f : X -----> Y) o f(x) = x

Recordemos de nuevo que el primer conjunto A se conoce como dominio (Dom) de la funcin y B es
el codominio o conjunto de llegada.
f(x) denota la imagen de x bajo f, mientras que x es la preimagen de f(x).
En el ejemplo 2 anterior el nmero 3 es la imagen del nmero 0 bajo f; por su parte, 1 es la preimagen del
nmero 5.
El rango (Rg) o recorrido (Rec) o mbito (A) es el conjunto de todos los valores posibles de f(x) que se
obtienen cuando x vara en todo el dominio de la funcin.
Ejemplo 3
Suponga que el conjunto A (de salida) es A = {1, 2, 3} y que el conjunto B (de llegada) es B = {0, 4, 6, 8, 10,
12} y que la relacin de dependencia o correspondencia entre A y B es "asignar a cada elemento su
cudruplo".
Vamos a examinar si esta relacin es una funcin de A en B y determinaremos dominio y recorrido.
Veamos:
A los elementos 1, 2 y 3 del conjunto A les corresponden, respectivamente, los elementos 4, 8 y 12 del
conjunto B. Como a cada elemento de A le corresponde un nico elemento de Y, la relacin de dependencia
es una funcin (funcin de A en B).
Dominio = {1, 2, 3}

Recorrido = {4, 8, 12}

Notar que el recorrido es un subconjunto del codominio B = {0, 4, 6, 8, 10, 12}

Aqu debemos recordar que toda funcin es una relacin, pero no todas las relaciones son funciones. Como
ejemplos de relaciones que son funciones y algunas que no lo son, veamos las siguientes:
Si tenemos los conjuntos
A = {1; 2; 3; 4}, B = {1; 2; 3; 4; 5}
Podemos establecer las relaciones
f = { (1; 2); (2; 3); (3; 4); (4; 5) }
g = { (1; 2); (1; 3); (2; 4); (3; 5); (4; 5) }
h = { (1; 1); (2; 2); (3; 3) }:
Est claro que f, g y h son relaciones de A en B, pero slo f es una funcin (todos los elementos del conjunto
A tiene su correspondiente elemento en b); g no es funcin ya que (1; 2) y (1; 3) repiten un elemento del
dominio (el 1). Tampoco h es una funcin ya que Dom(h) = {1; 2; 3} A (falta el 4).
Ejemplo 4
Sea X = {4, 1, 0, 4, 9},
Y = {4,3, 2, 1, 0, 1, 2, 3, 4} y que la regla de correspondencia es " asignar a
cada elemento de X el resultado de extraer su raz cuadrada".
Vamos a determinar si esta regla constituye funcin de X en Y.
Veamos:
A simple vista se aprecia que los nmeros 0, 4, 9 tienen imagen en Y (
),
pero a los nmeros 4 y 1 no les corresponden elementos en Y. Como existen elementos de X que no se
corresponden con elementos de Y, esta relacin no es funcin de X en Y.

Dominio y rango de una funcin

Como ya vimos, el dominio de una funcin es el conjunto de valores para los cuales la funcin est definida;
es decir, son todos los valores que puede tomar la variable independiente (la x).
2

Por ejemplo la funcin f(x) = 3x 5x est definida para todo nmero real (x puede ser cualquier nmero real).
As el dominio de esta funcin es el conjunto de todos los nmeros reales.

En cambio, la funcin
tiene como dominio todos los valores de x para
los cuales 1< x < 2, porque aunque pueda tomar cualquier valor real diferente de 2, en su definicin
determina en qu intervalo est comprendida.
Si el dominio no se especfica, debe entenderse que el dominio incluye a todos los nmeros reales para los
cuales la funcin tiene sentido.
En el caso de la funcin
, el dominio de esta funcin son todos los nmeros reales
mayores o iguales a 3, ya que x + 3 debe ser mayor o igual que cero para que exista la raz cuadrada.
Como resumen, para determinar el dominio de una funcin, debemos considerar lo siguiente:
Si la funcin tiene radicales de ndice par, el dominio est conformado por todos los nmeros reales para los
cuales la cantidad subradical sea mayor o igual a cero.
2

Si la funcin es un polinomio; una funcin de la forma f(x) = a0 + a1x + a2x +...+ anx (donde a0, a1, a2,...,
an son constantes y nun entero no negativo), el dominio est conformado por el conjunto de todos los
nmeros reales.
Si la funcin es racional; esto es, si es el cociente de dos polinomios, el dominio est conformado por todos
los nmeros reales para los cuales el denominador sea diferente de cero.
El rango (recorrido o mbito) es el conjunto formado por todas las imgenes; es decir, es el conjunto
conformado por todos los valores que puede tomar la variable dependiente; estos valores estn determinados
adems, por el dominio de la funcin.
Ejemplo
Identificar dominio y rango de la funcin
Veamos:
Como la funcin tiene radicales el dominio est conformado por todos los valores para los cuales x 2 0.
Esto es, el dominio de la funcin incluye todos los reales que son mayores o iguales a 2.
El rango es igual al conjunto de los nmeros reales positivos incluyendo el cero; puesto que al reemplazar los
valores del dominio se obtienen nicamente valores positivos bajo la funcin f.

Qu es una funcin?
Una funcin es como una mquina: tiene una entrada y
una salida.
Y lo que sale est relacionado de alguna manera con lo
que entra.

Ejemplos

"Multiplicar por 2" es una funcin muy simple

La raz cuadrada () es una funcin
Seno, coseno y tangente son funciones que se usan en trigonometra

Pero no vamos a ver funciones concretas...

... ahora vamos a ver la idea general de una funcin.

Nombres
Primero, es til darle un nombre a una funcin. El nombre ms comn es "f", pero
puedes ponerle otros como "g" ... o hasta "mermelada" si quieres.
Y tambin est bien darle nombre a lo que se va adentro de la funcin, se pone entre
parntesis () despus del nombre de la funcin:

As que f(x) te dice que la funcin se llama "f", y "x" se pone dentro
Y normalmente vers lo que la funcin hace a la entrada:

f(x) = x2 nos dice que la funcin "f" toma "x" y lo eleva al cuadrado.

As que con la funcin "f(x) = x2", una entrada de 4 da una salida de 16. De hecho
podemos escribir f(4) = 16.

Nota: a veces las funciones no tienen nombre, y puede que veas algo como y = x2

Relacionar
Arriba dije que una funcin es como una mquina. Pero una funcin no tiene
engranajes ni correas ni partes que se muevan. Y no destruye lo que pones dentro!

En realidad, una funcin relaciona la entrada con la salida.

Decir que "f(4) = 16" es como decir que 4 est relacionado de alguna manera con 16.
O tambin 4 16

Ejemplo: este rbol crece 20 cm cada ao, as que

la altura del rbol est relacionada con la edad por
la funcin a:
a(edad) = edad 20
As que si la edad es 10 aos, la altura es a(10) =
200 cm

Volveremos a esta idea despus de responder la pregunta...

Con qu tipo de cosas trabaja una funcin?

Los "nmeros" parecen una respuesta clara, pero...

... qu nmeros? Por ejemplo, la funcin de la altura del

rbol a(edad) = edad20no tiene sentido si la edad es menor que
cero.
... tambin podran ser letras ("A""B"), o cdigos de identificacin
("A6309""Acceso") o cosas ms raras.

As que tenemos que usar algo ms general, y ah es donde entran en juego

los conjuntos:

Un conjunto es una coleccin de cosas, por

ejemplo nmeros.
Aqu tienes algunos ejemplos:
El conjunto de los nmeros pares: {..., -4, -2, 0, 2, 4, ...}
Un conjunto de ropa: {"sombrero","camisa",...}
El conjunto de los nmeros primos: {2, 3, 5, 7, 11, 13, 17, ...}
Los mltiplos de 3 que son ms pequeos que 10: {3, 6, 9}
Cada cosa individual en un conjunto (como "4" o "sombrero") es
unmiembro, o elemento.

As que una funcin toma elementos de un conjunto, y devuelve (normalmente con

algn cambiados) elementos de un conjunto. Con esto llegamos a la definicin formal:

Definicin formal de funcin

Una funcin relaciona cada elemento de
un conjunto
con un elemento exactamente de otro
conjunto
(puede ser el mismo conjunto).

"exactamente uno" significa que la funcin es univaluada. No

devolver 2 o ms resultados para la misma entrada. As que "f(2) =
7 o 9" no vale!
Cada elemento de "X" se relaciona con un elemento de "Y". Decimos
que la funcin cubre"X" (relaciona cada elemento de)

Tambin fjate que en el dibujo de arriba hay dos elementos en "X" que se relacionan
con el mismo elemento de "Y". No pasa nada. No hay ninguna regla contra esto.
Y finalmente, fjate en que algunos elementos de "Y" no se relacionan con nada. Eso
tambin vale.

Esto son cosas normales entre funciones, pero algunos tipos de funciones
cumplen reglas ms estrictas, para saber ms lee sobre inyectivo,
sobreyectivo y biyectivo

La prueba de la lnea vertical

En un grfico, la idea de univaluada significa
que ninguna lnea vertical cruza ms de una vez.
Si alguna cruzara ms de una vez no
sera una funcin.

Dominio, codominio y rango

En el dibujo de arriba

el conjunto
el conjunto
el conjunto
verdaderos

"X" es el dominio,
"Y" es el codominio, y
de elementos de Y a los que llega alguna flecha (los valores
de la funcin) se llama rango o imagen.

Tenemos una pgina especial sobre dominio, codominio y rango por si quieres saber
ms.

Pares ordenados
Puedes escribir las entradas y salidas de una funcin como "pares ordenados", como
(4,16).
Se llaman pares ordenados porque la entrada siempre va primero y la salida despus.

As que (4,16) significa que la funcin toma "4" y devuelve "16"

Y una funcin se puede definir como un conjunto de pares ordenados:

Ejemplo: {(2,4), (4,5), (7,3)} es una funcin que dice que "2 se relaciona con 4", "4 se
relaciona con 5" y "7 se relaciona con 3".
Fjate tambin en que el dominio es {2,4,7} y el rango es {4,5,3}
Pero la funcin debe ser univaluada, esto se puede decir

"si contiene (a, b) y (a, c), entonces b tiene que ser igual a c"
Es otra manera de decir que una entrada "a" no puede dar dos resultados diferentes.
Ejemplo: {(2,4), (2,5), (7,3)} no es una funcin porque {2,4} y {2,5} quieren decir
que 2 estara relacionado con 4 y 5, o sea no es univaluada

Conclusin
una funcin relaciona entradas con salidas
una funcin toma elementos de un conjunto (el dominio) y los

relaciona con elementos de un conjunto (el codominio).

las salidas (los verdaderos valores de la funcin) se llaman

la imagen o rango
una entrada slo produce una salida (no una u otra)
una entrada y la salida que corresponde se llaman juntos un par

ordenado
as que una funcin tambin se puede ver como un conjunto de

pares ordenados