Función (matemática)

Ir a la navegaciónIr a la búsqueda

En la imagen de 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 depende de la velocidad v a la que se desplace el tren (a saber, la
duración es inversamente proporcional a la velocidad, T = 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, 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 → −1 →
0 → 0,   
  +4,  +1, 
+1 → +2 → +3 → ...
 
+1,  +4,  +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  y , se denotarían entonces como:
, o sencillamente ;
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

 1Historia
 2Introducción
 3Definición
o 3.1Ejemplos
o 3.2Funciones con múltiples variables
o 3.3Notación y Nomenclatura
 3.3.1Ejemplos
o 3.4Imagen e imagen inversa
 3.4.1Ejemplos
o 3.5Igualdad de funciones
 4Funciones inyectivas, sobreyectivas y biyectivas
o 4.1Ejemplos
 5Álgebra de funciones
o 5.1Composición de funciones
o 5.2Función identidad
o 5.3Función inversa
 5.3.1Ejemplos.
o 5.4Restricción y extensión
 6Representación de funciones
 7Espacios de función
o 7.1Curtiendo (Currying)
 8Definición formal. Generalizaciones
 9Véase también
 10Referencias
 11Bibliografía
 12Enlaces 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.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[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:
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, . 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á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[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  (números reales) le asigna su
cubo en el codominio .
 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  \ {0}, y con codominio .
 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 .
 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  × , 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 .
Notación y Nomenclatura[editar]
La notación habitual para presentar una
función f con dominio A y codominio B es:
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 , con  para cada número
real .
 La función «inverso» es , con  para
cada  real y no nulo.
 La función «clasificación en géneros»
puede escribirse como , donde γ(m) =
Género de m, para cada mamífero
conocido m.
 La función «área» se puede denotar
como , y entonces , 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 . 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  no se denota por ,
sino por , 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: 
 Función compleja: 
 Función escalar: 
 Función vectorial: 
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  se denota por  o ,

mientras que la imagen de un subconjunto  se
denota, a su vez, por  o . En notación conjuntista
las imágenes de f y X se denotan:

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:
Ejemplos[editar]
 La imagen de la función cubo f es todo ,
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, 
 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 γ (Canis) = {Perro, coyote, chacal,...}.
−1

 Como el área es siempre un número

positivo, el recorrido de la función
área A es .
 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

Sobreyect
iva

Biyectiva

No
sobreyecti
va

 Se dice que una

función f : A → B es inyectiva si
las imágenes de elementos
distintos son distintas:
o, de modo equivalente, si solo asigna
imágenes idénticas a elementos
idénticos:

 Una función f : A → B se
dice suprayectiva (o sobreyec
tiva) si su imagen es igual a
su codominio:
 o, de modo equivalente, si todo
elemento del codominio es la imagen
de algún elemento del dominio:
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[editar]
 La función cubo  es biyectiva. Es
inyectiva porque dos números reales
que tienen el mismo cubo son
idénticos, y es suprayectiva porque .
 La función «inverso»  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 
 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[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:
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  y  dadas
por  y , puede tomarse la
composición en ambos
órdenes, h1 ∘ h2 y h2 ∘ h1. Sin
embargo, son funciones distintas, ya
que:
,y

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:
Es decir, dado un elemento x ∈ A,
se tiene que:
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:
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.[editar]
 La función
«exponencial» , que
asocia a cada número
real su exponencial, , 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) = 3√x.
 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[editar]
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:
 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[editar]
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: ecuacio
nes de la forma .
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:

 Como pare
s
ordenados
: pares
ordenados,
muy
usados
en teoría
de grafos.
Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3),... (x, x+2)}

 Como g
ráfica: 
gráfica 
que
permite
visualiz
ar las
tendenc
ias en
la
función.
Muy
utilizad
a para
las func
iones
continu
as típic
as
del cálc
ulo,
aunque
también
las hay
para fu
nciones
discreta
s.
Ejemplo:
5 X
4 X
3 X
 2 X
1 X
0 X
y/x -2 -1 0 1 2 3

Espacios
de
función[e
ditar]
El conjunto de
todas las
funciones
desde un
conjunto X a
un conjunto Y
se denota X ->
Y, por [X -> Y]
o por Y^X.
Esta última
notación está
motivada por
el hecho de
que cuando X
e Y son finitos
y de tamaño |
X| y |Y|
entonces el
número de
funciones de X
-> Y es |Y^X|
= |Y|^|X| Este
es un ejemplo
de la
convención de
la
combinatoria
enumerativa
que
proporciona
anotaciones
para conjuntos
basados en
sus
cardinalidades
. Si X es
infinito y hay
más de un
elemento en Y
entonces hay
innumerables
funciones de X
a Y, aunque
solo
contablemente
muchas de
ellas pueden
expresarse
con una
fórmula o un
algoritmo.
Curtiendo
(Currying)
[editar]
Un enfoque
alternativo
para manejar
funciones con
múltiples
argumentos es
transformarlas
en una cadena
de funciones
que cada una
toma un solo
argumento.
Por ejemplo,
se puede
interpretar Add
(3,5) para
significar
"producir
primero una
función que
añade 3 a su
argumento, y
luego aplicar
la función
'Añadir 3' a 5".
Esta
transformación
se
llama currying:
Add 3 es curry
(Add) aplicado
a 3. Hay una
biyección
entre los
espacios de
función CA ×
B y (CB) A.
Cuando se
trabaja con
funciones con
curry, es
habitual usar
la notación de
prefijo con la
aplicación de
función
considerada
asociativa a la
izquierda, ya
que la
yuxtaposición
de múltiples
argumentos —
como en f(x, y)
—
normalmente
se
correlaciona
con la
evaluación de
una función
curry. Por el
contrario, los
símbolos → y
"are" se
consideran
asociativos a
la derecha, de
modo que las
funciones
curry pueden
definirse
mediante una
notación como
f: ℤ → ℤ → ℤ =
x⟼y⟼x·
y.

Definició
n formal.
Generaliz
aciones[e
ditar]
Las funciones
pueden
definirse en
términos de
otros objetos
matemáticos,
como
los conjuntos y
los pares
ordenados. En
particular, una
función es un
caso particular
de relación
binaria, luego
esta definición
está basada
en la que se
adopte para
las relaciones.
En el enfoque
«extensivo»
se identifica
una función
con su gráfica:
Una función es
un conjunto f de
pares ordenados
tal que no
contiene dos
pares distintos c
on la misma
primera
componente:
El dominio (la i
magen) de la
función es
entonces el
conjunto de
primeras
(segundas)
componentes:
En la
definición
extensiva no
aparece el
concepto
de codominio 
como conjunto
potencial
donde está
contenido el
recorrido. En
algunas áreas
de la
matemática es
importante
preservar esta
distinción, y
por tanto se
usa una
definición
distinta:9
Una función es
una terna de
conjuntos f =
(A, B, G(f)),
el dominio,
el codominio y
el grafo de f,
tales que:

1.
G

2.
To

3.
Est

Con esta
definición, dos
funciones con
el mismo grafo
son distintas si
su codominio
no coincide.
También se
habla en
ocasiones
de funciones
parciales, para
las que no
necesariament
e cada
elemento del
dominio posee
una imagen,
en contraste
con las
funciones
como se han
definido antes,
que se
denominan tot
ales. A las
funciones
parciales
también se las
llama correspo
ndencias o rel
aciones unívo
cas.10