Función (matemática)

Ir a la navegaciónIr a la búsqueda

En la imagen se muestra una relación entre un conjunto de polígonos y un conjunto de números. A

cada polígono le corresponde su número de lados.

Una función vista como una «caja negra», que transforma los valores u objetos de «entrada» en
los valores u objetos de «salida»

La curva roja es la gráfica de una función, porque cualquier línea vertical tiene exactamente un
punto de cruce con la curva.

En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del
valor de la segunda. Por ejemplo el área A de un círculo es función de su radio r (el valor del área
es proporcional al cuadrado del radio, A = π·r2). Del mismo modo, la duración T de un viaje en tren
entre dos ciudades separadas por una distancia d de 150 km depende de la velocidad v a la que se
desplace el tren (la duración es inversamente proporcional a la velocidad, T / v). A la primera
magnitud (el área, la duración) se la denomina variable dependiente, y la magnitud de la que
depende (el radio y la velocidad) es la variable independiente.

En análisis matemático, el concepto general de función, se refiere a una regla que asigna a cada
elemento de un primer conjunto un único elemento de un segundo conjunto. Las funciones son
relaciones entre los elementos de dos conjuntos. Por ejemplo, cada número entero posee un
único cuadrado, que resulta ser un número natural (incluyendo el cero):1

...  −2 → +4,  −1 → +1,  0 → 0,   

  +1 → +1,  +2 → +4,  +3 → +9,  ... 

Esta asignación constituye una función entre el conjunto de los números enteros Z y el conjunto
de los números naturales N. Aunque las funciones que manipulan números son las más conocidas,
no son el único ejemplo: puede imaginarse una función que a cada palabra del español le asigne su
letra inicial:

..., Estación → E, Museo → M, Arroyo → A, Rosa → R, Avión → A, ...

Esta es una función entre el conjunto de las palabras del español y el conjunto de las letras del
alfabeto español.
La manera habitual de denotar una función f es:

f: A → B

 a → f(a),

donde A es el dominio de la función f, su primer conjunto o conjunto de partida; y B es el

codominio de f, su segundo conjunto o conjunto de llegada. Por f(a) se denota la regla o algoritmo
para obtener la imagen de un cierto objeto arbitrario a del dominio A, es decir, el (único) objeto de
B que le corresponde. En ocasiones esta expresión es suficiente para especificar la función por
completo, infiriendo el dominio y codominio por el contexto. En el ejemplo anterior, las funciones
«cuadrado» e «inicial», llámeseles {\displaystyle f}f y {\displaystyle g}g, se denotarían entonces
como:

{\displaystyle f:\mathbb {Z} \to \mathbb {N} }{\displaystyle f:\mathbb {Z} \to \mathbb {N} }

{\displaystyle k\to k^{2}}{\displaystyle k\to k^{2}}, o sencillamente {\displaystyle f(k)=k^{2}}

{\displaystyle f(k)=k^{2}};

g: V → A

 p → Inicial de p;

si se conviene V = {Palabras del español} y A = {Alfabeto español}.

Una función puede representarse de diversas formas: mediante el citado algoritmo o ecuaciones
para obtener la imagen de cada elemento, mediante una tabla de valores que empareje cada valor
de la variable independiente con su imagen —como las mostradas arriba—, o como una gráfica
que dé una imagen de la función.

Índice

1 Historia

2 Introducción

3 Definición

3.1 Ejemplos

3.2 Funciones con múltiples variables

3.3 Notación y Nomenclatura

3.3.1 Ejemplos

3.4 Imagen e imagen inversa

3.4.1 Ejemplos

3.5 Igualdad de funciones

4 Funciones inyectivas, sobreyectivas y biyectivas

4.1 Ejemplos

5 Álgebra de funciones

5.1 Composición de funciones

5.2 Función identidad

5.3 Función inversa

5.3.1 Ejemplos.

5.4 Restricción y extensión

6 Representación de funciones

7 Espacios de función

7.1 Curtiendo (Currying)

8 Definición formal. Generalizaciones

9 Véase también

10 Referencias

11 Bibliografía

12 Enlaces externos

Historia

Gottfried Leibniz acuñó el término «función» en el siglo XVII.

El concepto de función como un objeto matemático independiente, susceptible de ser estudiado

por sí solo, no apareció hasta los inicios del cálculo en el siglo XVII.2 René Descartes, Isaac Newton
y Gottfried Leibniz establecieron la idea de función como dependencia entre dos cantidades
variables. Leibniz en particular acuñó los términos «función», «variable», «constante» y
«parámetro». La notación f(x) fue utilizada por primera vez por el francés Alexis Claude Clairaut, y
por el suizo Leonhard Euler en su obra Commentarii de San petersburgo en 1736.345
Inicialmente, una función se identificaba, a efectos prácticos, con una expresión analítica que
permitía calcular sus valores. Sin embargo, esta definición tenía algunas limitaciones: expresiones
distintas pueden arrojar los mismos valores, y no todas las «dependencias» entre dos cantidades
pueden expresarse de esta manera. En 1837, el matemático alemán Johann Peter Gustav Lejeune
Dirichlet propuso la definición moderna de función numérica como una correspondencia
cualquiera entre dos conjuntos de números, que asocia a cada número en el primer conjunto un
único número del segundo.

La intuición sobre el concepto de función también evolucionó. Inicialmente la dependencia entre

dos cantidades se imaginaba como un proceso físico, de modo que su expresión algebraica
capturaba la ley física que correspondía a este. La tendencia a una mayor abstracción se vio
reforzada a medida que se encontraron ejemplos de funciones sin expresión analítica o
representación geométrica sencillas, o sin relación con ningún fenómeno natural; y por los
ejemplos «patológicos» como funciones continuas sin derivada en ningún punto.

Durante el siglo XIX los matemáticos alemanes Julius Wilhelm Richard Dedekind, Karl Weierstrass y
Georg Cantor, partiendo de un estudio profundo de los números reales, desarrollaron la teoría de
funciones, siendo esta teoría independiente del sistema de numeración empleado.[cita requerida]
Con el desarrollo de la teoría de conjuntos, en los siglos XIX y XX surgió la definición actual de
función, como una correspondencia entre dos conjuntos de objetos cualesquiera, no
necesariamente numéricos.6 También se asoció con otros conceptos vinculados como el de
relación binaria.

Introducción

Representación gráfica de la posición de un cuerpo acelerado a 0,66 m/s2

Una función es un objeto matemático que se utiliza para expresar la dependencia entre dos
magnitudes, y puede presentarse a través de varios aspectos complementarios. Un ejemplo
habitual de función numérica es la relación entre la posición y el tiempo en el movimiento de un
cuerpo.

Un móvil que se desplaza con una aceleración de 0,66 m/s2 recorre una distancia d que está en
función del tiempo transcurrido t. Se dice que d es la variable dependiente y t la variable
independiente. Estas magnitudes, calculadas a priori o medidas en un experimento, pueden
consignarse de varias maneras. (Se supone que el cuerpo parte en un instante en el que se
conviene que el tiempo es t = 0 s.)
Los valores de las variables pueden recogerse en una tabla, anotando la distancia recorrida d en un
cierto instante t, para varios momentos distintos:

Tiempo t (s) Distancia d (m)

0,0 0,0

0,5 0,1

1,0 0,3

1,5 0,7

2,0 1,3

2,5 2,0

La gráfica en la imagen es una manera equivalente de presentar la misma información. Cada punto
de la curva roja representa una pareja de datos tiempo-distancia, utilizando la correspondencia
entre puntos y coordenadas del plano cartesiano. También puede utilizarse una regla o algoritmo
que dicte como se ha de calcular d a partir de t. En este caso, la distancia que recorre un cuerpo
con esta aceleración está dada por la expresión:

{\displaystyle d=0,33\times t^{2}}{\displaystyle d=0,33\times t^{2}}

donde las magnitudes se expresan unidades del SI. De estos tres modos se refleja que existe una
dependencia entre ambas magnitudes.

Una función también puede reflejar la relación de una variable dependiente con varias variables
independientes. Si el cuerpo del ejemplo se mueve con una aceleración constante pero
indeterminada a, la distancia recorrida es una función entonces de a y t; en particular,
{\displaystyle d={\frac {a\times t^{2}}{2}}}{\displaystyle d={\frac {a\times t^{2}}{2}}}. Las funciones
también se utilizan para expresar la dependencia entre otros objetos cualesquiera, no solo los
números. Por ejemplo, existe una función que a cada polígono le asigna su número de lados; o una
función que a cada día de la semana le asigna el siguiente:

Lunes → Martes, Martes → Miércoles,..., Domingo → Lunes

Definición

Diagrama de una función, con dominio X = {1, 2, 3} y codominio Y = {A, B, C, D}, el cual es definido
por el conjunto de pares ordenados {(1, D), (2, C ), (3, C)}. La imagen / rango es el conjunto {C, D}.
Este diagrama, que representa el conjunto de pares {(1, D), (2, B), (2, C)}, no define una función.
Una razón es que 2 es el primer elemento en más de un par ordenado, (2, B) y (2, C), de este
conjunto. Otras dos razones, también suficientes por sí mismas, es que ni 3 ni 4 son primeros
elementos (entrada) de ningún par ordenado en el mismo.

La definición general de función hace referencia a la dependencia entre los elementos de dos
conjuntos dados.

Dados dos conjuntos A y B, una función (también aplicación o mapeo) entre ellos es una
asociación7 f que a cada elemento de A le asigna un único elemento de B.

Se dice entonces que A es el dominio (también conjunto de partida o conjunto inicial) de f y que B
es su codominio (también conjunto de llegada o conjunto final).

Un objeto o valor genérico a en el dominio A se denomina la variable independiente; y un objeto

genérico b del codominio B es la variable dependiente. También se les llama valores de entrada y
de salida, respectivamente. Esta definición es precisa, aunque en matemática se utiliza una
definición formal más rigurosa, que construye las funciones como un objeto concreto a partir de la
idea de pares ordenados. Es decir, una función es un conjunto de pares ordenados en el cual el
primer elemento de cada par no se repite.

Ejemplos

Todos los números reales tienen un cubo, por lo que existe la función «cubo» que a cada número
en el dominio {\displaystyle \mathbb {R} }\mathbb{R} (números reales) le asigna su cubo en el
codominio {\displaystyle \mathbb {R} }\mathbb{R}.

Exceptuando al 0, todos los números reales tienen un único inverso. Existe entonces la función
«inverso» cuyo dominio son los números reales no nulos {\displaystyle \mathbb {R} }\mathbb{R} \
{0}, y con codominio {\displaystyle \mathbb {R} }\mathbb{R}.

Cada mamífero conocido se clasifica en un género, como Homo, Sus o Loxodonta. Existe por tanto
una función «clasificación en géneros» que asigna a cada mamífero de la colección M =
{mamíferos conocidos} su género. El codominio de «clasificación en géneros» es la colección G =
{géneros de Mammalia}.

Existe una función «área» que a cada triángulo del plano (en la colección T de todos ellos, su
dominio), le asigna su área, un número real, luego su codominio es {\displaystyle \mathbb
{R} }\mathbb{R}.
En unas elecciones en las que cada votante pueda emitir un único voto, existe una función «voto»
que asigna a cada elector el partido que elija. En la imagen se muestra un conjunto de electores E
y un conjunto de partidos P, y una función entre ellos.

Funciones con múltiples variables

Existen muchos ejemplos de funciones que «necesitan dos valores» para ser calculadas, como la
función «tiempo de viaje» T, que viene dada por el cociente entre la distancia d y la velocidad
media v: cada pareja de números reales positivos (una distancia y una velocidad) tiene asociada un
número real positivo (el tiempo de viaje). Por tanto, una función puede tener dos (o más) variables
independientes.

La noción de función de múltiples variables independientes no necesita de una definición

específica separada de la de función «ordinaria». La generalidad de la definición anterior, en la que
se contempla que el dominio sea un conjunto de objetos matemáticos arbitrarios, permite omitir
la especificación de dos (o más) conjuntos de variables independientes, A1 y A2, por ejemplo. En
lugar de ello, el dominio se toma como el conjunto de las parejas (a1, a2), con primera
componente en A1 y segunda componente en A2. Este conjunto se denomina el producto
cartesiano de A1 y A2, y se denota por A1 × A2.

De este modo las dos variables independientes quedan reunidas en un solo objeto. Por ejemplo,
en el caso de la función T, su dominio es el conjunto {\displaystyle \mathbb {R} ^{+}}\mathbb{R}^+
× {\displaystyle \mathbb {R} ^{+}}\mathbb{R}^+, el conjunto de parejas de números reales
positivos. En el caso de más de dos variables, la definición es la misma, usando un conjunto
ordenado de múltiples objetos, (a1,..., an), una n-tupla. También el caso de múltiples variables
dependientes se contempla de esta manera. Por ejemplo, una función división puede tomar dos
números naturales como valores de entrada (dividendo y divisor) y arrojar dos números naturales
como valores de salida (cociente y resto). Se dice entonces que esta función tiene como dominio y
codominio el conjunto {\displaystyle \mathbb {N} \times \mathbb {N} }{\displaystyle \mathbb
{N} \times \mathbb {N} }.

Notación y Nomenclatura

La notación habitual para presentar una función f con dominio A y codominio B es:

{\displaystyle {\begin{array}{rrcl}f:&A&\longrightarrow &B\\&a&\mapsto &b=f(a)\end{array}}}

{\displaystyle {\begin{array}{rrcl}f:&A&\longrightarrow &B\\&a&\mapsto &b=f(a)\end{array}}}
También se dice que f es una función «de A a B» o «entre A y B». El dominio de una función f se
denota también por dom(f), D(f), Df, etc. Por f(a) se resume la operación o regla que permite
obtener el elemento de B asociado a un cierto a ∈ A, denominado la imagen de a.7

Ejemplos

La función «cubo» puede denotarse ahora como {\displaystyle f:\mathbb {R} \to \mathbb {R} }
{\displaystyle f:\mathbb {R} \to \mathbb {R} }, con {\displaystyle f(x)=x^{3}}{\displaystyle
f(x)=x^{3}} para cada número real {\displaystyle x}x.

La función «inverso» es {\displaystyle g:\mathbb {R} \setminus \{0\}\to \mathbb {R} }{\displaystyle
g:\mathbb {R} \setminus \{0\}\to \mathbb {R} }, con {\displaystyle g(x)={\frac {1}{x}}}{\displaystyle
g(x)={\frac {1}{x}}} para cada {\displaystyle x}x real y no nulo.

La función «clasificación en géneros» puede escribirse como {\displaystyle \gamma :M\to G}

{\displaystyle \gamma :M\to G}, donde γ(m) = Género de m, para cada mamífero conocido m.

La función «área» se puede denotar como {\displaystyle A:T\to R}{\displaystyle A:T\to R}, y
entonces {\displaystyle A(t)=B\times {\frac {H}{2}}}{\displaystyle A(t)=B\times {\frac {H}{2}}},
donde t es un triángulo del plano, B su base, y H su altura.

La función «voto» se puede escribir como v: E → P, donde v(a) = Partido que a votó, para cada
votante a.

La notación utilizada puede ser un poco más laxa, como por ejemplo {\displaystyle f(n)={\sqrt {n}}}
{\displaystyle f(n)={\sqrt {n}}}. En dicha expresión, no se especifica que conjuntos se toman como
dominio y codominio. En general, estos vendrán dados por el contexto en el que se especifique
dicha función. En el caso de funciones de varias variables (dos, por ejemplo), la imagen del par
{\displaystyle (a_{1},a_{2})}{\displaystyle (a_{1},a_{2})} no se denota por {\displaystyle
f((a_{1},a_{2}))}{\displaystyle f((a_{1},a_{2}))}, sino por {\displaystyle f(a_{1},a_{2})}{\displaystyle
f(a_{1},a_{2})}, y similarmente para más variables.

Existen además terminologías diversas en distintas ramas de la matemática para referirse a

funciones con determinados dominios y codominios:

Función real: {\displaystyle f:\mathbb {R} \to \mathbb {R} }{\displaystyle f:\mathbb {R} \to
\mathbb {R} }

Función compleja: {\displaystyle f:\mathbb {C} \to \mathbb {C} }{\displaystyle f:\mathbb {C} \to
\mathbb {C} }

Función escalar: {\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }{\displaystyle f:\mathbb {R}
^{n}\to \mathbb {R} }
Función vectorial: {\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} ^{m}}{\displaystyle f:\mathbb
{R} ^{n}\to \mathbb {R} ^{m}}

También las sucesiones infinitas de elementos tales como a, b, c, ... son funciones, cuyo dominio
en este caso son los números naturales. Las palabras «función», «aplicación», «mapeo», u otras
como «operador», «funcional», etc., pueden designar tipos concretos de función según el
contexto. Adicionalmente, algunos autores restringen la palabra «función» para el caso en el que
los elementos del conjunto inicial y final son números.8

Imagen e imagen inversa

Artículo principal: Conjunto imagen

Dado un conjunto de votantes y un conjunto de posible partidos, en unas elecciones, el sentido del
voto de cada individuo se puede visualizar como una función.

Los elementos del codominio B asociados con algún elemento del dominio A constituyen la imagen
de la función.

Dada una función f : A → B, el elemento de B que corresponde a un cierto elemento a del dominio
A se denomina la imagen de a, f(a).

El conjunto de las imágenes de cada elemento del dominio es la imagen de la función f (también
rango o recorrido de f). El conjunto de las imágenes de un subconjunto cualquiera del dominio, X
⊆ A, se denomina la imagen de X.

La imagen de una función {\displaystyle f}f se denota por {\textstyle {\text{Im}}(f)}{\textstyle

{\text{Im}}(f)} o {\displaystyle f(A)}{\displaystyle f(A)}, mientras que la imagen de un subconjunto
{\textstyle X\subseteq A}{\textstyle X\subseteq A} se denota, a su vez, por {\displaystyle f(X)}
{\displaystyle f(X)} o {\displaystyle f[X]}{\displaystyle f[X]}. En notación conjuntista las imágenes de
f y X se denotan:

{\displaystyle {\begin{aligned}&{\text{Im}}(f)=f(A)=\{b\in B:{\text{existe }}a\in A{\text{ tal

que }}f(a)=b\}\\&f(X)=\{b\in B:{\text{existe }}a\in X\subseteq A{\text{ tal
que }}f(a)=b\}\end{aligned}}}{\displaystyle {\begin{aligned}&{\text{Im}}(f)=f(A)=\{b\in B:
{\text{existe }}a\in A{\text{ tal que }}f(a)=b\}\\&f(X)=\{b\in B:{\text{existe }}a\in X\subseteq
A{\text{ tal que }}f(a)=b\}\end{aligned}}}
La anti-imagen de cada partido es el conjunto de los electores que lo votaron.

La imagen de una función f es un subconjunto del codominio de la misma, pero no son

necesariamente iguales: pueden existir elementos en el codominio que no son la imagen de
ningún elemento del dominio, es decir, que no tienen preimagen.

La imagen inversa (también anti-imagen o preimagen) de un elemento b del codominio B es el

conjunto de elementos del dominio A que tienen a b por imagen. Se denota por f−1(b).

La imagen inversa de un subconjunto cualquiera del codominio, Y ⊆ B, es el conjunto de las

preimágenes de cada elemento de Y, y se escribe f−1(Y).

Así, la preimagen de un elemento del codominio puede no contener ningún objeto o, por el
contrario, contener uno o más objetos, cuando a uno o varios elementos del dominio se les asigna
dicho elemento del codominio. En notación conjuntista, se escriben:

{\displaystyle {\begin{aligned}&f^{-1}(b)=\{a\in A:f(a)=b\}\\&f^{-1}(Y)=\{a\in A:{\text{ existe }}b\in

Y{\text{ con }}f(a)=b\}\end{aligned}}}{\displaystyle {\begin{aligned}&f^{-1}(b)=\{a\in
A:f(a)=b\}\\&f^{-1}(Y)=\{a\in A:{\text{ existe }}b\in Y{\text{ con }}f(a)=b\}\end{aligned}}}

Ejemplos

La imagen de la función cubo f es todo {\displaystyle \mathbb {R} }{\displaystyle \mathbb {R} }, ya
que todo número real posee una raíz cúbica real. En particular, las raíces cúbicas de los números
positivos (negativos) son positivas (negativas), por lo que se tiene, por ejemplo, {\displaystyle f^{-
1}(\mathbb {R} ^{+})=\to \mathbb {R} ^{+}}{\displaystyle f^{-1}(\mathbb {R} ^{+})=\to \mathbb {R}
^{+}}

El recorrido de la función inverso g no es igual a su codominio, ya que no hay ningún número real x
cuyo inverso sea 0.

Para la función «clasificación en géneros» γ se tiene:

γ(Perro) = Canis, y γ−1(Canis) = {Perro, coyote, chacal,...}.

Como el área es siempre un número positivo, el recorrido de la función área A es {\displaystyle

\mathbb {R} ^{+}}{\displaystyle \mathbb {R} ^{+}}.
En el diagrama puede comprobarse que la imagen de la función voto v no coincide con el
codominio, ya que el partido C no recibió ningún voto. Sin embargo puede verse que, por ejemplo,
v−1(Partido A) tiene 2 elementos.

Igualdad de funciones

Dadas dos funciones, para que sean idénticas han de tener el mismo dominio y codominio, y
asignar la misma imagen a cada elemento del dominio:

Dadas dos funciones f : A → B y g : C → D, son iguales o idénticas si se cumple:

Tienen el mismo dominio: A = C

Tienen el mismo codominio: B = D

Asignan las mismas imágenes: para cada x ∈ A = C, se tiene que f(x) = g(x)

Funciones inyectivas, sobreyectivas y biyectivas

Artículos principales: Función inyectiva, Función sobreyectiva y Función biyectiva.

La imagen inversa de un elemento del codominio puede ser vacía, o contener varios objetos del
dominio. Esto da lugar a la siguiente clasificación:

Funciones Inyectiva No inyectiva

Sobreyectiva

Correspon 1602.svg

Biyectiva

Correspon 1502.svg

No sobreyectiva Correspon 1402.svg Correspon 1302.svg

Se dice que una función f : A → B es inyectiva si las imágenes de elementos distintos son distintas:

{\displaystyle {\text{Si }}a,a'\in A{\text{ y }}a\neq a',{\text{ entonces }}f(a)\neq f(a')}{\displaystyle

{\text{Si }}a,a'\in A{\text{ y }}a\neq a',{\text{ entonces }}f(a)\neq f(a')}

o, de modo equivalente, si solo asigna imágenes idénticas a elementos idénticos:

{\displaystyle {\text{Si }}a,a'\in A{\text{ y }}f(a)=f(a'),{\text{ entonces }}a=a'}{\displaystyle

{\text{Si }}a,a'\in A{\text{ y }}f(a)=f(a'),{\text{ entonces }}a=a'}
Una función f : A → B se dice suprayectiva (o sobreyectiva) si su imagen es igual a su codominio:

{\displaystyle {\text{Im}}(f)=B\!}{\displaystyle {\text{Im}}(f)=B\!}

o, de modo equivalente, si todo elemento del codominio es la imagen de algún elemento del
dominio:

{\displaystyle {\text{Para cada }}b\in B{\text{ existe un }}a\in A{\text{ con }}f(a)=b}{\displaystyle
{\text{Para cada }}b\in B{\text{ existe un }}a\in A{\text{ con }}f(a)=b}

Las funciones inyectivas no repiten las imágenes: si b = f(a), ningún otro a' tiene por imagen a b,
por lo que la anti-imagen de este último solo contiene al elemento a. Las funciones suprayectivas
recorren todo el codominio, por lo que ninguna anti-imagen puede estar vacía. La definición de
función suprayectiva asume que esta tiene un codominio especificado previamente. De lo
contrario, la noción de suprayectividad no tiene sentido.

Cuando una función tiene ambas propiedades a la vez, se dice que es una biyección entre ambos
conjuntos:

Una función f : A → B se dice biyectiva si es inyectiva y suprayectiva.

Las funciones biyectivas constituyen un «emparejamiento perfecto» entre los elementos del
dominio y el codominio: cada elemento en A tiene una única «pareja» en B —como todas las
funciones—, y a cada elemento de B le corresponde uno solo en A —al menos uno por ser
suprayectiva, y como mucho uno por ser inyectiva—.

Ejemplos

La función cubo {\displaystyle f:\mathbb {R} \to \mathbb {R} }{\displaystyle f:\mathbb {R} \to
\mathbb {R} } es biyectiva. Es inyectiva porque dos números reales que tienen el mismo cubo son
idénticos, y es suprayectiva porque {\displaystyle Im(f)=\mathbb {R} }{\displaystyle Im(f)=\mathbb
{R} }.

La función «inverso» {\displaystyle g:\mathbb {R} \backslash {0}\to \mathbb {R} }{\displaystyle
g:\mathbb {R} \backslash {0}\to \mathbb {R} } es inyectiva, ya que el inverso de cada número real
no nulo es único (1/x = 1/y implica necesariamente que x = y). Sin embargo no es suprayectiva,
dado que {\displaystyle Im(g)=\mathbb {R} \backslash {0}.}{\displaystyle Im(g)=\mathbb {R}
\backslash {0}.}
La función de clasificación de mamíferos γ: M → G no es inyectiva, ya que hay mamíferos distintos
en el mismo género (por ejemplo, γ(Yak) = γ(Toro) = Bos). Sin embargo sí es suprayectiva, ya que
en cada género de mamíferos hay clasificada al menos una especie de mamíferos.

La función área A: T → R no es sobreyectiva, ya que Im(A) = R+. Tampoco es inyectiva, ya que

pueden construirse con facilidad triángulos distintos con la misma área.

En la imagen pueden verse varios ejemplos de funciones entre un conjunto de pinceles P y un

conjunto de caras C.

Álgebra de funciones

Con las funciones puede realizarse una operación de composición con propiedades similares a las
de la multiplicación.

Composición de funciones

La composición g ∘ f actúa sobre el objeto x transformándolo según f, y después transformando

f(x) mediante g.

Artículo principal: Composición de funciones

Dadas dos funciones, bajo ciertas condiciones podemos usar los valores de salida de una de ellas
como valores de entrada para la otra., creando una nueva función.

Sean dos funciones f : A → B y g : C → D, tales que el recorrido de la primera esté contenido en el

dominio de la segunda, Im(f) ⊆ C. Entonces puede formarse la composición de g con f, la función g
∘ f : A → D que a cada a en el dominio A le asocia el elemento (g ∘ f)(a) = g(f(a)).

Es decir, la composición g ∘ f hace actuar primero la función f sobre un elemento de A, y luego g

sobre la imagen que se obtenga:

{\displaystyle x\mapsto f(x)\mapsto g(f(x))}{\displaystyle x\mapsto f(x)\mapsto g(f(x))}