En la imagen se muestra una funcin entre un conjunto de polgonos y un conjunto denmeros. A cada polgono le corresponde su nmero de lados.
Una funcin vista como una caja negra, que transforma los valores u objetos de entrada en los valores u objetos de salida En matemticas, se dice que una magnitud o cantidad es funcin de otra si el valor de la primera depende exclusivamente del valor de la segunda. Por ejemplo el rea A de un crculo es funcin de su radio r: el valor del rea es proporcional al cuadrado del radio, A = r 2 . Del mismo modo, la duracin T de un viaje de tren entre dos ciudades separadas por una distancia d de 150 km depende de la velocidad v a la que este se desplace: la duracin es inversamente proporcional a la velocidad, d / v. A la primera magnitud (el rea, la duracin) se la denomina variable dependiente, y la cantidad de la que depende (el radio, la velocidad) es lavariable independiente. En anlisis matemtico, el concepto general de funcin, aplicacin o mapeo se refiere en a una regla que asigna a cada elemento de un primer conjunto un nico elemento de un segundo conjunto (correspondencia matemtica). Por ejemplo, cadanmero entero posee un nico cuadrado, que resulta ser un nmero natural (incluyendo el cero): ... 2 +4, 1 +1, 0 0, +1 +1, +2 +4, +3 +9, ... Esta asignacin constituye una funcin entre el conjunto de los nmeros enteros Z y el conjunto de los nmeros naturales N. Aunque las funciones que manipulan nmeros son las ms conocidas, no son el nico ejemplo: puede imaginarse una funcin que a cada palabra del espaol le asigne su letra inicial: ..., Estacin E, Museo M, Arroyo A, Rosa R, Avin A, ... Esta es una funcin entre el conjunto de las palabras del espaol y el conjunto de las letras del alfabeto espaol. La manera habitual de denotar una funcin f es: f: A B a f(a), donde A es el dominio de la funcin 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 expresin es suficiente para especificar la funcin por completo, infiriendo el dominio y codominio por el contexto. En el ejemplo anterior, las funciones cuadrado e inicial, llmeseles f y g, se denotaran entonces como: f: Z N k k 2 , o sencillamente f(k) = k 2 ; g: V A p Inicial de p; si se conviene V = {Palabras del espaol} y A = {Alfabeto espaol}. Una funcin 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 grfica que d una imagen de la funcin.