Resea Histrica.

Las primeras referencias que se tienen sobre la nocin de funcin aparecen en

el mundo antiguo unidas a problemas astronmicos y vienen dadas en forma de
tablas, el concepto de funcin ha sufrido una larga historia durante la cual ha
evolucionado, de ser una simple idea intuitiva, a la actual pureza con que hoy la
conocemos.
A travs de la historia el concepto funcin, naci ligado a la idea de
dependencia de cantidades variables, en unin al estudio del movimiento, en
poca de Galileo Galilei, y con la caracterizacin dada por Nicols de Oresme:
"Todo lo que vara, se sepa medir o no, lo podemos imaginar como una cantidad
continua representada por un segmento". Esta concepcin de carcter fsico y
geomtrico antecedi a la nocin cartesiana de dependencia numrica. No
obstante, rpidamente este concepto ha cobrado tanta importancia que hoy en
da es raro encontrar alguna de la Matemtica donde no aparezca.

Pareja ordenada

Una pareja ordenada es una pareja de nmeros, (x, y), escritos en un orden
particular. La pareja ordenada (x, y) no es la misma que la pareja ordenada (y,
x) . Una pareja ordenada es a menudo usada para representar un punto en un
plano coordenado o la solucin para una ecuacin con dos variables.

Producto cartesiano.

Para entender la idea de producto cartesiano debemos saber que se trata de

una operacin entre dos conjuntos, de tal modo que se forma otro conjunto con
todos los pares ordenados posibles.

Por ejemplo, dados los conjuntos A = {1, 2, 3, 4} y B = { a , b }, su producto

cartesiano es:

A B = {(1, a), (1, b), (2, a ), (2, b ), (3, a ), (3, b ), (4, a ), (4, b )}

Los elementos de A x B son pares ordenados. Cada par que se forma con un
elemento del conjunto A y uno del conjunto B, en ese orden, recibe el nombre
de par ordenado. Sus elementos se colocan entre parntesis, separados por
coma.

Entonces:

El poducto cartesiano de dos conjuntos cualesquiera A y B, ser un nuevo

conjunto, identificado como A x B , y consistir de un conjunto de parejas
ordenadas, (x, y), donde x pertenece al conjunto A e y pertenece al conjunto
B.

Como ejemplo:
Relacin. Definicin.

En matemtica, Relacin es la correspondencia de un primer conjunto, llamado

Dominio , con un segundo conjunto, llamado Recorrido o Rango , de manera que
a cada elemento del Dominio le corresponde uno o ms elementos del Recorrido
o Rango.

El producto cartesiano de A x B est conformado por las siguientes parejas o

pares ordenados:

A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}

Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A

en B:

R1 = {(2, 1), (3, 1)}

R2 = {(2, 4), (2, 5), (3, 4), (3, 5)}

R3 = {(2, 4), (3, 5)}

La relacin R1 se puede definir como el conjunto de pares cuyo segundo

elemento es 1, esto es, R1 = {( x , y ) / y = 1}.

La relacin R2 est formada por los pares cuyo primer componente es menor
que el segundo componente, R2 = {( x , y ) / x < y }

Y la relacin R3 est conformada por todos los pares que cumplen con que el
segundo componente es dos unidades mayor que el primer componente, dicho
de otro modo, R3 = {( x , y ) / y = x + 2}

As, se puede continuar enumerando relaciones definidas a partir de A x B.

Como se puede ver, la regla que define la relacin se puede escribir mediante
ecuaciones o desigualdades que relacionan los valores de x e y. Estas reglas
son un medio conveniente para ordenar en pares los elementos de los dos
conjuntos.

Dominio y rango de una relacin

El dominio de una relacin es el conjunto de pre imgenes; es decir, el
conjunto formado por los elementos del conjunto de partida que estn
relacionados. Al conjunto de imgenes, esto es, elementos del conjunto de
llegada que estn relacionados, se le denomina recorrido o rango.

Conjunto de partida y de llegada

CONJUNTO DE PARTIDA: es el primer conjunto q interviene en la relacin.

CONJUNTO DE LLEGADA: es el segundo conjunto de referencia al cual

arriba la relacin.

Conjunto de partida se llama al conjunto que contiene los elementos del

dominio de una funcin ( tpicamente los valores de x)
El de llegada son aquellos que son la imagen de esos valores de X. Tpicamente
los de Y o f(x).

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

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.

Representacin de una relacin:

Funciones algebraicas
En las funciones algebraicas las operaciones que hay que efectuar con la
variable independiente son: la adicin, sustraccin, multiplicacin, divisin,
potenciacin y radicacin.

Las funciones algebraicas pueden ser:

Funciones explcitas
Si se pueden obtener las imgenes de x por simple sustitucin.
f(x) = 5x 2

Funciones implcitas
Si no se pueden obtener las imgenes de x por simple sustitucin, sino que es
preciso efectuar operaciones.

5x y 2 = 0

Graficando Funciones

Cuando la cantidad independiente (entrada) y la cantidad dependiente (salida)

son ambas nmeros reales, una funcin puede ser representada por una grfica
de coordenadas. El valor independiente se grafica en el eje x y el valor
dependiente es trazado en el eje y. El hecho de que cada valor de entrada
tiene exactamente un valor de salida significa que las grficas de funciones
tienen ciertas caractersticas. Para cada entrada (coordenada x) en la grfica,
habr exactamente una salida (coordenada y).

Por ejemplo, la grfica de sta funcin, dibujada en azul, parece un semicrculo.

Sabemos que y es una funcin de x porque por cada coordenada x hay
exactamente una coordenada y.

Si trazamos una lnea vertical a travs de la grfica, slo intersecta la funcin

una vez para cada valor de x. Esto es vlido sin importar por dnde la lnea es
trazada. Dibujar una lnea sobre una grfica es una buena forma de determinar
si nos muestra una funcin.
Compara la grfica anterior con sta, que parece un crculo azul. La relacin no
puede ser una funcin, porque a cada coordenada x le corresponden dos
coordenadas y.

Cuando una lnea vertical es trazada sobre la grfica de sta relacin, la

intersecta en ms de un valor de x. Si la grfica muestra dos o ms
intersecciones con una lnea vertical, entonces una entrada (coordenada x)
puede tener ms de una salida (coordenada y), y y no es una funcin de x.

Funciones en Forma de Tabla

Las tablas tambin pueden ser usadas para describir funciones. Comparemos
tablas de funciones con tablas de relaciones que no son funciones.

Esta tabla representa una funcin. Ninguno de los valores independientes (x)
estn repetidos y cada uno corresponde a un solo valor dependiente (y).

x y

-1 3
 -2 5

-3 3

-5 -3

La siguiente tabla no representa a una funcin. La columna x tiene dos valores

que son 3, y corresponden a dos valores diferentes de y. Recuerda, cuando una
sola entrada puede producir mltiples salidas, la relacin no es una funcin.

x y

3 -1

5 -2

3 -3

-3 -5

Tipos de relaciones:

PROPIEDADES DE LAS RELACIONES BINARIAS

Las relaciones binarias pueden cumplir las siguientes propiedades (no tienen
porque cumplir todas, pueden cumplir slo algunas e incluso ninguna). Dado el
conjunto M, y una relacin R sobre el conjunto MxM
1. Propiedad reflexiva: Esta propiedad se da cuando todo elemento del
conjunto est relacionado consigo mismo: para todo elemento de M x, entonces
xRx.
2. Propiedad simtrica: Dados dos elementos cualesquiera del conjunto M se
cumple que si el primer elemento est relacionado con el segundo, entonces se
cumple tambin la relacin al contrario, es decir, el segundo est relacionado
con el primero: si xRy yRx.
3. Propiedad antisimtrica: Dados dos elementos del conjunto si el primer
elemento est relacionado con el segundo, entonces, el segundo no est
relacionado con el primero: si xRy y noR x.
4. Propiedad transitiva: Dados tres elementos del conjunto, si el primer
elemento est relacionado con el segundo, y el segundo relacionado con el
tercero, entonces el primero tambin est relacionado con el tercero: si xRy e
yRz xRz.
5. Propiedad conexa: Dados dos elementos cualesquiera del conjunto estos
estn relacionados. O bien xRy o bien yRx.

Definicin de funciones:
U na f unci n es una rela ci n entre d o s m a gnitud es , d e ta l

m a ne ra que a ca da v a lo r d e la prim era le co rres po nd e un ni co

v a lo r d e la s egund a , lla m a d a im a gen.

El pr e cio d e un v iaje e n taxi v ie ne d ad o por :

y = 3 + 0.5 x

Sie nd o x e l tie m po e n m inuto s que d ur a e l v iaje .

Co m o po d em o s o bse rv ar la f unci n rela cio na d o s v a ria bles . x e

y.

x e s la v a ria ble i nd epend iente .

y e s la v a ria ble d epend iente ( d e pe nd e d e lo s m inuto s que d ure

e l v iaje ) .

Componentes de una funcin:

El dominio es el conjunto de valores que satisfacen a la funcin, es decir que

permiten que la funcin existe, y que representan a la variable independiente.
Es el valor de la x por lo tanto son los valores del eje horizontal en el plano
cartesiano. Coincide con el conjunto de partida.

El Rango es el conjunto de valores numricos que se obtienen una vez

realizadas las operaciones cuando se sustituye la variable independiente. Es el
valor de la y por lo tanto son los valores del eje vertical en el plano
cartesiano. Coincide con el conjunto de llegada.

Diagrama Sagital es la representacin grfica de la relacin entre dos

conjuntos, se observa el conjunto de partida y de llegada y la relacin entre
sus elementos.

Conjunto relacin es donde se representan los pares ordenados de la relacin,

es decir el par de valores numricos conformados por el nmero del conjunto
de partida con el nmero del conjunto de llegada, que estn relacionados

Imagen e imagen inversa[editar]

Artculo principal: Conjunto imagen

Dado un conjunto de votantes y un conjunto de posible partidos, en unas
elecciones, el sentido del voto de cada individuo se puede visualizar como una
funcin.

Los elementos del codominio B asociados con algn elemento del dominio A
constituyen la imagen de la funcin.

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 se denota por Im(f), y la de un subconjunto X por

f(X) o f[X]. En notacin conjuntista las imgenes de f y X se denotan:

La anti-imagen de cada partido es el conjunto de los electores que lo votaron.

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 pre imgenes de cada elemento de Y, y se escribe f1(Y).
Igualdad de funciones

Dadas dos funciones, para que sean idnticas han de tener el mismo dominio y
codominio, y asignar la misma imagen a cada elemento del dominio:

Dadas dos funciones f : A B y g : C D, son iguales o idnticas si se cumple:

Tienen el mismo dominio: A = C

Tienen el mismo codominio: B = D

Asignan las mismas imgenes: para cada x A = B, se tiene que f(x) =

g(x)

Funciones invectivas, suprayectivas y biyectivas[editar]

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:

Funciones Inyectiva No inyectiva

Se dice que una funcin f : A B es inyectiva si las imgenes de

elementos distintos son distintas:

o, de modo equivalente, si slo asigna imgenes idnticas a elementos idnticos:

Una funcin f : A B se dice suprayectiva (o sobreyectiva) si su imagen

es igual a su codominio:

o, de modo equivalente, si todo elemento del codominio es la imagen de algn

elemento del dominio:

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.

Las funciones biyectivas constituyen un emparejamiento perfecto entre los

elementos del dominio y el codominio: cada elemento en A tiene una nica
pareja en B como todas las funciones, y a cada elemento de B le
corresponde uno solo en A al menos uno por ser suprayectiva, y como mucho
uno por ser inyectiva.
Ejemplos.

La funcin cubo f: R R es biyectiva. Es inyectiva porque dos nmeros

reales que tienen el mismo cubo son idnticos, y es suprayectiva porque
Im(f) = R.

La funcin inverso g: R \ {0} R es inyectiva, ya que el inverso de

cada nmero real no nulo es nico (1/x = 1/y implica necesariamente que
x = y). Sin embargo no es suprayectiva, dado que Im(g) = R \ {0}.

La funcin de clasificacin de mamferos : M G no es inyectiva, ya

que hay mamferos distintos en el mismo gnero (por ejemplo, (Yak) =
(Toro) = Bos). Sin embargo s es suprayectiva, ya que en cada gnero de
mamferos hay clasificada al menos una especie de mamferos.

La funcin rea A: T R no es sobreyectiva, ya que Im(A) = R+.

Tampoco es inyectiva, ya que pueden construirse con facilidad tringulos
distintos con el mismo rea.

En la imagen pueden verse varios ejemplos de funciones entre un

conjunto de pinceles P y un conjunto de caras C.

lgebra de funciones

Con las funciones puede realizarse una operacin de composicin con

propiedades similares a las de la multiplicacin.

Composicin de funciones

La composicin g f acta sobre el objeto x transformndolo segn f, y

despus transformando f(x) mediante g.

Artculo principal: Composicin de funciones

Dadas dos funciones, bajo ciertas condiciones podemos usar los valores de
salida de una de ellas como valores de entrada para la otra., creando una nueva
funcin.

Sean dos funciones f : A B y g : C D, tales que el recorrido

de la primera est contenido en el dominio de la segunda, Im(f)
C. Entonces puede formarse la composicin de g con f, la funcin g
f : A D que a cada a en el dominio A le asocia el elemento (g
f)(a) = g(f(a)).

Es decir, la composicin g f hace actuar primero la funcin f sobre un

elemento de A, y luego g sobre la imagen que se obtenga:

La condicin Im(f) C asegura precisamente que este segundo paso se pueda

llevar a cabo.

Ejemplos

La imagen de la funcin inverso g es R \ {0} puesto que todo nmero

real no nulo es el inverso de otro, y por tanto est contenido en el
 dominio de la funcin cubo f, que es R. La composicin f g: R \ {0} R
acta entonces como f(g(x)) = f(1/x) = (1/x)3 = 1/x3.

Dadas las funciones reales h1: R R y h2: R R dadas por h1(x) = x2 y

h2(x) = x + 1, puede tomarse la composicin en ambos rdenes, h1 h2 y
h2 h1. Sin embargo, son funciones distintas, ya que:

(h1 h2)(x) = h1(h2(x)) = h1(x + 1) = (x + 1)2 = x2 + 2x + 1, y

(h2 h1)(x) = h2(h1(x)) = h2(x2) = x2 + 1

La funcin que clasifica los mamferos en gneros puede componerse

con la funcin : G Or que clasifica los gneros de mamferos en
rdenes que forman el conjunto Or. La funcin asigna a cada
mamfero su orden:

( )(Humano) = (Homo) = Primate, ( )(Guanaco) = (Lama) =

Artiodactyla

Funcin identidad

Artculo principal: Funcin identidad

En cualquier conjunto puede definirse una funcin identidad, que teniendo

como dominio y codominio al propio conjunto, asocia cada elemento consigo
mismo.

Dado un conjunto A, la funcin identidad de A es la funcin idA : A

A que a cada a A le asocia idA(a) = a.

Tambin se denota como IA. La funcin identidad acta como un elemento

neutro al componer funciones, ya que no hace nada.

Dada una funcin cualquiera f : A B se tiene:

Es decir, dado un elemento x A, se tiene que:

Funcin inversa

Artculo principal: Funcin inversa

Una funcin puede tener inversa, es decir, otra funcin que al componerla con
ella resulte en la identidad, del mismo modo que un nmero multiplicado por su
inverso da 1.

Dada una funcin f : A B, se dice que g : B A es la inversa o recproca de f

si se cumple:

La inversa se denota por g = f1, y tanto f como f1 se dicen invertibles.

No todas las funciones son invertibles, sino que solo aquellas que sean
biyectivas poseen inversa:

Toda funcin biyectiva f es invertible, y su inversa f1 es biyectiva

a su vez. Recprocamente, toda funcin invertible f es biyectiva.
La notacin para funciones inversas puede ser confusa. Para un elemento del
codominio b, f1(b) puede denotar tanto la anti-imagen de b (un subconjunto del
dominio), como a la imagen de b por la funcin inversa de f (un elemento del
dominio), en el caso de que f sea invertible.

Ejemplos.

La funcin exponencial h: R R, que asocia a cada nmero real su

exponencial, h(x) = ex, no es invertible, ya que no es suprayectiva: ningn
nmero negativo pertenece a la imagen de h.

Existe una funcin que calcula el cambio entre dos divisas. En el caso del
cambio de rupias a quetzales (las monedas de la India y Guatemala), la
conversin est dada (en 2011) por:
Q(r) = 0,15 r
Esta funcin de cambio tiene inversa, la conversin recproca de
quetzales a rupias:
R(q) = 6,65 q

La funcin cubo f(x) = x3 es invertible, ya que podemos definir la funcin

inversa mediante la raz cbica, f1(x) = 3x.

La funcin de clasificacin en gneros : M G no es invertible, ya que

no es inyectiva, y para cada gnero pueden existir varios mamferos
clasificados en l.

La funcin que asigna a cada da de la semana su siguiente tiene por

inversa la funcin que asigna a cada da de la semana su antecesor:

Lunes Domingo, Martes Lunes,..., Domingo Sbado

Funcin compuesta. Teoremas.

En lgebra abstracta, una funcin compuesta es una funcin formada por la
composicin o aplicacin sucesiva de otras dos funciones. Para ello, se aplica
sobre el argumento la funcin ms prxima al mismo, y al resultado del clculo
anterior se le aplica finalmente la funcin restante.

Representacin de funciones

Artculo principal: Representacin grfica de una funcin

Las funciones se pueden presentar de distintas maneras:

usando una relacin matemtica descrita mediante una expresin

matemtica: ecuaciones de la forma . Cuando la relacin es

funcional, es decir satisface la segunda condicin de la definicin de
funcin, se puede definir una funcin que se dice definida por la
relacin, A menos que se indique lo contrario, se supone en tales casos
que el dominio es el mayor posible (respecto a inclusin) y que el
codominio son todos los Reales. El dominio seleccionado se llama el
dominio natural, de la funcin.

Ejemplo: y=x+2. Dominio natural es todos los reales.

Ejemplo: "Para todo x, nmero entero, y vale x ms dos unidades".

Como tabulacin: tabla que permite representar algunos valores

discretos de la funcin.