Ver el código de «Función matemática»

{{otros usos|Función}}
[[Archivo:PolygonsFunction.svg|miniaturadeimagen|275px|En la [[Grafo bipartito|imagen]] se muestra una relación entre un conjunto de [[polígono]]s y un conjunto de [[número natural|números]]. A cada polígono le [[Correspondencia matemática|corresponde]] su número de [[lado (geometría)|lados]].]]
[[Archivo:FunctionMachine.svg|miniaturadeimagen|220px|Una función vista como una «[[caja negra (sistemas)|caja negra]]», que transforma los valores u objetos de «entrada» en los valores u objetos de «salida»]]
[[Archivo:Graph of example function.svg|thumb|right|La curva roja es la [[Grafica de una funcion|gráfica de una función]], porque cualquier [[Prueba de la línea vertical|línea vertical]] tiene exactamente un punto de cruce con la curva.]]
En [[matemática]], se dice que una [[magnitud (matemática)|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 [[Catenaria|función]] de su [[radio (geometría)|radio]] ''r'' (el valor del área es [[proporcional]] al [[cuadrado (álgebra)|cuadrado]] del radio, ''A'' = ''&pi;''·''r''<sup>2</sup>). 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 [[Proporcionalidad|proporcional]] a la velocidad, ''d'' / ''v''). A la primera magnitud (el área, la duración) se la denomina [[variable (matemáticas)|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 [[Correspondencia matemática|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 (álgebra)|cuadrado]], que resulta ser un [[número natural]] (incluyendo el [[cero]]):<ref>{{Cita noticia|título=Definición de función matemática — Definicion.de|url=https://definicion.de/funcion-matematica/|fechaacceso=28 de enero de 2018|periódico=Definición.de|idioma=es-ES}}</ref>

{| align="center"
|...&emsp;
| −2 &rarr; +4,&emsp;
| −1 &rarr; +1,&emsp;
| 0 &rarr; 0,&emsp;
| &emsp;
|-
|  &emsp;
| +1 &rarr; +1,&emsp;
| +2 &rarr; +4,&emsp;
| +3 &rarr; +9,&emsp;
|...&emsp;
|}

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 [[idioma español|español]] le asigne su [[letra]] inicial:

{| align="center"
|...,
| Estación &rarr; E,
| Museo &rarr; M,
| Arroyo &rarr; A,
| Rosa &rarr; R,
| Avión &rarr; 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'' &rarr; ''B''
:&emsp;''a'' &rarr; ''f''(''a''), 

donde ''A'' es el '''[[dominio de una función|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 (matemáticas)|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 <math>f</math> y <math>g</math>, se denotarían entonces como:

:<math>f: \mathbb{Z} \to \mathbb{N}</math>
:<math>k \to k^2</math>, o sencillamente <math>f(k) = k^2</math>;

:''g'': ''V'' &rarr; ''A''
:&emsp;''p'' &rarr; 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 [[ecuación|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 de una función|gráfica]] que dé una imagen de la función.

== Historia ==

[[Archivo:Gottfried Wilhelm Leibniz, Bernhard Christoph Francke.jpg|miniaturadeimagen|180px|[[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]].<ref>Esta sección está basada en {{cita publicación|título=The history of the concept of function and some educational implications|autor=Pedro Ponte, J.|publicación=The Mathematics Educator|volumen=3|número=2|url=http://math.coe.uga.edu/tme/issues/v03n2/Ponte.pdf|formato=pdf|idioma=inglés|fecha=1992|fechaacceso=10 de diciembre de 2011}}</ref> [[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.<ref>{{cita libro|apellidos=Dunham|nombre=William|título=Euler: The Master of Us All|año=1999|editorial=The Mathematical Association of America|páginas=17}}</ref><ref>{{cita libro|apellidos=Friedrich Gauss|nombre=Carl|año=1995|editor=Academia Colombiana de Ciencias Exactas, Físicas y Naturales}}</ref><ref>{{cita libro|autor=Howard Eves|título=Foundations and Fundamental Concepts of Mathematics|edición=3|año=1990|editorial=Dover|isbn=0-486-69609-X|página=235}}</ref>

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 [[Peter Gustav Lejeune Dirichlet|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 [[física|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 [[función continua|continuas]] sin [[derivada]] en [[función de Weierstrass|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 [[siglo XIX|XIX]] y [[siglo XX|XX]] surgió la definición actual de función, como una correspondencia entre dos conjuntos de objetos cualesquiera, no necesariamente numéricos.<ref>{{cita libro|título=Números, grupos y anillos|apellidos=Dorronsoro|nombre=Jorge|apellidos2=Hernández|nombre2=Eugenio|editorial=Adison-Wesley Iberoamericana|año=1996|isbn=0-201-65395-8}}</ref> También se asoció con otros conceptos vinculados como el de [[relación binaria]].

== Introducción ==

[[Archivo:ConstantAcceleration.svg|miniaturadeimagen|275px|[[Gráfica de una función|Representación gráfica]] de la [[posición]] de un cuerpo [[movimiento uniformemente acelerado|acelerado]] a 0,66 m/s<sup>2</sup>]]
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 (física)|movimiento]] de un cuerpo. 

Un móvil que se desplaza con una [[aceleración]] de 0,66 m/s<sup>2</sup> 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 (información)|tabla]], anotando la distancia recorrida ''d'' en un cierto instante ''t'', para varios momentos distintos:
<center>
{| border="1" style="background:#ffffff" class="wikitable"
! width="120 px" style="background:Lavender;"|Tiempo ''t'' (s)
! width="120 px" style="background:Lavender;"|Distancia ''d'' (m)
|-align="center"
|0,0||align="center"|0,0
|-align="center"
|0,5||align="center"|0,1
|-align="center"
|1,0||align="center"|0,3
|-align="center"
|1,5||align="center"|0,7
|-align="center"
|2,0||align="center"|1,3
|-align="center"
|2,5||align="center"|2,0
|}
</center>
La [[gráfica de una función|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:

:<math>d=0,33 \times t^2</math>

donde las magnitudes se expresan unidades del [[Sistema Internacional de Unidades|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, <math>d=\frac{a \times t^2}{2}</math>. 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 [[Polígono#Elementos de un polígono|lados]]; o una función que a cada día de la semana le asigna el siguiente:

:Lunes &rarr; Martes, Martes &rarr; Miércoles,..., Domingo &rarr; Lunes

== Definición ==
{{multiple image| width = 220
| align     = right
| direction = vertical
| image1    = Injection keine Injektion 2a.svg
| caption1  = 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}.
<br /><hr style="height:8pt; visibility:hidden"><hr><hr style="height:8pt; visibility:hidden">
|
| image2    = Injection keine Injektion 1.svg
| caption2  = 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, {{Nowrap|(2, B)}} y {{Nowrap|(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 (matemática)|definición]] general de función hace referencia a la dependencia entre los elementos de dos conjuntos dados.
{{definición|1=Dados dos [[conjuntos]] ''A'' y ''B'', una ''función'' (también ''aplicación'' o ''mapeo'') entre ellos es una asociación<ref name="choice">
En general una función está caracterizada por una regla o método que describe la asociación entre los elementos en estos conjuntos. Sin embargo en disciplinas más avanzadas de las matemáticas esto no siempre ocurre, como por ejemplo con las [[funciones de elección]].
 Por ello la definición general de función se centra en la asociación entre los objetos, y no en la regla o algoritmo.</ref> ''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 (matemáticas)|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 (álgebra)|cubo]], por lo que existe la función «cubo» que a cada número en el dominio <math>\mathbb{R}</math> (números reales) le asigna su cubo en el codominio '''<math>\mathbb{R}</math>'''.
* Exceptuando al 0, todos los números reales tienen un único [[elemento inverso|inverso]]. Existe entonces la función «inverso» cuyo dominio son los números reales no nulos '''<math>\mathbb{R}</math>''' \ {0}, y con codominio '''<math>\mathbb{R}</math>'''.
* Cada [[mamífero]] conocido se clasifica en un [[género (taxonomía)|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 '''<math>\mathbb{R}</math>'''.
* 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, ''A''<sub>1</sub> y ''A''<sub>2</sub>, por ejemplo. En lugar de ello, el dominio se toma como el conjunto de las [[par ordenado|parejas]] (''a''<sub>1</sub>, ''a''<sub>2</sub>), con primera componente en ''A''<sub>1</sub> y segunda componente en ''A''<sub>2</sub>. Este conjunto se denomina el [[producto cartesiano]] de ''A''<sub>1</sub> y ''A''<sub>2</sub>, y se denota por ''A''<sub>1</sub> × ''A''<sub>2</sub>. 

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 '''<math>\mathbb{R}^+</math>''' × '''<math>\mathbb{R}^+</math>''', 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, (''a''<sub>1</sub>,..., ''a''<sub>n</sub>), una [[n-tupla|''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 '''<math>\mathbb{N} \times \mathbb{N}</math>'''.

=== Notación y Nomenclatura ===

La notación habitual para presentar una función ''f'' con dominio ''A'' y codominio ''B'' es:
{{ecuación|1=<math>
   \begin{array}{rrcl}
      f : & A & \longrightarrow & B \\
          & a & \mapsto & b = f(a)
   \end{array}
</math>}}

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''), D''f'', etc. Por ''f''(''a'') se resume la operación o regla que permite obtener el elemento de ''B'' asociado a un cierto ''a'' &isin; ''A'', denominado la [[#Imagen e imagen inversa|imagen]] de ''a''.<ref name="choice" />

==== Ejemplos ====
* La función «cubo» puede denotarse ahora como '''<math>f: \mathbb{R} \to \mathbb{R}</math>''', con '''<math>f(x) = x^3</math>''' para cada número real '''<math>x</math>'''.
* La función «inverso» es '''<math>g: \mathbb{R} \setminus \{0\} \to \mathbb{R}</math>''', con <math>g(x) = \frac{1}{x}</math> para cada '''<math>x</math>''' real y no nulo.
* La función «clasificación en géneros» puede escribirse como '''<math>\gamma: M \to G</math>''', donde ''&gamma;''(''m'') = Género de ''m'', para cada mamífero conocido ''m''.
* La función «área» se puede denotar como <math>A: T \to R</math>, y entonces <math>A(t) = B \times \frac{H}{2}</math>, 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'' &rarr; ''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 <math>f(n) = \sqrt{n}</math>. 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 <math>(a_1, a_2)</math> no se denota por <math>f((a_1, a_2))</math>, sino por <math>f(a_1, a_2)</math>, 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]]: <math>f: \mathbb{R} \to \mathbb{R} </math>
* [[Función compleja]]: <math>f: \mathbb{C} \to \mathbb{C} </math>
* [[Función escalar]]: <math>f: \mathbb{R}^n \to \mathbb{R} </math> 
* [[Función vectorial]]: <math>f: \mathbb{R}^n \to \mathbb{R}^m </math> 
También las [[sucesión matemática|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.<ref>{{cita libro |fecha = 6 de 2011 |título= Diccionario esencial de matemáticas |página= 15 |editorial= VOX |isbn= 978-84-9974-001-0}}</ref>

=== Imagen e imagen inversa ===

{{AP|Conjunto imagen}}
[[Archivo:VotingApplication.svg|miniaturadeimagen|275px|Dado un conjunto de [[votante]]s y un conjunto de posible [[partido político|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.
{{definición|1=Dada una función ''f'' : ''A'' &rarr; ''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'' &sube; ''A'', se denomina la ''imagen'' de ''X''.}}
La imagen de una función <math>f</math> se denota por <math display="inline">\text{Im}(f)</math> o <math>f(A)</math>, mientras que la imagen de un subconjunto <math display="inline">X\subseteq A</math> se denota, a su vez, por <math>f(X)</math> o <math>f[X]</math>. En notación conjuntista las imágenes de ''f'' y ''X'' se denotan:
{{ecuación|1=<math>\begin{align}
&\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{align}</math>}}

[[Archivo:InverseVotingApplication.svg|miniaturadeimagen|275px|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.
{{definición|1=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''<sup>−1</sup>(''b'').

La imagen inversa de un subconjunto cualquiera del codominio, ''Y'' &sube; ''B'', es el conjunto de las preimágenes de cada elemento de ''Y'', y se escribe ''f''<sup>−1</sup>(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:
{{ecuación|1=<math>\begin{align}
&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{align}</math>}}

==== Ejemplos ====
* La imagen de la función cubo ''f'' es todo <math>\mathbb{R} </math>, 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, <math>f^{-1}(\mathbb{R}^+)= \to \mathbb{R}^+ </math>
* 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» ''&gamma;'' se tiene:

:''&gamma;''(Perro) = ''[[Canis]]'', y ''&gamma;''<sup>−1</sup>(''Canis'') = {Perro, coyote, chacal,...}.

* Como el área es siempre un número positivo, el recorrido de la función área ''A'' es <math>\mathbb{R}^+ </math>.
* 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''<sup>−1</sup>(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:
{{definición|1=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'' &isin; ''A'' = ''C'', se tiene que ''f''(''x'') = ''g''(''x'')
}}

== Funciones inyectivas, sobreyectivas y biyectivas ==

{{AP|Función inyectiva|función sobreyectiva|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:
{| class="wikitable"
| align=center | Funciones
| align=center | Inyectiva
| align=center | No inyectiva
|-
| Sobreyectiva
|
{| class="wikitable"
| [[Archivo:Correspon 1602.svg|140px]]
|-
| align=center | Biyectiva
|}
| [[Archivo:Correspon 1502.svg|140px]]
|-
| No sobreyectiva
| [[Archivo:Correspon 1402.svg|140px]]
| [[Archivo:Correspon 1302.svg|140px]]
|}

{{definición|1=*Se dice que una función ''f'' : ''A'' &rarr; ''B'' es ''inyectiva'' si las imágenes de elementos distintos son distintas:
{{ecuación|1=<math>\text{Si }a,a'\in A\text{ y }a\neq a',\text{ entonces }f(a)\neq f(a')</math>}}
:o, de modo equivalente, si solo asigna imágenes idénticas a elementos idénticos:
{{ecuación|1=<math>\text{Si }a,a'\in A\text{ y }f(a)=f(a'),\text{ entonces }a=a'</math>}}
*Una función ''f'' : ''A'' &rarr; ''B'' se dice ''suprayectiva'' (o ''sobreyectiva'') si su imagen es igual a su codominio:
{{ecuación|1=<math>\text{Im}(f)=B\!</math>}}
:o, de modo equivalente, si todo elemento del codominio es la imagen de algún elemento del dominio:
{{ecuación|1=<math>\text{Para cada }b\in B\text{ existe un }a\in A\text{ con }f(a)=b</math>}}
}}
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:
{{definición|1=Una función ''f'' : ''A'' &rarr; ''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 <math>f: \mathbb{R} \to \mathbb{R} </math> es biyectiva. Es inyectiva porque dos números reales que tienen el mismo cubo son idénticos, y es suprayectiva porque <math>Im(f)= \mathbb{R} </math>.
* La función «inverso» '''<math>g: \mathbb{R} \backslash {0} \to \mathbb{R}</math>''' 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 <math>Im(g)= \mathbb{R} \backslash {0}. </math>
* La función de clasificación de mamíferos ''&gamma;'': ''M'' &rarr; ''G'' no es inyectiva, ya que hay mamíferos distintos en el mismo género (por ejemplo, ''&gamma;''(Yak) = ''&gamma;''(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'' &rarr; '''R''' no es sobreyectiva, ya que Im(''A'') = '''R'''<sup>+</sup>. 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 ===

[[Archivo:FunctionMachinesComposition.svg|miniaturadeimagen|220px|La composición ''g'' ∘ ''f'' actúa sobre el objeto ''x'' transformándolo según ''f'', y después transformando ''f''(''x'') mediante ''g''.]]
{{AP|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.
{{definición|1=Sean dos funciones ''f'' : ''A'' &rarr; ''B'' y ''g'' : ''C'' &rarr; ''D'', tales que el recorrido de la primera esté contenido en el dominio de la segunda, Im(''f'') &sube; ''C''. Entonces puede formarse la ''composición'' de ''g'' con ''f'', la función ''g'' ∘ ''f'' : ''A'' &rarr; ''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:
{{ecuación|1=<math>
x\mapsto f(x)\mapsto g(f(x))
</math>}}
La condición Im(''f'') &sube; ''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} &rarr; '''R''' actúa entonces como ''f''(''g''(''x'')) = ''f''(1/''x'') = (1/''x'')<sup>3</sup> = 1/''x''<sup>3</sup>.
* Dadas las funciones reales <math>h_1: \mathbb{R} \to \mathbb{R} </math> y <math>h_2: \mathbb{R} \to \mathbb{R} </math> dadas por <math>h_1 (x)=x^2 </math> y <math>h_2 (x)=x+1 </math>, puede tomarse la composición en ambos órdenes, ''h''<sub>1</sub> ∘ ''h''<sub>2</sub> y ''h''<sub>2</sub> ∘ ''h''<sub>1</sub>. Sin embargo, son funciones distintas, ya que:
:<math>(h_1 \circ h_2)(x) = h_1(h_2(x)) = h_1(x + 1) = (x + 1)^2 = x^2 + 2x + 1 </math>, y 
:<math>(h_2 \circ h_1)(x) = h_2(h_1(x)) = h_2(x^2) = x^2 + 1 </math>
* La función ''&gamma;'' que clasifica los mamíferos en géneros puede componerse con la función ''&omega;'': ''G'' &rarr; ''Or'' que clasifica los géneros de mamíferos en [[orden (biología)|órdenes]] —que forman el conjunto ''Or''—. La función ''&omega;'' ∘ ''&gamma;'' asigna a cada mamífero su orden:
:(''&omega;'' ∘ ''&gamma;'')(Humano) = ''&omega;''(''Homo'') = Primate, (''&omega;'' ∘ ''&gamma;'')([[Guanaco]]) = ''&omega;''(''Lama'') = Artiodactyla

=== Función identidad ===

{{AP|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.
{{definición|1=Dado un conjunto ''A'', la ''función identidad'' de ''A'' es la función id<sub>''A''</sub> : ''A'' &rarr; ''A'' que a cada ''a'' &isin; ''A'' le asocia id<sub>''A''</sub>(''a'') = ''a''.}}
También se denota como I<sub>''A''</sub>. 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:
{{teorema|1= Dada una función cualquiera ''f'' : ''A'' &rarr; ''B'' se tiene:
{{ecuación|1=<math>\begin{align}
&f\circ \text{id}_A = f\\
&\text{id}_B \circ f=f
\end{align}</math>}}
}}
Es decir, dado un elemento ''x'' &isin; ''A'', se tiene que:
{{ecuación|<math>\begin{align}
&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{align}</math>}}

=== Función inversa ===

{{AP|Función inversa}}
Una función puede tener [[elemento inverso|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 (multiplicación)|inverso]] da 1.
{{definición|1=Dada una función ''f'' : ''A'' &rarr; ''B'', se dice que ''g'' : ''B'' &rarr; ''A'' es la ''inversa'' o ''recíproca'' de ''f'' si se cumple:
{{ecuación|1=<math>\begin{align}
&f\circ g = \text{id}_B\\
&g \circ f = \text{id}_A
\end{align}</math>}}
La inversa se denota por ''g'' = ''f''<sup>−1</sup>, y tanto ''f'' como ''f''<sup>−1</sup> se dicen ''invertibles''.
}}
No todas las funciones son invertibles, sino que solo aquellas que sean biyectivas poseen inversa:
{{teorema|1=Toda función biyectiva ''f'' es invertible, y su inversa ''f''<sup>−1</sup> 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''<sup>−1</sup>(''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» '''<math>h: \mathbb{R} \to \mathbb{R}</math>''', que asocia a cada número real su [[Función exponencial|exponencial]], '''<math>h(x)=e^x</math>''', 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 [[rupia india|rupias]] a [[quetzal (moneda)|quetzales]] (las monedas de la [[India]] y [[Guatemala]]), la conversión está dada (en 2011) por:<br /><!-- -->&ensp;''Q''(''r'') = 0,15 × ''r''<br /><!-- -->Esta función de cambio tiene inversa, la conversión recíproca de quetzales a rupias:<br /><!-- -->&ensp;''R''(''q'') = 6,65 × ''q''
* La función cubo ''f''(''x'') = ''x''<sup>3</sup> es invertible, ya que podemos definir la función inversa mediante la raíz cúbica, ''f''<sup>−1</sup>(''x'') = <sup>3</sup>&radic;''x''.
* La función de clasificación en géneros ''&gamma;'': ''M'' &rarr; ''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 &rarr; Domingo, Martes &rarr; Lunes,..., Domingo &rarr; Sábado

=== Restricción y extensión ===

{{AP|Restricción de una función}}
[[Archivo:VotingApplicationRestriction.svg|miniaturadeimagen|275px|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.
{{definición|1=Dadas dos funciones ''f'' : ''A'' &rarr; ''B'' y ''g'' : ''C'' &rarr; ''D'', de forma que el dominio de ''g'' sea un subconjunto del dominio de ''f'', ''C'' &sube; ''A'', y cuyas imágenes coinciden en este subconjunto:
{{ecuación|1=<math>f(x)=g(x),\text{ para cada }x\in C\,,</math>}}
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'' &rarr; ''B'' a un subconjunto ''C'' &sube; ''A'' se denota por ''f''|<sub>''C''</sub>.

== Representación de funciones ==

{{AP|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''': [[ecuación|ecuaciones]] de la forma <math>y=f(x)</math>. 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:
::<math>\begin{array}{c|rrrrrr}
      X & -2 & -1 & 0 & 1 & 2 & 3\\
      \hline
      Y & 0 & 1 & 2 & 3 & 4 & 5\\
   \end{array}
</math>

* Como '''pares ordenados''': [[par ordenado|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 de una función|gráfica]]''': [[gráfica]] que permite visualizar las tendencias en la función. Muy utilizada para las [[función continua|funciones continuas]] típicas del [[cálculo]], aunque también las hay para [[función discreta|funciones discretas]].
: Ejemplo:
{| align=center style="width:200px" border="2"
|- align=center
| 5 || || || || || || X
|- align=center
| 4 || || || || || X ||
|- align=center
| 3 || || || || X || ||
|- align=center
| 2 || || || X || || ||
|- align=center
| 1 || || X || || || ||
|- align=center
| 0 || X || || || || ||
|- align=center
| y / x || -2|| -1||0 ||1 || 2 || 3
|}

== Espacios de función ==

El conjunto de todas las funciones desde un conjunto X a un conjunto Y se denota X -> Y, por [X -> Y] o por X^Y. 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) ===

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. Generalizaciones ==

Las funciones pueden definirse en términos de otros objetos matemáticos, como los [[conjunto]]s y los [[par ordenado|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]]:
{{definición|1=Una ''función'' es un conjunto ''f'' de pares ordenados tal que no contiene dos pares ''distintos'' con la misma primera componente:
{{ecuación|1=<math>(a,b),\,(a,c)\in f\Rightarrow b=c</math>}}
El ''dominio'' (la ''imagen'') de la función es entonces el conjunto de primeras (segundas) componentes:
{{ecuación|1=<math>\begin{align}
&\text{Dom}(f)=\{a \in A:\text{ Existe }b\text{ con }(a,b)\in f\}\\
&\text{Im}(f)=\{b \in B:\text{ Existe }a\text{ con }(a,b)\in f\}
\end{align}</math>
}} }}
En la definición extensiva no aparece el concepto de [[codominio]] como conjunto potencial donde está contenido el recorrido. En algunas áreas de las matemáticas es importante preservar esta distinción, y por tanto se usa una definición distinta:<ref>Sobre la diferencia entre ambas definiciones, véase por ejemplo {{cita libro|apellidos=Forster|nombre=Thomas|título=Logic, induction and sets|idioma=inglés|capítulo=§1.3. Notation for sets and relations|editorial=[[Cambridge University Press]]|año=2003|isbn=9780521533614}}</ref>
{{definición|1=Una ''función'' es una terna de conjuntos ''f'' = (''A'', ''B'', ''G''(''f'')), el ''dominio'', el ''codominio'' y el ''grafo'' de ''f'', tales que:
# ''G''(''f'') &sub; ''A'' × ''B''
# Todo elemento del dominio tiene imagen: para cada ''a'' &isin; ''A'', existe un ''b'' &isin; ''B'' tal que (''a'', ''b'') &isin; ''G''(''f'')
# Esta imagen es única: si (''a'', ''b''), (''a'', ''c'') &isin; ''G''(''f''), entonces ''b'' = ''c''.
}}
Con esta definición, dos funciones con el mismo grafo son distintas si su codominio no coincide. También se habla en ocasiones de [[función parcial|funciones parciales]], para las que no necesariamente cada elemento del dominio posee una imagen, en contraste con las funciones como se han definido antes, que se denominan [[función total|totales]]. A las funciones parciales también se las llama [[Correspondencia matemática|correspondencias]] o [[Relación binaria|relaciones]] unívocas.<ref>{{cita libro |año= 1993 |mes= |título= Gran enciclopedia temática Plaza |volumen= Matemáticas |página= 74 |páginas= 400 |edición= 2 |editorial= Plaza & Janés Editores, S.A. |isbn= 978-84-01-61659-4}}</ref>

== Véase también ==

* [[Anexo:Funciones matemáticas]]
* [[Sucesión matemática]]
* [[Función lineal]]
* [[Función exponencial]]
* [[Función cuadrática]]
* [[Representación gráfica de una función]]
* [[Función multivaluada]]
* [[Curva]]

== Referencias ==
{{listaref}}

==Bibliografía==

* {{cita libro|título=Números, grupos y anillos|apellidos=Dorronsoro|nombre=Jorge|apellidos2=Hernández|nombre2=Eugenio|editorial=Adison-Wesley Iberoamericana|año=1996|isbn=0-201-65395-8}}

== Enlaces externos ==

{{commonscat|Functions|funciones}}
* [http://functions.wolfram.com/ The Wolfram Functions Site]. Archivo de funciones matemáticas.
* [http://fooplot.com/?lang=es FooPlot]. Graficador de funciones matemáticas.
* [https://web.archive.org/web/20120217215058/http://www.astroseti.org/articulo/4379/ Historia del concepto de función]. Artículo traducido de [[MacTutor History of Mathematics archive]].

{{Control de autoridades}}
[[Categoría:Funciones| ]]
[[Categoría:Matemática elemental]]