DEFINICIÓN DEFUNCIÓN

El concepto de función tiene su origen en el término latino functĭo. La palabra puede ser utilizada en diversos ámbitos y con distintos significados.

Por ejemplo, una función es la representación de una obra artística. La función teatral es la representación que se realiza en vivo en un teatro, mientras que también se denomina función a la exhibición de una película en las salas de cine.

Por otra parte, una función matemática es la correspondencia o relación f de los elementos de un conjunto A con los elementos de un conjunto B. Una función cumple con la condición de existencia (todos los elementos de A están relacionados con los elementos de B) y con la condición de unicidad (cada elemento de A está relacionado con un único elemento de B).

En la informática, más precisamente en los lenguajes de programación, una función es un tipo de subalgoritmo que describe una secuencia de órdenes. Estas órdenes cumplen con una tarea específica de una aplicación más grande.

Para la semiótica, una función es el conjunto de elementos y las relaciones entre ellos que son necesarias para definir una estructura.

Por último, una función técnica es el pasaje, a través de un dispositivo apropiado, de un conjunto dado de estados iniciales de un sistema, al conjunto deseado de estados finales. Por ejemplo: un sistema “fuente de agua”, con un estado inicial de “agua impura”, puede utilizar la función técnica “purificación del agua” para lograr que el estado final sea “fuente de agua pura”. Las funciones matemáticas pueden referirse a situaciones cotidianas, tales como: el costo de una llamada telefónica que depende de su duración, o el costo de enviar una encomienda que depende de su peso.

A modo de ejemplo, ¿cuál sería la regla que relaciona los números de la derecha con los de la izquierda en la siguiente lista?:
                          1 -------->   1
                          2 -------->   4
                          3 -------->   9
                          4 --------> 16
Los números de la derecha son los cuadrados de los de la izquierda.
La regla es entonces "elevar al cuadrado":
                           1 -------->   1
                          2 -------->   4
                          3 -------->   9
                          4 --------> 16
                           x -------->   x².
Para referirse a esta regla podemos usar un nombre, que por lo general es  la letra f (de función). Entonces, f es la regla "elevar al cuadrado el número".
Usualmente se emplean dos notaciones:
                                           x --------> x²      o     f(x) = x² .
Así, f(3) significa aplicar la regla f a 3. Al hacerlo resulta 3² = 9.
Entonces f(3) = 9. De igual modo f(2) = 4,  f(4) = 16,   f(a) = a², etc.
Veamos algunos ejemplos que constituyen funciones matemáticas.
Ejemplo 1Correspondencia entre las personas que trabajan en una oficina y su peso expresado en kilos

Conjunto X	Conjunto Y
Ángela	55
Pedro	88
Manuel	62
Adrián	88
Roberto	90

Cada persona (perteneciente al conjunto X o dominio) constituye lo que se llama la entrada o variable independiente. Cada peso (perteneciente al conjunto Y o codominio) constituye lo que se llama la salida o variable dependiente. Notemos que una misma persona no puede tener dos pesos distintos. Notemos también que es posible que dos personas diferentes tengan el mismo peso.
Ejemplo 2Correspondencia entre el conjunto de los números reales (variable independiente) y el mismo conjunto (variable dependiente), definida por la regla "doble del número más 3".
                                              x -------> 2x + 3 o bien f(x) = 2x + 3Algunos pares de números que se corresponden por medio de esta regla son:

Conjunto X	Conjunto Y	Desarrollo
− 2	− 1	f(−2)  = 2(−2) + 3 = −4 + 3 = − 1
− 1	1	f(−1)  = 2(−1) + 3 = −2 + 3 =    1
0	3	f(0)    = 2(0)   + 3 =   0 + 3 =    3
1	5	f(1)    = 2(1)   + 3 =   2 + 3 =    5
2	7	f(2)    = 2(2)   + 3 =   4 + 3 =    7
3	9	f(3)    = 2(3)   + 3 =   6 + 3 =    9
4	11	f(4)    = 2(4)   + 3 =   8 + 3 =  11

Con estos ejemplos vamos entendiendo la noción de función: como vemos, todos y cada uno de los elementos del primer conjunto(X) están asociados a uno, y sólo a uno, del segundo conjunto (Y). Todos y cada uno significa que no puede quedar un elemento enX sin su correspondiente elemento en Y. A uno y sólo a uno significa que a un mismo elemento en X no le pueden corresponder dos elementos distintos en Y.
Ahora podemos enunciar una definición más formal:
Una función (f) es una regla que asigna a cada elemento x de un conjunto X (dominio) exactamente un elemento, llamado f(x), de un conjunto Y (codominio).
Otra definición equivalente es: sean X e Y dos conjuntos. Una función de X en Y es una regla (o un método) que asigna un (y sólo uno) elemento en Y a cada elemento en X.
Usualmente X e Y son conjuntos de números.
Generalizando, si se tiene una función f, definida de un conjunto A en un conjunto B, se anota
         f : A -----> B  (o, usando X por A e Y por B    f : X -----> Y) o f(x) = xRecordemos de nuevo que el primer conjunto A se conoce como dominio (Dom) de la función y B es el codominio o conjunto de llegada.
f(x) denota la imagen de x bajo f, mientras que x es la preimagen de f(x).
En el ejemplo 2 anterior el número 3 es la imagen del número 0 bajo f; por su parte, 1 es la preimagen del número 5.
El rango (Rg) o recorrido (Rec) o ámbito (A) es el conjunto de todos los valores posibles de f(x) que se obtienen cuando x varía en todo el dominio de la función.
Ejemplo 3Suponga que el conjunto A (de salida) es A = {1, 2, 3} y que el conjunto B (de llegada) es B = {0, 4, 6, 8, 10, 12} y que la relación de dependencia o correspondencia entre A y B es "asignar a cada elemento su cuádruplo".
Vamos a examinar si esta relación es una función de A en B y determinaremos  dominio y recorrido.
Veamos:A los elementos 1, 2 y 3 del conjunto A les corresponden, respectivamente, los elementos 4, 8 y 12 del conjunto B. Como a cada elemento de A le corresponde un único elemento de Y, la relación de dependencia es una función (función de A en B).
Dominio = {1, 2, 3}                 Recorrido = {4, 8, 12}
Notar que el recorrido es un subconjunto del codominio B = {0, 4, 6, 8, 10, 12}
Aquí debemos recordar que toda función es una relación, pero no todas las relaciones son funciones. Como ejemplos de relaciones que son funciones y algunas que no lo son, veamos las siguientes:
Si tenemos los conjuntos
A = {1; 2; 3; 4}, B = {1; 2; 3; 4; 5}
Podemos establecer las relaciones
f = { (1; 2); (2; 3); (3; 4); (4; 5) }
g = { (1; 2); (1; 3); (2; 4); (3; 5); (4; 5) }
h = { (1; 1); (2; 2); (3; 3) }:Está claro que f, g y h son relaciones de A en B, pero sólo f es una función (todos los elementos del conjunto A tiene su correspondiente elemento en b); g no es función ya que (1; 2) y (1; 3) repiten un elemento del dominio (el 1). Tampoco h es una función ya que Dom(h) = {1; 2; 3} ≠ A (falta el 4).
Ejemplo 4Sea X = {−4, −1, 0, 4, 9},       Y = {−4,−3, −2, −1, 0, 1, 2, 3, 4}  y que la regla de correspondencia es " asignar a cada elemento de X el resultado de extraer su raíz cuadrada".
Vamos a determinar si esta regla constituye función de X en Y.
Veamos:A simple vista se aprecia que los números 0, 4, 9 tienen imagen en Y (), pero a los números −4 y −1 no les corresponden elementos en Y. Como existen elementos de X que no se corresponden con elementos de Y, esta relación no es función de X en Y.
Ejemplo 1Si A = {1, 2, 3} y B = {2, 4, 6} y su correspondencia es el doble.

Entonces f(x) = 2xEn efecto
f(1) = 2 • 1 = 2
f(2) = 2 • 2 = 4
f(3) = 2 • 3 = 6
Tenemos
Dominio = {1, 2, 3}
Codominio = {2, 4, 6}
Ámbito (rango o recorrido) = {2, 4, 6}
Ejemplo 2Si A = {1, 3, 5} y B = {3, 5, 7, 9, 11} y su correspondencia es el doble más uno.

Entonces f(x) = 2x + 1En efecto:
f(1) = 2 • 1 + 1 = 3
f(3) = 2 • 3 + 1 = 7
f(5) = 2 • 5 + 1 = 11
Tenemos
Dominio = {1, 3, 5}
Codominio = {3, 5, 7, 9, 11}
Ámbito (rango o recorrido) = {3, 7, 11}
Conceptos básicos de la funciónDada una función f : A → B (es lo mismo que f : X → Y) se define:
* El conjunto A se llama conjunto de partida o dominio, se puede representar como f D.
* Al conjunto B se llama conjunto de llegada o codominio.
* Se llaman preimágenes a los elementos del conjunto de partida o dominio.
* Se llaman imágenes a los elementos del conjunto de llegada o codominio que están asociados a una preimagen, mediante el criterio de la función.
* Se llama rango (recorrido o ámbito) de una función al conjunto formado por las imágenes. Este conjunto es un subconjunto del codominio, se puede representar como f R ó f A, respectivamente.
Para ilustrar los conceptos anteriores usaremos lo que se denomina Diagramas de Venn-Euler.

Ver: Funciones matemáticasEjemplo 3Analizar el siguiente diagrama que representa una función y determinar el dominio, codominio y el ámbito (rango o recorrido).

Tenemos
Dominio (Df) = {1, 2, 3, 4}
Codominio = {1, 4, 9, 16, 25}
Ámbito (Af) = {1, 4, 9, 16}