Una función, en matemáticas, es el término usado para indicar la relación o correspondencia entre dos o más cantidades

Una función es una regla de asociación que relaciona dos o mas conjuntos entre si; generalmente cuando tenemos la asociación dos conjuntos las función se define como una regla de asociación entre un conjunto llamado dominio con uno llamado codominio, también dominio e imagen respectivamente o dominio y rango. Esta regla de asociación no permite relacionar un mismo elemento del dominio con dos elementos del codominio.

Una función, en matemáticas, es el término usado para indicar la relación o correspondencia entre dos o más cantidades. El término función fue usado por primera vez en 1637 por el matemático francés René Descartes para designar una potencia xn de la variable x. En 1694 el matemático alemán Gottfried Wilhelm Leibniz utilizó el término para referirse a varios aspectos de una curva, como su pendiente. Hasta recientemente, su uso más generalizado ha sido el definido en 1829 por el matemático alemán, J.P.G. Lejeune-Dirichlet (1805-1859), quien escribió: "Una variable es un símbolo que representa un número dentro de un conjunto de ello. Dos variables X y Y están asociadas de tal forma que al asignar un valor a X entonces, por alguna regla o correspondencia, se asigna automáticamente un valor a Y, se dice que Y es una función (unívoca) de X. La variable X, a la que se asignan libremente valores, se llama variable independiente, mientras que la variable Y, cuyos valores dependen de la X, se llama variables dependientes. Los valores permitidos de X constituyen el dominio de definición de la función y los valores que toma Y constituye su recorrido".

Una función f de A en B es una relación que le hace corresponder a cada elemento x E A uno y solo un elemento y E B, llamado imagen de x por f, que se escribe y=f (x). En símbolos, f: A à B

Es decir que para que una relación de un conjunto A en otro B sea función, debe cumplir dos condiciones, a saber:

Todo elemento del conjunto de partida A debe tener imagen.

La imagen de cada elemento x E A debe ser única. Es decir, ningún elemento del dominio puede tener más de una imagen.

El conjunto formado por todos los elementos de B que son imagen de algún elemento del dominio se denomina conjunto imagen o recorrido de f.

Observaciones:

En una función f: Aà B todo elemento x E A tiene una y solo una imagen y E B.

Un elemento y E B puede:

No ser imagen de ningún elemento x E A

Ser imagen de un elemento x E A

Ser imagen de varios elementos x E A.

La relación inversa f-1 de una función f puede no ser una función.

...