ANLISIS DE LA EVOLUCIN HISTRICA DE LA NOCIN DE FUNCIN

AUTOR: ERIC MARTINEZ QUIONES

COLEGIO CARLOS ARANGO VLEZ I.E.D.

INTRODUCCIN

Uno de los conceptos que mayor relevancia presenta en el estudio de las matemticas, que
adems ha contribuido en gran medida al desarrollo de stas es el de Funciones. En el
presente documento se pretende de manera inicial realizar un breve acercamiento a la
evolucin histrica de este concepto al igual que mostrar como se ha considerado ste en el
transcurso de la historia, teniendo en cuenta las categoras en que los clasifica Chevallard.

Hay que reconocer que en el presente escrito hace falta aun mucha ms profundizacin en
el tema al igual que tener en cuenta otras consideraciones que se tienen hoy en da del
concepto de funcin, sin embargo, la proyeccin es ir enriquecindolo en el transcurso de
estos estudios.

MARCO HISTORICO

El concepto de funcin al igual que todos los conceptos matemticos es una construccin
humana, carcter que le da una historia, no en s mismo sino suspendida mediante el
desarrollo histrico de la humanidad, es decir; para llegar a la definicin de funcin que
actualmente manejamos tuvo un proceso histrico donde surgieron una serie de problemas
que hicieron ir planteando la definicin hasta el punto actual.
Para hacer el estudio histrico del concepto de funcin, hemos decidido tomar como centro
de referencia 4 pocas a saber:
La antigua Grecia
La edad Media
Siglos XVI, XVII
Siglos XVIII, XIX, XX.

Esta divisin obedece a nuestro inters de ver como el concepto de funcin a estado
implcita o explcitamente conectado con el hacer matemtico en distintos periodos.

ANTIGUA GRECIA
Difcilmente se pude hablar de un concepto general de funcin, en la matemtica griega, sin
embargo algunas ideas desarrolladas por los matemticos antiguos, pueden ser relacionados
con lo que ahora entendemos por funcin.
Uno de los mayores logros de la matemtica griega es la teora de proporciones, se cree que
ya los pitagricos posean una teora de la de la proporcin, esto es la igualdad entre dos
razones, sin embargo para los pitagricos esta igualdad solo se produca entre magnitudes
conmensurables.
El descubrimiento de los inconmensurables produjo un verdadero escndalo lgico, ya que
estos fueron la causa de la ruina de toda la teora de proporciones de los pitagricos. Dos
magnitudes tales como la diagonal y el lado de un cuadrado son inconmensurables ya que no
hay una unidad que pueda medirlos (lado, diagonal) exactamente cmo pude uno comparar
entonces las razones entre magnitudes inconmensurables? Se dice que Hipcrates demostr
que dos crculos son entre s, como los cuadrados construidos sobre sus dimetros. Deba

tener alguna manera de manejar proporciones. No se sabe como pudo proceder ni si, se
anticip a Eudoxio quien fue el que dio una definicin nueva y universalmente aceptada de
la igualdad de dos razones. Los griegos haban hecho uso previamente de la idea de que
cuatro cantidades estn en proporcin, a:b = c:d, si las razones a:b = c:d tienen la misma
resta mutua; es decir si la menor en cada una de las dos razones cabe en la mayor el mismo
nmero entero de veces y el resto en cada caso cabe en la menor el mismo nmero entero de
veces y el nuevo resto cabe en el anterior el mismo nmero de veces y as sucesivamente
(Carl, Boyer, 1986, 127) pero esta definicin estrictamente hablando es imposible puesto
que da lugar a un proceso indefinido: es por ello que el descubrimiento de la teora de
proporciones por Eudoxio fuera un xito. La palabra razn en la matemtica griega
representada un concepto indefinido puesto que la definicin de Euclides como; un cierto
tipo de relacin en tamao entre dos magnitudes del mismo tipo pronto se mostr
insuficiente. En cambio una formulacin, del llamado axioma de Arqumedes atribuido a
Eudoxo es mucho ms importante en el sentido de que dos magnitudes se dice que tienen
una razn una a la otra, si se puede encontrar un mltiplo de una de ellas que supere a la
otra. As pues la idea de razn de Eudoxo excluye el cero y clasifica lo que debe entenderse
por magnitudes del mismo tipo, un segmento, por ejemplo, no pude compararse en trminos
de razn con un rea, ni un rea compararse con un volumen.
La definicin de igualdad de dos razones

de Eudoxo no se diferencia mucho del

procedimiento de los productos cruzados que utilizamos hoy para las fracciones, es decir a/b
= c/d, si y solo si ad = bc, procedimiento que equivale a una reduccin al comn
denominador.
Para ver como la idea de funcin est presente en el concepto de proporcin, vamos a mirar
como la idea de proporcin est presente en la idea de funcin, para tal fin vamos a partir de
la siguiente forma se f(x) = mx la grfica de una funcin lineal que corta en el origen.

Vamos a tomar dos valores a y b del dominio y dos valores c,d del rango que sean imagen de
los valores a,b entonces c = ma y d = mb, con lo cual si despejamos a m en ambos lados se
tiene que c/a = d/b pero como c es funcin de a y d es funcin de b, se tiene la siguiente
expresin f(a) = f (b) y ambas son igual a m.
a
b
La expresin anterior es una proporcin ya que f(a) es a como f(b) es a b; como: a, b, c, d,
son elementos cualquiera del dominio y el rango entonces se puede decir que: M = f (x) o
que m = f(xo) = f (x1= .......... = f (xn) donde los elementos que
Xo
XO
X1
Xn
aparecen en el numerador pertenecen al rango de la funcin y los que aparecen en el
denominador pertenecen al dominio.

De esta manera se puede ver que si en una funcin lineal f (x) = mx, se toman dos elementos
del dominio con sus imgenes se puede armar una proporcin.

Ahora tomemos por ejemplo XO, X1,

y sus respectivas imgenes F (X0) Y F(X1) y

formemos la proporcin de acuerdo a lo dicho anteriormente, entonces quedar as:

f (xo) = f(x1)
Xo
XO
Esta no es una proporcin

en el sentido griego de la palabra ya que los elementos

relacionados en cada razn no pertenecen al mismo conjunto, sin embargo mediante

movimientos vlidos en las proporciones, la expresin anterior se puede transformar en:
X1 = F(x1) esta es una proporcin en el sentido griego ya que estn relacionadas
X0 f(XO)
magnitudes del mismo tipo.

Ahora podemos ver como en esta proporcin existe dependencia entre los trminos
queremos hacer ver que el numerador de la primera razn y que el denominador de la
segunda razn, es funcin del denominador de la primera. De esta manera si reemplazamos a
X1 por a., a XO por b, a f(x1) por c, y a f(X0) por d, tenemos la proporcin.
a. = c podemos decir que c es funcin de a y d es funcin de b.
b
c

Para que la igualdad se cumpla, adems la misma dependencia que hay entre c y a es la
misma que hay entre d y b. De esta manera se puede ver que si tenemos una proporcin
como la trabajaron los griegos, hay presente caractersticas de una funcin.

EDAD MEDIA

Para nuestro propsito nos interesa de la edad media referirnos al trabajo realizado pro
Nicols Oresme, pues aunque en la matemtica de la edad media no se manejaba el concepto
de funcin, si nos parece importante hacer referencia a la propuesta de Nicols Oresme con
respecto a la cuantificacin de las formas (cualidades) variables, pues consideramos que este
es uno de los aspectos que nos permite mirar a travs de la historia como fue construyndose
el concepto de funcin.
Entre las formas (cualidades) variables, se encuentran cosas tales como la velocidad de un
cuerpo mvil, y la variacin de las temperaturas de un pinto a otro en un cuerpo con
temperatura no uniforme. La idea que tuvo Oresme algo antes de (1361) fue la siguiente:
por qu no hacer un dibujo o grfica de la manera en que las cosas varan?. Todo lo que
vara si se puede mover o no lo podemos imaginar como una cantidad continua representada
por un seguimiento rectilneo.

Aqu vemos, desde luego una sugerencia primitiva de lo que hoy llamamos una
representacin grfica de las funciones.
Para el caso de un cuerpo movindose con un movimiento uniformemente acelerado,
Oresme dibuja una grfica velocidad tiempo, en la que los puntos de una recta horizontal
representan los sucesivos instantes de tiempo (longitudes) y para cada uno de estos instantes
traza un segmento (latitud) perpendicular a la recta de longitud en dicho punto, cuya
longitud representa la velocidad en ese instante. Los extremos superiores de todos estos
segmentos, estn en una recta. Tal como vio Oresme, si el movimiento uniformemente
acelerado parte del reposo, entonces la totalidad de los segmentos velocidades (que nosotros
llamamos ordenadas) cubren el rea del tringulo rectngulo.

Como puede verse consideramos que es razonable decir que Oresme hace una importante
contribucin para el desarrollo del concepto de funcin con lo descrito anteriormente.

Adems Oresme restringe su campo con la distincin de tres tipos de configuraciones, las
uniformemente uniformes (de latitud constante y por consiguiente la lnea superior o de
intensidades en una recta paralela a la de las longitudes, las uniformemente diformes (la
variacin de las latitudes da una lnea superior o de intensidades igual a la recta) y los
diformemente diformes (la lnea superior no es una recta).
Con este tipo de representaciones, Oresme pretende que se entienda ms fcil y ms
rpidamente la naturaleza de los cambios, ya sean cuantitativos o cualitativos, de forma que
sea posible dar una representacin a todos ellos.

SIGLOS XVI Y XVII

Podemos considerar este periodo como el ms fecundo para la formacin del concepto de
funcin, puesto que en l vivieron entre otros: Galileo, Descartes, Fermat, Newton, Leibnitz
y Gregory. Cuya contribucin desde distintos puntos de vista dar lugar nada menos que al
nacimiento, primero de la geometra analtica

y luego al clculo infinitesimal con el

consiguiente proceso para el estudio de las funciones, que permiti la aparicin de las
primeras definiciones as como el trmino de funcin.

Galileo: expres sus relaciones funcionales en palabras y en lenguaje de las proporciones.

As da algunas afirmaciones:
Las reas de dos cilindros de volmenes iguales, despreciando las bases, estn una con
respecto a la otra en una razn que es la raz cuadrada de la razn de sus longitudes.

 Los volmenes de cilindros rectos cuyas superficies curvas son iguales, son
inversamente proporcionales a sus alturas.
Los tiempos de descensos a lo largo de planos inclinados de la misma altura, pero de
diferentes pendientes, estn unos con respecto a los otros en la relacin de las longitudes
de esos de esos planos.

Este lenguaje utilizado por Galileo, muestra claramente que est tratando con variables y
funciones, no falta ms que un paso para escribir estas frases en forma simblica.
Como el simbolismo del lgebra se estaba extendiendo en ese momento, la afirmacin de
Galileo sobre los espacios descritos por un cuerpo que cae, se escribi como S = kt 2 y su
afirmacin sobre los tiempos de descanso como t = KI

La gran diferencia entre Oresme y Galileo radica en que para el primero el camino de la
experimentacin era inexistente, mientras que Galileo de una forma cuantitativa da
justificacin experimental de las leyes establecidas.
Muchas de las funciones introducidas durante el siglo XVII fueron estudiadas en primer
lugar como curvas antes de que el concepto de funcin fuera totalmente identificado. Esto
ocurri por ejemplo en el caso de las funciones trascendentes elementales tales como: LogX,
SenX, ax.

Hasta el siglo XVII, una funcin poda introducirse utilizando una expresin verbal, una
tabla, una grfica, e incluso en ciertos casos comparacin de carcter cinemtico.
En 1637 Descartes publica su trabajo sobre la geometra en la cual da a conocer al mundo un
nuevo enfoque en el cual, cualquier curva geomtrica se representa por una ecuacin con
dos incgnitas y cualquier ecuacin con dos incgnitas representa una curva. Lo cual un
siglo ms tarde llevar a la algebrizacin de la geometra. Esta idea fundamental, afectar de
forma decisiva a las funciones, ya que aparece por primera vez el hecho de que una ecuacin
en X e Y es una forma para expresar una dependencia entre dos cantidades variables, de
manera que a partir de ella, es posible calcular los valores de una variable que corresponden
a determinados valores de la otra.

Para llegar a estas ideas que ms tarde permitieron considerar las funciones como relaciones
entre conjuntos de nmeros y por otro lado representar las funciones por medio de frmulas
fue de una gran importancia el hecho de que en la segunda mitad del siglo XVI se dieron
avances acerca del nmero real y la primera aparicin de los nmeros imaginarias, tambin
la aparicin del lgebra simblica.
En la introduccin del mtodo analtico para expresar las funciones y junto a Descartes,
debemos mencionar a Fermat, el cual en una publicacin pstuma de 1679, escrita antes de
1637, expone los principios de los o del mtodo de coordenadas.

As nos podemos dar cuenta que lo que en tiempos de Descartes y Fermat se consider como
ecuaciones, y en cierta manera todava, implica una funcin ya que como se dijo en lneas
anteriores se ve la idea de variable, dependencia, as va dndose forma a las funciones y
todo lo que ello implica.

En los trabajos realizados por Newton, donde sin duda hace enormes contribuciones al
desarrollo del estudio de funciones nos interesa

referirnos brevemente al mtodo de

fluxiones o series infinitas donde expone sus ideas sobre el clculo infinitesimal. Al
determinar un movimiento X = F( ), sobre el eje X, en el tiempo t lo que caracteriza dicho
movimiento es su velocidad. Esta velocidad con la cual vara X en el tiempo es la que
Newton llama fluxin de X que representa a s mismo por X y que toma como base para
todas sus consideraciones, supone todas las variables x, y dependientes de una variable
primitiva t de manera que la derivada respecto a x, es el cociente de dos fluxiones Y/y. Otro
de los matemticos del siglo XVII que con sus

trabajos contribuy al desarrollo del

concepto de funcin fue Leibnitz, quien introduce el trmino de funcin en uno de sus
manuscritos en 1673, sin embargo con un significado diferente al cual nos referimos hoy,
pues se refiere a un problema de clculo de ordenadas a partir de ciertas propiedades de las
tangentes, posteriormente en 1694, utiliza la palabra en un sentido ms general, aunque
todava poco preciso y referido como siempre a cuestiones de geometra diferencial (Carmen
Azcarate F.G, 1996 49): Nota. Sobre las afirmaciones antes hechas no hay mayores
detalles.

Para Jean Bernoulli, una funcin arbitraria de X, es una cantidad formada de manera
cualquiera a partir de X y de constantes esta (manera cualquiera) se entiende como una
expresin algebraica o trascendente.
Segn Morris Kline (P.M, 1972, 448) la definicin ms explcita del concepto de funcin en
el siglo XVII fue dada por James Gregory (1667). Defini una funcin como una cantidad
que se obtiene de otras cantidades mediante una sucesin de operaciones algebraicas o
mediante cualquier operacin imaginable.

Con los trabajos realizados por los matemticos de los siglos XVI y XVII se producen
cambios en las matemticas, hasta tal punto que aparecen nuevos trminos y la necesidad de
darle una definicin a los mismos. Como podemos ver uno de estos trminos es el de
funcin y que ya algunos matemticos de finales del dilo XVII deciden dar definicin de
dicho concepto.

SIGLOS XVIII, XIX y XX

Euler es considerado el gran matemtico del siglo XVIII y es quien hace un detallado
estudio sobre el concepto de funcin y otros trminos relacionados con este. Definen las
nociones iniciales de funcin: constante; como cantidad que forma siempre un mismo valor,
variable; cantidad que comprende en s misma todos los valores determinados, y su
definicin de funcin es: Una funcin de una cantidad variable es una expresin analtica
formada de cualquier manera a partir de esta cantidad y/o cantidades constantes. Euler
comienza con la nocin de funcin algebraica, en la que las operaciones que se hacen sobre
la variable independiente son nicamente algebraicas, las cuales su vez se dividen en dos
clases racionales, en las que intervienen solamente las 4 operaciones elementales, y las
irracionales en las que intervienen races.
A continuacin introduce las funciones trascendentes, a saber las trigonomtricas, la
logartmicas, la exponencial, las potencias de exponente irracional y ciertas integrales.
Sin embargo despus de importantes estudios, Euler se da cuenta que su definicin tiene una
restriccin, en una controversia con DAlembert sobre las vibraciones de una cuerda fijada
en los extremos.

Guler considera que para la solucin del problema deben aceptarse curvas de forma
arbitraria es decir que no satisfacen ninguna ley analtica. Es as que decide dar una nueva
definicin de funcin que lo lleva a explicitar por vez primera la nocin general de
correspondencia entre pares de elementos, cada una perteneciente al conjunto en el que
toman valores los correspondientes variables. La nueva definicin es diferentes porque
elimina la idea de expresin analtica esto es: si X es una cantidad variable entonces toda
cantidad que dependa de X de cualquier manera, o que este determinada por x se llama una
funcin de dicha variable con esto Euler permiti las funciones que tienen expresiones en
diferentes dominios y uso la palabra continua donde se mantena la misma expresin y
discontinua en puntos donde la expresin cambia de forma.

Gauss interpretaba por funcin una expresin cerrada (analtica finita) Lagrange ya haba
usado un concepto ms amplio al trabajar las series de potencias como funciones.

Lacroix define funcin como toda cantidad que depende de una o varias es llamada una
funcin de estas ltimas, ya sea que una conozca o no por medio de que operaciones es
necesario pasar las ltimas a la primera cantidad. Da como ejemplo una ecuacin de quinto
grado como una funcin de sus coeficientes. Fourier abri an ms ampliamente

la

discusin sobre lo que es una funcin. Por un lado insisti en que las funciones no
necesitaban ser representadas por una expresin analtica. En su teora analtica del calor
dice: En general la funcin F(x) representa una sucesin de valores u ordenadas, cada una
de las cuales es arbitraria... no suponemos que estas ordenadas estn sujetas a una ley
comn; se suceden una a otra de cualquier manera sea la que fuere. La obra de Fourier
perturb la creencia del siglo XVIII de que todas las funciones en el pero de los casos, eran
extensiones de funciones algebraicas.

Las funciones algebraicas y an las funciones trascendentes elementales ya no fueron el

prototipo de funciones. Como las propiedades de las funciones algebraicas ya no podan
cumplirse para todas las funciones, surgi entonces la cuestin en cuanto a que se quiere
realmente decir por funcin, por continuidad, diferenciabilidad, integrabilidad y otras
propiedades.

Cauchy comienza su trabajo en 1821 con la definicin de una variable, esto es: se llama
variable a una cantidad que se considera, tiene que tomar sucesivamente muchos valores
diferentes unos de otros. En cuanto al concepto de funcin afirma lo siguiente: cuando se
relacionan cantidades variables entre ellas de modo que estando dado el valor de una de
estas, se pueden determinar los valores de todas las otras, ordinariamente se concibe a estas
cantidades diversas expresadas por medio de la que est entre ellas, la cual entonces toma el
nombre de variable independiente y las otras cantidades expresadas por medio de la variable
independiente son aquellas que uno llama funciones de esta variable.

En un artculo sobre series de Fourier (sobre la representacin de funciones completamente

arbitrarias por series de senos y csenos) Direichlet dio la definicin de una funcin siendo
una de las que ms frecuentemente se usa ahora. Si una variable Y est relacionada con otra
variable X de tal manera que siempre que se atribuya un valor numrico a X, hay una regla
segn la cual queda determinado un valor de Y. entonces se dice que Y es una funcin de la
variable independiente. Adems dio un ejemplo de una funcin que tiene el valor c para
todos los valores racionales X y el valor d para todos los valores irracionales de X.+

Finalmente la creacin de la teora de conjuntos permiti la generalizacin del concepto de

funcin, pues como podemos ver al considerar una definicin en trminos conjuntistas todas
las definiciones anteriores pasan a ser casos particulares fe esta nueva generalizacin.

As decimos; que dados dos conjuntos arbitrarios A y B una funcin o aplicacin de A en B

es una ley que a cada elemento X de A, hace corresponder un solo elemento y en B, o si se
prefiere; un funcin de A en B es, un subconjunto F del producto cartesiano A x B tal que si
(X,Y) y (X, Z) pertenecen a F, entonces Y = Z.

NOCIN Y CONCEPTO

Dentro del desarrollo histrico del concepto de funcin vimos como una de las dificultades
a las que se enfrentaron los matemticos, fue el encontrar una definicin general que fuese

til y operativa. Aun hoy en da en los libros de texto, encontramos diversas definiciones,
sin embargo podemos ver que cualquier definicin se centra sobre una de estas tres
caractersticas; dependencia, correspondencia y relacin entre conjuntos.

Estas tres caractersticas juntas constituyen la esencia de la funcin, por eso, para nosotros,
es de vital importancia que en una definicin de funcin aparezcan estos tres elementos; ya
que una funcin no es simplemente una dependencia, o una correspondencia, o un tipo e
relacin entre conjuntos, sino que es bsicamente las tres cosas relacionadas entre s;
conectadas de manera tan ntima que en el momento de hablar de funcin no se pueden
desligar. Pero antes de dar una definicin, que a nuestro parecer es la ms adecuada, pues
fusiona las tres caractersticas mencionadas atrs, es conveniente mirar como se ve la
funcin desde cada una en particular.

FUNCIN COMO CORRESPONDENCIA

Una funcin es una correspondencia que asigna a cada elemento de un cierto conjunto,
llamado dominio de la funcin, un nico elemento en segundo conjunto, llamado recorrido
de la funcin.
(Munem Mustafa, 1974).

FUNCIN COMO DEPENDENCIA

La caracterstica esencial de una funcin o aplicacin es la dependencia entre dos

variables. Una funcin o aplicacin esta formada por:
a. Conjunto de valores que puede tomar la variable independiente.
b. Conjunto de valores que puede tomar la variable dependiente.
c. Regla que asigna a cada elemento del conjunto de salida uno y solo del conjunto de
llegada (Grupo Zero, 1981).

FUNCIN COMO RELACIN

Una funcin es una relacin en la cual no hay dos pares ordenados diferentes cuyos
primeros elementos sean iguale. Al conjunto de todos los primeros elementos de los pares
ordenados, se llama dominio de la funcin. Al conjunto de los segundos elementos se les
llama recorrido de la funcin. (Munem Mustafa, 1974).

Aunque cada una de estas definiciones explica en parte lo que es una funcin, a nuestro
parecer, ninguna logra captar en realidad lo que debe entenderse como funcin, pues como
ya se dijo se quedan mirando un solo aspecto.

Buscando salvar este inconveniente, nos atrevemos a formular la siguiente definicin, de

funcin, que seguramente no tiene nada de novedoso, excepto el hecho de reunir las tres
caractersticas antes mencionadas y tratadas de manera separada en un solo bloque. De esta
manera la definicin es como sigue:

Dado un conjunto A y un conjunto B, se define el producto cartesiano A X B como:

A X B = (X,Y)/XA YB

Si f CAXB, se dice que f, es una relacin funcional o que define una funcin entre los
conjuntos A y B as:
a. Para todo XA, la pareja (X,Y) F.
b. Si (X,Y) f y (X,Z) f, entonces Y = Z.
c. A partir de XA, se puede encontrar el YB, de tal forma que XfY.
Como se puede ver en esta definicin esta presente la relacin entre conjuntos en el hecho
de que; f CAXB, la condicin a y b garantizan la correspondencia entre los elementos de A
y B, mientras que la condicin C, hace referencia a la dependencia.

Es de aclarar que la condicin C, no se debe pensar que se desprende el hecho de que deba
existir una expresin analtica para la funcin, la dependencia de la que aqu se habla es
elemento a elemento, es decir; siempre que dado un elemento x de A, existe una forma de

encontrar el y en B que hace pareja con l y dado un Z en A, existe la forma de encontrar el

W en B que hace pareja con l, sin embargo la forma de encontrar a Y y W a partir de X y
Z, respectivamente, puede ser la misma o diferente.

Al conjunto A se le llama dominio de la funcin, y al conjunto B se le llama codominio de

la funcin. Cuando el conjunto B es el menor codominio que se puede tomar, recibe el
nombre de rango de la funcin.

La notacin ms usual para expresar que una funcin F, es una aplicacin entre el conjunto
dominio A y el conjunto codominio B, es la siguiente:

F
F:

COMPORTAMIENTO DE LAS FUNCIONES.

No todas las funciones tienen el mismo tipo de comportamiento, cuando hablamos de tipo
de comportamiento nos referimos a la manera como se relacionan los elementos del
dominio con los elementos del codominio es decir, como se dan las correspondencias entre
unos y otros.
De acuerdo a esto, se puede decir que el comportamiento de las funciones genera tres tipos
de estas:
Trayectoria: donde la correspondencia es unvoca (uno a uno)
Sobreyectiva: donde cada elemento del codominio es imagen a por lo menos un
elemento del dominio
Biyectiva: en la cual se cumplen las condiciones cada para la inyectiva y sobreyectiva.
De una manera ms formal se dice que una funcin es inyectiva si (X, y) f y (Z, Y) F,
entonces X = Z, como ejemplo de funcin inyectiva tenemos:

F: N
X

N
X2

Otra manera de expresar que una funcin es inyectiva es la siguiente: sean A el conjunto
dominio y B el conjunto codominio de una funcin F, si a A y b A y a = b entonces f
(a) = F(b) (F (a) B y F(b) B).
Una funcin se dice sobreyectiva, si para todo y B, (x,y) F, donde F, es una relacin
funcional. Como ejemplo de una funcin sobreyectiva tenemos:

F : IR
X

IR+
X2

Como ejemplo de funcin biyectiva tenemos F : IN

P donde, X

2x

Py es el conjunto de los nmeros naturales pares.

ALGEBRA DE LAS FUNCIONES

Una manera de obtener nuevas funciones es a partir de la suma, la diferencia, el producto o

el cociente de otras funciones, tambin se pueden obtener nuevas funciones a partir de la
composicin o inversin de otras funciones.
Este hecho genera lo que podemos llamar un lgebra de funciones,. Las funciones se definen
como sigue: Dadas dos funciones F y G,

a) Suma; es la funcin definida por : F + g

(F + g) (x) = f(x) + g(x)
b) Diferencia: es la funcin definida por: F g
(f + g) (x) = f(x) g(x)

c) Producto: es la funcin definidas por : F.g

(F.g) (x) = F(x) .g (x)

d) Cociente: es la funcin definida por : f/g

(F/g) (x) = F(x) / g(x)

con g(x) o

En cada caso el dominio de la funcin resultante, est formada por aquellos valores de X
comunes a los dominios de F y g ,o de forma si A es el dominio de f y B es el dominio de g.
El dominio de la funcin resultante al aplicar una de las operaciones ser A B, con el
caso particular que para el cociente se excluyen los valores de X para los cuales g(x) = 0

Ejemplo: Sea f(x) = 3 x 2

y g(x) = x2, entonces

(F + g) (X) = 3 X 2 + X2 = X2 + 3x + 2
(F - g) (X) = 3 X 2 - X2
(F . g) (X) = (3 X 2) (X2) = 3X3 + 2x2
(F/g) (x) = 3x + 2
x2

COMPOSICIN DE FUNCIONES
Dadas las funciones F y g, la funcin compuesta que se denota F o g, est definida por (f o
g)(x) = f(g(x)) y el dominio de Fo g es el conjunto de todos los valores X, del dominio de g,
tales que g(x) est en el dominio de f.
fog
Dominio de f

Dominio de g

Codominio
g

g(x)

f(g(x))
Codominio de g

Ejemplo: si f y g estn definidas por F(x) = x , g(x) = x2 1

(Fog((x) = f(g(x))
(F o g) (x) = F (X2
(Fo g)(x) = x2 1

Codominio fog

INVERSA DE UNA FUNCIN

Si F es una funcin biyectiva, entonces existe una funcin F 1 , llamada inversa de F. Si la
funcin F, es el conjunto formado por los pares ordenados (x,y), la funcin F

es el

conjunto formado por los pares ordenados (y,x)

Si A es el dominio de F y B el codominio de F, entonces B ser el dominio de F 1 y A el
codominio de F 1 ,de aqu la necesidad de que F sea biyectiva.

Ejemplo: Sea F una funcin definida por F(X) = X + 4

Si F(x) = Y entonces Y = X + 4 , luego X = Y 4, esto hace a X dependiente de Y, por lo
cual X = g(y) y g(y) = y 4, pero esta es la inversa de F(X) por lo cual g(y) = F 1(x) = Y
4

ESTATUS MATEMATICO DEL CONCEPTO DE FUNCION

De acuerdo a la manera como Chevallard presenta o califica un concepto matemtico, el
cual presenta tres estadios antes de poder considerarse como objeto matemtico, estos son:
protomatemtico, paramatemtico y matemtico como tal. Podemos categorizar el concepto
de funcin dentro de estos parmetros de la siguiente forma:

a) Como objeto protomatemtico. Segn hemos visto en su desarrollo histrico, el

concepto de funcin se utilizaba de forma implcita en la construccin de tablas
numricas, muy prcticas para los clculos aritmticos y para la astronoma. El
concepto de funcin se encuentra en estado protomatemtico, al no ser
reconocido ni como herramienta, ni como objeto de estudio.

b) Como objeto paramatemtico. En el siglo XIV con Oresme aparece una incipiente
nocin de funcin, incluida en la teora denominada latitud de las formas. Con
este matemtico aparece incluso explcitamente la representacin grfica de la
variacin (de forma cualitativa) , aunque slo para explicar los fenmenos fsicos.

c) Como objeto matemtico. En el S. XVIII, con matemticos, primero Bernoulli y

ms tarde Euler, alumno de Bernoulli cuando la nocin de funcin comenzara a ser
considerada como un concepto matemtico, e incluso no solo para dar solucin a
mltiples problemas, sino que se va convirtiendo poco a poco en un objeto de
estudio. Para este periodo el concepto de funcin comienza a ser central en el
desarrollo de las matemticas. De igual forma se aprecian los primeros tratados
sobre funciones y a raz de estos avances surgen ramas nuevas que se convierten en
otros campos de estudio tales como la denominada Teora de Funciones.

REFERNCIAS BIBLIOGRAFICAS
APSTOL, Tom. Clculo I, Barcelona. Reverte, 1986.

AZCARATE, Carmen. Funciones y Grficas. Madrid. Ed. Sntesis, 1996.

BOYER, Carl. Historia de las Matemticas. Barcelona. Ed. Alianza, 1986.

ALEJADLE ALVAREZ, Rocio. Relaciones y Funciones. Medelln. Universidad Pontificia

Bolivariana, 1996.

FEY, James. Cantidad. 1990.

FREGGE, Gottlob. Estudio sobre Semntica. Barcelona. Ed. Orbis, 1984.

KLINE, Morris. Pensamiento Matemtico desde la Antigedad hasta nuestroas dias.

Barcelona. Ed. Alianza, 1993.
RUSSELL, Bertrand. Los principios de la Matemtica. Madrid. Espasa Calpe, 1982.