FUNCIONES.

Definicin.
En matemtica, una funcin (f) es una relacin entre un conjunto
dado X (llamado dominio) y otro conjunto de elementos Y (llamado codominio)
de forma que a cada elemento x del dominio le corresponde un nico
elemento f(x) del codominio (los que forman el recorrido, tambin
llamado rango o mbito). Donde X es el dominio de la funcin f,
su primer conjunto o conjunto de partida; y Y es el codominio de f,
su segundo conjunto o conjunto de llegada.

Otra definicin: Una funcin es una relacin o correspondencia entre dos

magnitudes, de manera que a cada valor de la primera le corresponde un nico
valor de la segunda (o ninguno), que llamamos imagen o transformado.

Es decir que una funcin f es una relacin que asigna a los elementos de un
primer conjunto (conjunto inicial X) un elemento de un segundo conjunto
(conjunto final Y).

TIPOS DE FUNCIONES:
 La funcin f es inyectiva si cada elemento del conjunto final Y tiene como
mximo un elemento del conjunto inicial X al que le corresponde. Es decir, no
pueden haber ms de un valor de X que tenga la misma imagen y.

En trminos matemticos, una funcin f es inyectiva si:

Ejemplo de funcin inyectiva

La funcin f(x) = 2x+1 es inyectiva.
 Veamos que se cumple la condicin de inyectividad:

En efecto, si x y y tienen la misma imagen, necesariamente deben ser el

mismo elemento. Por lo tanto, f es inyectiva.

Funcin sobreyectiva
Una funcin f es sobreyectiva (o suprayectiva) si todo elemento del
conjunto final Y tiene al menos un elemento del conjunto inicial X al que le
corresponde.
 Es decir, una funcin es sobreyectiva si el recorrido de la funcin es el
conjunto final Y.

En trminos matemticos, una funcin f es sobreyectiva si:

Ejemplo de funcin sobreyectiva

La funcin en los nmeros reales definida por f(x) = x+1 es sobreyectiva.
 Esta funcin si que es sobreyectiva. Vamos a verlo demostrando que
el recorrido de la funcin son todos los nmeros reales.

El recorrido de la funcin es el mismo que el conjunto final Y, por lo que

la f es sobreyectiva.

Funcin biyectiva
Una funcin f es biyectiva si es al mismo
tiempo inyectiva y sobreyectiva. Es decir, si todo elemento del conjunto
final Y tiene un nico elemento del conjunto inicial X al que le corresponde
(condicin de funcin sobreyectiva) y todos los elementos del conjunto
inicial X tiene una nica imagen en el conjunto final Y (condicin de funcin
inyectiva).
 Tericamente, una funcin f es biyectiva si:

Ejemplo de funcin biyectiva

La funcin f(x) = 2x definida en los nmeros reales es biyectiva.
 Para comprobarlo, veamos que f es inyectiva y sobreyectiva. Empezaremos
por la condicin de inyectividad:

Se cumple la condicin de inyectividad, por lo que ahora nos quedara

demostrar la sobreyectividad. Para ello, tenemos que demostrar que
el recorrido de la funcin son todos los nmeros reales.

La funcin tambin es sobreyectiva, por lo que f es biyect

 INTRODUCCIN

El concepto de funcin como un objeto matemtico independiente, susceptible de

ser estudiado por s solo, no apareci hasta los inicios del clculo en el siglo
XVII. Ren Descartes, Isaac Newton y Gottfried Leibniz establecieron la idea de
funcin como dependencia entre dos cantidades variables. Leibniz en particular
acu los trminos funcin, variable, constante y parmetro. La
notacin f(x) fue utilizada por primera vez por A.C. Clairaut, y por Leonhard
Euler en su obra Commentarii de San Petersburgo en 1736.