En matemática, una función (f) es una relación entre un conjunto

dado X (llamado dominio ) y otro conjunto de elementos Y (llamado codominio ) de

forma que a cada elemento x del dominio lecorresponde un único elemento f(x) del
codominio (los que forman el recorrido, también llamado rango o ámbito ).
En lenguaje cotidiano o más simple, diremos que las funciones matemáticas equivalen
al proceso lógico común que se expresa como “depende de”.
Las funciones matemáticas pueden referirse a situaciones cotidianas, tales como: el
costo de una llamada telefónica que depende de su duración, o el costo de enviar una
encomienda que depende de su peso.
A modo de ejemplo, ¿cuál sería la regla que relaciona los números de la derecha con
los de la izquierda en la siguiente lista?:
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
Los números 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
x --------> x 2 .
Para referirse a esta regla podemos usar un nombre, que por lo general es la
letra f (de función). Entonces, f es la regla "elevar al cuadrado el número".
Usualmente se emplean dos notaciones:
x --------> x 2 o f(x) = x 2 .
Así, f(3) significa aplicar la regla f a 3. Al hacerlo resulta 3 2 = 9.
Entonces f(3) = 9. De igual modo f(2) = 4, f(4) = 16, f(a) = a 2 , etc.
Veamos algunos ejemplos que constituyen funciones matemáticas.
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
Adrián 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
también que es posible que dos personas diferentes tengan el mismo peso.
Ejemplo 2
Correspondencia entre el conjunto de los números reales (variable independiente) y
el mismo conjunto (variable dependiente), definida por la regla "doble del número
más 3".
x -------> 2x + 3 o bien f(x) = 2x + 3
Algunos pares de números que se corresponden por medio de esta regla son:
Conjunto X Conjunto Y Desarrollo
−2 −1 f(−2) = 2(−2) + 3 = −4 + 3 = − 1
−1 1 f(−1) = 2(−1) + 3 = −2 + 3 = 1
0 3 f(0) = 2(0) + 3 = 0 + 3 = 3
1 5 f(1) = 2(1) + 3 = 2 + 3 = 5
2 7 f(2) = 2(2) + 3 = 4 + 3 = 7
3 9 f(3) = 2(3) + 3 = 6 + 3 = 9
4 11 f(4) = 2(4) + 3 = 8 + 3 = 11
Con estos ejemplos vamos entendiendo la noción de función: como vemos, todos y
cada uno de los elementos del primer conjunto (X) están asociados a uno, y sólo a uno,
del segundo conjunto (Y). Todos y cada uno significa que no puede quedar un
elemento en X sin su correspondiente elemento en Y . A uno y sólo a uno significa que
a un mismo elemento en X no le pueden corresponder dos elementos distintos en Y .
El dominio y el rango de una función están normalmente limitados por la naturaleza de la
relación. Por ejemplo, considera la función de tiempo y altura que ocurre cuando lanzas
una pelota al aire y luego la atrapas. El tiempo es la entrada, la altura es la salida. El
dominio es cada valor de tiempo durante el lanzamiento, e inicia desde el instante en que
la pelota abandona tu mano hasta el instante que la pelota regresa a ella. El tiempo antes
de que la lances y el tiempo después de que la atrapas es irrelevante, ya que la función
sólo aplica para la duración del lanzamiento. Digamos que la pelota estuvo en el aire
durante 10 segundos — en ese caso, el dominio es 0-10 segundos. Ya que el tiempo
transcurre continuamente durante éste intervalo, no podemos escribir cada posible salida,
sólo el valor inicial y el valor final.

El rango es cada altura de la pelota mientras está en el aire, e incluye todas las alturas,
desde la altura de tu mano cuando lanzaste la pelota, hasta el punto más alto alcanzado
antes que ésta empezara a caer. Si tu mando estaba a 3 pies del suelo cuando aventaste
y atrapaste la pelota, y la distancia más alta que alcanzó fue de 12 pies también con
respecto al suelo, entonces el rango es de 3-12 pies. Ya que la altura cambia
constantemente durante éste intervalo, no podemos escribir cada posible salida, sólo el
valor inicial y el valor final.

Podemos crear una función a partir de éstas usando el número de la figura como la
entrada, y el número de cuadros que la conforman como la salida.

Una entrada de 1 tiene una salida de 1, ya que la figura 1 tiene sólo un cuadrado. Una
entrada de 2 tiene una salida de 5, ya que la figura 2 contiene 5 cuadrados. Una entrada
de 3, produce una salida de 9, ya que la figura 3 está formada de 9 cuadros. El dominio
de ésta función se obtiene contando el número de entradas 1, 2, 3 que identifican cada
una de las figuras usadas. Las entradas de ésta función son valores discretos, o valores
que cambian en incrementos y no continuamente como la función del lanzamiento de la
pelota. Sólo hay 3 figuras y por lo tanto las únicas posibles entradas son 1, 2, y 3.
Entonces, el dominio de ésta función es 1, 2, 3. Podemos agrupar ésta lista de valores
dentro de corchetes para indicar que forman un conjunto.

Dominio: {1, 2, 3}

El rango es el número de cuadros en cada figura. Las figuras tienen sólo 1, 5, o 9

cuadros, y ése es el rango. No hay ninguna figura que tenga 2 o 3.5 o cualquier otro
número de cuadros. Como el dominio, el rango esta hecho de un conjunto de valores
discretos.

Rango: {1, 5, 9}

Hemos limitado la entrada y la salida a 3 cada una porque sólo nos proporcionaron 3
figuras. ¿Cómo sería la notación del dominio y del rango si nos hubieran dicho que el
patrón continuaría indefinidamente? ¡Fácil! Sólo añadimos tres puntos al final del conjunto
de valores, para indicar que la secuencia continúa, así:

Dominio: {1, 2, 3, …}
Rango: {1, 5, 9, …}
Las relaciones también pueden ser mostradas como tablas o como conjuntos de pares
ordenados. Encontrar el dominio y el rango en estas situaciones es simple, siempre y
cuando recordemos qué es lo que significan los términos. Si una relación matemática es
dada en una tabla, los valores independientes generalmente se enlistan en la columna
izquierda, mientras que los valores dependientes normalmente se ponen en la columna
derecha.
.

Valor Valor
Independiente Dependiente
-1 7
2 -3
5 6
9 4

El dominio se puede encontrar al leer la primera columna {-1, 2, 5, 9}. El rango es todos
los valores de la segunda columna {7, -3, 6, 4}.

Cuando se trata de conjuntos de pares ordenados, simplemente necesitamos separar los

pares en coordenadas x y coordenadas y. Ya que las coordenadas x conforman los
valores independientes, nos dan el dominio. Las coordenadas y son los valores
dependientes, lo que significa que son el rango. Intentémoslo.

En el conjunto de pares ordenados {(-2, 0), (0, 6), (2, 12), (4, 18)}, el dominio es el
conjunto de los primeros números de cada par (esos son las coordenadas x): {-2, 0, 2, 4}.
El rango es el conjunto de los número que conforman el segundo componente de cada
par (esos son las coordenadas y): {0, 6, 12, 18}.

{(-2, 0), (0, 6), (2, 12), (4, 18)}

Dominio: {-2, 0, 2, 4}.

Rango: {0, 6, 12, 18}

También podemos representar funciones y relaciones con gráficas. La cantidad

independiente normalmente se grafica en el eje horizontal (x) — lo que significa que los
puntos en la coordenada x son el dominio. Como la cantidad dependiente normalmente se
grafica en el eje vertical (y) , las coordenadas y conforman el rango. Veamos algunas
gráficas para entender cómo funciona esto.

Primero, examina la gráfica de puntos discretos. Los únicos valores que conocemos que
satisfacen la ecuación son los marcados con puntos. Simplemente leemos las
coordenadas x, y los colocamos en un conjunto de valores que representan el dominio.
Luego leemos las coordenadas y, y los ponemos en el rango. Para ésta gráfica, el
dominio es {-2, 0, 2, 4}. Y el rango es {0, 6, 12, 18}.
Ahora veamos un tipo de gráfica diferente, en el cual la función es una recta continua, que
se extiende indefinidamente en ambas direcciones. Esto significa que hay un número
infinito de valores que son parte de la función. Para ésta función, no hay restricciones
para el dominio ni para el rango. Cualquier número real puede ser una entrada o una
salida. Esto significa que todos los números, enteros, fracciones y otros números
racionales, incluso números irracionales, son parte del dominio y parte del rango. Como
no podemos escribir todas estas posibilidades, simplemente decimos que el dominio y el
rango son todos los números reales.
En algunas situaciones sólo uno de los dos, el dominio o el rango, está restringido.
Considera la gráfica del valor absoluto de la función, y = |x|. La línea se extiende
indefinidamente en ambas direcciones sobre el eje x, por lo que el dominio son todos los
números reales. Sin embargo, como el valor absoluto transforma cualquier valor negativo
en uno positivo, no existen valores negativos en el rango. El rango está formado de todos
los números reales mayores o iguales a 0 — aunque siguen siendo demasiados como
para escribirlos todos.
Dominio y rango de una función
El dominio de una función f ( x ) es el conjunto de todos los valores para los
cuales la función está definida, y el rango de la función es el conjunto de todos los
valores que f toma.

(En gramática, probablemente le llame al dominio el conjunto reemplazo y al rango

el conjunto solución. Quizá también estos han sido llamados la entrada y salida de
la función.)
Ejemplo 1:
Considere la función mostrada en el diagrama.

Aquí, el dominio es el conjunto { A , B , C , E }. D no está en el dominio, ya que la

función no está definida para D .

El rango es el conjunto {1, 3, 4}. 2 no está en el rango, ya que no hay letra en el

dominio que se enlace con el 2.

Ejemplo 2:
El dominio de la función

f ( x ) = 1/ x

es todos los números reales excepto el cero (ya que en x = 0, la función no está
definida: la división entre cero no está permitida!).

El rango también es todos los números reales excepto el cero. Puede ver que hay
algún punto en la curva para cada valor de y excepto para y = 0.
Los dominios pueden también estar explícitamente especificados, si hay valores
para los cuales la función pudiera estar definida, pero que no deseamos
considerarlos por alguna razón.

Ejemplo 3:
La notación siguiente muestra que el dominio de la función está restringido al
intervalo (–1, 1).

f ( x ) = x 2, –1 x 1

La gráfica de esta función es como se muestra. Dese cuenta de los círculos

abiertos, que muestran que la función no está definida en x= –1 y x = 1. Los
valores del rango de y desde 0 hasta el 1 (incluyendo el 0, pero no incluyendo el
1). Así el rango de la función es

0 y < 1.
Función biyectiva

La noción de una función es fundamentalmente importante en prácticamente todas las

áreas de las matemáticas, por lo que es importante aprender algunas definiciones
básicas con respecto a las funciones. Una función biyectiva es una función que es tanto
inyectiva como sobreyectiva. Esta función también es conocida con el nombre de
función uno-a-uno, y es importante hacer la distinción de que nunca asigna dos
elementos en suPodemos definir o decir que una función es biyectiva si esta misma
función al mismo tiempo es inyectiva y sobreyectiva. Esto quiere decir, si todo
elemento que existe en el conjunto final Y tiene un único elemento del conjunto inicial
X al que le corresponde y a lo que se conoce con el nombre de condición de función
sobreyectiva y todos los elementos del conjunto inicial X tiene una única imagen en el
conjunto final Y, que es lo que conocemos con el nombre de condición de función
inyectiva.

Otra definición que podemos dar del término es que una función es biyectiva si cada
elemento del conjunto de partida tiene una imagen distinta en el conjunto de llegada,
y cada elemento del conjunto de llegada corresponde a un elemento del conjunto de
partida. Teóricamente podemos decir que es una función biyectiva si: para todo y de Y,
existe un único x de X tal que f (x) = y

Debemos de recordar en todo momento que, en una función, cualquiera que sea,
siempre se debe de tener un conjunto de partida o dominio, un conjunto de llegada o
contra dominio, y por último un rango.

Propiedades de la función biyectiva

Cardinalidad: Cuando dos conjuntos poseen la misma cantidad de elementos, al menos

una forma de asociar cada elemento del primer conjunto don un elemento del
segundo. De esta forma, no sobra ningún elemento en ninguno de los conjuntos. Esta
asociación que se puede realizar entre los conjuntos con la misma cantidad de
elementos se llama cardinalidad de la función biyectiva.

Una asociación es biyectiva cuando a cada elemento del primer conjunto le

corresponde un elemento del segundo conjunto sin que haya elementos que sobren en
ninguno de los conjuntos. Dos conjuntos tienen el mismo cardinal si se puede
establecer una función biyectiva entre ellos.

Biyectividad: Una función f: A→B es biyectiva y también puede ser sobreyectiva a la

vez, es decir, que cada uno de los elementos del conjunto B (sobreyectividad) tienen
que estar relacionados con uno y solo un elemento del conjunto A (inyectividad).
Cuando hay biyectividad se puede encontrar una regla que reproduzca las evoluciones
del autómata de forma inversa.

Ejemplos de la función biyectiva

En un salón encontramos un determinado número de asientos. Un grupo de

espectadores ingresa en el salón y el expositor les pide a todos que tomen asiento.
Posteriormente de realizar una rápida observación del salón, el expositr declara con
seguridad que hay una biyectividad entre el grupo de espectadores y la cantidad de
asientos que hay en el lugar, donde cada espectador esta emparejado con el asiento
que le corresponde. Lo que el profesor tuvo que observar para poder hacer esta
declaración es:

Todos los espectadores se encontraban sentados en sus sillas y nadie estaba de pie.

Ninguno de los espectadores se encontraba sentado en más de un asiento.

Cada asiento estaba ocupado y no había asientos vacíos.

Ningún asiento estaba ocupado por más de un espectador.

El profesor, por medio de su observación, pudo concluir que había igual cantidad de
asientos como de espectadores, sin tener que contar la cantidad de asientos. dominio
al mismo elemento en su rango.

La inyectividad, sobreyectividad y biyectividad dan información acerca

de como se relacionan los elementos del conjunto inicial X con el
conjunto final Y.
Cabe recordar que una función f es una relación que asigna a los
elementos de un primer conjunto (conjunto inicial X) un elemento de un
segundo conjunto (conjunto final Y).
 Función inyectiva
La función f es inyectiva si cada elemento del conjunto final Y tiene un
único elemento del conjunto inicial X al que le corresponde. Es decir, no
pueden haber más de un valor de X que tenga la misma imagen Y.
Reciben también el nombre de funciones “uno a uno”.
No siempre todos los elementos del conjunto final Y deben
corresponderse con alguno del conjunto inicial X.

En términos matemáticos, una función f será inyectiva si dados dos

puntos xa y xb:

Dicho de otra manera: una función es inyectiva si se cumple que a

valores de su dominio x0 ≠ x1 ⇒ f(x0) ≠ f(x1).
 Una comprobación gráfica de la inyectividad de una función es
cuando cualquier recta paralela al eje Xcorta a la misma, como máximo,
en un punto.
Ejemplo de función inyectiva
ANUNCIOS

La función f(x) = 2x+1 , con los elementos de su dominio restringidos a

los números reales positivos, es inyectiva.

Veamos que se cumple la condición de inyectividad:

En efecto, si xa y xb tienen la misma imagen, necesariamente deben ser

el mismo elemento. Por lo tanto, fes inyectiva.
Veamos la gráfica de otra función:
 Esta función no cumple la condición de inyectividad, por lo que no es
inyectiva.
Un ejemplo muy palpable de función inyectiva: asignemos a P al
conjunto de presidentes de los Estados Unidos de América elegidos en el
siglo XXI y a I el conjunto de las fechas de investidura presidenciales en
USA también del siglo XXI. Sea f la función que relaciona cada uno de
estos presidentes con la fecha de su primera toma de posesión. La
función f es, por tanto, inyectiva pues a cada presidente le corresponde
una única fecha de su primera toma de posesión. Aunque, por ejemplo,
Barack Obama, aparte de la fecha de su primera investidura de 20-1-
2009, fuese reelegido por segunda vez el 6-11-2012.
Otro ejemplo de función inyectiva es la del volumen de la esfera,
donde r es su radio. Donde volumen y radio, codominio y dominio, son
números reales positivos.
 Función sobreyectiva
Una función f es sobreyectiva (o suprayectiva) si todo elemento del
conjunto final Y tiene al menos un elemento del conjunto inicial X al que le
corresponde.

Es decir, una función es sobreyectiva si el recorrido de la función es el

conjunto final Y. Dicho de otra manera, una función
es sobreyectiva cuando son iguales su codominio y su dominio.
En términos matemáticos, una función f es sobreyectiva si:

Ejemplo de función sobreyectiva

La función en los números reales definida por f(x) = x+1
es sobreyectiva.
 Esta función sí que es sobreyectiva. Vamos a verlo demostrando que
el recorrido de la función son todos los números reales.

El recorrido de la función es el mismo que el conjunto final Y, por lo que

la f es sobreyectiva.
Es decir, que, con la función f(x), todo número real será imagen de,
como mínimo, otro número real.
Igualmente, con los mismos argumentos, será sobreyectiva la función:
 Función biyectiva
Una función f es biyectiva si es al mismo tiempo inyectiva y sobreyectiva.
Es decir, si todo elemento del conjunto final Y tiene al menos un elemento
del conjunto inicial X al que le corresponde (condición de función
sobreyectiva) y todos los elementos del conjunto inicial X tiene una
única imagen en el conjunto final Y(condición de función inyectiva).
Digamos que no puede quedarse ningún elemento en el conjunto
final Y solo, sin asociarse con un único elemento del conjunto inicial X.
 Teóricamente, una función f es biyectiva si:

Ejemplo de función biyectiva

La función f(x) = 2x definida en los números reales es biyectiva.

Para comprobarlo, veamos que f es inyectiva y sobreyectiva.

Empezaremos por la condición de inyectividad:
 Se cumple la condición de inyectividad, por lo que ahora nos
quedaría demostrar la sobreyectividad. Para ello, tenemos que demostrar
que el recorrido de la función son todos los números reales.

La función también es sobreyectiva, por lo que f es biyectiva.

Resumen
En resumen, se pueden presentar los siguientes casos de funciones:

 Ser inyectiva pero no sobreyectiva

 Ser sobreyectiva aunque no inyectiva
 Ser biyectiva (inyectiva y sobreyectiva)
 No ser ni inyectiva ni sobreyectiva

La función f(x) = 3cos x, si no se restringe su dominio, no es

ni inyectiva (rectas horizontales la cortan en más de un punto)
ni sobreyectiva (el codominio está restringido a [3, -3]).