You are on page 1of 4

Funcin matemtica

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;

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.

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.

Dada una funcin f : A 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 imgenes de cada elemento del dominio es la imagen de la
funcin f (tambin rango o recorrido de f). El conjunto de las imgenes de un
subconjunto cualquiera del dominio, X A, se denomina la imagen de X.
La imagen de una funcin 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 ningn elemento del dominio, es decir, que no tienen preimagen.
La imagen inversa (tambin 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 f1(b).
La imagen inversa de un subconjunto cualquiera del codominio, Y B, es el
conjunto de las preimgenes de cada elemento de Y, y se escribe f1(Y).

Funciones inyectivas, suprayectivas y biyectivas


Artculos principales: Funcin inyectiva, Funcin suprayectiva y Funcin biyectiva.

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

funciones suprayectivas recorren todo el codominio, por lo que ninguna anti-imagen


puede estar vaca. La definicin de funcin suprayectiva asume que esta tiene un
codominio especificado previamente. De lo contrario, la nocin de suprayectividad no
tiene sentido.
Cuando una funcin tiene ambas propiedades a la vez, se dice que es una biyeccin
entre ambos conjuntos:
Una funcin f : A B se dice biyectiva si es inyectiva y
suprayectiva.

You might also like