Funci�n matem�tica

Ir a la navegaci�nIr a la b�squeda
Para otros usos de este t�rmino, v�ase Funci�n.

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�ticas, 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 =
p�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, d / 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, aplicaci�n o mapeo 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.3?4?5?

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�ticas 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 las matem�ticas 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 s�lo 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 s�lo 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 el
mismo �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))}

La condici�n Im(f) ? C asegura precisamente que este segundo paso se pueda llevar a
cabo.

Ejemplos
La imagen de la funci�n �inverso� g es R \ {0} �puesto que todo n�mero real no nulo
es el inverso de otro�, y por tanto est� contenido en el dominio de la funci�n cubo
f, que es R. La composici�n f � g: R \ {0} ? R act�a entonces como f(g(x)) = f(1/x)
= (1/x)3 = 1/x3.
Dadas las funciones reales {\displaystyle h_{1}:\mathbb {R} \to \mathbb {R} }
{\displaystyle h_{1}:\mathbb {R} \to \mathbb {R} } y {\displaystyle h_{2}:\mathbb
{R} \to \mathbb {R} } {\displaystyle h_{2}:\mathbb {R} \to \mathbb {R} } dadas por
{\displaystyle h_{1}(x)=x^{2}} {\displaystyle h_{1}(x)=x^{2}} y {\displaystyle
h_{2}(x)=x+1} {\displaystyle h_{2}(x)=x+1}, puede tomarse la composici�n en ambos
�rdenes, h1 � h2 y h2 � h1. Sin embargo, son funciones distintas, ya que:
{\displaystyle (h_{1}\circ h_{2})(x)=h_{1}(h_{2}(x))=h_{1}
(x+1)=(x+1)^{2}=x^{2}+2x+1} {\displaystyle (h_{1}\circ h_{2})(x)=h_{1}(h_{2}
(x))=h_{1}(x+1)=(x+1)^{2}=x^{2}+2x+1}, y
{\displaystyle (h_{2}\circ h_{1})(x)=h_{2}(h_{1}(x))=h_{2}(x^{2})=x^{2}+1}
{\displaystyle (h_{2}\circ h_{1})(x)=h_{2}(h_{1}(x))=h_{2}(x^{2})=x^{2}+1}
La funci�n ? que clasifica los mam�feros en g�neros puede componerse con la funci�n
?: G ? Or que clasifica los g�neros de mam�feros en �rdenes �que forman el conjunto
Or�. La funci�n ? � ? asigna a cada mam�fero su orden:
(? � ?)(Humano) = ?(Homo) = Primate, (? � ?)(Guanaco) = ?(Lama) = Artiodactyla
Funci�n identidad
Art�culo principal: Funci�n identidad
En cualquier conjunto puede definirse una funci�n identidad, que teniendo como
dominio y codominio al propio conjunto, asocia cada elemento consigo mismo.

Dado un conjunto A, la funci�n identidad de A es la funci�n idA : A ? A que a cada

a ? A le asocia idA(a) = a.

Tambi�n se denota como IA. La funci�n identidad act�a como un elemento neutro al
componer funciones, ya que no �hace nada�. La funci�n �nica sobre un conjunto X que
asigna cada elemento a s� mismo se denomina funci�n de identidad para X y,
t�picamente, se indica con idX. Cada conjunto tiene su propia funci�n de identidad,
por lo que el sub�ndice no puede omitirse a menos que el conjunto pueda deducirse
del contexto. Bajo composici�n, una funci�n de identidad es "neutral": si f es
cualquier funci�n de X a Y, entonces:

Dada una funci�n cualquiera f : A ? B se tiene:

{\displaystyle {\begin{aligned}&f\circ {\text{id}}_{A}=f\\&{\text{id}}_{B}\circ

f=f\end{aligned}}} {\displaystyle {\begin{aligned}&f\circ
{\text{id}}_{A}=f\\&{\text{id}}_{B}\circ f=f\end{aligned}}}

Es decir, dado un elemento x ? A, se tiene que:

{\displaystyle {\begin{aligned}&x\ {\stackrel {{\text{id}}_{A}}{\longmapsto }}\ x\

{\stackrel {f}{\longmapsto }}\ f(x)\\&x\ {\stackrel {f}{\longmapsto }}\ f(x)\
{\stackrel {{\text{id}}_{B}}{\longmapsto }}\ f(x)\end{aligned}}} {\displaystyle
{\begin{aligned}&x\ {\stackrel {{\text{id}}_{A}}{\longmapsto }}\ x\ {\stackrel {f}
{\longmapsto }}\ f(x)\\&x\ {\stackrel {f}{\longmapsto }}\ f(x)\ {\stackrel
{{\text{id}}_{B}}{\longmapsto }}\ f(x)\end{aligned}}}
Funci�n inversa
Art�culo principal: Funci�n inversa
Una funci�n puede tener inversa, es decir, otra funci�n que al componerla con ella
resulte en la identidad, del mismo modo que un n�mero multiplicado por su inverso
da 1.

Dada una funci�n f : A ? B, se dice que g : B ? A es la inversa o rec�proca de f si

se cumple:

{\displaystyle {\begin{aligned}&f\circ g={\text{id}}_{B}\\&g\circ

f={\text{id}}_{A}\end{aligned}}} {\displaystyle {\begin{aligned}&f\circ
g={\text{id}}_{B}\\&g\circ f={\text{id}}_{A}\end{aligned}}}

La inversa se denota por g = f-1, y tanto f como f-1 se dicen invertibles.

No todas las funciones son invertibles, sino que solo aquellas que sean biyectivas
poseen inversa:

Toda funci�n biyectiva f es invertible, y su inversa f-1 es biyectiva a su vez.

Rec�procamente, toda funci�n invertible f es biyectiva.

La notaci�n para funciones inversas puede ser confusa. Para un elemento del
codominio b, f-1(b) puede denotar tanto la anti-imagen de b (un subconjunto del
dominio), como a la imagen de b por la funci�n inversa de f (un elemento del
dominio), en el caso de que f sea invertible.

Ejemplos.
La funci�n �exponencial� {\displaystyle h:\mathbb {R} \to \mathbb {R} }
{\displaystyle h:\mathbb {R} \to \mathbb {R} }, que asocia a cada n�mero real su
exponencial, {\displaystyle h(x)=e^{x}} {\displaystyle h(x)=e^{x}}, no es
invertible, ya que no es suprayectiva: ning�n n�mero negativo pertenece a la imagen
de h.
Existe una funci�n que calcula el cambio entre dos divisas. En el caso del cambio
de rupias a quetzales (las monedas de la India y Guatemala), la conversi�n est�
dada (en 2011) por:
Q(r) = 0,15 � r
Esta funci�n de cambio tiene inversa, la conversi�n rec�proca de quetzales a
rupias:
R(q) = 6,65 � q
La funci�n cubo f(x) = x3 es invertible, ya que podemos definir la funci�n inversa
mediante la ra�z c�bica, f-1(x) = 3vx.
La funci�n de clasificaci�n en g�neros ?: M ? G no es invertible, ya que no es
inyectiva, y para cada g�nero pueden existir varios mam�feros clasificados en �l.
La funci�n que asigna a cada d�a de la semana su siguiente tiene por inversa la
funci�n que asigna a cada d�a de la semana su antecesor:
Lunes ? Domingo, Martes ? Lunes,..., Domingo ? S�bado
Restricci�n y extensi�n
Art�culo principal: Restricci�n de una funci�n

La funci�n que asigna a cada mujer del electorado su voto es una restricci�n de la
funci�n que a cada miembro del electorado le asigna su voto.
La restricci�n de una funci�n dada es otra funci�n definida en una parte del
dominio de la original, pero que �act�a igual� que esta. Se dice tambi�n que la
primera es una extensi�n de la segunda. Informalmente, una restricci�n de una
funci�n f es el resultado de recortar su dominio. De manera m�s precisa, si S es un
subconjunto de X, la restricci�n de f a S es la funci�n f | S de S a Y tal que f |
S (s) = f (s) para todo s en S. Si g es a Restricci�n de f, entonces se dice que f
es una extensi�n de g.
Dadas dos funciones f : A ? B y g : C ? D, de forma que el dominio de g sea un
subconjunto del dominio de f, C ? A, y cuyas im�genes coinciden en este
subconjunto:

{\displaystyle f(x)=g(x),{\text{ para cada }}x\in C\,,} {\displaystyle f(x)=g(x),

{\text{ para cada }}x\in C\,,}

se dice entonces que g es la restricci�n de f al subconjunto C, y que f es una

extensi�n de g.

La restricci�n de una funci�n f: A ? B a un subconjunto C ? A se denota por f|C.

Representaci�n de funciones
Art�culo principal: Representaci�n gr�fica de una funci�n
Las funciones se pueden presentar de distintas maneras:

usando una relaci�n matem�tica descrita mediante una expresi�n matem�tica:

ecuaciones de la forma {\displaystyle y=f(x)} {\displaystyle y=f(x)}. Cuando la
relaci�n es funcional, es decir satisface la segunda condici�n de la definici�n de
funci�n, se puede definir una funci�n que se dice definida por la relaci�n, A menos
que se indique lo contrario, se supone en tales casos que el dominio es el mayor
posible (respecto a inclusi�n) y que el codominio son todos los Reales. El dominio
seleccionado se llama el dominio natural, de la funci�n.
Ejemplo: y=x+2. Dominio natural es todos los reales.
Ejemplo: "Para todo x, n�mero entero, y vale x m�s dos unidades".
Como tabulaci�n: tabla que permite representar algunos valores discretos de la
funci�n.
Ejemplo:
{\displaystyle {\begin{array}{c|rrrrrr}X&-2&-1&0&1&2&3\\\hline
Y&0&1&2&3&4&5\\\end{array}}} {\displaystyle {\begin{array}{c|rrrrrr}X&-2&-
1&0&1&2&3\\\hline Y&0&1&2&3&4&5\\\end{array}}}
Como pares ordenados: pares ordenados, muy usados en teor�a de grafos.
Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3),... (x, x+2)}
Como gr�fica: gr�fica que permite visualizar las tendencias en la funci�n. Muy
utilizada para las funciones continuas t�picas del c�lculo, aunque tambi�n las hay
para funciones discretas.
Ejemplo:
5 X
4 X
3 X
2 X
1 X
0 X
y / x -2 -1 0 1 2 3