Professional Documents
Culture Documents
En la imagen se muestra
una funcin entre un
conjunto de polgonos y un
conjunto de nmeros. 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 = r2. 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 la variable
independiente.
En anlisis matemtico, el concepto general de funcin, aplicacin o mapeo se refiere
a una regla que asigna a cada elemento de un primer conjunto un nico elemento de un
segundo conjunto (correspondencia matemtica). Por ejemplo, cada nmero entero
posee un nico cuadrado, que resulta ser un nmero natural (incluyendo el cero):
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 k2, o sencillamente f(k) = k2;
g: V A
p Inicial de p;
Definicin
La definicin general de funcin hace referencia a la dependencia entre los elementos
de dos conjuntos dados.
Dados dos conjuntos A y B, una funcin (tambin aplicacin o mapeo) entre
ellos es una asociacin6 f que a cada elemento de A le asigna un nico elemento
de B.
Se dice entonces que A es el dominio (tambin conjunto de partida o conjunto
inicial) de f y que B es su codominio (tambin conjunto de llegada o conjunto
final).
Un objeto o valor genrico a en el dominio A se denomina la variable independiente; y
un objeto genrico b del dominio B es la variable dependiente. Tambin se les llama
valores de entrada y de salida, respectivamente. Esta definicin es precisa, aunque en
matemticas se utiliza una definicin formal ms rigurosa, que construye las funciones
como un objeto concreto.
Ejemplos
Todos los nmeros reales tienen un cubo, por lo que existe la funcin cubo
que a cada nmero en el dominio R le asigna su cubo en el codominio R.
Exceptuando al 0, todos los nmeros reales tienen un nico inverso. Existe
entonces la funcin inverso cuyo dominio son los nmeros reales no nulos R \
{0}, y con codominio R.
Cada mamfero conocido se clasifica en un gnero, como Homo, Sus o
Loxodonta. Existe por tanto una funcin clasificacin en gneros que asigna a
cada mamfero de la coleccin M = {mamferos conocidos} su gnero. El
codominio de clasificacin en gneros es la coleccin G = {gneros de
Mammalia}.
Existe una funcin rea que a cada tringulo del plano (en la coleccin T de
todos ellos, su dominio), le asigna su rea, un nmero real, luego su codominio
es R.
En unas elecciones en las que cada votante pueda emitir un nico voto, existe
una funcin 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 funcin
entre ellos.
La imagen inversa de un elemento del codominio puede ser vaca, o contener varios
objetos del dominio. Esto da lugar a la siguiente clasificacin:
Las funciones inyectivas no repiten las imgenes: si b = f(a), ningn otro a' tiene por
imagen a b, por lo que la anti-imagen de este ltimo slo contiene al elemento a. Las