Definicin de Funcin:

Una funcin, en matemticas, es el trmino usado para indicar la relacin o

correspondencia entre dos o ms cantidades. El trmino funcin fue usado por
primera vez en 1637 por el matemtico francs Ren Descartes, quien escribi:
"Una variable es un smbolo que representa un nmero dentro de un conjunto
de ello. Dos variables X y Y estn asociadas de tal forma que al asignar
un valor a X entonces, por alguna regla o correspondencia, se asigna
automticamente un valor a Y. 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 definicin de la funcin y los
valores que toma Y constituye su recorrido".
Para que una relacin de un conjunto A en otro B sea funcin, 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, ningn elemento
del dominio puede tener ms de una imagen.
El conjunto formado por todos los elementos de B que son imagen de algn
elemento del dominio se denomina conjunto imagen o recorrido de f.

Dominio, codominio y rango

En su forma ms simple el dominio
son todos los valores a los que
aplicar una funcin, y el rango son
los valores que resultan.
Pero de hecho son conceptos
importantes cuando sedefine una
funcin. Sigue leyendo!

Por favor, primero lee "Qu es una funcin?"...

Funciones

Una funcin relaciona una entrada con una salida.

Ejemplo: este rbol crece 20 cm cada ao, as que
la altura del rbol estrelacionada con la edad por
la funcin a:
a(edad) = edad 20
As que si la edad es 10 aos, la altura es a(10) =
200 cm

Decir que "a(10) = 200" es como relacionar 10 con 200. O bien 10 200

Entrada y salida
Pero muchas veces es importante decir qu valores pueden entrar y pueden salir de
una funcin.

Aqu tienes algunas razones:

La funcin no funciona si das valores equivocados (como una edad negativa)

Limitar los valores de entrada te puede permitir hacer despus cosas especiales
con la funcin

Saber el tipo de valores de salida (por ejemplo siempre positivos) tambin

ayuda

Entonces, cmo se dice lo que entra o sale en una funcin? respuesta: se

usan conjuntos...

Un conjunto es una coleccin de cosas, por

ejemplo nmeros.
Aqu tienes unos ejemplos:
Conjunto de nmeros pares: {..., -4, -2, 0, 2, 4, ...}
Conjunto de nmeros impares: {..., -3, -1, 1, 3, ...}
Conjunto de nmeros primos: {2, 3, 5, 7, 11, 13, 17, ...}
Mltiplos positivos de 3 que son menores que 10: {3, 6, 9}

De hecho, las funciones se definen sobre conjuntos:

Definicin formal de una funcin

Una funcin relaciona cada elemento de
un conjunto
con exactamente un elemento de otro
conjunto
(puede ser el mismo conjunto).

Dominio y rango
Hay nombres especiales para lo que puede entrar, y tambin lo que puede salir de
una funcin:

Lo que puede entrar en una funcin se llama el dominio

Lo que es posible que salga de una funcin se llama

el codominio

Lo que en realidad sale de una funcin se

llama rango o imagen

Entonces, en el diagrama de arriba el conjunto "X" es el dominio, el conjunto "Y" es el

codominio, y los elementos de Y a los que llegan flechas (los valores producidos
realmente por la funcin) son el rango.

Parte de la funcin
Lo que sale (el rango) depende de lo que pones (el dominio), pero T defines el
dominio.
De hecho el dominio es una parte esencial de la funcin. Un dominio diferente da una
funcin diferente.

Ejemplo: una simple funcin como f(x) = x2 puede tener dominio (lo que entra) los
nmeros de contar {1,2,3,...}, y el rango ser entonces el conjunto {1,4,9,...}

Y otra funcin g(x) = x2 puede tener como dominio los enteros {...,-3,-2,1,0,1,2,3,...}, entonces el rango ser el conjunto {0,1,4,9,...}

Aunque las dos funciones toman la entrada y la elevan al cuadrado,

operan en conjuntos diferentes de entradas, y por eso dan salidas
diferentes.

Tambin tienen diferentes propiedades.

Por ejemplo f(x) siempre da resultados distintos, pero g(x) puede dar
la misma respuesta para dos entradas (como g(-2)=4 y g(2)=4)

As que el dominio es una parte muy importante de la funcin.

Entonces, todas las funciones tienen su dominio?

S, pero en matemticas sencillas no lo notas, porque el dominio se supone:

Normalmente se supone que es algo as como "todos los nmeros que hacen
que funcione".

O si ests estudiando nmeros enteros, el dominio ser los enteros.

etc.

Pero en matemticas ms avanzadas tienes que tener cuidado!

Codominio y rango
El codominio y el rango tienen que ver con la salida, pero no son exactamente lo
mismo.
El codominio es el conjunto de valores que podran salir.
El rango es el conjunto de valores que realmente salen.
Ejemplo: puedes definir una funcin f(x)=2x con dominio y codominio los
enteros (porque t lo eliges as).
Pero si lo piensas, vers que el rango (los valores que salen de verdad) son slo
los enteros pares.
As que el codominio son los enteros (lo has elegido t) pero el rango son los
enteros pares.
As que rango es un subconjunto del codominio.
Por qu los dos? Bueno, a veces no conoces exactamente el rango (porque la
funcin es complicada o no es conocida del todo), pero sabes el conjunto en el que
est (como los enteros o los reales). As que defines el codominio y sigues trabajando.

La importancia del codominio

Djame que te haga una pregunta: la raz cuadrada es una funcin?
Si t dices que el codominio (las salidas posibles) es el conjunto de los nmeros
reales, entonces la raz cuadrada no es una funcin! ... te sorprende?
La razn es que podra haber dos respuestas para una entrada, por ejemplo f(9) =
3 o -3
Una funcin debe ser univaluada. No puede dar 2 resultados para el mismo valor de
entrada. Por ejemplo "f(2) = 7 o 9" no est bien!
Pero se puede arreglar simplemente limitando el codominio a los nmeros reales no
negativos.

De hecho, el smbolo radical (como en x) siempre significa la raz cuadrada

positiva (la principal), as que x es una funcin porque su codominio es correcto.
As que el codominio que elijas puede afectar el que algo sea o no una funcin.

Notacin
A los matemticos no les gusta escribir muchas palabras cuando unos pocos smbolos
hacen el mismo trabajo. As que hay maneras de decir que "el dominio es", "el
codominio es", etc.
Esta es la mejor manera que conozco:

Esto dice que la funcin "f" tiene dominio "N"

(los nmeros naturales), y tambin codominio "N".

y esto dice que la funcin "f" toma "x" y devuelve "x2"