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
f {\displaystyle f}
y
g {\displaystyle g}
, se denotar�an entonces como:
f : Z ? N {\displaystyle f:\mathbb {Z} \to \mathbb {N} }

k ? k 2 {\displaystyle k\to k^{2}}

, o sencillamente
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[editar]
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[editar]

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:
d = 0 , 33 � 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,
d = a � 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[editar]

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[editar]
Todos los n�meros reales tienen un cubo, por lo que existe la funci�n �cubo� que a
cada n�mero en el dominio
R {\displaystyle \mathbb {R} }
(n�meros reales) le asigna su cubo en el codominio
R {\displaystyle \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
R {\displaystyle \mathbb {R} }
 \ {0}, y con codominio
R {\displaystyle \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
R {\displaystyle \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[editar]
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
R + {\displaystyle \mathbb {R} ^{+}}
�
R + {\displaystyle \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
N � N {\displaystyle \mathbb {N} \times \mathbb {N} }
.
Notaci�n y Nomenclatura[editar]
La notaci�n habitual para presentar una funci�n f con dominio A y codominio B es:
f : A ? B a ? b = f ( a ) {\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[editar]
La funci�n �cubo� puede denotarse ahora como
f : R ? R {\displaystyle f:\mathbb {R} \to \mathbb {R} }
, con
f ( x ) = x 3 {\displaystyle f(x)=x^{3}}
para cada n�mero real
x {\displaystyle x}
.
La funci�n �inverso� es
g : R \ { 0 } ? R {\displaystyle g:\mathbb {R} \setminus \{0\}\to \mathbb {R} }
, con
g ( x ) = 1 x {\displaystyle g(x)={\frac {1}{x}}}
para cada
x {\displaystyle x}
real y no nulo.
La funci�n �clasificaci�n en g�neros� puede escribirse como
? : M ? 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
A : T ? R {\displaystyle A:T\to R}
, y entonces
A ( t ) = B � 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
f ( n ) = 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
( a 1 , a 2 ) {\displaystyle (a_{1},a_{2})}
no se denota por
f ( ( a 1 , a 2 ) ) {\displaystyle f((a_{1},a_{2}))}
, sino por
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:
f : R ? R {\displaystyle f:\mathbb {R} \to \mathbb {R} }

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

Funci�n escalar:
f : R n ? R {\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }

Funci�n vectorial:
f : R n ? 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[editar]
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
f {\displaystyle f}
se denota por
Im ( f ) {\textstyle {\text{Im}}(f)}
o
f ( A ) {\displaystyle f(A)}
, mientras que la imagen de un subconjunto
X ? A {\textstyle X\subseteq A}
se denota, a su vez, por
f ( X ) {\displaystyle f(X)}
o
f [ X ] {\displaystyle f[X]}
. En notaci�n conjuntista las im�genes de f y X se denotan:
Im ( f ) = f ( A ) = { b ? B : existe a ? A tal que f ( a ) = b } f ( X ) =
{ b ? B : existe a ? X ? A tal que f ( a ) = b } {\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:
f - 1 ( b ) = { a ? A : f ( a ) = b } f - 1 ( Y ) = { a ? A : existe b ? Y con
f ( a ) = b } {\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[editar]
La imagen de la funci�n cubo f es todo
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,
f - 1 ( R + ) =? 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
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[editar]
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[editar]
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

Biyectiva

No sobreyectiva

Se dice que una funci�n f : A ? B es inyectiva si las im�genes de elementos

distintos son distintas:
Si a , a ' ? A y a ? a ' , entonces f ( a ) ? 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:

Si a , a ' ? A y f ( a ) = f ( a ' ) , 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:
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:
Para cada b ? B existe un a ? A 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[editar]
La funci�n cubo
f : R ? 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
I m ( f ) = R {\displaystyle Im(f)=\mathbb {R} }
.
La funci�n �inverso�
g : R \ 0 ? 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
I m ( g ) = R \ 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[editar]
Con las funciones puede realizarse una operaci�n de composici�n con propiedades
similares a las de la multiplicaci�n.
Composici�n de funciones[editar]

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:
x ? f ( x ) ? 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
h 1 : R ? R {\displaystyle h_{1}:\mathbb {R} \to \mathbb {R} }
y
h 2 : R ? R {\displaystyle h_{2}:\mathbb {R} \to \mathbb {R} }
dadas por
h 1 ( x ) = x 2 {\displaystyle h_{1}(x)=x^{2}}
y
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:
( h 1 � h 2 ) ( x ) = h 1 ( h 2 ( x ) ) = h 1 ( x + 1 ) = ( x + 1 ) 2 = x 2 + 2 x +
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
( h 2 � 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[editar]
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:
f � id A = f id B � f = f {\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:

x ? id A x ? f f ( x ) x ? f f ( x ) ? id B f ( x ) {\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[editar]
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:
f � g = id B g � f = id A {\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.